🔤 Type Systems - jinkai_lau · Scour

Constructive higher sheaf models with applications to synthetic mathematics ✅Formal Verification

Formal Verification Gates for AI Coding Loops ✅Formal Verification

reubenbrooks.dev·12h·Hacker News

How a Compiler Turns Your Code Into CPU Instructions 🔧Compilers

siliconopera.com·2d

doc/plans/ir-type/memory.md - simplify 🔍Static Analysis

github.com·23h

Geblang – I built my own programming language 🗣️New Languages

davegebler.com·2d·Hacker News

Erg Programming Language λFunctional Programming

erg-lang.org·4d

Erasing Existentials λFunctional Programming

wolfgirl.dev·14h·Lobsters, Hacker News

The Mercury Project: About ✅Formal Verification

mercurylang.org·1d

8 Years of Clojure λFunctional Programming

joshkingsley.me·5d·Hacker News

Understanding treatment response in high-risk bladder cancer 🔬AI Research

rna-seqblog.com·2d

Primitive Data Types in Java λFunctional Programming

netjstech.com·19h·netjstech.com

TypeScript Cheat Sheet by TMS Outsource λFunctional Programming

tms-outsource.com·2d·r/typescript

.pyi vs beartype vs typeguard: 43% Runtime Overhead 🔍Static Analysis

tildalice.io·4d

Alzheimer’s Risk Gene May Drive Aggressive ALS 🔬AI Research

neurosciencenews.com·10h

End of the semester λFunctional Programming

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

Less is exponentially more (2012) 🗣️New Languages

commandcenter.blogspot.com·6d·Hacker News

Deciphering interaction syntax via decoupling intrinsic lineages and niche pressure 🔎AI Interpretability

biorxiv.org·8h

Joint clinical and molecular subtyping of COPD with variational autoencoders ⚙️MLOps

Could K17 Be a Key Treatment Target for Pancreatic Cancer? 🔬AI Research

news.stonybrook.edu·10h

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

gaox.substack.com·3d·Substack

Log in to enable infinite scrolling