Shutdown System, Reboot Join CCC for 39C3: Power Cycles
ccc.de·20h·
Discuss: Hacker News
✅formal methods
Yet Another LLM Rant
overengineer.dev·2d·
Discuss: Hacker News
✅formal methods
Self-attention mechanism explained
jtlicardo.com·18h·
Discuss: Hacker News
⚡query optimization
Roo Code Workflow: An Advanced LLM-Powered Development Setup
gist.github.com·1d·
Discuss: Hacker News
✅formal methods
Getting Good Results from Claude Code
dzombak.com·2d·
Discuss: Hacker News
✅formal methods
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·4d·
Discuss: Hacker News
✅formal methods
Vectorless: open-source PDF chatbot without RAG
news.ycombinator.com·9h·
Discuss: Hacker News
⚙️systems programming
Small LLMs can outperform GPT-4 at detecting jailbreaks
romaingrx.com·3d·
Discuss: Hacker News
✅formal methods
Show HN: QuickShelf – Stop opening Finder just to drag files
quickshelf-app.slowlab.dev·7h·
Discuss: Hacker News
⚙️systems programming
Yet Another Online YAML Lint Tool
yamllint.vibecodinghub.org·1d·
Discuss: Hacker News
✅formal methods
Model Evaluation
ampcode.com·2d·
Discuss: Hacker News
✅formal methods
Janet Minipbt Translation
github.com·1d·
Discuss: Lobsters, Hacker News
✅formal methods
Show HN: VectorOps Know
vectorops.dev·3d·
Discuss: Hacker News
⚙️systems programming
In a World of Hype, GraphQL's Fundamental Advantages over tRPC Still Hold True
metaduck.com·3d·
Discuss: Hacker News
✅formal methods
Exploring AI Memory Architectures (Part 2): MemOS Framework
blog.lqhl.me·1d·
Discuss: Hacker News
⚙️systems programming
A subtle bug with Go's errgroup
gaultier.github.io·2d·
Discuss: Hacker News, r/golang
⚙️systems programming
Apple taught an LLM to predict tokens up to 5x faster in math and coding tasks
9to5mac.com·2d·
Discuss: Hacker News
✅formal methods
Show HN: Code Palettes – Free color theme generator for code and docs
codepalettes.com·4d·
Discuss: Hacker News
🔄compilers
Fine-tuning with GPT-OSS and Hugging Face Transformers
cookbook.openai.com·5d·
Discuss: Hacker News
✅formal methods
AI: Great Expectations
rodneybrooks.com·8h·
Discuss: Hacker News
⚙️systems programming