Do you trust the people above you?
defenderofthebasic.substack.com·10h·
Discuss: Substack
🍎Apple
Flag this post
Marden's Theorem
en.wikipedia.org·13h·
Discuss: Hacker News
🔤Regular Expression Theory
Flag this post
Want to be a better learner? Start by noticing how you think.
bigthink.com·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
QuackStack
quackstack.siddharththakkar.xyz·1d·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Show HN: Oodle – Unified Debugging with OpenSearch and Grafana
blog.oodle.ai·2d·
Discuss: Hacker News
👁️System Observability
Flag this post
OpenAI Model Spec
model-spec.openai.com·19h·
Discuss: Hacker News
🔍Formal Verification
Flag this post
Krish Naik: Ultimate RAG Bootcamp Live Induction Session
dev.to·13h·
Discuss: DEV
💻CS
Flag this post
[R] Knowledge Graph Traversal With LLMs And Algorithms
reddit.com·2d·
Discuss: r/MachineLearning
📝Term Rewriting
Flag this post
Retrofitters, pragmatists and activists: Public interest litigation for accountable automated decision-making
arxiv.org·22h
🧠Automated Reasoning
Flag this post
Case Study: How We Built Scalable Digital Solutions for Shell — A Global Energy Leader
dev.to·13h·
Discuss: DEV
🔧DevOps
Flag this post
Unlocking AI Vision with the Wisdom of Cats: Building Generalizable Models
dev.to·1d·
Discuss: DEV
📚Automata Learning
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·2d·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·1d·
Discuss: Hacker News
📦Opam
Flag this post
Zero-RAG: Towards Retrieval-Augmented Generation with Zero Redundant Knowledge
arxiv.org·2d
🧩Parser Combinators
Flag this post
Accumulating Context Changes the Beliefs of Language Models
arxiv.org·2d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Comparative Analysis of Discrete and Continuous Action Spaces in Reservoir Management and Inventory Control Problems
arxiv.org·1d
🔍CBMC
Flag this post
Generating Application Specific Go Documentation Using Go AST and Antora
dev.to·2d·
Discuss: DEV
🔧ppx
Flag this post
Knife Juggling: How We're Building a New Free AI Normal
cto.new·1d·
Discuss: Hacker News
🌐ActivityPub
Flag this post
The Collaboration Gap
arxiv.org·1d
🕸️Graph Theory
Flag this post
Neural Physics: Using AI Libraries to Develop Physics-Based Solvers for Incompressible Computational Fluid Dynamics
arxiv.org·22h
🔲Cellular Automata
Flag this post