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
programming language design
π§ programming language design
type theory, safety, lifetimes, plt, syntax, macros, linear types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
47
posts in
6.5
ms
Types
for more than
memory
safety
in OxCaml β Stephen Dolan β VeTSS 2026 [video]
Β
π¦
Borrow Checker
Β
Content type:
Video
youtube.com
Β·
2d
2 days ago
Β·
Hacker News
Actions for Types for more than memory safety in OxCaml β Stephen Dolan β VeTSS 2026 [video]
Zephir: PHP Extension
Language
Β
π
Functional Programming
zephir-lang.com
Β·
6d
6 days ago
Β·
Hacker News
Actions for Zephir: PHP Extension Language
Introducing Soteria: A New Generation of Static Analysis for Rust
Β
π¦
Borrow Checker
Β
Content type:
Blog
soteria-tools.com
Β·
22h
22 hours ago
Β·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
Strict stability of extension
types
Β
π
Functional Programming
Β
Content type:
Academic
arxiv.org
Β·
2d
2 days ago
Actions for Strict stability of extension types
The Rust Borrow Checker Is Not Your Problem: You Are Writing Java in Rust
Β
π¦
Borrow Checker
Β
Content type:
Blog
medium.com
Β·
6d
6 days ago
Actions for The Rust Borrow Checker Is Not Your Problem: You Are Writing Java in Rust
"No way to prevent this" say users of only
language
where this regularly happens
Β
π¦
Borrow Checker
xeiaso.net
Β·
2d
2 days ago
Actions for "No way to prevent this" say users of only language where this regularly happens
Making the OWASP top ten in the vibe code eraβββββο»Ώβο»Ώββββββο»Ώο»Ώβο»Ώβββββββββο»Ώββββββο»Ώββββββο»Ώβββββββο»Ώβο»Ώββββββο»Ώββββββο»Ώβββο»Ώββββο»Ώβββββββο»Ώο»Ώββββββο»Ώββββββββββο»Ώβββββββββββββββο»Ώβββββββββββο»Ώβββο»Ώβββο»Ώβββο»Ώβο»Ώβο»Ώββββο»Ώο»Ώββο»Ώο»Ώβββο»Ώββο»Ώββ...
Β
πΈοΈ
Knowledge Graphs
Β
Content type:
Blog
stackoverflow.blog
Β·
6d
6 days ago
Actions for Making the OWASP top ten in the vibe code eraβββββο»Ώβο»Ώββββββο»Ώο»Ώβο»Ώβββββββββο»Ώββββββο»Ώββββββο»Ώβββββββο»Ώβο»Ώββββββο»Ώββββββο»Ώβββο»Ώββββο»Ώβββββββο»Ώο»Ώββββββο»Ώββββββββββο»Ώβββββββββββββββο»Ώβββββββββββο»Ώβββο»Ώβββο»Ώβββο»Ώβο»Ώβο»Ώββββο»Ώο»Ώββο»Ώο»Ώβββο»Ώββο»Ώββ...
Samuel Mimram β CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Β
π
Functional Programming
lix.polytechnique.fr
Β·
1d
1 day ago
Actions for Samuel Mimram β CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Rust, C++, and the Tradeoffs Behind
Safe
Low-Level Code: interview with Nikita Lisitsa
Β
π¦
Borrow Checker
Β
Content type:
Blog
Β
Content type:
Discussion
serokell.io
Β·
3d
3 days ago
Actions for Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa
Proof System Timelines
Β
π
Functional Programming
Β
Content type:
Blog
klatz.co
Β·
2d
2 days ago
Actions for Proof System Timelines
Daniel Temkin β FORTY-ΒFOUR ESOLANGS, The Art of Esoteric Code
Β
π
Functional Programming
neural.it
Β·
3d
3 days ago
Actions for Daniel Temkin β FORTY-ΒFOUR ESOLANGS, The Art of Esoteric Code
ARM MTE & Apple MIE: How Hardware
Memory
Tagging Reveals Invisible iOS Kernel Vulnerabilities
Β
π¦
Borrow Checker
Β
Content type:
Blog
jamf.com
Β·
1d
1 day ago
Actions for ARM MTE & Apple MIE: How Hardware Memory Tagging Reveals Invisible iOS Kernel Vulnerabilities
a topos-oriented
language
with a content-addressed lattice heap
Β
ποΈ
Graph IR
yon-lang.org
Β·
6d
6 days ago
Β·
Hacker News
Actions for a topos-oriented language with a content-addressed lattice heap
Release v0.0.2-alpha Β· VxidDev/Arc
Β
ποΈ
Graph IR
Β
Content type:
Code
github.com
Β·
4d
4 days ago
Β·
Hacker News
Actions for Release v0.0.2-alpha Β· VxidDev/Arc
OpenCV Introduces New DNN Inference Engine
Β
π
Incremental Computation
i-programmer.info
Β·
2d
2 days ago
Actions for OpenCV Introduces New DNN Inference Engine
Programming
Languages
Course Reboot, 2026
Β
π
Functional Programming
Β
Content type:
Reference
docs.google.com
Β·
1d
1 day ago
Β·
Lobsters
,
Hacker News
Actions for Programming Languages Course Reboot, 2026
Running Dialyzer for Elixir Projects in GitHub Actions
Β
π·
Julia Types
Β
Content type:
Blog
stratus3d.com
Β·
5d
5 days ago
Actions for Running Dialyzer for Elixir Projects in GitHub Actions
#649, June 8th 2026
Β
ποΈ
Graph IR
llvmweekly.org
Β·
2d
2 days ago
Actions for #649, June 8th 2026
Amber Tree: A Middle Ground Between Rowan Red and Green Trees
Β
π¦
Borrow Checker
Β
Content type:
Blog
blog.gplane.win
Β·
6d
6 days ago
Β·
Hacker News
,
r/rust
Actions for Amber Tree: A Middle Ground Between Rowan Red and Green Trees
Concepts in Practice: C++ MPI Bindings for the HPC Ecosystem. From a Standardizable Core to a Composable Interface
Β
π
Incremental Computation
Β
Content type:
Academic
arxiv.org
Β·
2d
2 days ago
Actions for Concepts in Practice: C++ MPI Bindings for the HPC Ecosystem. From a Standardizable Core to a Composable Interface
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