Skip to content

Instantly share code, notes, and snippets.

View radustoenescu's full-sized avatar

Radu Stoenescu radustoenescu

  • Politehnica Bucharest
  • Bucharest
View GitHub Profile
Când merg cu taxiul singur, obișnuiesc să mai fac conversație cu șoferii și unul dintre subiectele des abordate este Loganul pe care îl conduce respectivul (aproape invariant, orice taximetrist). Am aflat că un Logan ține cam 1-2 milioane de km, dar că motorul trebuie schimbat la fiecare cam 500 000 km; că e mult mai bine și din punct de vedere al economiei și al fiabilității GPL în loc de motorină; și alte chestii de genul ăsta. Mai întreb și "Vă faceți regulat reviziile la fiecare 15 000 de km la Renault, cum zice în carte ?". Când întreb asta, aproape de fiecare dată, șoferul răspunde în hohote de râs "Da' ce-s nebun ?". Motivul e foarte simplu - nu îl obligă nimeni și asta i-ar diminua profitul. Ar avea mai mulți clienți dacă ar face asta ? - probabil nu, nimeni nu cred că se gândește la asta când alege un taxi. E important asta ? - inspecția tehnică obligatorie se face o dată la doi ani. În doi ani un taxi (folosit uneori non-stop, în 3 ture) cred că poate face semnificativ mai mult de 30 000 de km - cât
@radustoenescu
radustoenescu / Symnet 102
Created November 4, 2015 08:55
How to play with Symnet's Click models
0. git pull
sbt compile
1. Look at: https://github.com/radustoenescu/Symnetic#click-models-in-symnet
2. Modify the code such that if the first parameter of the Template element is lower than the second,
state is forwared to ouput port 0, otherwise to output port 1.
Add a second parameter to the Template element in Template.click; run sbt click; check the results.
@radustoenescu
radustoenescu / words.txt
Created November 15, 2015 13:32
Words from different worlds
pejorative
@radustoenescu
radustoenescu / examples.scala
Last active November 16, 2015 13:30
Scala tryouts
def outer(): Int = {
def inner(): Int = {
}
}
Use nested functions—you can return from the middle of a function.
However, this doesn’t work well in an object-oriented language. Extending the Hindley-Milner algorithm so it can handle subtypes is still a research problem.
Clubul Tinerilor Inovativi Urlați alături de Asociația ROI și CyclingRomania vă invită să luați parte cu mic cu mare la inaugurarea rețelei de trasee cicloturistice marcate din zona Urlați, Prahova.
Evenimentul se adresează vouă, iubitorilor de natură care doriți să vă relaxați și să vă bucurați de minunatele peisaje ale faimoasei regiuni viticole. Sâmbătă și dumincă, 4-5 octombrie între 11:00 și 16:00 oricine este binevenit să descopere regiunea Dealu Mare cu bicicleta.
Pentru a satisface toate gusturile pregătim mai multe trasee variate de cicloturism, pe care fiecare le va putea parcurge în propriul ritm. Vor fi trasee pentru începători și pentru nivel mediu, pe asfalt și pe drumuri de pământ în pădure.
Pregătim câteva surprize pentru voi, printre care se numără vizite la Muzeul Conacul Bellu, degustări de vin și de must sau cules de fructe. V-am atras atenția, nu-i așa?
Vă invităm să rezervați un loc pentru acest eveniment scriindu-ne la [email protected].
despondent
destitute
fiefdom
focus foci
module Demo
open FStar.Exn
open FStar.All
open FStar.Mul
type filename = string
(** [canWrite] is a function specifying whether a file [f] can be written *)
let canWrite (f:filename) =
@radustoenescu
radustoenescu / llvm-build.sh
Last active December 30, 2019 14:38
make llvm
apt-get install -y libssl-dev python zlib1g make clang re2c lld
git clone https://github.com/llvm/llvm-project.git
git clone https://github.com/martine/ninja.git
git clone https://github.com/Kitware/CMake.git
cd ninja/
CXX=clang++ ./configure.py --bootstrap
cp ninja /usr/bin/
cd ..

Little typer

  • Normal forms
  • Sameness according to a type
  • 2 values the same <-> same normal form
  • values the same if same constructor applied to the same values
  • expression with constructor at top -> value
  • constructors are the direct way of constructing expressions of that type
  • value enough because the top-level ctor will dictate what happens next
  • eliminators take apart values created by data constructors
  • lambda is data ctor for functions