⚙ Programming Language Design - ColonelPhantom · Scour

Beyond Grep: Building Custom AST Parsers for 0-Day Hunting 📐Lean 4

medium.com·5d

A Gradual Probabilistic Lambda Calculus λFunctional Programming

arxiv.org·18h

The Many Faces of flet: cl-flet, cl-labels, and cl-letf λPLT

emacsredux.com·2d

[Rust Guide] 5.2. Struct Usage Example - Printing Debug Information 🎩Haskell

doc.rust-lang.org·2h·DEV

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety 🧪Software Testing

embedded.com·10h

Foundations First: Why AI Assistants Still Need a Human Driver 📐Lean 4

bytelearn.dev·2d·DEV

Post-Penultimate Conditional Syntax 📐Lean 4

joel.place·3d·Hacker News

Presentation: State of Play: AI Coding Assistants ⚙️Compiler Design

infoq.com

·14h

Syntax of .me – Simple, Powerful, and Language-Agnostic 📐Lean 4

neurons-me.github.io·1d·DEV

Trust But Canary: Configuration Safety at Scale 🚀Performance

engineering.fb.com·4h

AI #163: Mythos Quest λPLT

lesswrong.com·9h

C3 0.7.11: closing out the 0.7 series before 0.8 ⚙️Compilers

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

Avery-Personal/Koboi: Medium-level programming language for advanced systems with explicit control over memory, safety, & permissions. 🗣️Programming Languages

github.com·6d·r/C_Programming

What's New in the Qt GRPC library in 6.11 ⚙️Compilers

qt.io·9h

From SoC to System-in-Package: Transforming Automotive Compute with Multi-Die Integration 🔒STM

semiwiki.com·5h

Clojure on Fennel part one: Persistent Data Structures 🔒STM

andreyor.st·1d·Lobsters, Hacker News

Little LaTeX Pearls λPLT

ionathan.ch·18h

General Cheat Sheet for Beginners 🎩Haskell

devsheets.io·6d·r/golang

Google study finds LLMs are embedded at every stage of abuse detection 📐Lean 4

helpnetsecurity.com·1d

Micky Small | AI Emotional Safety Strategist λPLT

builttofeelreal.com·21h

Loading more...