📐 Formal Methods - subsetpark · Scour

Using algebra and LLMs to verify a flight-plan bug fix in Lean 🔢Array Languages

jameshaydon.github.io·2d·Lobsters, Hacker News, r/programming

🤖 Why Do You Sound More Like ChatGPT Than You Did 2 Years Ago? 🗣️Language Learning

How a Compiler Turns Your Code Into CPU Instructions 🔣Tacit Programming

siliconopera.com·2d

On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications 🔣Tacit Programming

proofsandintuitions.net·3d·Lobsters, Hacker News

RT by @ylecun: EBM are so back! 🏏Cricket

twitter.macworks.dev·5d

Git-Backed SaaS: SaaS Without the Service 🔣Tacit Programming

kiln.tech·1d·Hacker News

Nathan Lambert Reflects on China’s AI Labs: DeepSeek, Open Models, and the 'Race' with the U.S. 🔣Tacit Programming

aiproem.substack.com·1d·Substack

Persistent Goals 🔣Tacit Programming

hermes-agent.nousresearch.com·6d

MrPlew: Locally Equivalent Weights for Multilevel Regression and Poststratification 🔣Tacit Programming

statmodeling.stat.columbia.edu·2d

LeanBET: Formally-verified surface area calculations in Lean 🔣Tacit Programming

Volkswagen ID.3 Neo alternatives: the Chinese EVs trying to win over European hatchback buyers 🔣Tacit Programming

electricfleet.online·2d·r/EuroEV

OpenAI is bringing in the mighty Codex tool to the ChatGPT app on your phone 🖌️Calligraphy

digitaltrends.com·5d

Is this a feasible product for learning niche. 🔣Tacit Programming

codemorph-marketing.vercel.app·3d·r/vibecoding

What's Easy Now? What's Hard Now? 🔣Tacit Programming

brooker.co.za·3d·Hacker News, Hacker News

Patlabor EZY: File 1 Anime Film Review 🔣Tacit Programming

animenewsnetwork.com·5d

Certificate-Aware Property-Directed Reachability 🔢Array Languages

ndpvt-web/prompt-improver: Claude Code skill that transforms vague AI prompts into clear, specific, actionable ones. Includes Aristotelian First Principles mode for proof-based prompt design. 🔣Tacit Programming

github.com·5d·r/ClaudeAI, r/PromptEngineering

FBI seeks US-wide access to license plate cameras, wants "data in near real time" 𝕭Blackletter

arstechnica.com·1d·Hacker News, Hacker News

Temporal Task Diversity: Inductive Biases Under Non-Stationarity in Synthetic Sequence Modelling 🔢Array Languages

Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models 🔣Tacit Programming

Sign up or log in to see more results

Log in to enable infinite scrolling