All Hail The OC71
hackaday.com·1d
🔌Operating system internals
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·1d·
Discuss: r/javascript, r/programming
λLambda Encodings
Flag this post
Scaling Embeddings with Feast and KubeRay
feast.dev·2h·
Discuss: Hacker News
📡Feed Archaeology
Flag this post
High-Performance Syntax Highlighting with CSS Highlights API
pavi2410.com·1d·
Discuss: Hacker News
🌳Incremental Parsing
Flag this post
Show HN: AI tool to scan internal docs for GDPR violations before audits
news.ycombinator.com·2h·
Discuss: Hacker News
⚖️Legal Compliance
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·1d·
Discuss: Substack
🧬Functional Programming
Flag this post
You Don't Need Types in Ruby
zhisme.com·9h·
Discuss: Hacker News
💧Liquid Types
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
MLPrE -- A tool for preprocessing and exploratory data analysis prior to machine learning model construction
arxiv.org·14h
🎵Audio ML
Flag this post
The real problem with AI coding
cubic.dev·1h·
Discuss: Hacker News
📏Code Metrics
Flag this post
I built an faster Notion in Rust
imedadel.com·2d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·1d·
Discuss: Hacker News
🧠Separation Logic
Flag this post
MMM-Fact: A Multimodal, Multi-Domain Fact-Checking Dataset with Multi-Level Retrieval Difficulty
arxiv.org·14h
🧪Archive Fuzzing
Flag this post
Automated Defect Cascade Prediction and Mitigation in Automotive Embedded Systems
dev.to·1d·
Discuss: DEV
🔧Hardware Verification
Flag this post
Enhanced Protein Folding Prediction via Multi-Modal Data Assimilation and Bayesian Hyperparameter Optimization
dev.to·19h·
Discuss: DEV
🧠Machine Learning
Flag this post
CodeAD: Synthesize Code of Rules for Log-based Anomaly Detection with LLMs
arxiv.org·2d
👁️Observatory Systems
Flag this post
My Rough and Incomplete Back End Developer Skill Tree
iainschmitt.com·2d·
Discuss: Hacker News
🔩Systems Programming
Flag this post
RAG Pipelines Made Simple: Ballerina for AI-Powered Search
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Flag this post
Fitting KNN: From Overfit to Underfit and Everything Between
dev.to·2h·
Discuss: DEV
📊Learned Metrics
Flag this post
Aligning Large Language Models with Procedural Rules: An Autoregressive State-Tracking Prompting for In-Game Trading
arxiv.org·14h
💻Programming languages
Flag this post