Opportunistically Parallel Lambda Calculus
dl.acm.org·10h·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.com·15h
🔧RISC-V Assembler
Flag this post
🚀 Build Custom AI Agents with Qodo Command
dev.to·15h·
Discuss: DEV
Proof Automation
Flag this post
Some tricks for interactive usage of Bash shell
mahesh-hegde.github.io·22h·
Discuss: Hacker News
⌨️Terminal Customization
Flag this post
Org Mode as Architecture Notebook
blog.wilcoxd.com·2h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Piping In And Out Of Emacs Buffers
irreal.org·2d
🐚Bash Combinators
Flag this post
Ajla Tutorial
ajla-lang.cz·8h·
Discuss: Hacker News
💧Liquid Types
Flag this post
Show HN: IRCd in Pure Bash
github.com·10h·
Discuss: Hacker News
Shell Verification
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·10h·
🌐WASI
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·5h
📝Log Parsing
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·8h·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
I am a beginner to Golang, what mini-projects would you suggest?
reddit.com·1d·
Discuss: r/golang
🐚Shell Monads
Flag this post
Hack the Box: Nibbles Walkthrough
infosecwriteups.com·2h
📟Terminal Forensics
Flag this post
Notes by djb on using Fil-C with Debian multiarch
cr.yp.to·11h·
Discuss: Hacker News
🐚Bash Monads
Flag this post
Writing an LLM from scratch, part 25 – instruction fine-tuning
gilesthomas.com·1d·
Discuss: Hacker News
Proof Automation
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·1d·
Discuss: Hacker News
📊Static Analysis
Flag this post
Xx execs commands for you in your Docker Compose projects
chuniversiteit.nl·2d·
Discuss: Hacker News
🐚Shell Monads
Flag this post
My Wishlist for PHP in 2026
stitcher.io·1d·
Discuss: Hacker News
📝Concrete Syntax
Flag this post
A Short Introduction to Categorical Logic
youtube.com·1d
🔀Category Theory
Flag this post