⬌ Bidirectional Typing - matmat · Scour

Document type inference 🎯Gradual Typing

REBENCH: A Procedural, Fair-by-Construction Benchmark for LLMs on Stripped-Binary Types and Names (Extended Version) 🔗Functional Compilers

Veryl 0.20.0: logic synthesis and type inference are supported 🔗Functional Compilers

veryl-lang.org·7h·Hacker News

New comment by zigzag312 in "Rust Memory Management: Ownership vs. Reference Counting" 🦀Rust Borrowing

news.ycombinator.com·3d·Hacker News

Three Cobblers, One Zhuge Liang: Making Cheaper Models Work Together ⚡SMT Applications

markhuang.ai·1d·Hacker News

Paired electrolysis enables selective C–N coupling for the synthesis of nitrogenous aromatics ☕Coffee Chemistry

·23h

Notes on the synthesis of labyrinths 📐Mathematical Art

increment.com·5d

Gestures: a vector collection by Pablo 🌀Differential Geometry

behance.net·17h

SecureMaxx: A Lightweight Sequence Screening Tool for Agents 🌸Bloom Variants

lesswrong.com·2d

BioByte 157: Physical Force Suppresses Cancer Growth, Generative Design of DNA-Specific Binding Proteins, VIPR Expands RNA-Guided Systems Design, and Protein-Templated DNA Synthesis 🧬Palindrome Codes

decodingbio.substack.com·19h·Substack

Can AI Help Us Rewrite the Genetic “Spaghetti Code” of Life? 🔲Cellular Automata

spectrum.ieee.org

·1d

More on How JSDoc Saved the Day: ESLint Enters the Chat 🎯Gradual Typing

spin.atomicobject.com·3d

Potkalitsky: AI Should Push, Not Replace, Students’ Thinking 🤖AI Curation

hbsp.harvard.edu·18h

Homepage 🌈Spectral Audio

essentia.upf.edu·1d

First total synthesis of macrocycle with four stereocentres at the heart of bacterial photosynthesis 🌈Spectroscopy

chemistryworld.com

·22h

Changelog #325 🦀Rust Macros

rust-analyzer.github.io·4d·r/rust

Ubuntu is Going Big on AI (But Not The Copilot Kind You Dread) 📟CLI Design

itsfoss.com·2d

The Local Universe’s Expansion Rate Is Clearer Than Ever, but Still Doesn’t Add Up - A new synthesis of astronomical measurements confirms a persistent mismatch that could point to physics beyond current models 🌡️Preservation Physics

noirlab.edu·10h

New metal-free biaryl method could simplify drug and materials synthesis 🧪Cassette Chemistry

American Sound and Avantgarde Acoustic at AXPONA 2026 📼Audio Cassettes

stereophile.com·12h

Log in to enable infinite scrolling