TE
TechEcho
Home
24h Top
Newest
Best
Ask
Show
Jobs
English
GitHub
Twitter
Back to Profile
Submissions by heydenberk
1
STP: Self-Play LLM Theorem Provers with Iterative Conjecturing and Proving
3 points
by
heydenberk
3 months ago
no comments
2
Google's new pipe syntax in SQL
328 points
by
heydenberk
9 months ago
182 comments
3
The New Lindy
1 points
by
heydenberk
over 1 year ago
no comments
4
Practical Reed-Solomon for Programmers
229 points
by
heydenberk
almost 4 years ago
43 comments
← Previous
Next →