Y
Hacker News
new
|
ask
|
show
|
jobs
user:
MJGrzymek
created:
2024-05-13
karma:
17
submissions:
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Reputation Is Lazily Evaluated
2 points
|
0 comments
0 points
|
0 comments
Are We AI Math Yet?
2 points
|
1 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Show HN: I made PeanoScript, an educational TypeScript-like theorem prover
3 points
|
1 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Pushing CSS:has() to its limits – highlightable parentheses, variable bindings
3 points
|
0 comments