🧮 Datalog Systems - matmat · Scour

APA Joins Other Organizations in Calling for Texas A&M to Rescind Censorship Policies

dailynous.com·49m

⚖️Archive Ethics

Cees Nooteboom, acclaimed Dutch author driven by relentless curiosity for the world beyond, dies at 92

lemonde.fr

·41m

🌀Brotli Dictionary

Bangladesh votes in its first election since the 2024 Gen Z uprising that ousted Hasina

france24.com·54m

📐Linear Algebra

WestEnd Shopping ‘The Last Day’ With Alicia Vikander and Wagner Moura in Berlin, Reveals First Look

hollywoodreporter.com

·52m

🏛Digital humanities

UK economy grew by 'subdued' 0.1% at end of 2025

bbc.com·52m

💰Archive Economics

Canada mourns 8 pupils killed in school shooting

france24.com·44m

Artificial Insecurity: threats to information integrity

accessnow.org·48m

Harriette Cole: He seemed like a lovely guy, until I showed up for our date

mercurynews.com·49m

🎯Gradual Typing

Martin Lewis explains what happens if you are not married and die without a will

the-independent.com·53m

🏠Personal Archives

Team GB’s skeleton star Matt Weston sets fastest time as Olympic campaign begins

the-independent.com·59m

⚙Backus-Naur Form

Oakmark Global All Cap Strategy Q4 2025 Performance Review

seekingalpha.com

·42m

📇Indexing Strategies

Netgear: Setting Sights On The Potential TP-Link Ban And Enterprise Growth (NASDAQ:NTGR)

seekingalpha.com

·30m

🛡️eBPF Programs

Yet Another Set of Claude Code Plugins (But Maybe Useful?)

dev.to·4d·

Discuss: DEV

⚡Proof Automation

Python vs. a Modern BASIC Interpreter: When the “Toy Language” Actually Wins

dev.to·4d·

Discuss: DEV

📝Concrete Syntax

On A Parameterized Theory of Dynamic Logic for Operationally-based Programs

arxiv.org·1d

🧠Program Logic

Computational Explorations on Semifields

arxiv.org·1d

🌐Computational Topology

I got bored and had Claude design and implement a programming language

github.com·2d·

Discuss: Hacker News

🔗Concatenative Programming

Show HN: Symdex-100 – Intent-based code search using 20-byte "Cypher" metadata

github.com·1d·

Discuss: Hacker News

Harness engineering: leveraging Codex in an agent-first world

news.ycombinator.com·13h·

Discuss: Hacker News

🤖Network Automation

Large Language Models for Mortals book released

crimede-coder.com·1d·

Discuss: Hacker News

λLambda Formalization

Loading more...