💻 Programming languages - fat · Scour

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

🔄Async Rust Code

github.com··Hacker News

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

🦀Rust Discussion

discuss.ocaml.org··Lobsters, Hacker News

React Native, Hermes bytecode, and the Kindle homepage

sighery.com··Hacker News

Programming Languages Software Award

📐Formal Methods

The fastest JVM is the C++26 compiler

wrocpp.github.io··r/cpp

Revo, the Programming Language

if-not-nil.github.io··Hacker News

Introducing Soteria: A New Generation of Static Analysis for Rust

🧩Constraint Solving Blog

soteria-tools.com··Hacker News

Create Your Own Programming Language with Rust

createlang.rs··Hacker News

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

📊Performance Profiling

Data-aware Static Analysis: Improving Detection of Semantic Faults in Machine Learning Code Using Data Characteristics

🔥DataFusion Academic

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

🌐Distributed systems Code

github.com··r/SideProject

Issue 527

📏Linear Types

haskellweekly.news·

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

🧠Memory Management News

developing.dev·

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

🏢Engineering Culture

deflua.com··Hacker News

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

⚡SIMD Optimization Blog Discussion

One Language To Rule Them All

📐Formal Methods Blog

programmingsimplicity.substack.com··Substack

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

stickyminds.com·

Python 3.14 garbage collection rigamarole

🧠Memory Management

theconsensus.dev

·

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

📐Formal Methods

lix.polytechnique.fr·

Native Elm (the real kind this time)

cekrem.github.io··r/functionalprogramming, r/node, r/programming, r/typescript, r/webdev

Log in to enable infinite scrolling