🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚡ Proof Automation
Tactic Languages, Auto Tactics, Proof Search, Hammer Tools
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com
·
1d
🌊
Streaming Systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
SAT problems are kind of cool
blog.karanjanthe.me
·
3d
·
Discuss:
Hacker News
🧮
SMT Solvers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Stealth Legal tech startup looking for Head of Eng
25madison-llc.breezy.hr
·
1d
·
Discuss:
Hacker News
🔐
Capability Systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why it took 4 years to get a lock files specification
snarky.ca
·
15h
·
Discuss:
Lobsters
,
Hacker News
🔄
Language Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai
·
1d
·
Discuss:
Hacker News
🎯
Performance Proofs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Slip – A Lisp System in JavaScript
lisperator.net
·
1d
·
Discuss:
Hacker News
🔗
Lisp
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Which programming language does AI write best? Python, JavaScript or Elixir?
revelry.co
·
2d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Junie Starter’s Pack: AI Coding Agent Explained
dev.to
·
2d
·
Discuss:
DEV
📐
Proof Assistants
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
An enough week
blog.mitrichev.ch
·
1d
·
Discuss:
blog.mitrichev.ch
🧮
Z3 Solver
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
11+ Best All-in-One AI Platforms in 2025
dev.to
·
2d
·
Discuss:
DEV
🤖
AI Curation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Porcelain to Come
stackdiver.com
·
20h
·
Discuss:
Hacker News
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Pain Driven Workflow
magistr.me
·
2d
·
Discuss:
Hacker News
⚡
Incremental Computation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Memgoose – An In-Memory Mongoose Impersonator
github.com
·
9h
·
Discuss:
Hacker News
🔄
Sync Engine
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Conveyor Belt Protocol: Understanding Iterators
dev.to
·
15h
·
Discuss:
DEV
🧬
Functional Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Vibing a Non-Trivial Ghostty Feature
mitchellh.com
·
18h
·
Discuss:
Lobsters
,
Hacker News
🔌
Interface Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: I built a SaaS in 8 weeks, solo, using our own AI platform
zine.ai
·
1d
·
Discuss:
Hacker News
🚀
Indie Hacking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to
·
39m
·
Discuss:
DEV
⚔️
Lean Tactics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: I built a local AI agent desk toy
blog.simone.computer
·
2d
·
Discuss:
Hacker News
🎙️
Whisper
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How I Simplified Contributor Workflows with Rules, Prompts, and AI Agents
dev.to
·
3d
·
Discuss:
DEV
🔄
Archival Workflows
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com
·
3d
·
Discuss:
Hacker News
,
r/neovim
🔗
Lisp
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 5
•
Page 7 »