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, SMT Integration, Verification, Predicate Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81167
posts in
537.0
ms
Beautiful
Perl
feature:
BLOCKs
dev.to
·
1d
·
Discuss:
DEV
🔗
Lexical Scoping
Beyond Function-Level Analysis: Context-Aware Reasoning for
Inter-Procedural
Vulnerability
Detection
arxiv.org
·
10h
🌳
Pattern Match Compilation
Convergent
Discovery of Critical Phenomena Mathematics Across
Disciplines
: A Cross-Domain Analysis
arxiv.org
·
21h
🔢
Algebraic Datatypes
Clojure
’s Persistent Data Structures:
Immutability
Without the Performance Hit
javacodegeeks.com
·
3d
🌳
Persistent Data
Stop Writing
Boilerplate
: How I Built a Code Generator to Automate
NestJS
Development
dev.to
·
1d
·
Discuss:
DEV
🤖
Code Generation
stdlib
v7.2
erlang.org
·
3d
·
Discuss:
Hacker News
🎭
Polymorphic Variants
Functional
Programming
Bits
in Python
martynassubonis.substack.com
·
6d
·
Discuss:
Substack
,
r/programming
,
r/webdev
⚡
functional programming
TypeScript
: JavaScript With
Syntax
For Types.
typescriptlang.org
·
3d
🔧
Nickel
Portable
C
Compiler
en.wikipedia.org
·
1d
·
Discuss:
Hacker News
📦
Portable Bytecode
Code only says what it does
brooker.co.za
·
1d
·
Discuss:
Hacker News
📚
Self-Documenting Code
Tip of the Week #144: Heterogeneous
Lookup
in
Associative
Containers
abseil.io
·
1d
📋
Row Typing
What I am doing now
artima.com
·
1d
🔄
Bootstrapping
Tip of the Week #141: Beware Implicit
Conversions
to <code>
bool
</code>
abseil.io
·
1d
⚙️
TOML Parsers
google/flatbuffers
:
FlatBuffers
: Memory Efficient
Serialization
Library
github.com
·
2d
📡
Protocol Buffers
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
5d
·
Discuss:
Hacker News
,
r/programming
🌊
Gradual Effects
Stocking
Stuffers
yamlscript.org
·
2d
🔗
Lexical Scoping
Implementing
Automated Rules-Based
Evaluations
for LLM Applications
github.com
·
4d
·
Discuss:
DEV
💬
Interactive REPLs
Should small Rust
structs
be
passed
by-copy or by-borrow?
forrestthewoods.com
·
1d
🔒
Rust Borrowing
YAML
Best
Practices
yamlscript.org
·
2d
⚙️
Configuration Parsing
Showcase: "act" - A lightweight Go library for
cleaner
error
handling
- my take on the Go error
handling
discussion
reddit.com
·
1d
·
Discuss:
r/golang
🛡️
Error Handling
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