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
🎭 Polymorphic Variants
Row Types, Structural Typing, OCaml Features, Type Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80289
posts in
525.2
ms
Same Engine, Multiple Gears: Parallelizing
Fixpoint
Iteration at Different
Granularities
(Extended Version)
arxiv.org
·
1d
🚀
Code Motion
Linear
Realisability
and
Implicative
Algebras
arxiv.org
·
1d
∀
Quantified Types
isledb
: An
embedded
key-value engine built on object storage in Go
reddit.com
·
2d
·
Discuss:
r/golang
🐹
Go Internals
RFC 3092:
Etymology
of "
Foo
"
datatracker.ietf.org
·
1d
·
Discuss:
Hacker News
📚
Factor
Flexible and
Economical
UTF-8
Decoder
bjoern.hoehrmann.de
·
2d
🔢
Binary Formats
Kotlin Symbol Processing:
создаём
свой
процессор
habr.com
·
3d
📋
Template Compilers
Logistic
Regression, Average Marginal Effects, and the Linear Probability Model - Part II:
Coefficients
and AMEs of nested models
elff.eu
·
3d
✨
Effect Inference
Declarative
,
Reproducible
Emacs
irreal.org
·
2d
🌈
Gradual Languages
I hold a different opinion regarding the self-built
compilation
backend
ziggit.dev
·
2d
🔄
Bootstrapping
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
3d
·
Discuss:
Hacker News
🪞
Homoiconicity
Fyrox
Game Engine 1.0 Release
Candidate
2
fyrox.rs
·
1d
·
Discuss:
r/rust
,
r/rust_gamedev
✨
Gleam
Heterogeneous
Processing: A Strategy for
Augmenting
Moore's Law (2006)
linuxjournal.com
·
1d
·
Discuss:
Hacker News
🔀
SIMD Programming
I
Write
Games in C (
yes
, C)
jonathanwhiting.com
·
2d
·
Discuss:
Hacker News
🧸
Toy Compilers
Coroutine
Types
abseil.io
·
2d
🔄
Coroutines
Tip of the Week #140:
Constants
: Safe
Idioms
abseil.io
·
2d
🔗
Lexical Scoping
Grace
Hopper
's
Revenge
thefuriousopposites.com
·
2d
🔍
ML Language
Unlocking
the Power of Python
Generators
: A Comprehensive Guide
dev.to
·
2d
·
Discuss:
DEV
🔧
Parser Generators
Why Large Language Models Make Terrible
Compilers
— And Why the Industry Keeps Trying
Anyway
webpronews.com
·
3d
🏗️
LLVM
Private Data Space Model
privatedata.space
·
5d
🪢
Rope Data Structures
A
Proof
of P =
NP
dev.to
·
1d
·
Discuss:
DEV
🎨
Graph Coloring
Loading...
Loading more...
« Page 10
•
Page 12 »
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