Feeds to Scour
SubscribedAll
Scoured 8810 posts in 459.2 ms
Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles / Reviews
ndpr.nd.edu·1d
🧩Constraint Logic
Preview
Report Post
On Complete Categorical Semantics for Effect Handlers
arxiv.org·6h
🔄Effect Handlers
Preview
Report Post
Show HN: 32KB deductive engine that catches LLM hallucinations
news.ycombinator.com·1h·
Discuss: Hacker News
Gleam
Preview
Report Post
Pascal-J/type-system-j: adds an optional type system to J language
github.com·14h·
Discuss: Lobsters
📐Type Theory
Preview
Report Post
List of Fallacies
en.wikipedia.org·1d·
Discuss: Hacker News
🚂Error Propagation
Preview
Report Post
Inferential Question Answering
arxiv.org·1d
🧠Semantic Parsing
Preview
Report Post
Logic for Programmers [Leanpub PDF/iPad/Kindle]
leanpub.com·13h
🧩Constraint Logic
Preview
Report Post
suzgunmirac/belief-in-the-machine: Belief in the Machine: Investigating Epistemological Blind Spots of Language Models
github.com·53m
🌱Minimal ML
Preview
Report Post
Fitness Functions: Automating Your Architecture Decisions
lukasniessen.medium.com·4h·
🎮Language Ergonomics
Preview
Report Post
Formally Verifying PBS Kids with Lean4
shadaj.me·1d·
Discuss: Hacker News
🚂Error Propagation
Preview
Report Post
Lambda cube
en.wikipedia.org·2d·
Discuss: Lobsters
📐Type Theory
Preview
Report Post
Building LLMs from Scratch: 7 Essential Types & Complete Implementation Guide
pub.towardsai.net
·1d
🎨Domain-Specific Languages
Preview
Report Post
Probability, statistics, matrix algebra
statlect.com·4h
🎲Probabilistic Programming
Preview
Report Post
How I Structure My Data Pipelines: The Silver Layer
loglevelinfo.substack.com·8h·
Discuss: Substack
🗄️Database Internals
Preview
Report Post
clojure.spec - Rationale and Overview
clojure.org·2d·
Discuss: Hacker News
📐Type Theory
Preview
Report Post
If You Tell AI Not to Do Something, It’s More Likely to Do It
unite.ai·20h·
Discuss: Hacker News
💬Prompt Engineering
Preview
Report Post
Golang custom error types with stack trace
klotzandrew.com·7h
🚂Error Propagation
Preview
Report Post
Semantic Operators: Run LLM Queries Directly in SQL
tacnode.io·1d·
Discuss: Hacker News
🧠Semantic Parsing
Preview
Report Post
The différance engine: large language models and poststructuralism | AI & SOCIETY
link.springer.com·18h
🔬programming language theory
Preview
Report Post
Writing Textbooks for Oneself
dkislyuk.com·11h·
Discuss: Hacker News
📚Self-Documenting Code
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help