The first spreadsheets existed 4,600 years ago
connectreport.com·17h·
Discuss: Hacker News
⚙️PL Implementation
Scientists and Engineers Craft Radio Telescope Bound for the Moon
bnl.gov·9h·
Discuss: Hacker News
📦Unikernel Systems
Do support that doesn't scale
stedi.com·13h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Thermodynamics of Trading
signalsandthreads.com·2d·
Discuss: Hacker News
🏠HomeLab
Listening to the Nonhuman World: On Strategies for Saving the Biosphere
lareviewofbooks.org·19h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Sploitlight: Analyzing a Spotlight-based macOS TCC vulnerability
microsoft.com·13h·
Discuss: Lobsters, Hacker News
🍎Apple
Secure Overseas E-Commerce Review Accounts, Avoid Detection by Platforms
news.ycombinator.com·19h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
You can now train a 70B language model at home
answer.ai·4d·
Discuss: Hacker News
🐫Embedded OCaml
Use Your Type System
dzombak.com·4d·
Discuss: Lobsters, Hacker News, r/programming
🔠Type-Level Programming
Windows 11 is a minefield of micro-aggressions in the shipping lane of progress
theregister.com·15h·
Discuss: Hacker News
🔬Unikernels
18 months. 12,000 questions. A whole lot of anxiety. What I learned from reading students’ ChatGPT logs
theguardian.com·2d·
Discuss: Hacker News, Hacker News
🎮Verification Games
Cling – Instant fuzzy find any file on macOS
github.com·4h·
Discuss: Hacker News
🍎Apple
A Supervised Machine Learning Framework for Multipactor Breakdown Prediction in High-Power Radio Frequency Devices and Accelerator Components: A Case Study in P...
arxiv.org·4d
🐫Embedded OCaml
Covert Communications in MEC-Based Networked ISAC Systems Towards Low-Altitude Economy
arxiv.org·4d
📡Network Protocol Design
Choosing the rijght .NET container image for your workload
medium.com·5d·
Discuss: Hacker News
⎈Kubernetes
Purchase and Production Optimization in a Meat Processing Plant
arxiv.org·6d
🔠Type-Level Programming
Self-Contradiction as Self-Improvement: Mitigating the Generation-Understanding Gap in MLLMs
arxiv.org·6d
🛡️seL4
AI for Better UX in Computer-Aided Engineering: Is Academia Catching Up with Industry Demands? A Multivocal Literature Review
arxiv.org·6d
🎮Verification Games
Evaluating Ensemble and Deep Learning Models for Static Malware Detection with Dimensionality Reduction Using the EMBER Dataset
arxiv.org·5d
🔬Static Analysis
PBiLoss: Popularity-Aware Regularization to Improve Fairness in Graph-Based Recommender Systems
arxiv.org·1d
🔠Type-Level Programming