Show HN: Veila – AI chat through privacy proxy with end-to-end encrypted history
veila.ai·1h·
Discuss: Hacker News
🛡️Security Type Systems
I uncovered an ACPI bug in my Dell Inspiron 5567. It was plaguing me for 8 years.
triangulatedexistence.mataroa.blog·2d·
Discuss: Hacker News, r/programming
🪤Trap Handlers
Computationally-Sound Symbolic Cryptography in Lean
eprint.iacr.org·1d
∫Symbolic Math
Learn Swift Composable Architecture
bugfender.com·2d
🦉Swift Interpreters
Analysis of the ROGUE Agent-Based Automated Web Testing System
hackernoon.com·1d
🎲Parser Fuzzing
Efficiently Updating LLM Weights: A Deep Dive into MoonshotAI’s Checkpoint-Engine
analyticsvidhya.com·28m
📡Erlang BEAM
Formatting comments that start with '#' when cindent is on.
reddit.com·21h·
Discuss: r/vim
💻Terminal Control
My journey building a DNS server in Zig (with streams + notes)
reddit.com·19h·
Discuss: r/Zig
⚡Zig
Building Web Servers from First Principles (Part 7)
dev.to·2d·
Discuss: DEV
🌍HTTP Servers
FURINA: Free from Unmergeable Router via LINear Aggregation of mixed experts
arxiv.org·1d
⚡Fusion Laws
The IBM POWER9, liquid-cooled AMD EPYC 8004, 100G RDMA datapaths rack
reddit.com·1h·
Discuss: r/homelab
📡Erlang BEAM
I've created an app that sets up projects with an interactive cli. npm i -g @involvex/create-wizard@latest
reddit.com·9h·
Discuss: r/node
📦Package Managers
Thermodynamically Optimized Data Batching via Information-Theoretic Reservoir Sampling in HBM
dev.to·1d·
Discuss: DEV
🧠Memory Models
On the complexity of unique quantum witnesses and quantum approximate counting
arxiv.org·1d
λLambda Calculus
Hierarchical Importance Sampling for Estimating Occupation Time for SDE Solutions
arxiv.org·2d
✨Effect Inference
K&R Exercise 1-23 for feedback and review
reddit.com·4d·
Discuss: r/C_Programming
📝Rope Editors
A love letter made with C language
dev.to·1d·
Discuss: DEV
🧪Minicompilers
A small experiment with canvas and generative UI
reddit.com·20h·
Discuss: r/opensource
💬Smalltalk VMs
Reasoning Efficiently Through Adaptive Chain-of-Thought Compression: A Self-Optimizing Framework
arxiv.org·2d
⚡Interpreter Optimization
What Is AssetStoreManager and When Should You Use It in HarmonyOS Next?
dev.to·1d·
Discuss: DEV
🔐Ownership Types