Feeds to Scour
SubscribedAll
Scoured 9 posts in 10.6 ms
samth/gradual-typing-bib: A bibliography on Gradual Typing  🌈Gradual Languages
github.com·5d·Lobsters
Less-relevant results
Announcing Isabelle support for SAW  🏗️Calculus of Constructions
galois.com·2d·Lobsters
稻草人周刊 Vol.82  🐍lisp
geedea.pro·2h
Notepad++ Portable 8.9.6 (developer's text editor) Released  📖Literate Programming
portableapps.com·3d
Show HN: The Name in the Bracket (a free book on naming tensor dimensions)  🔍ML Language
einlang.github.io·6d·Hacker News
Buster Martin Sends The Full Journey 5.15b in Spain  🎯Ring Buffers
gripped.com·3d
We hardened zizmor's GitHub Actions static analyzer  🌳Tree Shaking
malware.news·2d
ghetea-patrick/filorithm: A fluent Python eDSL for high-level directory manipulation. It utilizes chainable filtering pipelines and intuitive operator overloading to replace boilerplate file system code with clean terminal-like actions.  📝Rope Editors
github.com·3d·Hacker News
We hardened zizmor's GitHub Actions static analyzer  🦀MIR Optimization
blog.trailofbits.com·2d·Hacker News

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help