Read more: US subsidiary of Swiss defence contractor hacked
swissinfo.chยท6h
๐Ÿ›ก๏ธSecurity Type Systems
Flag this post
mkinitcpio v40 released and now in core-testing
lists.archlinux.orgยท16hยท
Discuss: r/archlinux
๐Ÿ“Šperf Tools
Flag this post
Show HN: Structa โ€“ Design databases in plain English with AI
trystructa.comยท1dยท
Discuss: Hacker News
๐Ÿ“‹Tablegen
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
codalio.comยท16hยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
Flag this post
Context7 is the most underrated MCP server you're not using for your local LLM
xda-developers.comยท1d
๐Ÿ”—Lexical Scoping
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.comยท2dยท
Discuss: Hacker News
๐Ÿ—ƒ๏ธQuery Compilation
Flag this post
Why Finnish devs outperform silicon valley (long-term): The nordic way of code
dev.toยท10hยท
Discuss: DEV
โšกSupercompilation
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.orgยท10h
๐Ÿ“กAsync Channels
Flag this post
How Iโ€™ve Been Using AI To Build Complex Software (And What Actually Worked)
reddit.comยท20hยท
Discuss: r/ClaudeAI
๐ŸŽญProgram Synthesis
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
dev.toยท2dยท
Discuss: DEV
๐ŸŒช๏ธV8 TurboFan
Flag this post
Towards Reliable Pediatric Brain Tumor Segmentation: Task-Specific nnU-Net Enhancements
arxiv.orgยท1d
๐Ÿ—บ๏ธRegion Inference
Flag this post
Building a Writing Tool Taught Me More About Explaining Ideas Than I Expected
dev.toยท1dยท
Discuss: DEV
๐Ÿ”คLanguage Tokenizers
Flag this post
REMI: PostgreSQL as Agentic Core in Tiger Cloud (Agentic Postgres Challenge by Auth0)
dev.toยท2dยท
Discuss: DEV
๐Ÿ“‹Tablegen
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.orgยท2d
๐Ÿ”ML Language
Flag this post
Complex QA and language models hybrid architectures, Survey
arxiv.orgยท1d
๐ŸŒฑMinimal ML
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.toยท2dยท
Discuss: DEV
โšกControl Synthesis
Flag this post
A Framework Based on Graph Cellular Automata for Similarity Evaluation in Urban Spatial Networks
arxiv.orgยท1d
โš–๏ธWeighted Automata
Flag this post
Explore More, Learn Better: Parallel MLLM Embeddings under Mutual Information Minimization
arxiv.orgยท1d
๐ŸชœRecursive Descent
Flag this post
Building an AI-Powered Recipe Assistant with Agentic Postgres: A Deliciously Data-Driven Adventure ๐Ÿณ๐Ÿค–
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Query Engines
Flag this post
Beyond Brute Force: AI That Thinks Like an Engineer by Arvind Sundararajan
dev.toยท2dยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Flag this post