🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧮 Constraint Solvers

Z3 Applications, SMT Integration, Optimization, Automated Reasoning

I couldn't find a job, so I built an open source project
zhakhan.com·21h·
Discuss: Hacker News
🔓Open Source Software
Cross-Compiling 10,000+ Rust CLI Crates Statically
blog.pkgforge.dev·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Building a Full-Stack Bookstore App in 100 Days with .NET MAUI and Clean Architecture
hackernoon.com·1d
🧱Immutable Infrastructure
Show HN: I'm compiling classical v1 works of software
github.com·21h·
Discuss: Hacker News
🏺ZIP Archaeology
Learning to Be a Transformer to Pinpoint Anomalies
arxiv.org·1d
🤖Grammar Induction
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·1d·
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·2d
📃Manuscript Tokenization
Deep Learning Framework Testing via Model Mutation: How Far Are We?
arxiv.org·4d
🧪Property-Based Testing
🧠 Solving LeetCode Until I Become Top 1% — Day `31`
dev.to·2d·
Discuss: DEV
🔢Bitwise Algorithms
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·4d
⚖️Hoare Logic
Lipschitz Bounds for Persistent Laplacian Eigenvalues under One-Simplex Insertions
arxiv.org·1d
🕳️Persistent Homology
Ctrl-Z Sampling: Diffusion Sampling with Controlled Random Zigzag Explorations
arxiv.org·2d
🔲Cellular Automata
HarmonyOS development: code generation in DevEcoStudio
dev.to·4h·
Discuss: DEV
🦀Rust Macros
Alto: Orchestrating Distributed Compound AI Systems with Nested Ancestry
arxiv.org·5d
🌀Brotli Internals
Advancements in Computer Science Learning: A Synthesis of Recent Research in AI and Machine Learning
dev.to·23h·
Discuss: DEV
🧠Machine Learning
Building an Intelligent Cross-Chain Transaction Optimizer with Python & Gemini AI
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·4d·
Discuss: Hacker News
🧮Kolmogorov Complexity
A Beginner Guide to LLM Prompts
dev.to·7h·
Discuss: DEV
🌳Context free grammars
Fast and Distributed Equivariant Graph Neural Networks by Virtual Node Learning
arxiv.org·3d
🌀Riemannian Computing
Loading...Loading more...
AboutBlogChangelogRoadmap