Here’s the tech powering ICE’s deportation crackdown
techcrunch.com·5h·
Discuss: Hacker News
🧗Climbing Tech
Rails Decouples Trix From Action Text Into action_text-trix gem
blog.saeloun.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·4d·
Discuss: r/programming
🌐NetworkProtocols
Effects of natural extracts in cognitive function: systematic meta-analysis
frontiersin.org·17h·
Discuss: Hacker News
🧠Automated Reasoning
The Sacred Conspiracy by Georges Bataille (1936)
marxists.org·2h·
Discuss: Hacker News
🩹Self-Healing Systems
Living in a tiny electric van for three years
philsturgeon.com·12h·
Discuss: Hacker News
🩹Self-Healing Systems
GSoC 2025 - Byte Type: Supporting Raw Data Copies in the LLVM IR
blog.llvm.org·5d·
Discuss: Lobsters, Hacker News, Hacker News
🐫Embedded OCaml
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·3d·
Discuss: Hacker News
❄️Nixified Development
Comparing Virtual Threads vs Platform Threads in Spring Boot using JMeter Load Test
reddit.com·3d·
Discuss: r/programming
👁️System Observability
Visualising Topology Inspired Computing Algorithms
antifold.com·4d·
Discuss: Hacker News
🧩Separation Logic
Thinking Machines Lab wants to make AI models more consistent
techcrunch.com·2d·
Discuss: Hacker News
📚Automata Learning
As We May Think No More: From Bush's Memex to AI Alignment
memoryleak.substack.com·1d·
Discuss: Substack
🩹Self-Healing Systems
Can AI code? Study maps the roadblocks to autonomous software engineering
csail.mit.edu·5d·
Discuss: Hacker News
🤖Program Synthesis
Memexes, mountain lakes, and the serendipity of old ideas
interconnected.org·2d·
Discuss: Hacker News
🩹Self-Healing Systems
EnergyNet Explained: Internetification of Energy Distribution
arxiv.org·2d
📡Network Protocol Design
Generative Engine Optimization: How to Dominate AI Search
arxiv.org·1d
🧩Parser Combinators
Measuring Implicit Spatial Coordination in Teams: Effects on Collective Intelligence and Performance
arxiv.org·1d
🎮Verification Games
Modality-Agnostic Input Channels Enable Segmentation of Brain lesions in Multimodal MRI with Sequences Unavailable During Training
arxiv.org·1d
🧩Separation Logic
Show HN: Production Manager App – Offline Payroll and Job Tracker (.exe)
github.com·5d·
Discuss: Hacker News
🔄Reproducible Builds
Is user onboarding better now that we have AI?
medium.com·8h·
Discuss: Hacker News
🍎Apple