Church Encoding, Combinators, Reduction Strategies, Computational Models

Streamlining Multi-Account Infrastructure with AWS CloudFormation StackSets and AWS CDK
aws.amazon.com·1h
Configuration Validation
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·1d·
💾Register Pressure
Flag this post
Weekly Bookmarks
inkdroid.org·1d
🔍Lens Libraries
Flag this post
Fun exercise: Developing the Immaculate Texts
reddit.com·1h·
Discuss: r/exalted
📚Self-Documenting Code
Flag this post
Using eBPF to attribute packet drops to netfilter rules
developers.redhat.com·8h
🪤Trap Handlers
Flag this post
I'm a beginner at C and I would like feedback about the optimisation of my code
reddit.com·1d·
🗑️Garbage Collection
Flag this post
Simplifying Preference Elicitation in Local Energy Markets: Combinatorial Clock Exchange
arxiv.org·11h
📮Message Queues
Flag this post
Dataset Creation and Baseline Models for Sexism Detection in Hausa
arxiv.org·11h
🌱Minimal ML
Flag this post
Un-Attributability: Computing Novelty From Retrieval & Semantic Similarity
arxiv.org·11h
⚖️Weighted Automata
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·1d·
⚙️TOML Parsers
Flag this post
Comparing images with AVX
dev.to·23h·
Discuss: DEV
🔢Bit Manipulation
Flag this post
Indexers in C# — Making Your Classes Feel Like Arrays
dev.to·1d·
Discuss: DEV
🗂️Type Indexing
Flag this post
Perl 🐪 Weekly #745 - Perl IDE Survey
dev.to·7h·
Discuss: DEV
🔗Language Toolchains
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·3d
📊Log Parsers
Flag this post
Set up RAG with Genkit and Firebase in 15 minutes
dev.to·1h·
Discuss: DEV
🌊Streaming Lexers
Flag this post
REMI: PostgreSQL as Agentic Core in Tiger Cloud (Agentic Postgres Challenge by Auth0)
dev.to·21h·
Discuss: DEV
📋Tablegen
Flag this post
Identifying the Periodicity of Information in Natural Language
arxiv.org·11h
⚖️Weighted Automata
Flag this post
This is one way I use AI for coding
dev.to·1h·
Discuss: DEV
💬Interactive REPLs
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·2d·
Discuss: r/golang
🔧API Design
Flag this post
RimStone is a different kind of programming language
dev.to·1d·
Discuss: DEV
🌱Minimal Languages
Flag this post