Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
c13e's Feed
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
6049
posts in
55.2
ms
Subscribe
50
interests
·
0
feeds
·
2
likes
An O(x)Caml book that runs · KC Sivaramakrishnan
🐫
OCaml
kcsrk.info
·
3d
3 days ago
·
Hacker News
·
Covers 9 stories
Actions for An O(x)Caml book that runs · KC Sivaramakrishnan
Type
Theory
Forall #62 –
Dependent
Haskell – Vladislav Zavialov [video]
🔢
Type Theory
Content type:
Video
youtube.com
·
1d
1 day ago
·
Hacker News
Actions for Type Theory Forall #62 – Dependent Haskell – Vladislav Zavialov [video]
This Simple
Workout
From a Pro Track Coach Can Help Any Runner Get Faster. Here’s How to Do It.
💪
Fitness
Content type:
News
runnersworld.com
·
5h
5 hours ago
Actions for This Simple Workout From a Pro Track Coach Can Help Any Runner Get Faster. Here’s How to Do It.
Tarides
🐫
OCaml
Content type:
Code
github.com
·
5d
5 days ago
·
Covers:
OCaml，an industrial-strength functional programming language
Actions for Tarides
HierSVA: A Data Synthesis Pipeline, Dataset, and Benchmark for LLM-Driven Hierarchical Hardware
Formal
Verification
📐
Formal Methods
Content type:
Academic
arxiv.org
·
21h
21 hours ago
Actions for HierSVA: A Data Synthesis Pipeline, Dataset, and Benchmark for LLM-Driven Hierarchical Hardware Formal Verification
The Cosmetic Sanctions: How Thirty Years of American Complicity Made
Rwanda
Untouchable
🌍
Rwanda
africarealities.com
·
2d
2 days ago
Actions for The Cosmetic Sanctions: How Thirty Years of American Complicity Made Rwanda Untouchable
Vulnerabilities in
Logseq
software
🗃️
PKM
malware.news
·
6d
6 days ago
Actions for Vulnerabilities in Logseq software
Foojay Podcast #98: The End of JNI Pain: How
WebAssembly
Is Quietly Replacing Native Libraries in Java
🕸️
WebAssembly
foojay.io
·
17h
17 hours ago
·
Covers:
bytecodealliance/endive: A JVM native WebAssembly runtime
Actions for Foojay Podcast #98: The End of JNI Pain: How WebAssembly Is Quietly Replacing Native Libraries in Java
Export a thread-local variable as a weak symbol
⚡
Zig
Content type:
Discussion
ziggit.dev
·
2d
2 days ago
Actions for Export a thread-local variable as a weak symbol
Kan Extensions in Double
Categories
λ
Functional Programming
bartoszmilewski.com
·
2d
2 days ago
·
Hacker News
·
Cited by 1 article
Actions for Kan Extensions in Double Categories
The
JIT
of PHP 8
🖥️
Virtual Machines
centamori.com
·
6h
6 hours ago
·
Hacker News
Actions for The JIT of PHP 8
It only takes 4
exercises
and 1 dumbbell to sculpt your core, build your lower
body
, and burn fat, according to this personal
trainer
💪
Fitness
tomsguide.com
·
16h
16 hours ago
Actions for It only takes 4 exercises and 1 dumbbell to sculpt your core, build your lower body, and burn fat, according to this personal trainer
Starting Work at
Jane
Street
🐫
OCaml
Content type:
Blog
hazelduvall.dev
·
5d
5 days ago
Actions for Starting Work at Jane Street
Programming
Language Picky Eater
λ
Functional Programming
ellie-g.com
·
2d
2 days ago
·
Covers:
OxCaml, Jane Street's extension of OCaml is now open-source
Actions for Programming Language Picky Eater
Why AI conversation mode beats vocabulary lists — and how
flashcard
mode keeps you honest
🧠
Active Recall
Content type:
Blog
manateavagner.com
·
6d
6 days ago
·
Hacker News
Actions for Why AI conversation mode beats vocabulary lists — and how flashcard mode keeps you honest
GCC Steering Committee Supports Inclusion Of
WebAssembly
Backend
🕸️
WebAssembly
phoronix.com
·
6h
6 hours ago
Actions for GCC Steering Committee Supports Inclusion Of WebAssembly Backend
CRDTs
merge concurrent edits. Why not concurrent creation?
🔀
CRDTs
Content type:
Blog
loro.dev
·
6d
6 days ago
·
Lobsters
,
Hacker News
Actions for CRDTs merge concurrent edits. Why not concurrent creation?
Running
local
models
is good now
🧠
Local AI
vickiboykis.com
·
12h
12 hours ago
·
Hacker News
·
Covers 8 stories
Actions for Running local models is good now
Cranelift
⚙️
Compiler Design
6
articles covering this post
cranelift.dev
·
1d
1 day ago
·
Hacker News
·
Cited by 6 articles
·
Covers:
How do I get started?
,
GCC GNU website is down
+2 more
Actions for Cranelift
FreeBSD
Security Advisory
FreeBSD-SA-26
:35.openssl
🛡️
Memory Safety
discoverbsd.com
·
4d
4 days ago
Actions for FreeBSD Security Advisory FreeBSD-SA-26:35.openssl
Sign up or log in to see more results
Sign Up
Login
« Page 2
Log in to enable infinite scrolling
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
Save / unsave
s
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
Like
Save
Dislike
Report