Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

How Signal's New Triple Ratchet Protocol Fortifies Your Privacy
zeroday.forem.com·16h·
Discuss: DEV
🔗Hash Functions
Flag this post
New AI security tool lays out key exposures
reversinglabs.com·9h
🛡️Security Type Systems
Flag this post
Discovering Hidden Trends: AI Aggregate Insights
sabrinaonsn254475.thezenweb.com·1d
📈Query Optimization
Flag this post
Three ERC Synergy Grants for TU Delft researchers
tudelft.nl·14h
🔬Nanopasses
Flag this post
Moonshot's Kimi K2 Thinking emerges as leading open source AI, outperforming GPT-5, Claude Sonnet 4.5 on key benchmarks
venturebeat.com·7h
🌱Forth Kernels
Flag this post
Today’s NYT ‘Pips’ Solutions And Walkthrough For Thursday November 6
forbes.com·1d
🌿Trie Variants
Flag this post
Artificial intelligence: Nirvana or apocalypse?
mathscholar.org·2d
🎭Program Synthesis
Flag this post
Atomically accurate de novo design of antibodies with RFdiffusion
nature.com·1d·
Discuss: Hacker News
🗺️Region Polymorphism
Flag this post
map-of-shame - Unsafe operations on type-erased maps (Experimental)
github.com·18h·
Discuss: r/golang
🤖Embedded Go
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·2d
Partial Evaluation
Flag this post
Finding Non-Redundant Simpson's Paradox from Multidimensional Data
arxiv.org·2d
🪢Rope Data Structures
Flag this post
🧠 Soft Architecture (Part B): Emotional Timers and the Code of Care (Part 5 of the SaijinOS series)
dev.to·11h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
Unlocking Logic's Secrets: BoolSkeleton – Streamlining Boolean Networks for Peak Performance by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🎨Graph Coloring
Flag this post
AI Safety at the Frontier: Paper Highlights of October 2025
lesswrong.com·1d
🏰Capability Machines
Flag this post
How do I actually learn programming?
reddit.com·8h·
Discuss: r/godot
📚Self-Documenting Code
Flag this post
Co-Optimizing GPU Architecture And SW To Enhance Edge Inference Performance (NVIDIA)
semiengineering.com·1d
🗺️Region Inference
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·2d
📋Tablegen
Flag this post
Building AI-Driven Real Estate Platforms: Data, Models, and Infrastructure
dev.to·10h·
Discuss: DEV
🎭Program Synthesis
Flag this post
Enhanced Interoperability via Dynamic Semantic Alignment in Cross-Chain DeFi Protocols
dev.to·18h·
Discuss: DEV
🌉Language Bridges
Flag this post