Search: github.com/theory | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Ask HN: How will NLP models affect online discussion?

6 years ago

7 points

242.

Ask HN: starter books for learning about grammars, parsers and compilers?

13 years ago

michaelsbradley

7 points

243.

Show HN: Crystalline Protocol – A blockchain with a built-in "Logic Firewall"

github.com/deramazesaa-web

6 months ago

7 points

244.

Show HN: Micro – apps without ads, algorithms or tracking

3 months ago

6 points

245.

Ask HN: Why dead code detection in Python is harder than most tools admit

5 months ago

6 points

246.

Show HN: Cognee – Turn RAG and GraphRAG into custom dynamic semantic memory

github.com/topoteretes

a year ago

6 points

247.

Bibliography of Recent BFT Algorithms

github.com/hellas-ai

a year ago

6 points

248.

Announcing Flink-HTM – Anomaly Detection for Apache Flink

10 years ago

6 points

249.

Show HN: It's been nearly 50 years. Is SQL outdated?

github.com/SPLWare

3 years ago

5 points

250.

Ask HN: Any interest in a decentralized notes app?

10 years ago

5 points

251.

Proof-engine A mathematical rendering engine for Rust

3 months ago

5 points

252.

Show HN: Awwation, a Prezi Clone written with HTML, SVG and Js.

14 years ago

5 points

253.

Show HN: I built a debugging MCP server that saves me ~2 programming hours a day

a year ago

5 points

254.

Show HN: My OSINT dashboard with 60+ feeds now has a pseudonymous P2P comms

github.com/BigBodyCobain

2 months ago

vancecookcobxin

5 points

255.

Show HN: AI Code Review CLI

github.com/kodustech

4 months ago

5 points

256.

Show HN: Agentic Design Patterns – Python Edition, from the Codex Codebase

artvandelay.github.io

9 months ago

5 points

257.

Show HN: Connecting MLflow Hosted Models and Label Studio for Auto Labelling

2 years ago

5 points

258.

Ask HN: Where can I find mentors for CS-adjacent things?

3 years ago

4 points

259.

Does it make sense to ask Blackberry to re-license ancient QNX sources?

3 months ago

4 points

260.

Show HN: Physics from "I am": a recursive model that works?

github.com/ktynski

10 months ago

4 points

261.

What I learned from tinkering with programming languages in the last 34 days

a month ago

4 points

262.

Show HN: Tine – Drive Wayland Around with Agents

github.com/smythp

2 months ago

4 points

263.

Show HN: PromptOptimizer – Minimize LLM token complexity to save cost

github.com/vaibkumr

3 years ago

4 points

264.

Show HN: Quantum-Enhanced Mathematical Reasoning System – Expert Verification

a year ago

4 points

265.

Corehash Protocol – Decentralized hashrate liquidity provision with HashFi

5 years ago

4 points

266.

Show HN: The Oct Programming Language for scientific programming

github.com/yuechen-li-dev

7 days ago

4 points

267.

Show HN: Ship of Theseus License

github.com/tilework-tech

2 months ago

4 points

268.

Show HN: Software Design – ADRs, arch tests, patterns

github.com/QDenka

4 months ago

4 points

269.

Show HN: ÆTHRA – Write music as code (notes, chords, emotion-driven music)

5 months ago

4 points

270.

Show HN: MSDL – A minimal description language and editor for system diagrams

github.com/stefankober

a year ago

4 points