MLS playoffs: Minnesota best Seattle in a classic as Miami rout Nashville
theguardian.com·12h
λLambda Formalization
Flag this post
MainActor.assumeIsolated, Preconcurrency, and Isolated Conformances
mjtsai.com·2d
🔬Refinement Types
Flag this post
Go Board vs. Go Stone
🧮Z3 Solver
Flag this post
AI Capabilities May Be Overhyped on Bogus Benchmarks, Study Finds
🧠Intelligence Compression
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.org·5d
🎞️Tape Combinatorics
Flag this post
Show HN: XML-Lib – An over-engineered XML workflow with guardrails and proofs
⚡Proof Automation
Flag this post
Wavelet-Based Feature Extraction and Unsupervised Clustering for Parity Detection: A Feature Engineering Perspective
arxiv.org·5d
💎Information Crystallography
Flag this post
Building a Mini Build System in Go: Understanding How Bazel Works Under the Hood
❄️Nix Flakes
Flag this post
Learning and Leveraging Anisotropy Parameters in ANOVA Approximation
arxiv.org·5d
📊Quantization
Flag this post
Introducing a Go linter bringing Rust style exhaustiveness checking of sum types to Go interfaces.
🔒Linear Types
Flag this post
Physics-Informed Neural Network Frameworks for the Analysis of Engineering and Biological Dynamical Systems Governed by Ordinary Differential Equations
arxiv.org·5d
🌀Riemannian Computing
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·5d
✨Effect Handlers
Flag this post
Bridging Generative and Discriminative Noisy-Label Learning via Direction-Agnostic EM Formulation
arxiv.org·2d
🧠Machine Learning
Flag this post
FP-AbDiff: Improving Score-based Antibody Design by Capturing Nonequilibrium Dynamics through the Underlying Fokker-Planck Equation
arxiv.org·3d
🔲Cellular Automata
Flag this post
CCS football playoffs 2025: First-round schedule in all divisions
mercurynews.com·7h
📰Feed Readers
Flag this post
Loading...Loading more...