It occurs to me that a really easy solution to Oxide’s actual futurelock bug (which used a mpsc sender rather than a mutex) would be to have the channel wake up...
bsky.app·10h·
Discuss: Bluesky
🦀Borrow Checker
Flag this post
Beyond the Known: A Call to Forensic Research on Samsung Android Artifacts
blog.digital-forensics.it·20m·
Discuss: blog.digital-forensics.it
🦀Borrow Checker
Flag this post
Handling Noisy Plaintext Checking Oracles with SPiRiT
eprint.iacr.org·2d
🦀Borrow Checker
Flag this post
A new paradigm for programming: graph oriented programming
kmx.io·21h·
Discuss: Hacker News
🔧programming language design
Flag this post
Remind: A sophisticated calendar and alarm program
dianne.skoll.ca·20h·
Discuss: Hacker News
🦀Borrow Checker
Flag this post
One API for all – Mozilla ends LLM chaos
heise.de·2h
🔄Functional Programming
Flag this post
From functional to artistic: 5 projects that showcase your 3D printer's versatility
xda-developers.com·20h
📲local-first software
Flag this post
What Happens When Your Favorite Chatbot Dies?
time.com·4h
🧮Algebraic Effects
Flag this post
Winning at the Edges
holenventures.com·13h·
Discuss: Hacker News
📲local-first software
Flag this post
How I Found the Worst ASP.NET Vulnerability — A $10K Bug (CVE-2025-55315)
praetorian.com·6h
🦀Borrow Checker
Flag this post
The worst way to use AI for your productivity
codiris.build·5h·
Discuss: Hacker News
🧰software development practices
Flag this post
Quectel Unveils Smart Single Board Computers for Faster, Cost-Effective IoT Design
iotbusinessnews.com·1d
📲local-first software
Flag this post
A Beginner’s Guide to Getting Started with Graph Messages in LangGraph
dev.to·6h·
Discuss: DEV
🔧programming language design
Flag this post
Python 3.14 Free-Threading True Parallelism Without the GIL
dev.to·2h·
Discuss: DEV
🔧programming language design
Flag this post
Bridging the Digital Divide: Automated Accessibility Assessment via Semantic Graph Analysis of Educational Content
dev.to·1d·
Discuss: DEV
🕸semantic web
Flag this post
How I Built Kerminal: A Free, Open-Source Terminal & SSH Manager with Multi-Device Sync
github.com·17h·
Discuss: DEV
📲local-first software
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·3d·
Discuss: DEV
🔧programming language design
Flag this post
## Automated Verification and Enhancement of Distributed Ledger Technology (DLT) Smart Contract Logic Using Hybrid Symbolic Execution and Machine Learning
freederia.com·13h
🦀Borrow Checker
Flag this post
🧑‍🚀 Mission Accomplished: How an Engineer-Astronaut Prepared Meta’s CRAG Benchmark for Launch in Docker
dev.to·1d·
Discuss: DEV
📲local-first software
Flag this post
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
arxiv.org·3d
🔧programming language design
Flag this post