Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
|
from
login
Rust's type system is Turing-complete (2017)
(
sdleffler.github.io
)
114 points
by
lukastyrychtr
on March 13, 2021
|
past
|
87 comments
Rust's Type System Is Turing-Complete (2017)
(
sdleffler.github.io
)
1 point
by
ibraheemdev
on March 9, 2021
|
past
Rust's Type System Is Turing-Complete
(
sdleffler.github.io
)
1 point
by
thesephist
on Aug 10, 2020
|
past
Rust's Type System Is Turing-Complete: Type-Level Programming in Rust
(
sdleffler.github.io
)
280 points
by
sleffy
on March 11, 2017
|
past
|
117 comments
Consider applying for YC's W25 batch! Applications are open till Nov 12.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
