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