Symbolic Execution, Program Analysis, Bug Finding, LLVM-Based

Beauty in/of mathematics: tessellations and their formulas
tandfonline.comยท3dยท
Discuss: Hacker News
๐Ÿ”ขHomomorphic Encryption
Flag this post
Compiling Window Maker in a Debian-based OS
thiagocafe.comยท6hยท
Discuss: DEV
๐Ÿ–ผ๏ธEgui
Flag this post
Is Neon's price drop just coming from moving to Databricks AWS account?
vantage.shยท13hยท
Discuss: Hacker News
๐Ÿ“‹Columnar Storage
Flag this post
A polished Weather Dashboard on a colour E-Ink display โ€“ with Rust
matada.orgยท8hยท
Discuss: Hacker News
๐ŸŽจDesign Systems
Flag this post
Adding an imaginary unit to a finite field
johndcook.comยท11hยท
Discuss: Hacker News
๐Ÿ”ขHomomorphic Encryption
Flag this post
Making the Most of Your Docker Hardened Images Trial โ€“ Part 1
docker.comยท2d
๐ŸณDocker
Flag this post
Securing Runtime of L2 Base Ethereum Nodes
substack.bomfather.devยท2dยท
Discuss: Hacker News
๐Ÿ”’Tetragon
Flag this post
Commercial Open Source Is Hard: Our Journey
agenta.aiยท3dยท
Discuss: Hacker News
๐ŸŒOpen Source
Flag this post
The Inference Economy: Why demand matters more than supply
frontierai.substack.comยท3dยท
Discuss: Substack
๐Ÿ’ฌPrompt Engineering
Flag this post
Cleaning Up Triangle Shader Lab and Finally Making It Make Sense
dev.toยท3dยท
Discuss: DEV
๐ŸŽฎWebGPU
Flag this post
Real-Time Defect Classification in PET Film Production via Multi-Modal Fusion & Dynamic Thresholding
dev.toยท1dยท
Discuss: DEV
๐Ÿ‘๏ธComputer Vision
Flag this post
Async/Await is finally back in Zig
dev.toยท4dยท
Discuss: DEV
๐ŸŒŠGlommio
Flag this post
Red Hat Enterprise Linux 9.7: Top features for developers
developers.redhat.comยท4d
๐ŸงLinux
Flag this post
Ship LangGraph.js Workflows in Production with Open LangGraph Server
dev.toยท17hยท
Discuss: DEV
๐Ÿฆ™Ollama
Flag this post
Patent Representation Learning via Self-supervision
arxiv.orgยท1h
๐ŸงฎEmbeddings
Flag this post
StatefulSets & Persistent Storage in Kubernetes
dev.toยท7hยท
Discuss: DEV
โ˜ธ๏ธKubernetes
Flag this post
Enhancing Meme Emotion Understanding with Multi-Level Modality Enhancement and Dual-Stage Modal Fusion
arxiv.orgยท1h
๐Ÿ“NLP
Flag this post
Frequency-Aware Vision-Language Multimodality Generalization Network for Remote Sensing Image Classification
arxiv.orgยท1h
๐ŸงฎEmbeddings
Flag this post
How I Actually Build Full End To End Projects Using AI
dev.toยท2dยท
Discuss: DEV
๐ŸŽจDesign Systems
Flag this post