👑 Isabelle/HOL

Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving

Final tweaks to the 1130 core memory replacement (MRAM) board
rescue1130.blogspot.com·8h·
Discuss: rescue1130.blogspot.com
🔧Hardware Verification
Channels for effective software team communication in messaging tools
blog.scottlogic.com·20h
📰RSS Archaeology
The Buddhabrot
paulbourke.net·1d
🌀Fractal Compression
Show HN: SamwiseOS – A web-based, AI-first OS with a Python kernel in Pyodide
samwiseos.neocities.org·1d·
Discuss: Hacker News
🚀Indie Hacking
Show HN: I built an app that turns random fridge items into real meals
apps.apple.com·1d·
Discuss: Hacker News
🧮Algorithmic Cooking
Placing Arguments
blog.yoshuawuyts.com·6d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Balancing Coupling in Software Design • Vlad Khononov & Sheen Brisals
youtube.com·3d
🧩WASM Components
Ask r/kubernetes: What are you working on this week?
reddit.com·20h·
Discuss: r/kubernetes
🔩Systems Programming
Practices make perfect - Improving your security management approach
techradar.com·22h
🎯Threat Hunting
What is Unit Testing?
dev.to·1d·
Discuss: DEV
🧪Property-Based Testing
Pushing the Limits of Frequency Analysis in Leakage Abuse Attacks
arxiv.org·1d
🌳Archive Merkle Trees
Language models align with brain regions that represent concepts across modalities
arxiv.org·1d
🔢Denotational Semantics
AI That Helps Us Help Each Other: A Proactive System for Scaffolding Mentor-Novice Collaboration in Entrepreneurship Coaching
arxiv.org·1d
🗺️Competency Maps
Thinking of Starting an AI Content Business? Don’t Make These Mistakes!
dev.to·2d·
Discuss: DEV
🤖AI Curation
Generating Dialogues from Egocentric Instructional Videos for Task Assistance: Dataset, Method and Benchmark
arxiv.org·1d
🤖AI Curation
Quantization vs Pruning: Insights from the Strong Lottery Ticket Hypothesis
arxiv.org·1d
📊Quantization
Bandit-Based Charging with Beamforming for Mobile Wireless-Powered IoT Systems
arxiv.org·2h
🕸️Mesh Networking
Efficient High-Resolution Visual Representation Learning with State Space Model for Human Pose Estimation
arxiv.org·1d
🌀Hyperbolic Geometry
Adaptive Fault-Tolerant Antenna Array Synthesis via Bayesian Optimization and Reinforcement Learning
dev.to·3d·
Discuss: DEV
🛡️Error Boundaries
Seeking Advice for Building an Android App Using Prompt-Driven AI Agents
dev.to·1d·
Discuss: DEV
🎙️Whisper