HNHacker News
TopNewBestAskShowJobs

ykonstant

2,750 karma · joined October 25, 2018

rest in piece
submissionscomments

An Efficient Quantum Factoring Algorithm [video]

youtube.com·2 pts·ykonstant·
0

The Brave New World of Bodacious Assumptions in Cryptography [pdf]

ams.org·4 pts·ykonstant·
0

12: / 1:12:13 John Conway Distinguished Lecture – The Symmetries of Things [video]

youtube.com·2 pts·ykonstant·
0

Ask HN: Draw stickman in Linux TTY console with assembly (or bare C)

2 pts·ykonstant·
0

John Conway: Surreal Numbers [video]

youtube.com·1 pts·ykonstant·
0

Xenon II: Megablast

en.wikipedia.org·2 pts·ykonstant·
1

The Moscow Puzzles: 359 Mathematical Recreations

store.doverpublications.com·2 pts·ykonstant·
1

Hevea Project: flat tori finally visualized

hevea-project.fr·2 pts·ykonstant·
1

Applicatives should usually implement Semigroup and Monoid

haskellforall.com·6 pts·ykonstant·
0

Propositions as Types: Explained (and Debunked)

lawrencecpaulson.github.io·3 pts·ykonstant·
0

The L-functions and modular forms database

lmfdb.org·42 pts·ykonstant·
3

I thought I wanted to be a professor, then I served on a hiring committee (2021)

science.org·207 pts·ykonstant·
184

Division by zero in type theory: a FAQ

xenaproject.wordpress.com·2 pts·ykonstant·
0

Binary Search Trees in Lean 4 with proofs

leanprover.github.io·2 pts·ykonstant·
1

A Formal Notion of Computability [video]

youtube.com·2 pts·ykonstant·
1

Gentzen's Consistency Proof

en.wikipedia.org·2 pts·ykonstant·
1

Will Computers Redefine the Roots of Math?

quantamagazine.org·54 pts·ykonstant·
55

ArXiv Is Hiring

info.arxiv.org·3 pts·ykonstant·
1

Fibonacci Heaps or “How to invent an clever data structure”

youtube.com·1 pts·ykonstant·
0

What makes mathematicians believe unproven mathematical statements? [pdf]

mxphi.com·4 pts·ykonstant·
0

Quiver: A modern commutative diagram editor

github.com·3 pts·ykonstant·
1

Tell HN: Fiverr Autoblocked Me as a Seller

1 pts·ykonstant·
0

Continuation-Passing Style, Defunctionalization, Accumulations and Associativity

cs.ox.ac.uk·3 pts·ykonstant·
2

The Lean proof assistant: introduction and challenges

youtube.com·1 pts·ykonstant·
0

The Main Way to Improve Your Chess Game, No Matter Your Rating

youtube.com·2 pts·ykonstant·
0

Formalizing the H-Principle and Sphere Eversion

dl.acm.org·23 pts·ykonstant·
10

Krusader – Twin panel file management for your desktop

krusader.org·3 pts·ykonstant·
1

Have you seen more math videos in your feed recently?

youtube.com·6 pts·ykonstant·
0

One Billion Is Tiny in an Alternate Universe

youtube.com·1 pts·ykonstant·
0

Mathematical Proof Between Generations

arxiv.org·1 pts·ykonstant·
0
← PreviousPage 2 of 3Next →