Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
|
from
login
Natural Number Game: build the basic theory of the natural numbers from scratch
(
hhu.de
)
191 points
by
mildog8
39 days ago
|
past
|
32 comments
Natural Number Game in Lean
(
hhu.de
)
3 points
by
abdullahkhalids
9 months ago
|
past
Natural Number Game for Lean 4
(
hhu.de
)
3 points
by
lying4fun
on Oct 14, 2023
|
past
|
1 comment
Covid-19 and Performance at Work [pdf]
(
hhu.de
)
1 point
by
drocer88
on Oct 20, 2021
|
past
The Long Shadow of Infection: Covid-19 and Performance at Work (Soccer Players) [pdf]
(
hhu.de
)
1 point
by
yarapavan
on Oct 19, 2021
|
past
G*Power is a tool to compute statistical power analyses for many different tests
(
hhu.de
)
2 points
by
kensai
on June 1, 2020
|
past
State Space Visualizations
(
hhu.de
)
18 points
by
pron
on Jan 18, 2016
|
past
Visualizing a Program's State Space
(
hhu.de
)
3 points
by
pron
on Jan 14, 2016
|
past
A JavaScript interpreter implemented in RPython (2012)
(
hhu.de
)
15 points
by
seletz
on June 5, 2015
|
past
|
2 comments
Is the Internet driving competition or market monopolization?
(
hhu.de
)
1 point
by
wslh
on April 16, 2013
|
past
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
