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
81528
posts in
736.0
ms
Introduction
to
Flakes
nixos-and-flakes.thiscute.world
·
1d
🧼
Lisp Hygiene
C++
Implementing
a Chaos Game
simulator
solarianprogrammer.com
·
1d
📚
Self-Documenting Code
Introducing
Mutineer
: Chaos Engineering for
Elixir
Function Calls
dev.to
·
2d
·
Discuss:
DEV
📡
Erlang
I Built a
Programming
Language Where think Is a
Keyword
dev.to
·
1d
·
Discuss:
DEV
✨
Gleam
Fyrox
Game Engine 1.0 Release
Candidate
2
fyrox.rs
·
1d
✨
Gleam
Constructing
Koszul
filtrations
: existence and non-existence for G-quadratic algebras
arxiv.org
·
13h
🔗
Category Theory
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
3d
🎯
Symbolic Execution
The control
layer
for AI
blog.dottxt.ai
·
2d
·
Discuss:
Hacker News
🔀
Control Structures
gharasathi
(
घर
ासाठी) — A Privacy-First Household AI Running on a $200 Mini PC
amazon.com.au
·
1d
·
Discuss:
DEV
💬
Smalltalk VMs
Tip of the Week #130:
Namespace
Naming
abseil.io
·
1d
📇
Symbol Tables
Tip of the Week #158:
Abseil
Associative
containers and contains()
abseil.io
·
1d
🗂️
Type Indexing
isledb
: An
embedded
key-value engine built on object storage in Go
reddit.com
·
1d
·
Discuss:
r/golang
🐹
Go Internals
gurleensethi/jwtx
: A TUI for debugging JWTs
github.com
·
21h
·
Discuss:
r/golang
⚙️
Configuration Parsing
Experiments
in building
bespoke
tools with AI
knlb.dev
·
17h
·
Discuss:
Hacker News
🎭
Program Synthesis
**Abstract:** This paper proposes a novel framework for quantifying the inherent logical
incompleteness
present in
Gödelian
systems by dynamically mapping ax...
freederia.com
·
3d
📜
Proof Languages
The
wonders
of
cooperative
inheritance, or using super in Python 3
artima.com
·
1d
🔄
Subinterpreters
Why
Penguins
Don't Build
Nests
in Trees and Why That Matters for AI
erikzaadi.com
·
1d
💬
Interactive REPLs
Built a tiny fast library for catching
obvious
prompt
injections
reddit.com
·
3d
·
Discuss:
r/golang
🛡️
Parser Security
The Adventures of a
Pythonista
in
Schemeland/26
artima.com
·
1d
🔧
Scheme Macros
The New
Stem
blog.gorewood.games
·
2d
🎮
Language Ergonomics
Loading...
Loading more...
« Page 7
•
Page 9 »
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