🔗 Lisp - matmat · Scour

Abstract Framework for All-Path Reachability Analysis

arxiv.org·5d

⏰Temporal Logic

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)

arxiv.org·4d

🧠Separation Logic

Designing a Drift-Resistant Memory System for LLMs

dev.to·3d·

Discuss: DEV

⚡Hardware Transactional Memory

🚀 How I’d Learn Go (Golang) Fast in 2026

dev.to·3d·

Discuss: DEV

🧠Lisp Dialects

luml-ai/luml: LUML is an open-source MLOps/LLMOps platform, allowing to build and deploy AI/ML models in a matter of minutes.

github.com·6d·

Discuss: Hacker News

akki2825/computational-morphology-lit: A curated collection of papers on computational morphology.

github.com·1d·

Discuss: Hacker News

🔤Morphological Analysis

Amotiv Limited (GUDDY) Q2 2026 Earnings Call Transcript

seekingalpha.com·1h

⏱️SMPTE Timecode

OpenAI Abandons ‘io’ Branding for Its AI Hardware

wired.com·54m

🔓Open Source Software

Online AutoCAD 2D & 3D Course

forums.anandtech.com·24m

📊Computational Geometry

Opinion | Bangladesh Exposed the Deeper Problem Facing Democracy

nytimes.com

·39m

🔲Cellular Automata

An absolute disgrace

busandtrainuser.com·40m

🎫Kerberos Attacks

As Was The Style At The Time: How We Became Cruel

oblomovka.com·24m·

Discuss: oblomovka.com

🔠Terminal Fonts

The Manchester United one win away from first haircut in 500 days

the-independent.com·40m

🔐Systems Hardening

Gui Santos, Brandin Podziemski come up clutch in thrilling win over Grizzlies

mercurynews.com

·1h

🧬PostgreSQL Forensics

One hundred flood warnings as heavy downpours persist

bbc.com

·1h

🎯Arithmetic Coding

Moroccan lamb filo pie and rhubarb panna cotta: Thomasina Miers’ Sunday best recipes

theguardian.com·39m

🧮Algorithmic Cooking

Controversial study claims this simple brain exercise can cut dementia risk by 25%

the-independent.com·1h

🎯Threat Hunting

My helicopter went into freefall

theguardian.com·39m

💾Persistence Strategies

Russian army casualties in Ukraine surge

ft.com

·1h

🇷🇺Russian Computing

Carlyle’s flagship buyout funds gain after flurry of portfolio IPOs

ft.com

·1h

Loading more...