Skip to main content
Scour
Browse
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
🐫 OCaml
ML Family, Pattern Matching, ReasonML, Jane Street
Filter Results
Timeframe
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80685
posts in
627.7
ms
STELLAR: Structure-guided LLM
Assertion
Retrieval and Generation for
Formal
Verification
arxiv.org
·
6h
✓
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
ML-DSA
in
golang
reddit.com
·
2d
·
Discuss:
r/golang
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
🔬 Research-Grade Context Engineering This material
represents
high-performance prompt research results designed based on Advanced
Logical
Architectures. 📜 Ma...
freederia.com
·
1h
✓
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Shrinking
a language detection model to under 10
KB
david-gilbertson.medium.com
·
14h
·
Discuss:
r/programming
✓
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A true '
hello
world' LLM
pipeline
alganet.github.io
·
1d
·
Discuss:
Hacker News
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
karans4/sysp
: A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.
github.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Disentangling
unification and implicit coercion (
subtyping
interaction problem)
jonmsterling.com
·
1d
·
Discuss:
Hacker News
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Training a
67M-parameter
transformer on an M4 Mac Mini
geddydukes.com
·
18h
·
Discuss:
Hacker News
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
ML
Systems
Textbook
mlsysbook.ai
·
1d
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
**Abstract:** This paper introduces a novel framework for automated
categorical
data integrity verification leveraging higher-order
categorical
logic (
HOLC
) ...
freederia.com
·
8h
✓
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Show HN:
PolyMCP
– Expose
Python/TS
functions as MCP tools easily
news.ycombinator.com
·
23h
·
Discuss:
Hacker News
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The
hunt
for Benchmark
Modula-2
(2018)
amigasourcepres.gitlab.io
·
1d
·
Discuss:
Hacker News
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
How MIT’s new framework solve LLM's memory
barrier
and 'context
rot
' problem
bdtechtalks.substack.com
·
1d
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Competitive
Pure
Functional
Languages
blog.samibadawi.com
·
2d
·
Discuss:
Hacker News
⚙
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Build Advanced Python
NLP
: 8 Essential
Techniques
for Text Analysis and AI Applications
dev.to
·
22h
·
Discuss:
DEV
📐
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Deploy Kimi
K2.5
on a Mac mini M4 Cluster and Call
Penligent.ai
: The Minimal Local-First Agentic Hacker Tutorial
penligent.ai
·
2h
·
Discuss:
Hacker News
💧
Elixir
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A brief introduction to
Compilers
with
Kotlin
examples
rabbitvictor.com
·
1d
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Chess
OCR
: End-to-end ML pipeline running in the browser
sbondaryev.dev
·
19h
·
Discuss:
Hacker News
🌐
WebAssembly
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The “
Syntax
Repair” That Turned My Algorithm Into a
Liar
hackernoon.com
·
6h
✓
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Automated Benchmark Generation from Domain
Guidelines
Informed by Bloom's
Taxonomy
arxiv.org
·
6h
✓
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Loading...
Loading more...
Page 2 »
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