💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Feeds to Scour
SubscribedAll
Scoured 13171 posts in 1.20 s
Superstar64/Hazy: The Hazy Haskell Compiler
github.com·1d
🔗Functional Compilers
Preview
Report Post
Issue 506
haskellweekly.news·11h
🔗Functional Compilers
Preview
Report Post
The Hazy Haskell Compiler
discourse.haskell.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Preview
Report Post
Making CI/CD Pipelines Truly Autonomous — Safe and Observability-Driven Workflows With TypeScript, Python and Contract-First API Testing
devops.com·1d
🔬Refinement Types
Preview
Report Post
Khorikov Unit Testing Guide
binaryphile.com·1d
🧪Property-Based Testing
Preview
Report Post
Program Reduction: A Win for Recursion Schemes
newartisans.com·3d
🔗Functional Compilers
Preview
Report Post
Automated Theorem Proving for Prolog Verification
arxiv.org·15h
🧮Theorem Proving
Preview
Report Post
Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations
blog.janestreet.com·1d·
Discuss: Lobsters, Hacker News
✨Algebraic Effects
Preview
Report Post
Reflex FRP – a Haskell-based ecosystem for building user interfaces and web apps
reflex-frp.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Preview
Report Post
Why I Rewrote Portage in Go: Introducing GRPM v0.1.0
dev.to·2h·
Discuss: DEV
🔗Topological Sorting
Preview
Report Post
Fragments: January 8
martinfowler.com·7h
🎯Gradual Typing
Preview
Report Post
Rust is perfectly imperfect
0x80.pl·9h
🦀Embedded Rust
Preview
Report Post
Open Specification for API Collections
opencollection.com·2d·
Discuss: Hacker News
🔌Archive APIs
Preview
Report Post
A practical guide to converting YAML to JSON safely (with Kubernetes examples)
coderaviverma.github.io·1d·
Discuss: Hacker News
🔬Refinement Types
Preview
Report Post
The Case of the Moving Merge Base
hoelz.ro·5h
🕰️RetroCRDTs
Preview
Report Post
Easily Accelerating Python with Rust via Claude Code
generativist.com·1d·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
Create, debug & maintain dlt pipelines in production
dlthub.com·10h
🔄Archive Workflows
Preview
Report Post
We Need Type Information, Not Stable ABI
blaz.is·13h
🔒Type Safety
Preview
Report Post
Powerful Local AI Automations with n8n, MCP and Ollama
kdnuggets.com·5h
🤖Archive Automation
Preview
Report Post
TypeScript for AI Agents: From Friction to Flow with Sub-Agents
dev.to·49m·
Discuss: DEV
🎯Gradual Typing
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help