🧮 SMT Solvers

Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

J’accuse.
readtangle.com·9h
🏛️Politics
Split a Multi-page TIFF Into Separate Files
shallowsky.com·19h
📄File Formats
Nahshon ben Zadok
dailymedieval.blogspot.com·9h·
Discuss: dailymedieval.blogspot.com
🏛️Politics
Update on META's 50k Kilometer Waterworth Cable Project
subseacables.blogspot.com·8h·
Discuss: Hacker News
🏗️Infrastructure Economics
Birthday Pokémon Finder – Discover Your Birthday Pokémon
birthdaypokemon.com·12h·
Discuss: Hacker News
🌳Trie Structures
‘Really Big’ Cascadia Earthquake Could Trigger San Andreas Fault Activity
nytimes.com·12h
⚛️Physics
Article: Push Notification Strategy to Drive LTV in Mobile Games and Apps
medium.com·3h·
Discuss: Hacker News
🏠Small tech services
Save $400+ on a Microsoft Surface Book 3 — one sleek machine, multiple modes
nordot.app·13h
📱New tech trends
Most people rarely use AI, and dark personality traits predict who uses it more
psypost.org·9h·
Discuss: Hacker News
💳Content Monetization
Otega Oweh used Lamont Butler’s new song ‘Tegatron’ for his BBM introduction
nordot.app·18h
💧Litestream
Year 12 are about to start their final exams. Here’s how to keep calm and stay positive
theconversation.com·2h
🔐Escape Rooms
Meta and Fortnite push AI video game characters into the mainstream
nordot.app·6h
🎭Claude
ClearBridge Global Infrastructure Income Strategy Q3 2025 Commentary
seekingalpha.com·7h
🏗️Infrastructure Economics
I deleted my last post that showed a FT chart claiming that ChatGPT adoption in 2.5 years was like the internet in 13. The data was low quality and unclear.
bsky.app·23h·
Discuss: Bluesky
🖥GPUs
Luigi Dall’Igna made private ‘phone call’ in MotoGP paddock to stop ‘stupid’ rumours about Marc Marquez
nordot.app·6h
🔀CRDTs
10/18放送「with music」出演アーティスト発表
news.jp·21h
🍜Miso Paste
Baseball: Suzuki homers for Cubs but Brewers clinch NLDS
nordot.app·16h
📊ModernBERT
Rethinking Bruce Springsteen’s Difficult Years
nytimes.com·9h
🎨NYC Museum Scene
Best goals, biggest gaffes: Premier League fans assess the season so far
theguardian.com·14h
📊Statistical Ranking
Pakistan: Authorities reopen major roads in Punjab as TLP marchers head to Islamabad in "solidarity with Palestinians"
nordot.app·1h
🔬Rust Profiling