⚙️ PL Implementation - matmat · Scour

kiselgra/c-mera: Next-level syntax for C-like languages :)

github.com·1d·

Discuss: Hacker News

🧠Lisp Dialects

Secure LLM Scripting. Finally

mlld.ai·2h·

Discuss: Hacker News

⚡Proof Automation

The RISC Concept - A Survey of Implementations

inf.fu-berlin.de·2d

Verilog Testbench Essentials

hackster.io·4h

🔍FPGA Verification

Programming Advice (experienced programmers only)

forums.anandtech.com·10h

🏗️Compiler Archaeology

An Introduction to Lean 4

uv.es·1d

⚔️Lean Tactics

Array-Carrying Symbolic Execution for Function Contract Generation

arxiv.org·2d

⬆️Lambda Lifting

oxidecomputer/hubris: A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

github.com·1d·

Discuss: r/homelab

🦀Embedded Rust

A language designed for machines to write

negroniventurestudios.com·13h·

Discuss: Hacker News

💻Programming languages

F# Weekly #9, 2026 – Crunching the Technical Debt with Repo Assist

sergeytihon.com·17h

💧Liquid Types

Emacs For Game Development

irreal.org·12h

🔩Systems Programming

Rust 1.77.0: C-String Literals and More

hackernoon.com·14h

🦀Rust Borrowing

I Built a Scheme Compiler with AI in 4 Days

matthewphillips.info·11h·

Discuss: Hacker News

🦀Rust Macros

PEP 827 – Type Manipulation

peps.python.org·3d

🎯Gradual Typing

Zevi's AI Development Workflow

shorthaired-billboard-f9a.notion.site·6h

⚡Proof Automation

From Prompts to Performance: Evaluating LLMs for Task-based Parallel Code Generation

arxiv.org·2d

Building a Custom Architecture and Platform: Part 2

binary.ninja·3d

🦾ARM Assembly

Swapping NULL for NUL - a better way to find nothing!

research.exoticsilicon.com·2d

🧠Lisp Dialects

Porting AI Music Generation to NVIDIA Jetson

hackster.io·1d

⚡Homebrew CPUs

Let’s stop copying C

eev.ee·2d

🔗Concatenative Programming

Loading more...