NEWS ROUNDUP – 12th November 2025
digitalforensicsmagazine.com·1h
🌳Git
Flag this post
My Leetcode Extension just hit 90 users, THANK YOU ALL!
chromewebstore.google.com·2d·
Discuss: r/SoftwareEngineering
🔓Open source
Flag this post
Implementing E Unification using SMT
philipzucker.com·2d
📝Python
Flag this post
HarmonyOS 5 Developer's Guide: A Perfect Combination of Sharing Features and Status Algorithms
ost.51cto.com·1d·
Discuss: DEV
🌳Git
Flag this post
Resolving the Scourge of Java's Checked Exceptions on Its Streams and Lambdas
javajanitorjim.substack.com·2d·
Discuss: Substack
🔓Open source
Flag this post
baidu/ERNIE-4.5-VL-28B-A3B-Thinking released. Curious case..
huggingface.co·1d·
Discuss: r/LocalLLaMA
🐍Django
Flag this post
Error ABI
matklad.github.io·3d·
Discuss: Lobsters, Hacker News
🐍Django
Flag this post
Weekly crate updates: Cargo-lock v11 hardens supply chain security analysis, enhanced URI parsing, stricter Markdown compliance
cargo-run.news·1d·
Discuss: r/rust
🌳Git
Flag this post
Dropstone's D2 Engine – persistent memory for AI-assisted coding
dropstone.io·1d·
Discuss: Hacker News, r/programming
🌳Git
Flag this post
Lepton – GPL Electronic Design Automation
github.com·1d·
Discuss: Hacker News
🔓Open source
Flag this post
How to Start Lua Coding in Roblox in 2025?
dev.to·2d·
Discuss: DEV
📝Python
Flag this post
Hi it’s been forever since I had any computer last time I had this pc or laptop need help with experts.
reddit.com·1d·
Discuss: r/computers
🐧Linux
Flag this post
How to Achieve 4x Faster Inference for Math Problem Solving
developer.nvidia.com·2d
🔓Open source
Flag this post
Show HN: LeanSpec - Built in 10 days using the specs it defines
github.com·22h·
Discuss: Hacker News
🌳Git
Flag this post
Benchmarking Educational LLMs with Analytics: A Case Study on Gender Bias in Feedback
arxiv.org·7h
📝Python
Flag this post
Rider 2025.3: Day-One Support for .NET 10 and C# 14, a New Default UI, and Faster Startup
blog.jetbrains.com·20h
🔓Open source
Flag this post
Resilient HTTP Client
reddit.com·1d·
Discuss: r/golang
🌳Git
Flag this post
Security for Bootstrapped Startups: The $0 Budget Checklist (2025)
dev.to·1d·
Discuss: DEV
🌳Git
Flag this post
🔥 JavaScript Interview Series(13): Closures in Practice — Encapsulation & Privacy
dev.to·3d·
Discuss: DEV
🔓Open source
Flag this post
From Token Bloat to Tool Precision: Solving the Model Context Protocol’s Biggest Problem
dev.to·15h·
Discuss: DEV
🔓Open source
Flag this post