🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧩 Theorem Proving

Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants

How Can a Small Business Use AI Tools
cnbc.com·8h
🔌Network Programming
Patterns of Functional Programming: Functional Core – Imperative Shell
javiercasas.com·1d·
Discuss: Hacker News
⚙Functional Programming
LM Studio 0.3.23
lmstudio.ai·1d·
Discuss: r/LocalLLaMA
🧭SMT Solvers
How LLMs call tools and use the MCP integration
virtuslab.com·1d·
Discuss: r/programming
🧮Programming Language Theory
Go Interfaces: Favoring Composition Over Inheritance (With a Dash of Common Sense)
hackernoon.com·20h
🧮Programming Language Theory
Scaling LLM Reinforcement Learning with Prolonged Training Using ProRL v2
developer.nvidia.com·1d
🎲Probabilistic Programming
Can modern LLMs actually count the number of b's in "blueberry"?
minimaxir.com·1d·
Discuss: Hacker News
🔗Parser Combinators
TextQuests: How Good are LLMs at Text-Based Video Games?
huggingface.co·2d
🧭SMT Solvers
Combinators Revisited • Edward Kmett • YOW! 2018
youtube.com·2d
⚙Functional Programming
dolthub/dolt v1.58.3
github.com·1d
🦀Rust
Dynamic Semantic Command Understanding via Graph-Augmented Reasoning and Reinforcement Learning
dev.to·13h·
Discuss: DEV
🤖Sci-Fi
RefPerSys inference engine project
github.com·3d·
Discuss: DEV
🧭SMT Solvers
Evaluating Contrast Localizer for Identifying Causal Unitsin Social & Mathematical Tasks in Language Models
arxiv.org·23h
🔗Parser Combinators
OSE Metaprogramming: How to Make Your Code Come Alive
dev.to·19h·
Discuss: DEV
🔧Compiler Design
💡 The Ultimate 2025 AI Cheat Sheet: Top LLMs & Generative AI Tools You Can’t Ignore 🚀
dev.to·1d·
Discuss: DEV
🔧Compiler Design
Implementing Passkeys in Large‑Scale Web Applications
dev.to·1d·
Discuss: DEV
🤝Protocol Design
Build a conversational natural language interface for Amazon Athena queries using Amazon Nova
aws.amazon.com·11h
🔗Parser Combinators
Reading Code Effectively: An Overlooked Developer Skill • Marit van Dijk & Hannes Lowette
youtube.com·1d
🔧Compiler Design
Chi-Geometry: A Library for Benchmarking Chirality Prediction of GNNs
arxiv.org·23h
🕸️Graph Theory
Microsoft POML – Prompt Orchestration Markup Language
github.com·3d·
Discuss: Hacker News
🔧Compiler Design
Loading...Loading more...
AboutBlogChangelogRoadmap