EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
arxiv.org·13h
∑Symbolic Computation
Flag this post
A Monad Guide for Beginners
dev.to·2d·
Discuss: DEV
∑Symbolic Computation
Flag this post
Implementing E Unification using SMT
philipzucker.com·1d
∑Symbolic Computation
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·1d·
Discuss: Hacker News
∑Symbolic Computation
Flag this post
Programming principles for self taught front-end developers
piccalil.li·7h·
Discuss: Hacker News
∑Symbolic Computation
Flag this post
Show HN: MockK Under the Cover
medium.com·2h·
Discuss: Hacker News
💻Computational Science
Flag this post
Cache-Friendly, Low-Memory Lanczos Algorithm in Rust
lukefleed.xyz·1h·
Discuss: Lobsters, Hacker News, r/rust
🔢Numerical Methods
Flag this post
Kruskal's Tree Theorem
en.wikipedia.org·14h·
Discuss: Hacker News
🔢Numerical Methods
Flag this post
Generalized Security-Preserving Refinement for Concurrent Systems
arxiv.org·13h
∑Symbolic Computation
Flag this post
Pushing Past the First Error During Type Inference
thunderseethe.dev·1d
∑Symbolic Computation
Flag this post
LLM-Driven Robots Risk Enacting Discrimination, Violence, and Unlawful Actions
link.springer.com·3h·
Discuss: Hacker News
📐Origami Engineering
Flag this post
Swift Concurrency Training Kata
blog.jacobstechtavern.com·2h
💧Fluid Dynamics
Flag this post
Derek Elkins: Umbral Calculus
hedonisticlearning.com·1d
∑Symbolic Computation
Flag this post
What’s Special about Life? Bulk Orchestration and the Rulial Ensemble in Biology and Beyond
writings.stephenwolfram.com·3h·
Discuss: Hacker News
💻Computational Science
Flag this post
Model Counting for Dependency Quantified Boolean Formulas
arxiv.org·13h
📈Optimization Algorithms
Flag this post
Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·1d·
Discuss: Hacker News
∑Symbolic Computation
Flag this post
How signals really work in JavaScript? Basic concept.
dev.to·1h·
Discuss: DEV
🎛️Control Systems
Flag this post
Andrej Karpathy on LLM cognitive deficits
lesswrong.com·21h
📈Optimization Algorithms
Flag this post
Red, green, refactor: writing perfect Go, with TDD
bitfieldconsulting.com·1d
∑Symbolic Computation
Flag this post
C# 14 Language Features in ReSharper and Rider 2025.3
blog.jetbrains.com·2h·
Discuss: Hacker News
∑Symbolic Computation
Flag this post