Is Glass Liquid or Solid?
math.ucr.edu·21h·
Discuss: Hacker News
🔄Reproducible Builds
Colonel Panic's OUI-SPY Is a Slick Bluetooth Low Energy Scanner — Or a "Foxhunting" Handset
hackster.io·2d·
Discuss: Hacker News
🍎Apple
Working with Btrfs – Snapshots
fedoramagazine.org·4d·
Discuss: Hacker News
📦Unikernel Systems
Onboarding Newbie Testers: Turn Interns into App Quality Champions
spin.atomicobject.com·4d·
Discuss: Hacker News
🧪Property-Based Testing
In-memory Filesystems in Rust
andre.arko.net·6d·
Discuss: Lobsters, Hacker News
🔬Unikernels
Cheap RL tasks will waste compute – Mechanize Inc
mechanize.work·5d·
Discuss: Hacker News, Hacker News
🎮Verification Games
Microsoft QuickBasic remembered
dfarq.homeip.net·2d·
Discuss: Hacker News
💾Retro Computing
Is Dfinity's Caffeine AI a wakeup call for application developers?
siliconangle.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: I'm building a "work visa" API for AI agents
agentvisa.dev·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Language Models as Thespians
jstrieb.github.io·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🛡️seL4
18 months after becoming the first human implanted with Elon Musk’s brain chip, Neuralink ‘Participant 1’ Noland Arbaugh says his whole life has changed
fortune.com·1d·
Discuss: Hacker News
🍎Apple
I can't find a Job as a frontend dev after 3 years
reddit.com·1d·
Discuss: r/programming
🔤DSLs
An Exploratory Study on Crack Detection in Concrete through Human-Robot Collaboration
arxiv.org·6d
🛡️seL4
Maybenot: A framework for traffic analysis defenses
github.com·4d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Learn to optimize for automatic proton PBS treatment planning for H&N cancers
arxiv.org·6d
✓Automated Theorem Proving
GraphCogent: Overcoming LLMs' Working Memory Constraints via Multi-Agent Collaboration in Complex Graph Understanding
arxiv.org·5d
✓Automated Theorem Proving
Active inference for action-unaware agents
arxiv.org·5d
✓Automated Theorem Proving
Cognitive Workspace: Active Memory Management for LLMs -- An Empirical Study of Functional Infinite Context
arxiv.org·4d
🐫Embedded OCaml
DyMixOp: Guiding Neural Operator Design for PDEs from a Complex Dynamics Perspective with Local-Global-Mixing
arxiv.org·4d
🐫OCaml
The Trauma of Gaslighting and Veridical Distortion
cristinagherghel.substack.com·38m·
Discuss: Substack
➡️Category Theory