⏰ Temporal Logic - matmat · Scour

Bud Cort, ‘Harold and Maude’ Star, Dies at 77

variety.com·18m

‘Landman’ Star Michelle Randolph Asked Billy Bob Thornton If He Really Drank Angelina Jolie’s Blood

hollywoodreporter.com

·15m

📦Digital Cinema Package

'A resounding home run' - the Nothing Ear (a) earbuds are some of the best we've tested and they even converted me from being an in-ear headphones skeptic

techradar.com

·22m

👁️Perceptual Coding

Announcing new policies related to the use of Wikimedia sites for advocacy purposes

diff.wikimedia.org·16m

⚖️Archive Ethics

Soccer Star Abby Wambach Leaves Wasserman Agency Over Epstein Ties: ‘Casey Should Resign’

variety.com·12m

🛡Cybersecurity

How Glam Rock and the Perfect Pimple Pop Helped ‘The Ugly Stepsister’ Secure An Oscar Nomination

hollywoodreporter.com

·19m

🏛Digital humanities

Phonopolis Demo!

theworksofegan.net·23m

📼Audio Cassettes

Full flavour. Long aftertaste.

theatreofnoise.com·34m·

Discuss: theatreofnoise.com

Vertex, Inc. (VERX) Q4 2025 Earnings Call Transcript

seekingalpha.com·20m

⚙️Batch Processing

Akari Therapeutics, Plc (AKTX) Discusses New Patent Filing and Expansion of ADC Pipeline for Solid Tumors Transcript

seekingalpha.com·20m

🔗Data Provenance

How to Use AI Hallucination to Generate Your Software Spec

dev.to·3d·

Discuss: DEV

⚡SMT Integration

Private Data Space Model

privatedata.space·6d

✅Format Verification

🧠 AI Architecture for Beginners: What Goes Where (No Buzzwords)

dev.to·4d·

Discuss: DEV

🌀Brotli Internals

Aligning Tree-Search Policies with Fixed Token Budgets in Test-Time Scaling of LLMs

arxiv.org·14h

🌲B-tree Variants

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking

arxiv.org·14h

🌐Protocol Synthesis

impl Rust: Avro IDL tool in Rust via ANTLR

youtube.com·4d·

Discuss: Hacker News, r/rust

⚙️Parser Generators

How to Prove the Correctness of AI-Generated Code Using Formal Methods

adacore.com·1d·

Discuss: Hacker News

⚡Proof Automation

Spec-driven development doesn't work if you're too confused to write the spec - deontologician

publish.obsidian.md·1d·

Discuss: Lobsters, Hacker News, r/programming

🔒WASM Capabilities

Context-Driven Development Meets Team Agents: What Changed and What Didn't

themobileagent.substack.com·1d·

Discuss: Substack

A Note on Flat Abstract Syntax Trees

gist.github.com·2d·

Discuss: Hacker News

🔗Monadic Parsing

Loading more...