Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
somedudeatwork
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
somedudeatwork
8y ago
lvalues are locatable, they represent an object that occupies some identifiable location in memory (has address). rvalues do not and therefore cannot be addressed (with & or *) I think of lvalues as things on the stack and rvalues as th
2.
▲
Formality: An efficient programming language and proof assistant
(github.com)
3 points
by
somedudeatwork
8y ago
|
0 comments
3.
▲
by
somedudeatwork
8y ago
To be fair, the url to the site is in the name and at the top of the repo
4.
▲
by
somedudeatwork
8y ago
I've been using this for the past couple months by using the nightly releases. it has been insane how much higher quality vim feels when you get 60fps scrolling and no banding
5.
▲
by
somedudeatwork
8y ago
I never really questioned the name, TOML, but I guess "Tom's Obvious, Minimal Language" works