Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
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