🐚 Shell Monads - matmat · Scour

Show HN: Procjail – Building a process isolator in Go using Linux namespaces

emmanuel326.github.io·20h·

Discuss: Hacker News

🐚Bash Monads

Functional Logic Program Transformations

arxiv.org·1d

🔗Functional Compilers

The Helpful Adversary

dev.to·1d·

Discuss: DEV

🐚Shell Combinators

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·17h·

Discuss: Hacker News

🔒Type Safety

Why not tail recursion?

futhark-lang.org·2d·

Discuss: Lobsters, Hacker News

💻Programming languages

On the way to step functions: the two worlds

blog.julik.nl·2d

🐚Shell Calculus

Making a Language

thunderseethe.dev·11h

🛠Language Design

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·21h

📊Static Analysis

Simplex, a workflow specification language for autonomous agents

github.com·1d·

Discuss: Hacker News

Pavis: A Dumb Proxy for Boring Reloads

fabian4.site·18h·

Discuss: Hacker News

🦀Rust Borrowing

BPF Verifier State Pruning: Timeline

pchaigno.github.io·2d

🛡️Archive Verification

Discovering 100+ Compiler Defects in 72 Hours via LLM-Driven Semantic Logic Recomposition

arxiv.org·1d

🔓Decompilation

One Good Tutorial: Beta Release!

newton.cx·6h

⚔️Lean Tactics

IPAB Workshop - 22/1/26 | IPAB

informatics.ed.ac.uk·1d

Alexis King’s Blog

lexi-lambda.github.io·2d

🎯Gradual Typing

Designing a Programming Language for the Desert

futhark-lang.org·17h·

Discuss: Hacker News

🔗Functional Compilers

Red Macros Factory Is Joining OST (And So Am I!)

outflank.nl·17h

🦀Rust Macros

Welcome 0x1eef (Robert) to the HardenedBSD Development Team!

hardenedbsd.org·17h

Using Go Workspaces? Stop scripting loops and use the work pattern

reddit.com·2h·

Discuss: r/golang

🐚Nordic Shell

Failing to run ‘pubstrate’ in a container

opinionatedgeek.com·1d

🐚Bash Monads

Loading more...