🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🎯 Dependent Types
Type-level Programming, Proof-carrying Code, Agda, Type Safety
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
#16 Pronic, oblong, rectangular numbers.... Etymology and History of Math Terms
pballew.blogspot.com
·
1d
·
Discuss:
www.blogger.com
λ
Lambda Encodings
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
SAT problems are kind of cool
blog.karanjanthe.me
·
4d
·
Discuss:
Hacker News
🧮
SMT Solvers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Beyond the AI Hype: Guido van Rossum on Python's Philosophy, Simplicity, and Th
odbms.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
📊
APL Heritage
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
2025-10-10 # LLMs Are Transpilers
alloc.dev
·
2d
·
Discuss:
Hacker News
🔄
Language Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A small number of samples can poison LLMs of any size
anthropic.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/50501
🔍
Vector Forensics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Reinforcement Learning from Probabilistic Forecasts for Safe Decision-Making via Conditional Value-at-Risk Planning
arxiv.org
·
2d
🧠
Machine Learning
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Static builds of popular open source libraries on npmjs.org
github.com
·
2d
·
Discuss:
Hacker News
🔓
Open Source Software
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Gemini3
dev.to
·
8h
·
Discuss:
DEV
🌀
Brotli Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Quantum Relative Entropy Decay Composition Yields Shallow, Unstructured k-Designs
arxiv.org
·
2d
⚛️
Quantum Circuits
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
From Documents to Dialogue: A step-by-step RAG Journey
dev.to
·
2d
·
Discuss:
DEV
📊
Multi-vector RAG
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tech With Tim: How to Build AI Agents in Python
dev.to
·
13h
·
Discuss:
DEV
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tech With Tim: How to Build AI Agents in Python
dev.to
·
7h
·
Discuss:
DEV
🧠
Neural Compression
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to
·
3d
·
Discuss:
DEV
🗄️
Database Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
An /intro to Python 3.14’s New Features
blog.pythonlibrary.org
·
3d
🌳
Incremental Parsing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.com
·
3d
·
Discuss:
Hacker News
🔄
Burrows-Wheeler
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
CIR-CoT: Towards Interpretable Composed Image Retrieval via End-to-End Chain-of-Thought Reasoning
arxiv.org
·
2d
🧮
Vector Embeddings
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Unveiling the Power of Queues: A Journey into Data Structures and Algorithms
dev.to
·
3d
·
Discuss:
DEV
⚡
Cache Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org
·
2d
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Expanding the Action Space of LLMs to Reason Beyond Language
arxiv.org
·
2d
💻
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Blinter the Linter – A Cross Platform Batch Script Linter
github.com
·
3d
·
Discuss:
Hacker News
🤖
Archive Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 16
•
Page 18 »