🐿️ 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
Idris, Agda, Proof Assistants, Type-Level Programming
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Running your own HashDB lookup
cyber.wtf
·
11h
🏗️
Hash Tables
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Using the TPDE Codegen Back End in LLVM Orc
weliveindetail.github.io
·
8h
·
Discuss:
Hacker News
🏗️
LLVM
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Conditional Advantage Estimation for Reinforcement Learning in Large Reasoning Models
arxiv.org
·
15h
⚖️
Inference Rules
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
What Kind of Programming Is Natural Language Programming?
dsyme.net
·
16h
·
Discuss:
Hacker News
🔬
programming language theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building Go APIs with DI and Gin: A Dependency Injection Guide
medium.com
·
2d
·
Discuss:
r/golang
🤖
Embedded Go
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sonnet 4.5 ranks #25 (below other Claude models) in generating SQL
tinybird.co
·
1d
·
Discuss:
Hacker News
💬
Interactive REPLs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cracking the Code: Unveiling LLM Secrets with Vector Architectures by Arvind Sundararajan
dev.to
·
13h
·
Discuss:
DEV
🪜
Recursive Descent
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Software Essays that Shaped Me
refactoringenglish.com
·
5h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🎮
Language Ergonomics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
FS-KAN: Permutation Equivariant Kolmogorov-Arnold Networks via Function Sharing
arxiv.org
·
15h
🔍
ML Language
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LAMP-PRo: Label-aware Attention for Multi-label Prediction of DNA- and RNA-binding Proteins using Protein Language Models
arxiv.org
·
15h
🌱
Minimal ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Identity Bridge: Enabling Implicit Reasoning via Shared Latent Memory
arxiv.org
·
15h
🪜
Recursive Descent
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A brain-inspired agentic architecture to improve planning with LLMs
nature.com
·
6h
🪜
Recursive Descent
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Maybe the first superintelligence will be a polyintelligence
thebookofluke.com
·
20h
·
Discuss:
r/programming
🌊
Gradual Effects
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
My AI Workflow for Writing Cleaner, Readable Code
amzn.to
·
14h
·
Discuss:
DEV
📚
Self-Documenting Code
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Apply the Trie: Word Search
mmhaskell.com
·
1d
·
Discuss:
Hacker News
🌿
Trie Structures
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Lessons Learned from Vibe-Coding a Configuration Parser
deanebarker.net
·
1d
·
Discuss:
Hacker News
🎮
Language Ergonomics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Semantic Code Mapping: When AI Finally 'Gets' Your Code
dev.to
·
5h
·
Discuss:
DEV
🧠
Semantic Parsing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
From Ambiguity to Verdict: A Semiotic-Grounded Multi-Perspective Agent for LLM Logical Reasoning
arxiv.org
·
15h
⚖️
Inference Rules
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
BeyondBench: Benchmark-Free Evaluation of Reasoning in Language Models
arxiv.org
·
15h
🌱
Minimal ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Your Sealed Class Cookbook: 3 Production-Ready Android Recipes
dev.to
·
4h
·
Discuss:
DEV
⚡
Algebraic Effects
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 2
•
Page 4 »