🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧮 Constraint Solvers
Z3 Applications, SMT Integration, Optimization, Automated Reasoning
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Cross-Compiling 10,000+ Rust CLI Crates Statically
blog.pkgforge.dev
·
1d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust Macros
Next Generation of Red Teaming for LLM Agents
promptfoo.dev
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com
·
2d
⬆️
Lambda Lifting
Data Types, Data Structures, and Abstract Data Types – What’s the Difference
dev.to
·
18h
·
Discuss:
DEV
🧮
Algebraic Datatypes
Amal’s First Switch Equation: Clean FizzBuzz with Bitmask Logic
dev.to
·
1d
·
Discuss:
DEV
🌊
Stream Ciphers
Lessons from LangChain and Slack and MCP Integration
medium.com
·
3d
·
Discuss:
Hacker News
🔗
Topological Sorting
Machine Learning Fundamentals: active learning
dev.to
·
3d
·
Discuss:
DEV
🤖
Grammar Induction
Learning to Be a Transformer to Pinpoint Anomalies
arxiv.org
·
18h
🤖
Grammar Induction
ColumnTransformer and Pipelines in Scikit-Learn: Clean, Scalable, and Powerful Preprocessing
dev.to
·
1d
·
Discuss:
DEV
🌊
Streaming Compression
Hong Mong 5 Development Treasure Case Sharing Modular Design Case Sharing
dev.to
·
2d
·
Discuss:
DEV
🔌
Operating system internals
Why Your Deadlines Are Wrong: Evidence-Based Estimation for Developers
dev.to
·
17h
·
Discuss:
DEV
👁️
System Observability
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.org
·
1d
📃
Manuscript Tokenization
Deep Learning Framework Testing via Model Mutation: How Far Are We?
arxiv.org
·
3d
🧪
Property-Based Testing
🧠 Solving LeetCode Until I Become Top 1% — Day `31`
dev.to
·
1d
·
Discuss:
DEV
🔢
Bitwise Algorithms
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org
·
3d
⚖️
Hoare Logic
Lipschitz Bounds for Persistent Laplacian Eigenvalues under One-Simplex Insertions
arxiv.org
·
18h
🕳️
Persistent Homology
Ctrl-Z Sampling: Diffusion Sampling with Controlled Random Zigzag Explorations
arxiv.org
·
1d
🔲
Cellular Automata
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to
·
3d
·
Discuss:
DEV
🔗
Concatenative Programming
Alto: Orchestrating Distributed Compound AI Systems with Nested Ancestry
arxiv.org
·
4d
🌀
Brotli Internals
Advancements in Computer Science Learning: A Synthesis of Recent Research in AI and Machine Learning
dev.to
·
13h
·
Discuss:
DEV
🧠
Machine Learning
Loading...
Loading more...
« Page 13
•
Page 15 »