Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
|
from
login
A mathematical formulation of the tax code?
(
merigoux.ovh
)
1 point
by
henridf
on March 3, 2020
|
past
Using formal methods for analysing tax code
(
merigoux.ovh
)
3 points
by
dhruvparamhans
on Feb 1, 2020
|
past
A mathematical formulation of the tax code? (2019)
(
merigoux.ovh
)
7 points
by
lelf
on Jan 31, 2020
|
past
Rust: Beyond the Typechecker
(
merigoux.ovh
)
273 points
by
UkiahSmith
on April 16, 2019
|
past
|
129 comments
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
