🐿️ 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 Irrelevance
Squash Types, Proposition Equality, Setoid Model, Type Theory
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Streamlining the consciousness debate, from trees to hermit crabs
phys.org
·
1d
🧲
Magnetic Philosophy
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Your LLM Won’t Stop Lying Any Time Soon
hackaday.com
·
6h
💻
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev
·
1d
·
Discuss:
Hacker News
🔐
Hash Functions
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Umwelt
en.wikipedia.org
·
1d
⚙️
systems theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Neuro-Symbolic AI
en.wikipedia.org
·
18h
·
Discuss:
Hacker News
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Manifesto for the Programming Desperado
github.com
·
17h
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org
·
1d
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org
·
2d
🧮
Kolmogorov Complexity
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
In-Depth Analysis: "Attention Is All You Need"
dev.to
·
17h
·
Discuss:
DEV
🧠
Intelligence Compression
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
C++26: range support for std:optional
sandordargo.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💧
Liquid Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
M\"obius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
arxiv.org
·
3d
🕸️
Graph Algorithms
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Let's Write a Macro in Rust
hackeryarn.com
·
16h
·
Discuss:
Hacker News
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca
·
13h
·
Discuss:
Hacker News
🔗
Concatenative Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Every Line of Code Is a Philosophy in Disguise
dev.to
·
1d
·
Discuss:
DEV
⚖️
Emulation Ethics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org
·
1d
·
Discuss:
Hacker News
,
r/programming
🌳
Incremental Parsing
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
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🧮
Algebraic Datatypes
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Ship Broken Things
matmul.net
·
1d
·
Discuss:
Hacker News
🔗
Topological Sorting
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Programmer in Wonderland
binaryigor.com
·
1d
·
Discuss:
Hacker News
🔩
Systems Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Active Confusion Expression in Large Language Models: Leveraging World Models toward Better Social Reasoning
arxiv.org
·
1d
🧮
Prolog Parsing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 3
•
Page 5 »