⚙️ Compilers - the_floundering_lotus · Scour

Rocky Linux 9.8 released with improved Image Builder 🔓Open Source

neowin.net·11h

generics for `wgsl-rs` and more ✅Formal Verification

renderling.xyz·35m·Lobsters

Show HN: I made a compiler/VM for untrusted scripts ✅Formal Verification

autolang.vercel.app·4d·Hacker News

A new Register Allocator for ZJIT ✅Formal Verification

railsatscale.com·2d·Lobsters, Hacker News

Rockchip (EASY EAI) RV1126B Development (Compilation) Guide 🍓Raspberry Pi

hackster.io·11h

C++26: Ordering of constraints involving fold expressions λType Theory

sandordargo.com·2d·Hacker News, r/cpp

The Compiler Flags the Bug. Developers Ship It Anyway. ✅Formal Verification

siliconopera.com·5d

Cybersploit 1 Walkthrough — OffSec | Beginner Guide & Screenshots 🔐Cybersecurity

infosecwriteups.com

·9h

Discussion of zig build and lower level direct invocations ✅Formal Verification

ziggit.dev·22h

Leaving performance on the table ✅Formal Verification

fzakaria.com·6d·Lobsters, Hacker News

Using GCC's Nested Functions with Wide Pointers and no Trampolines 💻Programming

uecker.codeberg.page·1d·Lobsters, Hacker News

Forza Horizon 6 crashing on pause 🕹️Old Hardware

paste.cachyos.org·3h·r/linux_gaming

Rocky Linux 10.2 Released with Updated Enterprise Linux Stack 🔓Open Source

linuxiac.com·1h

imjasonh/pasta: Using ASTs and CUE to describe multi-language linters and fixers λType Theory

github.com·6h·Lobsters

E-Path: Equality Saturation for Control-Flow Graphs ✅Formal Verification

Running Code in a Programming Language Nobody Knows 💻Programming

blog.goodanser.com·3d·r/programming

Building Reliable AI Coding Workflows Using Modular AI Agent Optimization ✅Formal Verification

techcommunity.microsoft.com·22h

Issue 526 λType Theory

haskellweekly.news·1d

Tuning LLVM's SLP Vectorizer Cost Model ✅Formal Verification

blog.kaving.me·5d·Hacker News

Purple and black graphical corruption during video playback, games, and browser scrolling 🕹️Old Hardware

paste.cachyos.org·1h·r/cachyos

Log in to enable infinite scrolling