🔢 Type Theory - c13e · Scour

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 🐫OCaml

arxiv.org·2d

Incremental Lambda Calculus λFunctional Programming

inc-lc.github.io·3h·Hacker News

anzellai/sky: Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output. 🔵Lisp

github.com·4d·Lobsters, Hacker News

New course: Efficient Inference with SGLang: Text and Image Generation, built in partnership with LMSys @lmsysorg and RadixArk @radixark, and taught by Richard ... 🧠Local AI

twitter.macworks.dev

·18h

Helper–exploiter polymorphism with ecological inheritance 🔤New Languages

pnas.org·2d

Wet Sidewalks and Odd Numbers 🧩Prolog

wadler.blogspot.com·20h·Blogger

Types of Functions in JavaScript 🔵Lisp

geeksforgeeks.org·5d·DEV

A Fast and Loose Clustering of LLM Benchmarks 🧠Local AI

lesswrong.com·10h

All of the String types ⚙️Compiler Design

lambdalemon.gay·2d·Lobsters, Hacker News

Semidynamics Secures SK hynix Investment to Advance Memory-Centric AI Inference Architecture 🧠Local AI

hpcwire.com·1h·Hacker News

PyTorch Foundation Expands AI Stack with Safetensors, ExecuTorch, and Helion ⚗️BEAM Ecosystem

thenewstack.io·16h

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety 📐Formal Methods

embedded.com·1d

Binary Lambda Calculus is Hard λFunctional Programming

aartaka.me·4d·r/functionalprogramming

JavaScript Basics ⚙️Compiler Design

w3schools.com·7h·DEV

I built a free personality test that roasts you with brutally honest types like SHIT, FUCK, and DEAD — it went viral in China, so I made an English version 🗃️PKM

sbti.cam·4h·r/SideProject

Author Correction: Foundation model of neural activity predicts response to new stimulus types 🧬Cognitive Neuroscience

nature.com·1d

Website Structure Explained: 4 Types with Real-World Examples 🕸️WebAssembly

uxpin.com·11h

Ferguson: Regulators, including the Fed, are obligated to focus on all types of risks such as AI λFunctional Programming

cnbc.com

·1h

What's the magic behind the function call inference? 🐫OCaml

ziggit.dev·4d

Architects or Tenants: Modern AI Stacks Are Being Built on Rented Foundations 🧠Local AI

cline.ghost.io·2d

Loading more...