Integer overflow checking with C23
blog.gnoack.orgยท2d
๐งLiquid Types
Flag this post
Best tool for measuring lots of source code
shape-of-code.comยท2d
๐ปProgramming languages
Flag this post
Patching 68K Software โ SimpleText
๐บVT100
Flag this post
To write secure code, be less gullible than your AI
stackoverflow.blogยท21h
๐Code Metrics
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
๐Information Retrieval
Flag this post
Kubernetes + Ceph: Your Freedom from the Cloud Cartel
๐ฅ๏ธSelf-hosted Infrastructure
Flag this post
Decreasing code editing failures by 38% with output normalization
๐Reverse engineering
Flag this post
MCP Colors: Systematically deal with prompt injection risk
simonwillison.netยท13h
๐ก๏ธCLI Security
Flag this post
build system tradeoffs
โ๏ธBuild Archaeology
Flag this post
When One Modality Sabotages the Others: A Diagnostic Lens on Multimodal Reasoning
arxiv.orgยท1h
โจEffect Handlers
Flag this post
AI Progress Should Be Measured by Capability-Per-Resource, Not Scale Alone: A Framework for Gradient-Guided Resource Allocation in LLMs
arxiv.orgยท1d
๐ง Intelligence Compression
Flag this post
Enhancing Federated Learning Privacy with QUBO
arxiv.orgยท1h
๐Privacy Preserving
Flag this post
REMI: PostgreSQL as Agentic Core in Tiger Cloud (Agentic Postgres Challenge by Auth0)
๐Brotli Internals
Flag this post
LA-MARRVEL: A Knowledge-Grounded and Language-Aware LLM Reranker for AI-MARRVEL in Rare Disease Diagnosis
arxiv.orgยท1h
๐ธBloom Variants
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.orgยท1h
๐ปLocal LLMs
Flag this post
Loading...Loading more...