tiferrei's Top FindsLoading...
Apple details new APIs for parental consent and age verification in Texas
9to5mac.com·9h
🍎Apple
Flag this post
Linux Troubleshooting: The Hidden Stories Behind CPU, Memory, and I/O Metrics
reddit.com·10h·
Discuss: r/programming
👁️System Observability
Flag this post
Digital Strategy for Organisations
blog.muni.town·1d·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Precompiled headers and why Squid won't be using them (2023)
squidproxy.wordpress.com·14h·
Discuss: Hacker News
🔧ppx
Flag this post
CHERIoT 1.0 Released
cheriot.org·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Flag this post
AI Slop vs. OSS Security
devansh.bearblog.dev·13h·
Discuss: Hacker News
👁️System Observability
Flag this post
Best Open Source Observability Solutions
clickhouse.com·4d·
Discuss: Hacker News
👁️Observability
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·4d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
The Learning Loop and LLMs
martinfowler.com·20h·
Discuss: Hacker News, Hacker News
🏃Escape Analysis
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·1d
🔲Cellular Automata
Flag this post
CharlotteOS – An Experimental Modern Operating System
github.com·3d·
Discuss: Hacker News, r/opensource
🔧Unikernel Development
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·1d·
Discuss: Hacker News
📦Module Systems
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
10 AI Coding Patterns That'll Make You Look Like a Wizard 🧙‍♂️
dev.to·13h·
Discuss: DEV
🤖Program Synthesis
Flag this post
I Use AI
ben.stolovitz.com·20h·
Discuss: Hacker News
🔤Language Design
Flag this post
Automated Human-Aligned Value Alignment via Multi-Modal Reasoning and Recursive Score Calibration
dev.to·4h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Need Advice: Bitbucket Helm Repo Structure for Multi-Service K8s Project + Shared Infra (ArgoCD, Vault, Cert-Manager, etc.)
reddit.com·3d·
Discuss: r/kubernetes
⎈Helm
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·2d·
Discuss: Hacker News
🔍Formal Verification
Flag this post
Model Predictive Control with Multiple Constraint Horizons
arxiv.org·6h
🔍CBMC
Flag this post
Optimized Grid-Interactive Energy Storage (GIES) via Heterogeneous Ensemble Learning
dev.to·14h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Composer-1 vs SWE-1.5: A detailed Comparison
dev.to·5h·
Discuss: DEV
⚙️Abstract Machines
Flag this post