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
📐 Standard ML
Module System, Type Safety, Pattern Matching, Formal Semantics
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123512
posts in
789.3
ms
About
forethought.org
·
1h
🏠
indieweb
Semantic alignment of the German Human
Genome-Phenome
Archive metadata model in Europe’s
genomics
field
nature.com
·
2h
✨
Effect Inference
Scheme-JS: A Scheme
Interpreter
with Transparent JavaScript
Interoperability
furious-ideas.blogspot.com
·
2d
🔧
Scheme Macros
Typeflow
: Write like a native in any language with one
shortcut
producthunt.com
·
21h
🌈
Gradual Languages
Naughty
is
Nice
!
yamlscript.org
·
4d
🧼
Lisp Hygiene
Open Source in Focus: .NET Projects and the Tools Behind Them
blog.jetbrains.com
·
1d
🎮
Language Ergonomics
Automated Reasoning checks
rewriting
chatbot
reference
implementation
aws.amazon.com
·
1d
✅
Type Checking
CSCI
49201 - Functional Programming in
OCaml
a-nikolaev.github.io
·
5d
·
Discuss:
Hacker News
⚡
functional programming
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
3d
·
Discuss:
Hacker News
🌱
Minimal Languages
Data Modeling for the Agentic Era:
Semantics
, Speed, and
Stewardship
rilldata.com
·
1d
·
Discuss:
Hacker News
📏
Linear Logic
llama.cpp
guide - Running LLMs
locally
, on any hardware, from scratch
blog.steelph0enix.dev
·
2d
🏗️
LLVM
Frugal
AI
ainowinstitute.org
·
1d
🗺️
Region Polymorphism
— ## Abstract Formal verification and automated theorem proving rely on large,
intricate
proofs that are difficult to
construct
, maintain, and read. We...
freederia.com
·
5d
⚖️
Inference Rules
zkAgent
:
Verifiable
Agent Execution via One-Shot Complete LLM Inference Proof
eprint.iacr.org
·
3d
🧩
SAT Solvers
not much
happened
today
news.smol.ai
·
2d
🏁
Language Benchmarks
The development and evaluation of
agricultural
question-answering
systems based on large language models
nature.com
·
2d
📊
LR Parsing
Enforcing
Code Feature
Requirements
in C++
artima.com
·
3d
🪆
Embedded DSLs
The
Fewest
Number of Concepts You Need to Use Effect • Josh
Pitzalis
learninglog.svbtle.com
·
1h
·
Discuss:
r/typescript
🌊
Gradual Effects
Architecting
Durable AI Agents: Solving the
Volatile
State Problem
dev.to
·
33m
·
Discuss:
DEV
🎭
Erlang OTP
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
Loading...
Loading more...
« Page 9
•
Page 11 »
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