Discovering physical laws with parallel symbolic enumeration
nature.com·1d
🔍ML Language
Flag this post
MCP Apps: Bringing Interactive UIs to AI Conversations
blog.fka.dev·21h·
Discuss: Hacker News
💬Interactive REPLs
Flag this post
JavaScript Clean Code Mastery: Part 2 - Functions That Do One Thing Well
dev.to·1d·
Discuss: DEV
📦Closure Conversion
Flag this post
10000
jro.sg·19h
📦Executable Size
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·11h·
Discuss: Hacker News
🧩Constraint Solvers
Flag this post
Railway Oriented Programming
fsharpforfunandprofit.com·3d·
Discuss: Hacker News
🚂Error Monads
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·10h·
Discuss: Hacker News
🗂️Term Indexing
Flag this post
<p>**요약:** 본 연구는 플럭츄에이션 정리 (Fluctuation Theorem, FT)를 기반으로 확률적 화학 반응 네트워크(Stochastic Chemical Reaction Network, SCRN)를 모델링하고 제어하는 새로운 프레임워크를 제시한다. SCRN 모델링은 생체 ...
freederia.com·1d
📋Backus-Naur Form
Flag this post
Meditations on geometric packing
shvbsle.in·22h
🌊Effect Rows
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·12h·
Discuss: DEV
🎪Playground Compilation
Flag this post
my journey to accepting that you wont know it all
blog.prdai.dev·11h·
Discuss: r/compsci, r/programming
🌈Gradual Languages
Flag this post
KPD is a weak obstruction by JustinSheek
greaterwrong.com·4d
♾️Codata Types
Flag this post
A Pattern Language for Pattern Languages
mcqn.net·9h
📋Backus-Naur Form
Flag this post
Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables
dev.to·1d·
Discuss: DEV
🧮Combinator Calculus
Flag this post
Type-safe `net/rpc` alternative with context support
reddit.com·12h·
Discuss: r/golang
📞Session Types
Flag this post
Finding duplicated code with tools from your CS course
purplesyringa.moe·6d·
Discuss: Hacker News, r/programming
λLambda Calculus
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·15h·
Discuss: Hacker News
🌱Minimal Interpreters
Flag this post
18F, autistic, looking for friends into philosophy, STEM, psychology, art and more.
reddit.com·10h·
Discuss: r/autism
🎯Type Theory
Flag this post
Exploring Extension Blocks in .NET 10
dev.to·2d·
Discuss: DEV
⚡Effect Handlers
Flag this post
Show HN: Mamba2-Jax; Mamba2 implemented in pure Jax/Flax
github.com·18h·
Discuss: Hacker News
🗺️Region Inference
Flag this post