Visualizing Intersecting Sets
upset.app·6h·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
New Asymptotic Results on Predicting Non-linear Polynomial Congruential Generators
eprint.iacr.org·3d
🧭SMT Solvers
Flag this post
Google intensifies OpenAI competition with 18-month Gemini Pro offer in India
ppc.land·6h·
Discuss: r/ppcland
Algorithmic Game Theory
Flag this post
Moonshot AI releases Kimi K2 Thinking, an open-source agent model for complex reasoning
alternativeto.net·1d
🧭SMT Solvers
Flag this post
Introducing structured output for Custom Model Import in Amazon Bedrock
aws.amazon.com·22h
🦀Rust
Flag this post
The Case for a Creator, Backed by Science
mindingthecampus.org·2d
🧮Programming Language Theory
Flag this post
How to check if a .onion is alive or dead (with Hidden Service Descriptors)
discuss.privacyguides.net·2d
⚖️Logic Programming
Flag this post
Build a System to Learn and Remember Technical Topics as a Developer
spin.atomicobject.com·1d·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
A C example with objects and a arena for allocations, what do you think?
reddit.com·3d·
🧠Memory Management
Flag this post
A Machine Learning Approach for Predicting Health Scores from Lifestyle Data
pub.towardsai.net·1d
🎲Probabilistic Programming
Flag this post
[D] Favorite Deep Learning Textbook for teaching undergrads?
reddit.com·2d·
🧮Programming Language Theory
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·3d
🕸️Graph Theory
Flag this post
Logic Theorist: The program that rewrote the foundations of mathematics
bigthink.com·4d·
Discuss: Hacker News
⚖️Logic Programming
Flag this post
Connectivity Structure and Dynamics of Nonlinear Recurrent Neural Networks
journals.aps.org·4d
🧫Cellular Automata
Flag this post
2025 Meditation App Landscape: Comprehensive Review of Top Mindfulness Platforms
news.ycombinator.com·1h·
Discuss: Hacker News
Algorithmic Game Theory
Flag this post
DecoHD: Decomposed Hyperdimensional Classification under Extreme Memory Budgets
arxiv.org·1d
🔗Parser Combinators
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·4d
🎲Probabilistic Programming
Flag this post