EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
arxiv.org·11h
∑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·5h·
Discuss: Hacker News
∑Symbolic Computation
Flag this post
Show HN: MockK Under the Cover
medium.com·34m·
Discuss: Hacker News
💻Computational Science
Flag this post
Kruskal's Tree Theorem
en.wikipedia.org·11h·
Discuss: Hacker News
🔢Numerical Methods
Flag this post
Generalized Security-Preserving Refinement for Concurrent Systems
arxiv.org·11h
∑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·52m·
Discuss: Hacker News
📐Origami Engineering
Flag this post
Swift Concurrency Training Kata
blog.jacobstechtavern.com·23m
💧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·1h·
Discuss: Hacker News
💻Computational Science
Flag this post
<p>**Abstract:** This paper proposes a novel approach to verifying the Bogaev conjecture—specifically, confirming the existence of periodic functions generated ...
freederia.com·2h
📈Optimization Algorithms
Flag this post
Model Counting for Dependency Quantified Boolean Formulas
arxiv.org·11h
📈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
Andrej Karpathy on LLM cognitive deficits
lesswrong.com·19h
📈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·13m·
Discuss: Hacker News
∑Symbolic Computation
Flag this post
Builder Design Pattern and Cyclomatic Complexity Reduction
johnjr.dev·23h·
Discuss: Hacker News
∑Symbolic Computation
Flag this post