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
18167
posts in
563.9
ms
The path to
noncommutative
function
theory: a research story
noncommutativeanalysis.wordpress.com
·
5d
💻
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
Can We
Classify
Flaky
Tests Using Only Test Code? An LLM-Based Empirical Study
arxiv.org
·
3d
🔍
Concolic Testing
Automated Customization of LLMs for Enterprise Code
Repositories
Using Semantic
Scopes
arxiv.org
·
3d
🗣️
Domain-Specific Languages
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
Playwriter
, extension to control Chrome with agentic
CLIs
grokipedia.com
·
4d
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
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
What if writing
tests
was a
joyful
experience?
blog.janestreet.com
·
3d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Context
Engineering for Coding Agents
martinfowler.com
·
3d
·
Discuss:
Hacker News
✨
Effect Handlers
I built a free
ML
practice
platform - would love your feedback [P]
reddit.com
·
5d
·
Discuss:
r/MachineLearning
🎵
Audio ML
What
Happens
When AI Can
Write
All Your Software?
jakequist.com
·
4d
·
Discuss:
Hacker News
📏
Code Metrics
How
LSP
Works: Building a
Grammar
Checker
LSP
from Scratch in Rust
aroy.sh
·
6d
·
Discuss:
Hacker News
💻
Programming languages
iczelia/kamilalisp
: a functional, flexible and concise lisp.
github.com
·
5d
🔗
Lisp
My
GPT-5.3-Codex
Review: Full
Autonomy
Has Arrived
shumer.dev
·
4d
·
Discuss:
Hacker News
🔄
Language Evolution
Loading...
Loading more...
« Page 12
•
Page 14 »
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