A grand week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
Bonito.jl – A flashy Julia web framework
makie.org·22h·
Discuss: Hacker News
📝Concrete Syntax
Higher-Level Design Patterns
qouteall.fun·4d·
Discuss: Hacker News
✨Algebraic Effects
Show HN: TinqerJS – LINQ Inspired ORM for TypeScript Supporting Postgres, SQLite
tinqerjs.org·1d·
Discuss: Lobsters, Hacker News, r/javascript
🧩SQLite Extensions
Quoting Thomas Klausner
simonwillison.net·18h
🗜️LZW Variants
How a top bug bounty researcher got their start in security
github.blog·18h
🔓Hacking
OpenSSH 10.1/10.1p1 Released
openssh.com·2d·
Discuss: Hacker News
🔐HSM Integration
Docker and Kubernetes Interview Questions for Cloud & DevOps Roles
lockedinai.com·1d
📦Container Security
"Wrote" a small script to validate helm values
reddit.com·1d·
Discuss: r/kubernetes
✅Shell Verification
Retool’s New AI-Powered App Builder Lets Non-Developers Build Enterprise Apps
thenewstack.io·14h
🔄Language Evolution
We built an open source SLURM replacement for ML training workloads built on SkyPilot, Ray and K8s.
reddit.com·1d·
Discuss: r/kubernetes
🌊Streaming Systems
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.org·1d
💻Programming languages
Red Lines and Grey Zones in the Fog of War: Benchmarking Legal Risk, Moral Harm, and Regional Bias in Large Language Model Military Decision-Making
arxiv.org·1d
🔲Cellular Automata
You Don't Know RAG. You Know Simple RAG.
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Show HN: Radkit, A2A focused rust agents SDK
github.com·3d·
Discuss: Hacker News
🦀Embedded Rust
Red Stone One Carat — TryHackMe Challenge Write-up
infosecwriteups.com·3d
🛡️CLI Security
The fragility of "cultural tendencies" in LLMs
arxiv.org·6h
🧮Theoretical Computer Science
AI-Driven Data Engineering: Building Real-Time Intelligence Pipelines
dev.to·8h·
Discuss: DEV
🌊Stream Processing
Inverse Mixed-Integer Programming: Learning Constraints then Objective Functions
arxiv.org·1d
📈Linear programming
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·2d
🧮SMT Solvers