🐿️ 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
Why it took 4 years to get a lock files specification
snarky.ca
·
11h
·
Discuss:
Lobsters
,
Hacker News
🔄
Language Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
OCaml 5.4 Release: New Features, Fixes, and More
tarides.com
·
8h
·
Discuss:
Lobsters
,
Hacker News
🔗
Functional Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
100 Poisoned Examples Can Hijack Any AI Model (Even GPT-4-Scale LLMs)
dev.to
·
1d
·
Discuss:
DEV
💻
Local LLMs
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
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org
·
1d
📋
Document Grammar
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why Your Resume Fails CI/CD: 10 Tools to Debug It for ATS Parsers
dev.to
·
1d
·
Discuss:
DEV
🤖
Archive Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Haskell Weekly Issue 493
haskellweekly.news
·
2d
·
Discuss:
Hacker News
🧬
Functional Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Effective and Stealthy One-Shot Jailbreaks on Deployed Mobile Vision-Language Agents
arxiv.org
·
1d
🕵️
Vector Smuggling
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Streamlining Operations: The Role of AI-Powered Automation in Modern Enterprises
dev.to
·
8h
·
Discuss:
DEV
🌊
Stream Processing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building an AI Internal Linking Plugin for WordPress
dev.to
·
5h
·
Discuss:
DEV
🌀
Brotli Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A 7-year-old CLI tool reborn with AI, meet gokill
reddit.com
·
4h
·
Discuss:
r/golang
🪟
Awesome windows command-line
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
·
1d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Delegating the Grunt Work: AI Agents for UI Test Development
blog.scottlogic.com
·
5d
·
Discuss:
Hacker News
🧪
Property-Based Testing
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
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
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
The Porcelain to Come
stackdiver.com
·
16h
·
Discuss:
Hacker News
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Pain Driven Workflow
magistr.me
·
1d
·
Discuss:
Hacker News
⚡
Incremental Computation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 4
•
Page 6 »