Programming languages

Feeds to Scour
SubscribedAll
Scoured 172 posts in 6.9 ms

ChibiRuby is a pure C# implementation of the mruby virtual machine

 🔄Async Rust  Content type: Code
github.com··Hacker News

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

 🦀Rust  Content type: Discussion

Create Your Own Programming Language with Rust

 🦀Rust

Programming Languages Software Award

 📐Formal Methods
sigplan.org·

Microsoft releases .NET 9 preview 5 with enhanced runtime and sdk features

 📊Performance Profiling
4sysops.com·

React Native, Hermes bytecode, and the Kindle homepage

 🐹Golang
sighery.com··Hacker News

Introducing Soteria: A New Generation of Static Analysis for Rust

 🧩Constraint Solving  Content type: Blog

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

 🔮Forecasting Models  Content type: Academic
arxiv.org·

The fastest JVM is the C++26 compiler

 🔷Typescript
wrocpp.github.io··r/cpp

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

 🧠Memory Management  Content type: News
developing.dev·

gp32emu beta released!

 📊Performance Profiling
ngemu.com·

Python 3.12 vs 3.13 JIT: 16% Faster or 2x Slower?

 SIMD Optimization  Content type: Blog  Content type: Discussion
tildalice.io·

DABO — What If Agents Didn't Need the Cloud Most of the Time...

 🌐Distributed systems  Content type: Code
github.com··r/SideProject

Revo, the Programming Language

 🛡️Odin

AI Wrote the Code. Now It Broke. Who's Responsible?

 💳Tech Debt
stickyminds.com·

Lua.ex: Sandboxed Lua 5.3 on the Beam, Built for AI Agents

 🏢Engineering Culture
deflua.com··Hacker News

Issue 527

 📏Linear Types
haskellweekly.news·

Confusion about "unable to resolve comptime value"

 🧠Memory Management  Content type: Discussion
ziggit.dev·

One Language To Rule Them All

 📐Formal Methods  Content type: Blog

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

 📐Formal Methods
lix.polytechnique.fr·

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