Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
|
from
login
Data-Oriented Exploits via Programming Language Synthesis [pdf]
(
ilyasergey.net
)
36 points
by
matt_d
on Feb 2, 2025
|
past
|
1 comment
Mostly Automated Proof Repair for Verified Libraries [pdf]
(
ilyasergey.net
)
33 points
by
ghuntley
on June 21, 2023
|
past
|
6 comments
Mechanizing Mathematics with Dependent Types
(
ilyasergey.net
)
4 points
by
colinprince
on Dec 3, 2014
|
past
Concurroids - Calculus of Inductive Constructions [Currency using Coq]
(
ilyasergey.net
)
1 point
by
juliangamble
on Dec 21, 2013
|
past
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
