'Crash-Proof' Hybrid Drone Can Move Between Flight and Ground Operation
thedebrief.org·11h·
Discuss: Hacker News
🧗Climbing Tech
You might not need a Python class
adamgrant.micro.blog·1d·
Discuss: Hacker News, r/programming
🔬Static Analysis
[JOB OFFER] Looking for a Scala Developer - remote; B2B contract; Europe; AdTech product.
careers.eskimi.com·4d·
Discuss: r/programming
⎈Kubernetes
Bluesky's ATProto and the race to the bottom of the brain stem
erasmus.github.io·9m·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
We built ClearWork to reveal how work gets done (not what's in the SOP)
clearwork.io·2d·
Discuss: Hacker News
🧗Climbing Tech
All an Experiment
blog.turbine.ai·2d·
Discuss: Hacker News
🔄Reproducible Builds
The Psychology of Deception – By Caroline Orr Bueno, PhD
weaponizedspaces.substack.com·14h·
Discuss: Substack
🎮Verification Games
Static analysis for pull requests. Another step towards regularity
pvs-studio.com·3d·
Discuss: r/programming
🔬Static Analysis
Weapons jam: Pentagon sucks at removing foreign objects from its gear, auditors say
theregister.com·1d·
Discuss: Hacker News
👁️System Observability
Fragmentary Latin inscriptions can be completed with AI
economist.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Polarforming Design for Movable Antenna Systems
arxiv.org·3d
📡Network Protocol Design
AI is an over-confident pal that doesn't learn from mistakes
theregister.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
White House unveils sweeping plan to “win” global AI race through deregulation
arstechnica.com·1d·
Discuss: Hacker News
📡Network Protocol Design
Glaze: Fast, in memory, JSON and reflection library for modern C++
github.com·2d·
Discuss: Hacker News
📦Unikernel Systems
CollabLLM: From Passive Responders to Active Collaborators
icml.cc·3d·
Discuss: Hacker News
🎮Verification Games
Collaborative Distillation Strategies for Parameter-Efficient Language Model Deployment
arxiv.org·4d
🔠Type-Level Programming
Exploring Human-AI Complementarity in CPS Diagnosis Using Unimodal and Multimodal BERT Models
arxiv.org·4d
🏹Effect Systems
Now and Future of Artificial Intelligence-based Signet Ring Cell Diagnosis: A Survey
arxiv.org·3d
➡️Category Theory
Data-Driven Adaptive Gradient Recovery for Unstructured Finite Volume Computations
arxiv.org·3d
🐫OCaml
FollowUpBot: An LLM-Based Conversational Robot for Automatic Postoperative Follow-up
arxiv.org·4d
🔄Finite State Machines