On This Dayin Math - November 2
pballew.blogspot.com·18h·
Discuss: www.blogger.com
⚙️Proof Engineering
Flag this post
From Visibility to Verification: The Second Phase of AI Surface Governance
aivojournal.org·1d·
Discuss: Hacker News
🔗Data Provenance
Flag this post
Choosing a dependency
blog.frankel.ch·4h·
Discuss: r/programming
🔗Dependency Resolution
Flag this post
Improving Emacs' iCalendar Support
recursewithless.net·3h·
Discuss: Hacker News
🌳Incremental Parsing
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·16h·
Discuss: Hacker News
🎵Audio ML
Flag this post
Oops, My UUIDs Collided
alexsci.com·2d·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
Is 'human' a risky AGI target
nullsy.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·5h·
Discuss: DEV
🌐Computational Topology
Flag this post
Walkie Talkie, an open source peer-to-peer iOS communicator
github.com·45m·
Discuss: Hacker News
📻Homebrew Protocols
Flag this post
Creating AI Agents with Mastra and Typescript
dev.to·1d·
Discuss: DEV
⚙️TLA+
Flag this post
ClipTagger-12B VLM: Frame Captioning Tutorial
dev.to·7h·
Discuss: DEV
🎬WebCodecs API
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·2d
✅Format Verification
Flag this post
Understanding Agent-Driven Healthcare Chatbots: A Detailed Guide
dev.to·1d·
Discuss: DEV
🎙️Whisper
Flag this post
Horn Clauses
youtube.com·2d
👑Isabelle/HOL
Flag this post
Machine Learning Fundamentals: Everything I Wish I Knew When I Started
dev.to·16h·
Discuss: DEV
🧠Machine Learning
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1d·
Discuss: Hacker News
⚡Homebrew CPUs
Flag this post
my tech restart
dev.to·4h·
Discuss: DEV
🔌Operating system internals
Flag this post
Durable execution workflow system based on Postgres
github.com·2d·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·2d·
Discuss: Hacker News
🔗Network Calculi
Flag this post
Chain of Pattern: Rethink
dev.to·3h·
Discuss: DEV
📏Code Metrics
Flag this post