Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
1.
A collection of resources on wait-free and lock-free programming (github.com/rigtorp)
9 points
dvaun
6 years ago
discuss
2.
Lock-Free: A collection of resources on lock-free programming (github.com/rigtorp)
4 points
ra7
7 years ago
discuss
3.
Awesome Modern C++ (github.com/rigtorp)
3 points
htfy96
7 years ago
discuss
4.
A collection of resources on modern C++ (github.com/rigtorp)
3 points
sangar
8 years ago
discuss
5.
Awesome Modern C++ (github.com/rigtorp)
2 points
ingve
10 years ago
discuss
6.
Benchmarks on SPSCQueue (andrvv) x9 faster than rigtorp (github.com/ANDRVV)
1 point
andrvv
2 months ago
discuss
7.
Show HN: AI Peer Reviewer – Multiagent system for scientific manuscript analysis (github.com/robertjakob)
108 points
rjakob
a year ago
95 comments
8.
Show HN: Go-Bt: Minimalist Behavior Trees for Go (github.com/rvitorper)
62 points
rvitorper
2 months ago
12 comments
9.
Show HN: A Rigorous Proofless Approach to Linear Algebra [pdf] (github.com/murisi)
14 points
murisitarusenga
9 years ago
3 comments
10.
Show HN: Agentrial – pytest for AI agents with statistical rigor (github.com/alepot55)
2 points
alepot55
4 months ago
discuss
11.
Stabilizer: Statistically Rigorous Performance Evaluation (github.com/ccurtsinger)
1 point
arnsholt
13 years ago
discuss
12.
Viron - straightfoward and rigorously imbecilic templates (github.com/fish2000)
1 point
fish2000
14 years ago
discuss
13.
I accidentally started a movement – Policing the Police by scraping court data
650 points
kristintynski
4 years ago
183 comments
14.
Show HN: Kreuzberg – Modern async Python library for document text extraction (github.com/Goldziher)
197 points
nhirschfeld
a year ago
75 comments
15.
Show HN: Formalizing Principia Mathematica using Lean (github.com/ndrwnaguib)
188 points
ndrwnaguib
a year ago
34 comments
16.
Show HN: A geometric analysis of Chopin's Prelude No. 4 using 3D topology (github.com/jimishol)
50 points
jimishol
3 months ago
16 comments
17.
Show HN: SymDerive – A functional, stateless symbolic math library
26 points
dinunnob
4 months ago
14 comments
18.
Show HN: Airplane Views – code-first platform for building internal UIs (airplane.dev)
23 points
joshma
4 years ago
6 comments
19.
Ask HN: 30 years old attempting a career change, advice needed.
11 points
Woadray
5 years ago
15 comments
20.
Show HN: Are the Riemann Hypothesis and Navier-Stokes the Same Problem? (academia.edu)
7 points
kristintynski
5 months ago
7 comments
21.
Show HN: Achieves Perfect 100 Score Across 6 Leading AI Model Evaluations (github.com/onestardao)
6 points
TXTOS
a year ago
8 comments
22.
Show HN: VeilStream – Per-Branch Preview Environments (veilstream.com)
6 points
joram87
4 months ago
discuss
23.
Show HN: Operon – Reliable Agents Using Biological Motifs and Category Theory (github.com/coredipper)
6 points
coredipper
5 months ago
discuss
24.
Show HN: I built an open-source “unit testing” suite for prompts ⮂ inputs (github.com/jordanful)
5 points
jordanf
3 years ago
discuss
25.
Show HN: Code on the Go, an IDE for Android with On-Device Debugging (GPLv3) (appdevforall.org)
4 points
hal-eisen
a month ago
6 comments
26.
The AI Reproducibility Crisis
4 points
ocolegro
3 years ago
3 comments
27.
Show HN: Quantum-Enhanced Mathematical Reasoning System – Expert Verification
4 points
nandakishor_ml
a year ago
1 comment
28.
Ask HN: What do I need to know to be hired as a junior back-end web developer?
4 points
Woadray
5 years ago
1 comment
29.
Show HN: A Prompting Framework for Non-Vibe-Coders (github.com/No3371)
4 points
3371
4 months ago
discuss
30.
Show HN: Core – open-source memory graph for AI agents (88.24% SOTA on LoCoMo) (blog.heysol.ai)
4 points
Manik_agg
9 months ago
discuss
More