Amazon developing consumer AR glasses to rival Meta, The Information reports
roadtovr.com·2d·
Discuss: Hacker News
🍎Apple
LTE downlink: synchronization signals (2022)
destevez.net·3d·
Discuss: Hacker News
📡Network Protocol Design
Never steal a hacker’s girlfriend’s phone: How an expert exposed a global network of thieves
english.elpais.com·2d·
Discuss: Hacker News
🍎Apple
Understanding Floating-Point Numbers
dennisforbes.ca·2d·
Discuss: Hacker News
🏹Effect Systems
Preview of LibrePCB 2.0's Next-Gen UI
librepcb.org·2d·
Discuss: Hacker News
🔧Unikernel Development
Does Society Have Too Many Rules?
newyorker.com·5d·
Discuss: Hacker News, Hacker News
⚡Process Calculi
Memory-Centric AI: SanDisk's High Bandwidth Flash
sandisk.com·6d·
Discuss: Hacker News
🔧Unikernel Development
Make More Money When Revenue Is Seasonal
writings.founderlabs.io·2d·
Discuss: Hacker News
⎈Kubernetes
Is Perl the World's 10th Most Popular Programming Language?
developers.slashdot.org·1d·
Discuss: Hacker News
🔤DSLs
Microsoft's analog optical computer cracks 2 practical problems,shows AI promise
news.microsoft.com·6d·
Discuss: Hacker News
🐫Embedded OCaml
LiteFS VFS SQLite Extension for Serverless Environments
github.com·15h·
Discuss: Hacker News
🔬Unikernels
Fclones – Efficient Duplicate File Finder
github.com·2d·
Discuss: Hacker News
❄️Nix
Looking back at Steve Jobs's NeXT, Inc – the most successful failure
appleinsider.com·2d·
Discuss: Lobsters, Hacker News
📺Vintage Apple
Debunking the Claims of K2-Think
sri.inf.ethz.ch·2d·
Discuss: Hacker News, r/LocalLLaMA
🧠Automated Reasoning
Yes, AI Continues To Make Rapid Progress, Including Towards AGI
lesswrong.com·5d
🧠Automated Reasoning
looking for recommendation - fanless mini pc for mini homelab with lightweight workloads
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Merge-of-Thought Distillation
arxiv.org·4d
📝Term Rewriting
MasconCube: Fast and Accurate Gravity Modeling with an Explicit Representation
arxiv.org·4d
🐫OCaml
DyC-STG: Dynamic Causal Spatio-Temporal Graph Network for Real-time Data Credibility Analysis in IoT
arxiv.org·6d
🧩Separation Logic
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·2d·
Discuss: Hacker News
🐫OCaml