Integrating Argumentation Seamlessly
blog.mathed.page·7h
📚Proof Pedagogy
Humans Traveled 31,000 Feet Below the Ocean—and Found a Hidden World of New Life Forms
popularmechanics.com·17h
🦴Binary Paleontology
Philosophers and Embedded Ethics (guest post)
dailynous.com·1d
⚖️Archive Ethics
surgicalstainless - three's company - The Murderbot Diaries - Martha Wells [Archive of Our Own]
archiveofourown.org·12m
🕹️Retro Gaming
NetBSD New build cluster speeds up daily autobuilds
blog.netbsd.org·2d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
The SmartBase - IoT Adjustable Bed for Comfort and Safety (2019)
hackster.io·1d·
Discuss: Lobsters, Hacker News
🏠Home Automation
Show HN: Elf0 – Build and run AI agent workflows in YAML (CLI)
elf0.com·1d·
Discuss: Hacker News
👑Isabelle
Version control: how I combat the rise of generative AI in the classroom
nature.com·1d·
Discuss: Hacker News
⚡Proof Automation
Arduino Obstacle Avoiding Robot - w/ Custom Chassis
hackster.io·2d
🤖Tape Automation
Best Full-Stack AI/ML Development Company in the USA
dev.to·1d·
Discuss: DEV
🌊Stream Processing
I created uroman-rs, a 22x faster rewrite of uroman, a universal romanizer.
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
A virtual sensor fusion approach for state of charge estimation of lithium-ion cells
arxiv.org·2h
🌀Differential Geometry
🌱 From .NET Developer to Building My Own Programming Language in Tamil
dev.to·1d·
Discuss: DEV
🗣️Domain-Specific Languages
TDSNNs: Competitive Topographic Deep Spiking Neural Networks for Visual Cortex Modeling
arxiv.org·2h
🧠Neural Compression
Quiz: What Are Mixin Classes in Python?
realpython.com·18h
⬌Bidirectional Typing
Do Recommender Systems Really Leverage Multimodal Content? A Comprehensive Analysis on Multimodal Representations for Recommendation
arxiv.org·2h
🧭Content Discovery
Enabling Site-Specific Cellular Network Simulation Through Ray-Tracing-Driven ns-3
arxiv.org·2h
🕸️Mesh Networking
Using MCP with Jupyter Notebooks: Agent‑Driven Workflow in Python
dev.to·7h·
Discuss: DEV
🤖Archive Automation
TCDiff: Triplex Cascaded Diffusion for High-fidelity Multimodal EHRs Generation with Incomplete Clinical Data
arxiv.org·2d
🎙️Whisper
Axum Is Shaping the Future of Web Development in Rust
dev.to·2d·
Discuss: DEV
🔒Linear Types