Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

What Artifacts Teach Us
systemsapproach.org·3d
📡Network Archaeology
Flag this post
I Take Math Tests with Double Vision
veroniiiica.com·9h·
Discuss: Hacker News
Bidirectional Programming
Flag this post
Hightouch (YC S19) Is Hiring
job-boards.greenhouse.io·1h·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
The Paradox of a Principled Machine
artificiallyintelligentspace.substack.com·2d·
Discuss: Substack
🔲Cellular Automata
Flag this post
What's New in Tenable Cloud Security: Enhanced Visibility, Prioritization, and Navigation
tenable.com·7h
📦Container Security
Flag this post
Autark: Rethinking build systems – Integrate, Don't Outsource
blog.annapurna.cc·2d·
⚙️Build Archaeology
Flag this post
How PowerShell Gallery simplifies supply chain attacks
reversinglabs.com·2d
🛡️CLI Security
Flag this post
Experimental evolution uncovers how bacteria develop drug resistance
phys.org·2h
🧬Copy Number Variants
Flag this post
Create a Text Editor With Go - Setup
dev.to·2d·
Discuss: DEV
📺Terminal UI
Flag this post
Jensen Huang Gets It Wrong
oreilly.com·12h
🌍Cultural Algorithms
Flag this post
A Unified Model for Human Mobility Generation in Natural Disasters
arxiv.org·1d
🔲Cellular Automata
Flag this post
3 Signals You Can’t Ignore from the 2025 Hacker-Powered Security Report
hackerone.com·2d
🔓Hacking
Flag this post
[$] A security model for systemd
lwn.net·1d
🛡️eBPF Security
Flag this post
Building a Production-Ready AI Call Center with Asterisk in 15 Minutes
dev.to·4h·
Discuss: DEV
🎙️Whisper
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·13h·
Discuss: DEV
Proof Automation
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·2d
Effect Handlers
Flag this post
Accumulating Context Changes the Beliefs of Language Models
arxiv.org·2d·
Discuss: Hacker News
🤖Grammar Induction
Flag this post
Survey: Where AI Reduces Toil and Where It Still Falls Short
thenewstack.io·6h
🌊Stream Processing
Flag this post
InvisioVault: Because Sometimes You Just Want to Hide Stuff 🤫
dev.to·2d·
Discuss: DEV
🚀Indie Hacking
Flag this post