FOSS Weekly #25.26: Torvalds-Gates Showdown, Hyprland Premium, Fedora's 32-bit Debacle, Xfce Themes and More Linux Stuff
itsfoss.comΒ·3h
🐧FOSS
4 Powerful Applications of IDALib: Headless IDA in Action
hex-rays.comΒ·8h
πŸ”¬Binary Analysis
Mike Driscoll: An Intro to ty – The Extremely Fast Python type checker
blog.pythonlibrary.orgΒ·19h
🎯Gradual Typing
The MIDL compiler still has trouble with double greater-than signs, sadly
devblogs.microsoft.comΒ·2dΒ·
Discuss: Hacker News
πŸ’»Programming languages
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.orgΒ·2d
πŸ“Code Metrics
Why does the Rust compiler use TokenTree instead of flat token streams?
reddit.comΒ·1dΒ·
Discuss: r/rust
πŸ”’Linear Types
Amplifying Machine Learning Attacks Through Strategic Compositions
arxiv.orgΒ·2d
βš”οΈLean Tactics
Why I Built a Web UI for Amazon Q Developer CLI (And How I Vibe-Coded It)
dev.toΒ·7hΒ·
Discuss: DEV
πŸ“ŸCLI Design
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.comΒ·1dΒ·
Discuss: Hacker News
πŸ›Fuzzing
Polystate: Composable Finite State Machines
github.comΒ·4dΒ·
Discuss: Lobsters, Hacker News, r/Zig
🌐Protocol Synthesis
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.orgΒ·4h
πŸ’»Local LLMs
$1M per Week: My Seven-Week AI Development Sprint
blockhead.consultingΒ·1dΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Web Development with Homebrew in 2025: Is It Still a Good Idea?
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”ŒInterface Evolution
🧠 Solving LeetCode Until I Become Top 1% β€” Day `30`
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“Error Bounds
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.orgΒ·2d
βš–οΈHoare Logic
Fast entropy-regularized SDP relaxations for permutation synchronization
arxiv.orgΒ·4h
🎯Performance Proofs
Coding Assistant CLI Tools vs. AI-Powered Terminals: Which Should You Use?
dev.toΒ·11hΒ·
Discuss: DEV
πŸ“ŸTerminals
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600οΌ‰
dev.toΒ·1dΒ·
Discuss: DEV
πŸ¦€Rust Borrowing
Language Modeling by Language Models
arxiv.orgΒ·4h
πŸ€–Grammar Induction
πŸš€ Introducing MultiMind SDK: Fine-Tune, Build, and Deploy LLM
dev.toΒ·12hΒ·
Discuss: DEV
πŸ”—Topological Sorting