Language Design

Feeds to Scour
SubscribedAll
Scoured 102 posts in 9.7 ms

VICTORY: Meta Strips Facial Recognition Code From Smart Glasses App After Public Outcry

 🎲Property Testing
eff.org··Hacker News

Michael Catanzaro: Please Do Not Ban AI-Assisted Issue Reports

 🧹Memory Management  Content type: Blog
blogs.gnome.org·

Junior Architects with Shaky Logic: Testing AI’s Real-World Coding Skills – article review

 🧹Memory Management  Content type: Blog
metrics.blogg.gu.se·

Cleaner AI training data, fewer bugs: Sonar’s SonarSweep explained

 🔍Static Analysis
thenewstack.io·

Malware ships with bugs that defenders could use against it

 🔍Static Analysis
helpnetsecurity.com·

Frontier Coding Agents Use Metaprogramming to Adapt to Unfamiliar Programming Languages

 ⚙️CompTime  Content type: Academic
arxiv.org·

Why We Built SQL Tran: Automated Oracle to PostgreSQL Migration in Seconds

 🔓Lock-free Algorithms  Content type: Blog

Static Code Analysis and the Rules of Zero, Three, and Five

 📏LinearTypes  Content type: Blog
blog.jetbrains.com·

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

 λFunctional Programming  Content type: News
developing.dev·

Chinese APTs: Ghost NICs, GRIMBOLT, and Evolved BPFdoor Target Critical Infrastructure

 🔑Capability-based Security  Content type: News
deafnews.it··r/pwnhub

Open Code Review (Alibaba)

 🧪Automated Testing
notes.dsebastien.net·

Move Fast, Surveil Things

 🔑Capability-based Security
eff.org··Hacker News

How we made the world's fastest spreadsheet even faster

 🧹Memory Management  Content type: Blog
rowzero.com·

Introducing Jo — Secure Programming for the AI Era

 λFunctional Programming  Content type: Blog
jo-lang.org··Hacker News

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

 λFunctional Programming  Content type: Discussion

Interspecies quorum sensing signals modulate multicellular organization and enhance contact-dependent antagonism in Vibrio cholerae

 🔗Dependent Types  Content type: Academic
nature.com·

I built a static analysis tool in pure C that traces data access through function call chains, need feedback

 🔍Static Analysis  Content type: Code

Are We Lost in the Woods? Detecting Silent Semantic Faults for Random Forest Classifiers with Data-informed Static Analysis

 🔍Static Analysis  Content type: Academic
arxiv.org·

AgentGG: Open-source agentic SAST scanner

 🔍Static Analysis
helpnetsecurity.com·

Devs know AI code is riddled with holes, but ship it anyway

 ⚖️Invariants  Content type: 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