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
🔬 Refinement Types
Liquid Haskell, Contract Programming, SMT Integration, Type Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
17970
posts in
739.1
ms
The path to
noncommutative
function
theory: a research story
noncommutativeanalysis.wordpress.com
·
6d
💻
Programming languages
📊 Tech Market Analysis: February 07, 2026
dev.to
·
1d
·
Discuss:
DEV
⚙️
Proof Engineering
nouveau: a
tale
of two
bugs
airlied.blogspot.com
·
4d
·
Discuss:
airlied.blogspot.com
🎯
Emulator Accuracy
Killing
IDORs
in
Rails
Applications: Make the Database Say "No" By Default
pentesterlab.com
·
4d
🧬
PostgreSQL Forensics
Why Your Next AI Agent Should Be a
Microservice
(And How to Build It with C# &
Docker
)
dev.to
·
2d
·
Discuss:
DEV
🏠
Homelab Orchestration
Gradually
Compacting
Large Language Models for Reasoning Like a Boiling Frog
arxiv.org
·
3d
🌳
Context free grammars
Building a Correct-by-Design
Lakehouse
. Data Contracts,
Versioning
, and Transactional Pipelines for Humans and Agents
arxiv.org
·
6d
⚡
Incremental Computation
Engineering
Ethereum
's Speed: How we made
Ethrex
20x faster
blog.lambdaclass.com
·
4d
🎯
Emulation Accuracy
Modern
Trends
In
Floating-Point
semiengineering.com
·
4d
📐
Arithmetic Precision
Fast
Autoscheduling
for Sparse ML
Frameworks
ajroot.pl
·
4d
·
Discuss:
Hacker News
,
r/Compilers
🌊
Streaming Algorithms
LLM Data
Exfiltration
via URL Previews (With
OpenClaw
Example and Test)
promptarmor.com
·
4d
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
Maiasa
: A next-gen, fast, robust,
ethical
language model (that can only say "a")
maiasa.ai
·
5d
·
Discuss:
Hacker News
🌳
Context free grammars
My
GPT-5.3-Codex
Review: Full
Autonomy
Has Arrived
shumer.dev
·
4d
·
Discuss:
Hacker News
🔄
Language Evolution
Digging into
UUID
,
ULID
, and implementing my own
atlas9.dev
·
4d
·
Discuss:
Hacker News
🌳
Archive Merkle Trees
Groverkss/mlir-tutor
: Exercises for Learning MLIR (Originally written for
PPoPP
2026)
github.com
·
4d
·
Discuss:
Hacker News
,
r/Compilers
🎵
Audio ML
Keynote: Overview of gRPC -
Sreenithi
Sridharan
, Google
youtube.com
·
4d
⚡
gRPC
Context
Engineering for Coding Agents
martinfowler.com
·
3d
·
Discuss:
Hacker News
✨
Effect Handlers
Formally
Verifying
PBS Kids with
Lean4
shadaj.me
·
6d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Show HN: C discrete event SIM w
stackful
coroutines runs 45x faster than
SimPy
github.com
·
5d
·
Discuss:
Hacker News
🖥️
Game Emulation
Easy
FunctionGemma
finetuning with
Tunix
on Google TPUs
developers.googleblog.com
·
6d
💧
Liquid Types
Loading...
Loading more...
« Page 13
•
Page 15 »
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