Building Digital Preservation Skills Using the DPC’s Novice to Know-How (N2KH) Courses
saaers.wordpress.com·2d
🔄Archival Workflows
iPRES Digital Preservation Bake Off 2025 - Amuse Bouche Challenge: Tiny Tools, Tasty Wins
ipres2025.nz·2d
🔄Archival Workflows
CVE-2025-32977 - Quest KACE Unauthenticated Backup Upload
seclists.org·1d
🛡Cybersecurity
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·10h
🦠Malware Analysis
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·14h·
Discuss: DEV
📐Error Bounds
Agentic Workflows Are Just Code – Treat Them That Way
restate.dev·1d·
Discuss: Hacker News
⚙️TLA+
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·1d
💾Persistence Strategies
Slashing CI Costs at Uber
uber.com·12h·
Discuss: Hacker News
🔄Reproducible Builds
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·1d·
Discuss: Hacker News
🤖Archive Automation
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Is Your Automated Software Engineer Trustworthy?
arxiv.org·1d
⚡Proof Automation
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·5h
🔒Linear Types
SSL and TLS Deployment Best Practices
github.com·23h·
Discuss: Hacker News
🔐Certificate Analysis
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·1d·
Discuss: Hacker News
🐛Fuzzing
Local Elasticsearch Playground: A Practical Introduction and hands-on test (and moving to a RAG solution)
dev.to·1d·
Discuss: DEV
🏺ZIP Archaeology
TableVault: Managing Dynamic Data Collections for LLM-Augmented Workflows
arxiv.org·1d
🔄Schema Evolution
New: Improve Apache Iceberg query performance in Amazon S3 with sort and z-order compaction
aws.amazon.com·1d
🔄Burrows-Wheeler
Automate MongoDB Database Backups with C# Console Application and Windows Task Scheduler
dev.to·2d·
Discuss: DEV
🤖Archive Automation