⚙️ Compilers - the_floundering_lotus · Scour

ahinchman1/Kotlin-Compiler-Crash-Course: A repository of helpful sources to figure out what the Kotlin compiler really is λType Theory

Miniswift, SwiftUI Compiled in the Browser 🕸️IndieWeb

miniswift.run·2d·Hacker News

MileStone: A Multi-Objective Compiler Phase Ordering Framework for Graph-based IR-Level Optimization ✅Formal Verification

arxiv.org·4d·Hacker News

Programming languages designed for AI agents to write ✅Formal Verification

agentlanguages.dev·10h

Kotlin → WebAssembly in your tab ✅Formal Verification

minikotlin.run·1d

C as an Intermediate Language (2012) 💻Programming

yosefk.com·6d·Hacker News

Pass by value semantics ✅Formal Verification

ziggit.dev·21h

Transpiler : The best of every language, in one ✅Formal Verification

amalgame.me·2d·Hacker News

Partitioned Global Address Space 💻Computer Science

en.wikipedia.org·2h·Hacker News

adding-reflection-to-C λType Theory

davidpriver.com·1d·Hacker News

Claude as your performance analysis partner ✅Formal Verification

developers.redhat.com·17h

Characterization of machine learning compilers for LLM inference on NVIDIA GPUs ✅Formal Verification

link.springer.com·5d·Hacker News

Compact source. Native binaries. Built for agents. ✅Formal Verification

axlanguage.github.io·1d·Hacker News

Why Enterprise Java Teams Need Quality Gates Even More in the Age of AI ✅Formal Verification

On C extensions, portability, and alternative compilers λType Theory

lemon.rip·4d·Lobsters, Hacker News

Finding Miscompiles for Fun, Not Profit ✅Formal Verification

newsletter.semianalysis.com

·1d·Lobsters, Hacker News

Rocky Linux 9.8 Released for Enterprise Linux 9 Users 🔓Open Source

linuxiac.com·22h

A Case for Tracing Based DSL Kernel Languages ✅Formal Verification

metaworld.me·2d·Hacker News

CLRHack: Tail Recursion λType Theory

funcall.blogspot.com·4d·Blogger

Extract More Kernel Performance with NVIDIA CompileIQ Auto-Tuning (10 minute read) 💻Programming

developer.nvidia.com·2d

Log in to enable infinite scrolling