Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
61.
Mathematical Evidence for Confident Delusion States in Recursive Systems (github.com/Kaidorespy)
2 points
formslip
8 months ago
2 comments
62.
Control Theory (github.com/A-make)
1 point
pizza
3 years ago
discuss
63.
Inline assembly in Linux (github.com/0xAX)
158 points
0xAX
10 years ago
33 comments
64.
Hacking Discoveries? Context Engineered Atomics Theory [pdf] (github.com/Open-Hermios)
3 points
dowingard
6 months ago
1 comment
65.
Presheaves as co-limits of representable functors [pdf] (github.com/davidk01)
2 points
cosheaf
4 years ago
discuss
66.
Ask HN: Does this AI generated physics paper make any sense? [pdf] (github.com/eclipse-consulting)
1 point
n00b101
2 years ago
6 comments
67.
Launch HN: Quirk (YC S19) – Open-Source Cognitive Behavioral Therapy
196 points
flaque
7 years ago
93 comments
68.
Show HN: Story Jam, a music composition tool for Storytellers
2 points
naltroc
a year ago
discuss
69.
Ask HN: Crowd-sourced educational resources recommendations?
1 point
rkeulemans
6 years ago
discuss
70.
Show HN: Causal Analysis based on System Theory (CAST) (github.com/joelparkerhenderson)
4 points
jph
4 years ago
discuss
71.
Data science interview questions and answers (github.com/alexeygrigorev)
2 points
alexey-olx
6 years ago
discuss
72.
Category Theory for Programmers (github.com/hmemcpy)
2 points
ingve
8 years ago
discuss
73.
Algorithmic Unification of Number Theory and Quantum Mechanics IBM Quantum (github.com/peterbabulik)
1 point
PeterBabulik
2 months ago
discuss
74.
Category Theory for Programmers (2014) [pdf] (github.com/hmemcpy)
403 points
furcyd
6 years ago
129 comments
75.
Coltrane: A music theory library with a command-line interface (github.com/pedrozath)
387 points
robenkleene
3 years ago
74 comments
76.
Quirk – Open-Source Cognitive Behavioral Therapy (github.com/flaque)
346 points
flaque
7 years ago
62 comments
77.
LLMs, Theory of Mind, and Cheryl's Birthday (github.com/norvig)
290 points
stereoabuse
2 years ago
142 comments
78.
Tonal.js: Functional music theory lib (github.com/tonaljs)
277 points
brianzelip
2 years ago
62 comments
79.
Awesome Music Theory: books, links, videos, research, visuals, composition (github.com/vpavlenko)
227 points
vitaly-pavlenko
3 years ago
34 comments
80.
Programming as Theory Building (1985) (gist.github.com)
193 points
onlurking
6 years ago
35 comments
81.
A Path to Programming Language Theory (github.com/steshaw)
174 points
rspivak
10 years ago
35 comments
82.
Show HN: Algebraic Number Theory in Python 3 (github.com/louisabraham)
157 points
Labo333
8 years ago
26 comments
83.
Show HN: Peridot – A functional language based on two-level type theory (github.com/eashanhatti)
151 points
ehatti
4 years ago
40 comments
84.
A General Theory of Reactivity (github.com/kriskowal)
103 points
yuchi
11 years ago
32 comments
85.
Show HN: 12-colored visual interactive music theory for pop/rock MIDI (+Github) (rawl.rocks)
101 points
vitaly-pavlenko
2 years ago
16 comments
86.
IKOS: Static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/NASA-SW-VnV)
91 points
ingve
4 years ago
38 comments
87.
Bartosz Milewski's 'Category Theory for Programmers' Unofficial PDF/LaTeX Source (github.com/hmemcpy)
91 points
gfredtech
9 years ago
5 comments
88.
Catlab.jl: Experimental framework for applied category theory (github.com/epatters)
90 points
adamnemecek
7 years ago
4 comments
89.
ShannonMax: A Library to Optimize Emacs Keybindings with Information Theory (github.com/sstraust)
83 points
sammy0910
4 months ago
21 comments
90.
Show HN: Teoria.js - Music theory for JavaScript (saebekassebil.github.com)
77 points
saebekassebil
13 years ago
21 comments
More