🌿 git

diffing algorithms, version control

Amazon River Yields Surprise As Drones Spot 41,000 Rare Turtles
scitechdaily.com·1d
🏺Computational Archaeology
Kandji Launches Vulnerability Response: The Missing Link Between Detection and Remediation
blog.kandji.io·3d
✅Archive Fixity
Google Debuts OSS Rebuild Project
linuxiac.com·4d
🔓Open Source Software
Turn any diagram image into an editable Draw.io file. No more redrawing
imagetodrawio.com·19h·
Discuss: Hacker News
📸PNG Optimization
On "local" and "global" errors in mathematical papers, and how to detect them
terrytao.wordpress.com·1d·
Discuss: Hacker News
🏛️Isabelle HOL
My first and second Homelab
i.redd.it·23h·
Discuss: r/homelab
🏠HomeLab
Hybrid AI-human approach is necessary to uphold research integrity
thehindu.com·12h·
Discuss: Hacker News
🔄Archival Workflows
Is Including Hidden AI Prompts In Academic Papers Gaming The Peer Review System — Or Keeping It Honest?
techdirt.com·23h
⚡Proof Automation
Contextualizing ancient texts with generative neural networks
nature.com·3d·
Discuss: Hacker News
🤖AI Paleography
Why OpenSearch 3.0 Is Your Must-Have Upgrade Right Now
thenewstack.io·2d
🌐Federated Search
Assembly_verify
philipzucker.com·6d·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Setting up WSL-ROS-Unity to Test Pick & Place with Robot Arm
hackster.io·2d
🏠Homelab Orchestration
Your name is still on it
sanitarium.se·2d·
Discuss: Hacker News
⚡Proof Automation
Rust Embedded Drivers (RED) - Open Source Book
reddit.com·23h·
Discuss: r/rust
🦀Embedded Rust
Beyond the Migration: Optimizing Legacy Code for AI Performance & Scalability
dev.to·5d·
Discuss: DEV
🌊Streaming Systems
TechEd: Building with Bolt - WLH Challenge
dev.to·2d·
Discuss: DEV
📜Proof Carrying Code
How Elicitation in MCP Brings Human-in-the-Loop to AI Tools
thenewstack.io·2d
⚙️TLA+
The Risk in AI Products: Fragmented Enterprise Knowledge
medium.com·3d·
Discuss: Hacker News
🌀Brotli Internals
Better Context, Better GitHub Copilot: A Guide to copilot_instructions.md
dev.to·4d·
Discuss: DEV
🦀Rust Macros
AI Utilization Guidelines for Continuous Engineer Growth
dev.to·20h·
Discuss: DEV
🗺️Competency Maps