Spectrally Tunable Lighting: How LEDs can emulate blackbody emitters
enody.lighting·2d·
Discuss: Hacker News
🍎Apple
PCIE 5.0 x16 to x8x8 bifurcation
c-payne.com·4d·
Discuss: r/homelab
📦Unikernel Systems
Private Research Is the New Public Research
bloomberg.com·3h·
Discuss: Hacker News
🧗Climbing Tech
Read post
allenai.org·1d·
Discuss: Hacker News
🔬Static Analysis
Show HN: Object database for LLMs that persists across chats (MCP server)
dry.ai·4d·
Discuss: Hacker News
🛡️seL4
Brute-forcing Langley’s geometry problem with field extensions
chiark.greenend.org.uk·3d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Exhausted man defeats AI model in world coding championship
arstechnica.com·3d·
Discuss: Hacker News, r/LocalLLaMA, r/programming, r/technews
🎮Verification Games
Why We Develop EloqDB Mainly in C++
eloqdata.com·4d·
Discuss: Hacker News
🔤DSLs
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·4d·
Discuss: Hacker News
🐫OCaml
Suggestions for building NAS
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Reverse Engineering a ‘Tony’ 6502-based Mini Arcade Machine
hackaday.com·12h
💾Retro Computing
Imperative vs declarative
github.com·5d·
Discuss: r/programming
🔬Static Analysis
Short Takes #2
secondthoughts.ai·2d·
Discuss: Hacker News
🤖Program Synthesis
FakeMaker – Instantly generate fake identities (face, name, backstory)
fakemaker.app·1d·
Discuss: Hacker News
🍎Apple
Where to place my homelab in this home?
i.redd.it·2d·
Discuss: r/homelab
🏠HomeLab
VITA: Vision-to-Action Flow Matching Policy
arxiv.org·3d
🔄Finite State Machines
Help updating firmware on dell r630.
i.redd.it·2d·
Discuss: r/homelab
🏠HomeLab
EcoFlow River Max 2 as PC UPS - inconsistent switchover speed causing shutdowns
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
The Generative Energy Arena (GEA): Incorporating Energy Awareness in Large Language Model (LLM) Human Evaluations
arxiv.org·3d
🎮Verification Games
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·4d
🔍Formal Verification