programming languages

Feeds to Scour
SubscribedAll
Scoured 178 posts in 8.5 ms

A line-by-line translation of the OCaml runtime from C to Rust

 🦀Rust  Content type: Discussion

Static types and shovels (2026)

 📐Type Systems

clj.rs Clojure implemented on Rust

 🔨Compilers

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones

 📐Type Systems  Content type: News
developing.dev·

ocaml/odoc: Documentation compiler for OCaml

 🔨Compilers  Content type: Code
github.com·

Stackage Blog: Stackage talk at Haskell Ecosystem Workshop 2026

 🦀Rust  Content type: Blog
stackage.org·

Issue 527

 📐Type Systems
haskellweekly.news·

Tarides

 🦀Rust  Content type: Code
github.com·

Clojure Deref (Jun 9, 2026)

 🦀Rust
clojure.org·

Introducing Soteria: A New Generation of Static Analysis for Rust

 🔍Symbolic Execution  Content type: Blog

OCaml Onboarding: Introduction to the Dune build system

 🔨Build Systems  Content type: Blog
ocamlpro.com··Hacker News

When Types Intersect and Effects Get Handled

 📐Type Systems  Content type: Academic
arxiv.org·

Scarab Diagnostic Field Test #023 — Rust Raw Pointer Recursive Layout Boundary

 🦀Rust  Content type: Code
github.com··DEV

Programming Languages Software Award

 🔨Compilers
sigplan.org·

Rust goal: cargo script (like uv does for Python)

 🦀Rust

Slowed Down

 🦀Rust  Content type: Blog
clofer.codeberg.page·

Kan Extensions in Haskell

 📐Type Systems

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

 📐Type Systems
lix.polytechnique.fr·

FlowStorm, a Clojure and ClojureScript debugger with some unique features

 🐛Debuggers
flow-storm.org·

How to Defend Against Prompt Injection in Production

 🦀Rust  Content type: Reference
leanpub.com··DEV

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