Understanding GeoTIFFs and Rendering Them in Leaflet
blog.codeminer42.comยท8h
๐Ÿ“ธTIFF Evolution
Flag this post
How open science and shared data can help tackle global challenges: The Crete Declaration
phys.orgยท4h
๐Ÿ›๏ธPREMIS Metadata
Flag this post
Federico Biancuzzi, Shane Warden, & Anders Hejlsberg
deprogrammaticaipsum.comยท2d
๐ŸšNordic Shell
Flag this post
Affinity is now one app that's "completely free, forever" mostly
dpreview.comยท3hยท
Discuss: Hacker News
โŸทBidirectional Programming
Flag this post
US Clouds: German Research Foundation DFG wants to bring data back from abroad
heise.deยท1dยท
Discuss: Hacker News
๐Ÿ“ฆMETS Packaging
Flag this post
Git's First Major Release in 11 Years: What's in Git 3.0
deployhq.comยท13hยท
Discuss: Hacker News
๐ŸŒณGit Internals
Flag this post
Show HN: I built a tool to version control datasets (like Git, but for data)
shodata.comยท2dยท
Discuss: Hacker News
๐Ÿ“ฆGit LFS
Flag this post
The Trap of Applying Generic Models to Business Needs
gmicloud.aiยท8hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Flag this post
Playing Around with ARM Assembly
blog.nobaralabs.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Flag this post
The Death of Traditional QA (Or: "AI Everywhere " Reaches SQA)
functionize.comยท12hยท
Discuss: Hacker News
๐Ÿ”Concolic Testing
Flag this post
Wild 0.7 Released For This Very Fast Linker Written In Rust
phoronix.comยท18h
๐Ÿ”—Static Linking
Flag this post
Markerless Augmented Reality Registration for Surgical Guidance: A Multi-Anatomy Clinical Accuracy Study
arxiv.orgยท44m
๐Ÿ“Projective Geometry
Flag this post
Building a Google Play Store Rating Agent with Mastra and Telex.im
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Flag this post
AraFinNews: Arabic Financial Summarisation with Domain-Adapted LLMs
arxiv.orgยท1d
๐Ÿ“‹Document Grammar
Flag this post
Building an AI-Powered Recipe Assistant with Agentic Postgres: A Deliciously Data-Driven Adventure ๐Ÿณ๐Ÿค–
dev.toยท15hยท
Discuss: DEV
๐ŸงฎAlgorithmic Cooking
Flag this post
Building a Message-to-SQL AI Agent with Mastra and Telex.im
dev.toยท2dยท
Discuss: DEV
โšกProof Automation
Flag this post
Going From Reactive to Predictive Incident Response with AIOps
hackernoon.comยท8h
๐ŸŒŠStream Processing
Flag this post
The AI Speed Illusion
dev.toยท1hยท
Discuss: DEV
๐Ÿ”„Language Evolution
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.orgยท1d
๐Ÿ›ก๏ธWASM Sandboxing
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.orgยท1d
โœ…Formal Methods
Flag this post