🐓 Coq - Handler4605 · Scour

PROMISE: Proof Automation as Structural Imitation of Human Reasoning 📐Lean

arxiv.org·21h

fabio-rovai/tardygrada: A programming language where every agent output is cryptographically verified. 194KB binary. Zero dependencies. Pure C11. Coq-proven BFT. tardy terraform replaces LangChain/CrewAI/AutoGen in ~15 lines. 📐TLA+

github.com·5d·r/SideProject

Show HN: A Chrome extension that gives you chess tactics on new tab pages 🎲Tabletop Design

leetchess.com·2d·Hacker News

Russia-linked APT28 uses PRISMEX to infiltrate Ukraine and allied infrastructure with advanced tactics 🧩Erasure Coding

securityaffairs.com·5h

UCAT Verbal Reasoning Strategies 2026 (UK)- Step-by-Step Guide to Boost Your Score Fast 🎯BM25

dreammedic.co.uk·19h

A look at the gold rush for firms claiming to help brands get cited by AI search tools, using tactics like memory manipulation via "Summarize with AI" buttons (... 🔍Information Retrieval

mediagazer.com·1d

New comment by commonprefix in "Ask HN: Who is hiring? (April 2026)" 👨Software engineering

news.ycombinator.com·6d·Hacker News

How I built a tool to turn 2-hour podcasts into 5-minute takeaways 🗜️Compression Algorithms

getpodex.com·8h·r/SideProject

SEO A/B Testing: 5 Easy Experiments to Drive Traffic 🎯BM25

wordstream.com·2d

Fraud is growing in the gray area 📈Time Series

freightwaves.com·1d

On Sale 🏳lgbt

bluesnews.com·5d

These French Pantry Staples Make Classic Meals Easy to Pull Off 🧠Query Planners

seriouseats.com·2d

Traders are the big winners as 24/7 stocks will finally end the after-hours price 'manipulation' 🔒Transaction Isolation

coindesk.com·4d

Seven Trade Show Exhibit Engagement Tactics from Shoptalk 2026 🧠Query Planners

eventmarketer.com·1d

Star Wars Zero Company studio founder praises Lucasfilm and Respawn for taking a chance on a tactics game 🎮gamedev

pcgamer.com

·3d

Top Crypto Recovery Services in 2026 🧩Erasure Coding

medium.com

·5d

Automated Conjecture Resolution with Formal Verification 🧮SMT Solvers

arxiv.org·1d

An overview of ransomware threats in Japan in 2025 and early detection insights from Qilin cases 🔍Information Retrieval

malware.news·6d

Get Fast Results with Cost-Effective Search Engine Optimization in Dandenong 🚀Query Optimization

marleygyns708948.mybloglicious.com·3d

New comment by schonfinkel in "Ask HN: Who wants to be hired? (April 2026)" 👑Leader Election

news.ycombinator.com·1d·Hacker News

Loading more...