Human A10 dopaminergic neurons integrate into mice and improve depression
sciencedirect.com·2h·
Discuss: Hacker News
📚Automata Learning
What's Happening to Wholesale Electricity Prices?
construction-physics.com·2h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
One Token to rule them all - obtaining Global Admin in every Entra ID tenant via Actor tokens
dirkjanm.io·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌐NetworkProtocols
Who Watches the (Crypto) Wallets? Introducing Wallet Beat
thomasbenoitbenoitonchain.substack.com·3d·
Discuss: Substack
🖥️Self-hosted Infrastructure
Varnish: 8.0.0 with bonus project news
varnish-cache.org·2d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
ZipZen Got Public Release Pages
zipzen.dev·2d·
Discuss: Hacker News
❄️Nixified Development
Luau – fast, small, safe, gradually typed scripting language derived from Lua
luau.org·1h·
Discuss: Hacker News
⚙️PL Implementation
How Opus and o3 saved me from permanent blindness
mmaaz.ca·2d·
Discuss: Hacker News
🩹Self-Healing Systems
In-depth Review of Emacs tree-sitter integration
archive.casouri.cc·2d·
Discuss: Lobsters, Hacker News, r/programming
🧩Parser Combinators
Claude Can (Sometimes) Prove It
galois.com·1d·
Discuss: Lobsters, Hacker News
🧠Automated Reasoning
Show HN: From Chatbots to AI Agents: The Quiet Revolution
tolearn.blog·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Getting the Most out of ISM Transceivers Using Math
hackaday.com·12h
📡Network Protocol Design
RFS for AI Alignment
fiftyyears.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Poor TrueNAS Performance (no debit card in photo lol)
i.redd.it·2d·
Discuss: r/homelab
🍎XNU Internals
More performant and scalable: Rethinking contrastive vision-language pre-training of radiology in the LLM era
arxiv.org·1d
🧩Parser Combinators
On Columbia University's Superintelligent Cyborg Mice
lesswrong.com·2d
📚Automata Learning
No Answer Needed: Predicting LLM Answer Accuracy from Question-Only Linear Probes
lesswrong.com·1d
📚Automata Learning
iPhone 17 vs iPhone 16: what’s new?
9to5mac.com·6d
📺Vintage Apple
Perplexity's Comet browser is magic
medium.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
ActiveVLN: Towards Active Exploration via Multi-Turn RL in Vision-and-Language Navigation
arxiv.org·1d
📚Automata Learning