EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
arxiv.org·18h
∑Symbolic Computation
Flag this post
How To Make A Custom Type Iterable In Rust.
dev.to·2h·
Discuss: DEV
∑Symbolic Computation
Flag this post
What's New in F# 10
learn.microsoft.com·3h·
Discuss: Hacker News
∑Symbolic Computation
Flag this post
Monotonic Collections: a middle ground between immutable and fully mutable
neilmadden.blog·4h
📈Optimization Algorithms
Flag this post
Implementing E Unification using SMT
philipzucker.com·1d
∑Symbolic Computation
Flag this post
A Monad Guide for Beginners
dev.to·2d·
Discuss: DEV
∑Symbolic Computation
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·2d·
Discuss: Hacker News
∑Symbolic Computation
Flag this post
Programming principles for self taught front-end developers
piccalil.li·12h·
Discuss: Hacker News
∑Symbolic Computation
Flag this post
Show HN: MockK Under the Cover
medium.com·7h·
Discuss: Hacker News
💻Computational Science
Flag this post
Cache-Friendly, Low-Memory Lanczos Algorithm in Rust
lukefleed.xyz·6h·
Discuss: Lobsters, Hacker News, r/rust
🔢Numerical Methods
Flag this post
Kruskal's Tree Theorem
en.wikipedia.org·19h·
Discuss: Hacker News
🔢Numerical Methods
Flag this post
Generalized Security-Preserving Refinement for Concurrent Systems
arxiv.org·18h
∑Symbolic Computation
Flag this post
Welcome to DataHaskell
datahaskell.org·34m·
Discuss: Hacker News
💻Computational Science
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·8h·
Discuss: Hacker News
📐Origami Engineering
Flag this post
Will I Make It to the Restaurant Before the Soup Dumplings Get Cold?
distributedthoughts.org·3h·
Discuss: Hacker News
💻Computational Science
Flag this post
Swift Concurrency Training Kata
blog.jacobstechtavern.com·7h
💧Fluid Dynamics
Flag this post
Derek Elkins: Umbral Calculus
hedonisticlearning.com·1d
∑Symbolic Computation
Flag this post
Model Counting for Dependency Quantified Boolean Formulas
arxiv.org·18h
📈Optimization Algorithms
Flag this post
Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·2d·
Discuss: Hacker News
∑Symbolic Computation
Flag this post