🔢 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

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

dev.to·4d·

Discuss: DEV

🔍ML Language

Implementing Automated Rules-Based Evaluations for LLM Applications

dev.to·4d·

Discuss: DEV

💬Interactive REPLs

Show HN: C discrete event SIM w stackful coroutines runs 45x faster than SimPy

github.com·6d·

Discuss: Hacker News

⏲️Embedded GC

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

github.com·6d·

Discuss: Hacker News

🚂Cranelift IR

Illinois lawmakers announce plan aimed at closing school funding gap

chicago.suntimes.com·42m

Hamamatsu Hill Kodama, Chijiko and Jizo Guide in Nioh 3

hardcoregamer.com·40m

🗑️Stack Scanning GC

Original Harry Potter Star Is “Sick” Of Being Asked About Possible Franchise Return Ahead Of HBO Reboot

screenrant.com·30m

Parents of Melbourne methanol-poisoning victims ‘shocked’ by $185 fines handed to Laos hostel staff

theguardian.com·54m

🔧Error Recovery

Casey Wasserman Faces Artist Rebellion Amid Epstein Fallout

hollywoodreporter.com

·43m

Omaha councilmember looks to regulate short-term rentals, looks to Lincoln's example

ketv.com·44m

🎯Ring Buffers

Micro-Magic offers high-precision MEMS IMU module

gpsworld.com·27m

🤖Embedded Go

N.Y. GOP drama over Bruce Blakeman’s running mate pick

ny1.com·29m

⚙️Async State Machines

Why Millennials Are Choosing Not To Have Children

buzzfeed.com·15m

🌳Tree Shaking

Jimmy Lai sentenced; Xi on Sci-tech self-reliance; Japan elections; US-China; Nanjing Museum case; AI propaganda

sinocism.com

·36m

⏱️Real-Time GC

As 'snirt' piles up in corners of central Arkansas, one man says winter grime is good for business

kark.com·24m

📋JSON Parsing

Sean Hannity: "There's going to be an explosion in the economy, and I'm making that firm prediction"

mediamatters.org·42m

Wacom Honored with Ub Iwerks Award for Longstanding Contribution to Animation at the 53rd Annie Awards

prnewswire.com·15m

📚Stack Languages

WEST Office Hour – February 12th, from 10am-11am PT

cdlib.org·29m

🎮Language Ergonomics

Loading more...