📐 PLT - omer · Scour

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference ⚙️Compilers

arxiv.org·2d

A brief history of C/C++ programming languages ⚙️Compilers

lemire.me·17h·Hacker News, r/rust

Binary Lambda Calculus is Hard ⚙️Compilers

aartaka.me·4d·r/functionalprogramming

C3 0.7.11: closing out the 0.7 series before 0.8 ♻️GC Internals

c3-lang.org·2d·Hacker News, r/programming

squadette/rubysyn: Rubysyn: clarifying Ruby's syntax and semantics 💉JIT Spraying

github.com·5d

Made a tool to compare programming languages and rank with learnings! ⚙️Compilers

langscompare.site·4d·r/SideProject, r/programming

When Equality Fails as a Rewrite Principle: Provenance and Definedness for Measurement-Bearing Expressions ⚙️Compilers

arxiv.org·4h

YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group 💉JIT Spraying

lemmy.ml·6d

Forty-Four Esolangs 🎮Game Engines

mitpress.mit.edu·5d

JavaScript: The Good Parts by Douglas Crockford 💉JIT Spraying

goodreads.com·5d

A Gradual Probabilistic Lambda Calculus ⚙️Compilers

arxiv.org·2d

Show HN: Sigil – A new programming language for AI agents 🎮Game Engines

news.ycombinator.com·4d·Hacker News

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation ⚙️Compilers

arxiv.org·1d

Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer ⚙️Compilers

arxiv.org·4h

Can LLMs Deobfuscate Binary Code? A Systematic Analysis of Large Language Models into Pseudocode Deobfuscation 🌀Obfuscation

arxiv.org·4h

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications 📡Side-Channel Attacks

arxiv.org·1d

Avinashvelu03/valicore: Blazing-fast, zero-dependency, TypeScript-first schema validation with deep type inference, async support, and a complete validator suite. 🌀Obfuscation

github.com·6d·DEV

Probabilistic Language Tries: A Unified Framework for Compression, Decision Policies, and Execution Reuse 📡Side-Channel Attacks

arxiv.org·1d

A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems ⚙️Compilers

arxiv.org·2d

Determinacy with Priorities up to Clocks 📡Side-Channel Attacks

arxiv.org·1d

Loading more...