🐿️ 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

A Video Guide for Teaching Law Students to Use AI Wisely
bespacific.com·2d
🔧Compiler Design
Building an agent to play Dragon Quest(NES)
yashmore.notion.site·21h·
Discuss: Hacker News
🤖Sci-Fi
Saturday open line
arktimes.com·9h
👐Open Source Software
Holding Myself Accountable for Next Steps
tbr.bearblog.dev·3d
🧮Programming Language Theory
Bild AI (YC W25) Is Hiring Applied AI Founding Engineer
workatastartup.com·13h·
Discuss: Hacker News
🔧Compiler Design
Show HN: Using Common Lisp from Inside the Browser
turtleware.eu·2d·
Discuss: Lobsters, Hacker News
📝Lisp
What does 'Rc<T> allows only immutable borrows checked at compile time' mean?
doc.rust-lang.org·1d·
Discuss: r/rust
⚙Functional Programming
How to vibe code for PPC: Building a seasonality analysis tool
searchengineland.com·2d
🔧Compiler Design
Language Models as Thespians
jstrieb.github.io·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔧Compiler Design
Generative AI dos, don’ts, and ‘undos’
infoworld.com·1d
⚖️Logic Programming
🚀 Introducing Rusty-Suite – Built with ❤️ in Rust
reddit.com·1d·
Discuss: r/rust
🦀Rust
Code Vulnerability Detection Across Different Programming Languages with AI Models
arxiv.org·5d
🔍Static Analysis
I got fed up with overpriced, limited AI wrapper, so I built a free, open-source one.
dev.to·2d·
Discuss: DEV
👐Open Source Software
Creating a cost calculator around AI Applications
reddit.com·3d·
Discuss: r/LLM
🧭SMT Solvers
A Multi-Agent Approach to Neurological Clinical Reasoning
arxiv.org·3d
🎲Probabilistic Programming
Seeking Testers for a New Mandarin Pinyin Learning & Practice App
reddit.com·4h·
Discuss: r/TestMyApp
🔧Compiler Design
SLM4Offer: Personalized Marketing Offer Generation Using Contrastive Learning Based Fine-Tuning
arxiv.org·2d
🎲Probabilistic Programming
Postit 2025-02-22 20:42:11
dinandmentink.nl·17h
🧫Cellular Automata
Depth-Breadth Synergy in RLVR: Unlocking LLM Reasoning Gains with Adaptive Exploration
arxiv.org·4d
🎲Probabilistic Programming
I Built a Free AI Thumbnail Maker – Need Your Honest Review!
dev.to·18h·
Discuss: DEV
👐Open Source Software
Loading...Loading more...
AboutBlogChangelogRoadmap