🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧩 Theorem Proving
Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
What I learned vibe coding a WASM CSV Parser
importcsv.com
·
14h
·
Discuss:
Hacker News
🔗
Parser Combinators
First Session
team71229.bearblog.dev
·
2d
🎲
Probabilistic Programming
the Conversational Agents playbook
angelo.bearblog.dev
·
18h
🤝
Protocol Design
This House is Haunted: a decade-old RCE in the AION client
appsec.space
·
2d
·
Discuss:
Hacker News
🦀
Rust
How Do You Teach an AI Model to Reason? With Humans
blogs.nvidia.com
·
1d
🎲
Probabilistic Programming
At CppCon 2019, Arthur O'Dwyer said binary operators could not be implemented in a Type-Erased class, because this is a multiple dispatch problem. Why did he sa...
youtu.be
·
2d
·
Discuss:
r/cpp
📝
Lisp
What would you plant here?
reddit.com
·
6h
·
Discuss:
r/NativePlantGardening
⚙
Functional Programming
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com
·
3d
🎲
Probabilistic Programming
I downloaded a "free" Elementor template kit, but I can't import it.
reddit.com
·
1d
·
Discuss:
r/webdev
👐
Open Source Software
AI might eliminate some programmer jobs. It’s also...
manton.org
·
16h
🔌
Network Programming
Simple Trivia App
github.com
·
8h
·
Discuss:
r/selfhosted
🦀
Rust
相模原納涼花火大会 本村市長「私も楽しみ」 LIL LEAGUE出演 相模原市緑区
news.jp
·
8h
🧫
Cellular Automata
Because Every Word Tells a Story
github.com
·
2d
·
Discuss:
Hacker News
👐
Open Source Software
Feature-Refined Unsupervised Model for Loanword Detection
arxiv.org
·
3d
🧮
Programming Language Theory
Thioester-mediated RNA aminoacylation and peptidyl-RNA synthesis in water
nature.com
·
1d
⚙
Functional Programming
Please help me from going insane with Backstage template development
reddit.com
·
2d
·
Discuss:
r/devops
🔧
Compiler Design
Do What? Teaching Vision-Language-Action Models to Reject the Impossible
arxiv.org
·
4d
🧭
SMT Solvers
Leveraging Language Models and Machine Learning in Verbal Autopsy Analysis
arxiv.org
·
1d
🎲
Probabilistic Programming
Integrating Large Language Model for Improved Causal Discovery
arxiv.org
·
2d
🎲
Probabilistic Programming
Professional rustaceans, what's your story?
reddit.com
·
1d
·
Discuss:
r/rust
🦀
Rust
Loading...
Loading more...
« Page 61
•
Page 63 »