Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
|
from
login
Goto Assignment: A better local Goto Definition
(
dodisturb.me
)
1 point
by
mathetic
8 months ago
|
past
Typed Programs Don't Leak Data
(
dodisturb.me
)
129 points
by
todsacerdoti
on June 27, 2021
|
past
|
55 comments
Verifying the Titular Properties of a Leftist Heap
(
dodisturb.me
)
1 point
by
allenleein
on Oct 5, 2019
|
past
The Essence of Datalog (2018)
(
dodisturb.me
)
154 points
by
bibyte
on March 10, 2019
|
past
|
29 comments
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
