🔤 Type Systems - lunar_mycroft · Scour

Moving Beyond Type Systems ⚡Algebraic Effects

news.ycombinator.com·3d·Hacker News

TypeScript Cheat Sheet by TMS Outsource 🦀Rust language programming

tms-outsource.com·19h·r/typescript

LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report 🌐WebAssembly

When can the C++ compiler devirtualize a call? 🔨Compilers

quuxplusone.github.io·1d·Lobsters, Hacker News

Show HN: Hsrs – Type-Safe Haskell Bindings Generator for Rust 🦀Rust language programming

github.com·3h·Hacker News

.pyi vs beartype vs typeguard: 43% Runtime Overhead ⚡Zig

tildalice.io·2d

Type-driven design in automotive C: how much of my code is manual type checking? 🌐WebAssembly

lmilz.dev·5d·Hacker News

Bending, Yanking, and Cartesian Squares in Double Categories 💻programming

bartoszmilewski.com·37m

Burroughs Large Systems 💿Operating Systems

en.wikipedia.org·14h·Hacker News

You can put a Softmax in front of CrossEntropyLoss. PyTorch won’t stop you. Here are 16 other architecture bugs it won’t catch. 🛡️AI Safety

gaox.substack.com·1d·Substack

6.23 De‐bloating Javascript 🌐WebAssembly

github.com·17h·Lobsters

The Lobster Programming Language 🦀Rust language programming

Takeda's Rich Pipeline Optionality Is Worth A 'Buy' (NYSE:TAK) 💻programming

seekingalpha.com

·21h

and#039;She Was Meant to Be in My Lifeand#039;: Teacher Gives Foster Child the Forever Home She Always Dreamed Of 💻programming

sunnyskyz.com·2d

Agentic AI token compression using Haskell 🔨Compilers

blog.dan-gilmour.com·6d·Hacker News

Trump to expand prescription drug site with 600 cheaper generic medicines in push to lower costs ⚡Algebraic Effects

david-a-wheeler/flawfinder 2.0.20 ⚡Zig

·1d

Tsz Sound Mode: towards a more strict JavaScript type checking 🌐WebAssembly

tsz.dev·5d·Hacker News

Weight Loss Drugs Sales Surge! 🌡sous vide

Portland PLV Group ⚡Zig

plv.cs.pdx.edu·3d

Log in to enable infinite scrolling