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
๐ซ Ocaml
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
120513
posts in
1.35
s
Help
unmarshalling
โน
go.dev
ยท
1d
ยท
Discuss:
r/golang
๐
Semantic Analysis
Making
Waffles
with Group
Theory
hmpcabral.com
ยท
2d
ยท
Discuss:
Hacker News
๐ง
PLT
aaaaaaaaaaaaaaaaaaaaaaaaaa
emmaroulette.blog
ยท
1d
๐ฆ
Rust
The
Mechanics
of Autonomous Software
Translation
alperenkeles.com
ยท
1d
๐
Static Analysis
User:
Yayimhere/Cleverxia
Collab
esolangs.org
ยท
2d
๐ช
Scala
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
ยท
2d
๐
formal specification
Devenv
with old
gcc
gist.github.com
ยท
3d
ยท
Discuss:
r/NixOS
๐
Refinement Types
No, dynamic
type
systems are not
inherently
more open
lexi-lambda.github.io
ยท
1d
ยท
Discuss:
Hacker News
๐ช
Scala
The Evolution of a
Lean
Programmer
unnamed.website
ยท
3d
ยท
Discuss:
Hacker News
๐
Symbolic Execution
Build a
Compiler
in Five Projects
kmicinski.com
ยท
5d
๐ง
PLT
Let
Lambda
Come Over
yamlscript.org
ยท
5d
๐ง
PLT
Large Language Models for
Mortals
book released
crimede-coder.com
ยท
1d
ยท
Discuss:
Hacker News
๐ง
PLT
eZNS
: An Elastic
Zoned
Namespace for Commodity ZNS SSDs
pages.cs.wisc.edu
ยท
2d
๐ฆ
Rust
What Iโm Learning in Data Structures: The Algorithm Behind
Compression
(
bzip
, etc.)
dev.to
ยท
12h
ยท
Discuss:
DEV
๐ง
PLT
AntigenLM
: Structure-Aware DNA Language Modeling for
Influenza
arxiv.org
ยท
1d
๐
Semantic Analysis
roc-lang/roc
: A fast, friendly, functional language.
github.com
ยท
3d
๐
Semantic Analysis
Z.ai
GLM-5
: New
SOTA
Open Weights LLM
news.smol.ai
ยท
1d
๐
Refinement Types
I accidentally
picked
pink theme and I fell in love especially with Claude dark theme
combination
. Try it.
i.redd.it
ยท
2d
ยท
Discuss:
r/firefox
โก
Zig
The Adventures of a
Pythonista
in
Schemeland/29
artima.com
ยท
4d
๐
Semantic Analysis
Parse
, Don't
Validate
(2019)
news.ycombinator.com
ยท
1d
ยท
Discuss:
Hacker News
๐ง
PLT
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