🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧩 type theory
types, dependent types, linear types
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Why Racket? Why Lisp?
practicaltypography.com
·
11h
·
Discuss:
Lobsters
,
Hacker News
🧠
llms
Fixed Points via Logically Contractive Maps
lightcapai.medium.com
·
3h
·
Discuss:
Hacker News
🧠
llms
The Soft Architecture of Meaning: Language Against Entropy
medium.com
·
8h
·
Discuss:
Hacker News
🧠
llms
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com
·
6d
·
Discuss:
Hacker News
🧠
llms
My brief overview of Cangjie Programming Language by Huawei
codeabbey.com
·
2d
·
Discuss:
Hacker News
,
r/programming
🧠
llms
Simple Programming Languages
ryanbrewer.dev
·
1d
·
Discuss:
Hacker News
🧠
llms
Modeling Symmetries
markneumann.xyz
·
1d
·
Discuss:
Hacker News
🧠
llms
The Open Data Delusion
puntofisso.net
·
7h
·
Discuss:
Hacker News
🧠
llms
Yet Another LLM Rant
overengineer.dev
·
13h
·
Discuss:
Hacker News
🧠
llms
From GPT-2 to gpt-oss: Analyzing the Architectural Advances
magazine.sebastianraschka.com
·
14h
·
Discuss:
Hacker News
🧠
llms
Why Tail-Recursive Functions Are Loops
kmicinski.com
·
1d
·
Discuss:
Hacker News
🧠
llms
Roo Code Workflow: An Advanced LLM-Powered Development Setup
gist.github.com
·
2h
·
Discuss:
Hacker News
🧠
llms
PHP compile time generics: yay or nay?
thephp.foundation
·
2d
·
Discuss:
Hacker News
🧠
llms
Word Chains
petargyurov.com
·
1d
·
Discuss:
Hacker News
🧠
llms
Show HN: Alternative to Htmx and Alpine.js
hmpl-lang.dev
·
3h
·
Discuss:
Hacker News
🧠
llms
Tokenization in Large Language Models
seantrott.substack.com
·
1d
·
Discuss:
Substack
🧠
llms
Line at Infinity
en.wikipedia.org
·
9h
·
Discuss:
Hacker News
🧠
llms
Philosophy of Information
plato.stanford.edu
·
1d
·
Discuss:
Hacker News
🧠
llms
Vector types and debug performance
blog.s-schoener.com
·
1d
·
Discuss:
Hacker News
,
r/cpp
🧠
llms
Some Self-Paced Kids Move Fast
oaklandlearn.org
·
22h
·
Discuss:
Hacker News
🧠
llms
Loading...
Loading more...
Page 2 »