Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
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