Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔠 Type-Level Programming
Dependent Haskell, GADTs, Type Families, Kind System
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
17972
posts in
440.7
ms
Categorical
systems
theory
danmackinlay.name
·
4d
🔀
Category Theory
To
Consume
or
Reference
in Rust
meejah.ca
·
3d
🦀
Rust Borrowing
ReAct
Pattern
dev.to
·
1d
·
Discuss:
DEV
✨
Effect Handlers
[Dev Weekly #97]
Astro
is 39% More Loved Than Next.js, Claude 4.6 + GPT-5.3
Codex
Just Dropped, and more
blog.codeminer42.com
·
3d
🔄
Language Evolution
Capture the Flags: Family-Based Evaluation of Agentic LLMs via
Semantics-Preserving
Transformations
arxiv.org
·
3d
💻
Local LLMs
Sampling the
Oxford
CS
Library
blog.computationalcomplexity.org
·
5d
·
Discuss:
blog.computationalcomplexity.org
⛏️
Proof Mining
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
5d
⚙️
Proof Engineering
Structured
outputs
on Amazon Bedrock:
Schema-compliant
AI responses
aws.amazon.com
·
2d
📋
Document Grammar
Layered
Modal ML: Syntax and Full
Abstraction
arxiv.org
·
5d
🌳
Context free grammars
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
⚙️
WASM Runtime
Local Agent
Bench
: Test 11 small LLMs on tool-calling
judgment
, on CPU, no GPU
github.com
·
2d
·
Discuss:
Hacker News
,
r/LocalLLaMA
⚡
Performance Mythology
Pascal-J/type-system-j
: adds an
optional
type system to J language
github.com
·
5d
·
Discuss:
Lobsters
🎯
Gradual Typing
Database
Schema
as Code Intelligence
dev.to
·
1d
·
Discuss:
DEV
🗄️
Database Internals
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
1d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Proof Engineering
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
3d
·
Discuss:
Hacker News
💻
Local LLMs
A Quick
Introduction
to
OxCaml
noelwelsh.com
·
5d
·
Discuss:
Hacker News
💧
Liquid Types
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
⚖️
Hoare Logic
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
·
3d
·
Discuss:
r/golang
🔍
RegEx Engines
LLMs could be, but
shouldn
't be
compilers
alperenkeles.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
💧
Liquid Types
stdlib
v7.2
erlang.org
·
3d
·
Discuss:
Hacker News
🦀
Rusty Databases
Loading...
Loading more...
« Page 4
•
Page 6 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help