C++: Maps on Chains
bannalia.blogspot.com·1d·
Discuss: Hacker News
🧮Homomorphic Encryption
EinHops: Einsum Notation for Expressive Homomorphic Operations on RNS-CKKS Tensors
eprint.iacr.org·2d
🧮Homomorphic Encryption
BSDCan 2025 Trip Report – Mark Johnston
freebsdfoundation.org·1d
🔧MLIR
original ↗
dandelion-utilitarian.com·1d
✅Formal Verification
LEGO and SQL, Temporary Obsessions Feed Reader, AI in Business, More: Saturday ResearchBuzz, July 12, 2025
researchbuzz.me·16h
🤖AI
My first verified (imperative) program
markushimmel.de·5d·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Verification
Constructing Containers from Ranges in C++23 -- Sandor Dargo
isocpp.org·1d
🔧MLIR
Clipse - Let God Sort Em Out (2025)
ffm.to·1d
🔗Crypto
LLMs for coding (+ free workflow templates)
blog.n8n.io·1d·
Discuss: Hacker News
🤖AI
My best Claude Code tips
builder.io·15h·
Discuss: Hacker News
🔧MLIR
Why C and C++ Still Matter in the Age of Python and AI
dev.to·1d·
Discuss: DEV
🔧MLIR
Rust Query Builder for SQL an SurrealDB
github.com·2d·
Discuss: DEV
🔧MLIR
Error Handling Strategies in High-Performance Web Servers(7494)
dev.to·11h·
Discuss: DEV
📜Smart Contracts
Just started learning C for college. Let’s see how this goes.
reddit.com·3d·
Discuss: r/C_Programming
✅Formal Verification
We published a full AI Agent tutorial in TypeScript from the basics to building multi-agent teams
reddit.com·20h·
Discuss: r/webdev
🤖AI
Tracing LangChain with AWS X-Ray
dev.to·1d·
Discuss: DEV
🔧MLIR
My Journey into System Design: A Back-End Developer's Exploration
dev.to·17h·
Discuss: DEV
🔄Protocol Design
Programming Entry Level: cheat sheet javascript
dev.to·6h·
Discuss: DEV
🔗Crypto
What makes Rust's compiler and runtime appealing for developers who are less experienced or prone to mistakes compared to C++?
dev.to·4d·
Discuss: DEV
🔧MLIR
From Struggle to Solution-An Approach to Solving a programming problem using #650.Leetcode's 2 keys keyboard as an example
github.com·3d·
Discuss: DEV
🧮Homomorphic Encryption