Cactus Language • Pragmatics 7
inquiryintoinquiry.com·2d
📐Format Grammars
HTML Day 2025
ionathan.ch·1d
🖋Typography
How AI Test Automation Cut Developer Productivity Bottlenecks by 30% at Scale
engineering.salesforce.com·4d
⚡Proof Automation
Collections: Life, Work, Death and the Peasant, Part IIIa: Family Formation
acoup.blog·2d·
Discuss: Hacker News
🏰Medieval Parsing
What Is a Belief (Part 2: Language, Truth, and Logic)
neonomos.substack.com·5h·
Discuss: Substack
🔲Proof Irrelevance
Jetson Thor – Advanced AI for Physical Robotics
nvidia.com·6d·
Discuss: Hacker News
🏠Homelab Federation
How do you backup your non-work-related data?
lobste.rs·23h·
Discuss: Lobsters
🏠Personal Archives
Meta dishes out $250M to lure 24-year-old AI whiz kid
nypost.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Bootstrapped Private GenAI Startup Hits $1M Annual Revenue, Launches Helix 2.0
blog.helix.ml·3d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
arxiv.org·4d
⏰Temporal Logic
Efforts to Ground Physics in Math Are Opening the Secrets of Time
wired.com·11h·
Discuss: Hacker News
📐Mathematical Art
Google releases Gemini 2.5 Deep Think for AI Ultra subscribers
arstechnica.com·2d
🌊Streaming Algorithms
Systolic Array-based Accelerator for State-Space Models
arxiv.org·4d
🚀SIMD Parsing
UnsafeChain: Enhancing Reasoning Model Safety via Hard Cases
arxiv.org·4d
🧠Separation Logic
Overarch – model your software system as data
github.com·6d·
Discuss: Hacker News
📋Format Specification
🚀 I Built a DSA Learning App with React + Firebase + YouTube API — Meet AlgoBites
dev.to·3d·
Discuss: DEV
⚔️Lean Tactics
Parsec — Terminal-Based File Summarizer TUI in Go with Multi-language Support
reddit.com·3d·
Discuss: r/golang
🧠Lisp Dialects
Agent Development Kit: Making it easy to build multi-agent applications
dev.to·5d·
Discuss: DEV
⚙️TLA+
Top AI Data Analytics Software of 2025: What’s New and What’s Next
dev.to·4d·
Discuss: DEV
🌊Stream Processing
Why CIOs should think like HR leaders to onboard agentic AI
techradar.com·2d
🤖AI Curation