A Short Introduction to Categorical Logic
youtube.com·2d
🔀Category Theory
Flag this post
GHC 9.14.1-rc1 is now available
🔗Functional Compilers
Flag this post
Three Stages of Enlightenment
❄️Nordic Design Philosophy
Flag this post
You're all staff engineers now
🔩Systems Programming
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·1d
💻Local LLMs
Flag this post
Discovering Heuristics with Large Language Models (LLMs) for Mixed-Integer Programs: Single-Machine Scheduling
arxiv.org·3d
🧮SMT Solvers
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
🧠Lisp Dialects
Flag this post
Terraform Module MCP Server
📦METS Containers
Flag this post
Building Better Software: Why Workflows Beat Code Every Time • Ben Smith & James Beswick • GOTO 2025
youtube.com·5d
🔄Reproducible Builds
Flag this post
Condensin Complex Dynamics: A Bayesian Network Approach to Chromosome Condensation Prediction
🧬Copy Number Variants
Flag this post
Wacl – A Tcl Distribution for WebAssembly
🕸️WebAssembly
Flag this post
Robust GNN Watermarking via Implicit Perception of Topological Invariants
arxiv.org·1d
🕳️Persistent Homology
Flag this post
Clone Deterministic 3D Worlds with Geometrically-Regularized World Models
arxiv.org·1d
🌀Differential Geometry
Flag this post
Decentralized Causal Discovery using Judo Calculus
arxiv.org·3d
⚡Effectful Programming
Flag this post
Loading...Loading more...