Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
31.
▲
Show HN: Typed Graph Theory: Extending graphs with type systems
(github.com/rcorcs)
1 point
rcorcs
9 years ago
1 comment
32.
▲
Applied Category Theory
(github.com/statebox)
34 points
adamnemecek
7 years ago
2 comments
33.
▲
Mathematical Evidence for Confident Delusion States in Recursive Systems
(github.com/Kaidorespy)
2 points
formslip
8 months ago
2 comments
34.
▲
Inline assembly in Linux
(github.com/0xAX)
158 points
0xAX
10 years ago
33 comments
35.
▲
Ask HN: Does this AI generated physics paper make any sense? [pdf]
(github.com/eclipse-consulting)
1 point
n00b101
2 years ago
6 comments
36.
▲
Ask HN: Crowd-sourced educational resources recommendations?
1 point
rkeulemans
6 years ago
discuss
37.
▲
Data science interview questions and answers
(github.com/alexeygrigorev)
2 points
alexey-olx
6 years ago
discuss
38.
▲
Quirk – Open-Source Cognitive Behavioral Therapy
(github.com/flaque)
346 points
flaque
7 years ago
62 comments
39.
▲
LLMs, Theory of Mind, and Cheryl's Birthday
(github.com/norvig)
290 points
stereoabuse
2 years ago
142 comments
40.
▲
Awesome Music Theory: books, links, videos, research, visuals, composition
(github.com/vpavlenko)
227 points
vitaly-pavlenko
3 years ago
34 comments
41.
▲
Show HN: Algebraic Number Theory in Python 3
(github.com/louisabraham)
157 points
Labo333
8 years ago
26 comments
42.
▲
ShannonMax: A Library to Optimize Emacs Keybindings with Information Theory
(github.com/sstraust)
83 points
sammy0910
4 months ago
21 comments
43.
▲
Information Theory for Machine Learning [pdf]
(github.com/mtomassoli)
55 points
rabidsnail
10 years ago
3 comments
44.
▲
Theory of winter-fasting and the cure for cancer
(github.com/albinsjolin)
17 points
albinsjolin
4 years ago
3 comments
45.
▲
Show HN: I built a procedural universe in Python to explore simulation theory
(github.com/SurceBeats)
9 points
SurceBeats
a year ago
1 comment
46.
▲
Show HN: Operon – Reliable Agents Using Biological Motifs and Category Theory
(github.com/coredipper)
6 points
coredipper
5 months ago
discuss
47.
▲
A General Theory of Reactivity
(github.com/kriskowal)
6 points
iddan
4 years ago
discuss
48.
▲
The Homotopy Type Theory (HoTT) Game
(github.com/thehottgame)
6 points
pizza
4 years ago
discuss
49.
▲
A curated list of useful resources for computer language engineering and theory
(github.com/NLKNguyen)
6 points
sidcool
9 years ago
discuss
50.
▲
Category Theory for Programmers, OCaml edition (alpha)
(github.com/hmemcpy)
5 points
mseri
6 years ago
discuss
51.
▲
Bartosz Milewski Category Theory for Programmers Unofficial PDF and LaTeX Source
(github.com/hmemcpy)
5 points
molteanu
7 years ago
discuss
52.
▲
Teoria: JavaScript music theory framework
(github.com/saebekassebil)
4 points
DanielRibeiro
13 years ago
1 comment
53.
▲
Show HN: Learn music theory with Ableton Push, WebMIDI and WebUSB display driver
(github.com/greyivy)
4 points
greyivy
5 years ago
discuss
54.
▲
LaTTe: a Laboratory for Type Theory experiments (in clojure)
(github.com/latte-central)
4 points
dmmalam
9 years ago
discuss
55.
▲
Show HN: Alice Architecture: An Attempt at Autonomous AGI Based on ±0 Theory
(github.com/xian367422611213344-source)
3 points
Norl-Seria
6 months ago
14 comments
56.
▲
Show HN: Εἶδος – A non-Turing-complete language built on Plato's Theory of Forms
(github.com/realadeel)
3 points
proletarian
4 months ago
3 comments
57.
▲
A Universal Theory for Everything
(github.com/anon-phys)
3 points
lbblack
5 years ago
1 comment
58.
▲
Literate Visualization: Theory, software and examples
(github.com/gicentre)
3 points
jweir
8 years ago
1 comment
59.
▲
Show HN: CTRS – Notes on Category Theory in Rust
(github.com/damienstanton)
3 points
damienstanton
8 years ago
1 comment
60.
▲
Zen - A new Python graph theory library
(github.com/networkdynamics)
3 points
rwosync
13 years ago
discuss
More