🔢 lambda calculus - abnv · Scour

Mechanized Undecidability of Higher-order beta-Matching (Extended Version)

arxiv.org·6d

🔗Unification

A Priori and A Posteriori Error Identities for Vectorial Problems via Convex Duality

arxiv.org·4d

🧮Linear Algebra

Method chains allow a series of functions

dev.to·5d·

Discuss: DEV

📦Closure Conversion

The Secret Life of Python: The Silent Type (Type Casting)

dev.to·4d·

Discuss: DEV

🔍ML Language

iree-org/wave: Wave: Python Domain-Specific Language for High Performance Machine Learning

github.com·6d·

Discuss: Hacker News

🚂Cranelift IR

Safeclaw the safe OpenClaw alternative with no language model and no APIs

github.com·6d·

Discuss: Hacker News, r/selfhosted

⚙️TOML Parsers

Eileen Gu, US-Born Skier Representing China, Medals In First Event

wspd.iheart.com·32m

🥾Bootstrapping Strategies

Unseen footage of Atari Battlezone cabinet production

blog.adafruit.com·15m

🧸Toy Compilers

Journalists as well as generals have been purged – only Xi is safe in China today

indexoncensorship.org·18m

🖥️Lisp Machines

Fallout 76 Still Doesn’t Have Crossplay Seven Years Later But Bethesda’s Not Ruling It Out

kotaku.com·11m

🌉Cross-Platform FFI

Samsung’s latest budget phone marketing stunt is shameful

sammobile.com·20m

💪ARM64 Backend

Schwab vs Vanguard: Which is the Better Dividend ETF?

fool.com·39m

🌱Forth Kernels

Family springs into action after spotting bald eagle in heartbreaking situation: 'Knew that something was wrong'

thecooldown.com·12m

🔧Error Recovery

NBA odds, picks, best bets for Monday, Feb. 9, from proven model: This 3-leg parlay returns over +1500

cbssports.com·26m

📊Query Optimizers

Uber acquires Getir’s Turkish delivery business

tech.eu·12m

🚂Cranelift IR

Cherry Chocolate Pretzel Cookies

justinesnacks.substack.com

·21m·

Discuss: Substack

📊Datalog Engines

As head of the actors guild, Sean Astin brings a little Rudy, a little Samwise, and a lot of fight

the-independent.com·21m

Solid Hook Inc. announces expanded capabilities

canadianmanufacturing.com·11m

🛡️Stack Safety

Bodycam video, incident reports from Brown University shooting response released

ketv.com·28m

🔗Hash Functions

North Dakota State joining Mountain West as football-only member

awfulannouncing.com·11m

🧮Combinator Calculus

Loading more...