🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Show HN: A concept for a productivity OS using LXC for client isolation
abdrehman.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Using Real Survey Data to Create Authentic AI Personas for Extended Research
askrally.com·1d·
Discuss: Hacker News
🏛Digital humanities
Show HN: Enterprise MCP Bridge – Solving the MCP Chaos for IT
blog.inxm.ai·1d·
Discuss: Hacker News
🔌Interface Evolution
When functions dissolve
rubber-duck-typing.com·3d·
Discuss: Hacker News
🐚Shell Calculus
How the Japanese concept of "ikigai" was appropriated by the West
chiefwordofficer.substack.com·4h·
Discuss: Substack
🇯🇵Japanese Computing
Stop Trying to Kill the SPA
frontendatscale.com·1d·
Discuss: Hacker News
🌐Web Standards
Latest Prisma ORM release has guardrails to prevent AI from nuking your db
github.com·5h·
Discuss: Hacker News
🛡️CLI Security
The TTY Protocol
sgt.hootr.club·16h·
Discuss: Hacker News
📟Terminals
Beyond prior knowledge: The predictive role of knowledge-building in Tutor Learning
arxiv.org·16h
🤖Grammar Induction
Why Enterprises Are Shifting Toward Agentic AI Development
dev.to·4h·
Discuss: DEV
⚡Incremental Computation
Of the People, By the Algorithm: How AI Transforms Democratic Representation
arxiv.org·16h
🌍Cultural Algorithms
Bootstrapping a Coding Agent
runnercode.com·23h·
Discuss: Hacker News
📏Code Metrics
The agentic runtime is a crystal ball
dev.to·8h·
Discuss: DEV
🌊Streaming Systems
HV Metric For Time-Domain Full Waveform Inversion
arxiv.org·1d
📊Rate-Distortion Theory
How We Built a PaaS with Go, Kubernetes, and React
dev.to·1d·
Discuss: DEV
⚡gRPC
InfoSec News Nuggets 8/26/2025
aboutdfir.com·1d
🔓Hacking
"Where does it hurt?" - Dataset and Study on Physician Intent Trajectories in Doctor Patient Dialogues
arxiv.org·16h
🏛Digital humanities
From Bullets to Polished Updates in Seconds
dev.to·3h·
Discuss: DEV
🐚Shell Automation
Revolutionize Your Workflow: Process Compose - The Docker-less Orchestrator You've Been Waiting For!
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration
Does GPT-4 surpass human performance in linguistic pragmatics?
arxiv.org·1d
🎙️Whisper