WASI 0.3.0 Released
Article URL: https://github.com/WebAssembly/WASI/releases/tag/v0.3.0
Comments URL: https://news.ycombinator.com/item?id=48504063
Points: 15
# Comments: 0 ⌘ Read more
Show HN: Boo – screen-style terminal multiplexer built on libghostty
Article URL: https://github.com/coder/boo
Comments URL: https://news.ycombinator.com/item?id=48496250
Points: 6
# Comments: 0 ⌘ Read more
Running Claude Code Offline on an M3 Pro with Qwen3.6
Article URL: https://har-ki.github.io/claude-code-sre-handbook/handbook/06-air-gapped/
Comments URL: https://news.ycombinator.com/item?id=48492579
Points: 4
# Comments: 0 ⌘ Read more
Homebrew 6.0.0 released
Version\
6.0.0 of the Homebrew
package-management system has been released. Notable changes in this
release include the introduction of tap trust to improve
supply-chain security, improvements in sandboxing on Linux, a number
of performance tweaks, and many other changes.
See the changelog
for a full list. LWN covered Ho … ⌘ Read more
Validation, Docs, tests, and database schemas from one source of truth
Article URL: https://github.com/justhamade/triadjs
Comments URL: https://news.ycombinator.com/item?id=48486577
Points: 3
# Comments: 1 ⌘ Read more
Aws.com and google.com don’t have DNSSEC enabled
Article URL: https://gist.github.com/acetousk/3c17d2aefde9175ffef21a8ec4673053
Comments URL: https://news.ycombinator.com/item?id=48484475
Points: 5
# Comments: 1 ⌘ Read more
Unix GC Remastered
Article URL: https://mohandacherir.github.io/Qdiv7/posts/unix_new_gc/
Comments URL: https://news.ycombinator.com/item?id=48483854
Points: 6
# Comments: 0 ⌘ Read more
GitHub Authentication issues related to API requests
Article URL: https://www.githubstatus.com/incidents/fcj3088jg1wx
Comments URL: https://news.ycombinator.com/item?id=48477851
Points: 13
# Comments: 5 ⌘ Read more
Port React Compiler to Rust
Article URL: https://github.com/react/react/pull/36173
Comments URL: https://news.ycombinator.com/item?id=48473662
Points: 5
# Comments: 0 ⌘ Read more
Exif Smuggling
Article URL: https://github.com/signalblur/exifsmugglingpoc
Comments URL: https://news.ycombinator.com/item?id=48467759
Points: 5
# Comments: 1 ⌘ Read more
Microsoft Hacked To Deliver Malware To Claude and Gemini Users
An anonymous reader quotes a report from 404 Media: Microsoft has shut down a wave of its own repositories on GitHub, including those related to Azure and AI coding agents, as it investigates a data breach, according to research from cybersecurity researchers and a statement given to 404 Media by Microsoft. Hackers planted malware that would harvest pe … ⌘ Read more
Making Graphics Like it’s 1993
Article URL: https://staniks.github.io/articles/catlantean-3d-blog-1/
Comments URL: https://news.ycombinator.com/item?id=48459294
Points: 3
# Comments: 0 ⌘ Read more
GentleOS – Classic operating system with a lovely retro GUI
Article URL: https://github.com/luke8086/gentleos32
Comments URL: https://news.ycombinator.com/item?id=48458890
Points: 14
# Comments: 1 ⌘ Read more
GitHub Store – 把 GitHub 变成应用商店?
GitHub Store 是一款第三方、非 GitHub 官方发布,个类似应用商店的工具,能自动检测并直接下载安装包,不用再去翻 releases 页面。还能在安卓上跟踪软件更新。@Appinn 感谢 Yves 的推荐。 GitHub Store 是什么 GitHub Store 本身也是一个开源项 ⌘ Read more
Show HN: Mach – A compiled systems language looking for contributions
Hi HN,
I’m the creator of Mach ( https://github.com/octalide/mach or https://machlang.org). Two days ago, we finally achieved full self hosting. I wanted to make a post here to show off the language since this is a big milestone for us.
## TL;DR about the language for those curious:
- There are no external dependencies anywhere in the pipeline. This includes LLVM, libc bindings, or anything of the sort … ⌘ Read more
Full Reverse Engineering of the TI-84 Plus Operating System
Article URL: https://siraben.github.io/ti84p-re/
Comments URL: https://news.ycombinator.com/item?id=48448493
Points: 6
# Comments: 0 ⌘ Read more
Show HN: Performative-UI – a react component library of design tropes
hope you enjoy
Comments URL: https://news.ycombinator.com/item?id=48445554
Points: 25
# Comments: 3 ⌘ Read more
Zig by Example
Article URL: https://github.com/boringcollege/zig-by-example
Comments URL: https://news.ycombinator.com/item?id=48444871
Points: 12
# Comments: 0 ⌘ Read more
Vintage AMD R600 Graphics Driver Sees Code Cleanups Thanks To GitHub Copilot
As the discussions continue among developers over potentially branching off some of the older Mesa drivers, the AMD R600 Gallium3D driver saw 59 commits on Sunday to Mesa 26.2. Making this code restructuring and code cleaning all the more notable is that the improvements to this old AMD Radeon graphics driver was done in part by GitHub Copilot… ⌘ Read more
Ein Wurm tobt auf Github: 73 Microsoft-Projekte nach Supply-Chain-Angriff gesperrt
Zahlreiche Softwareprojekte von Microsoft sind auf Github plötzlich gesperrt worden. Offenbar hat der Miasma-Wurm sie kompromittiert. ( Malware, Virus)
GitHub Is Down
Article URL: https://www.githubstatus.com/incidents/m7n7sm0sr1pz
Comments URL: https://news.ycombinator.com/item?id=48442470
Points: 9
# Comments: 4 ⌘ Read more
Künstliche Intelligenz: Github Copilot stellt Preise auf Token Basis um
Microsoft ändert die Preisstruktur für Github Copilot drastisch. Statt Flatrates folgt die Abrechnung künftig pro verbrauchtem Token. ( KI, Microsoft)
90210 – running the show without property tax
Article URL: https://github.com/Achint08/90210
Comments URL: https://news.ycombinator.com/item?id=48440811
Points: 7
# Comments: 1 ⌘ Read more
Algorithmic Monocultures in Hiring
Article URL: https://algorithmichiring.github.io/
Comments URL: https://news.ycombinator.com/item?id=48440549
Points: 7
# Comments: 0 ⌘ Read more
Indicator Go reached 1.1K stars, provides 80+ indicators and backtesting framework
1 points posted by cinar ⌘ Read more
Anthropic, please ship an official Claude Desktop for Linux
Article URL: https://github.com/anthropics/claude-code/issues/65697
Comments URL: https://news.ycombinator.com/item?id=48434436
Points: 3
# Comments: 2 ⌘ Read more
Valve P2P networking broken for more than 2 months
Article URL: https://github.com/ValveSoftware/GameNetworkingSockets/issues/398
Comments URL: https://news.ycombinator.com/item?id=48431461
Points: 23
# Comments: 4 ⌘ Read more
@itsericwoodward@itsericwoodward.com Oh don’t get my wrong, I totally empathize, but yeah 👍
@movq@www.uninformativ.de Wow, I’m sorry to hear about that. Permanent emergency mode sucks, I’ve been there, and it always felt like drowning.
Fortunately, at my current job, we’ve been given time to keep our technical debt from overtaking the project. Unfortunately, we’ve been forced to use AI (mostly in the form of GitHub Copilot). Of course, now that the tokens cost more than a developer’s salary, they’ve been rethinking that position somewhat. 😁
In my experience, you are 100% correct - even in the best case, AI is a force multiplier. If the code is clean, it can speed you up. But if the code is a mess, it’ll just multiply the mess.
GitHub Accidentally Deletes Slack and Teams Subscriptions
Article URL: https://www.githubstatus.com/incidents/2nmfnbknhlnv
Comments URL: https://news.ycombinator.com/item?id=48416936
Points: 30
# Comments: 7 ⌘ Read more
pg_durable: Microsoft open sources in-database durable execution
Article URL: https://github.com/microsoft/pg_durable
Comments URL: https://news.ycombinator.com/item?id=48414367
Points: 9
# Comments: 0 ⌘ Read more
Has Microsoft Lost Its Mojo (Again)?
Microsoft’s AI products aren’t selling and Github’s been plagued with troubles. WIRED spoke with VP Scott Hanselman about whether the company is in catch-up mode. ⌘ Read more
@prologic@twtxt.net As have I. 🤔 I mean, since I left GitHub, I got basically 0 pull requests anyway.
Even during my time using GitHub, I noticed that “drive-by PRs” are rarely a good idea. People don’t really know/understand the code or the design principles/goals, so I often turned down PRs. Or I accepted them and was grumpy afterwards. 😅
What does work is having a team of maintainers/devs. The only question is: How do you build such a team if you don’t accept PRs? That’s going to be the interesting part.
ESP32 Bit Pirate, a Hardware Hacking Tool with WebCLI That Speaks Every Protocol
Article URL: https://github.com/geo-tp/ESP32-Bit-Pirate
Comments URL: https://news.ycombinator.com/item?id=48409306
Points: 3
# Comments: 1 ⌘ Read more
Alibaba/Open-Code-Review
Article URL: https://github.com/alibaba/open-code-review
Comments URL: https://news.ycombinator.com/item?id=48406358
Points: 4
# Comments: 0 ⌘ Read more
Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed
To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons.
The experience of working with AI agents on this project changed a lot with recent model releases, as I describe in the readme. Opus 4.8 is able to provide algorithm implementation with formal proof in one shot, whereas previous models required me to provide proof strategies in multiple steps.
Trust in the correctness c … ⌘ Read more
Show HN: Mercek – A Desktop IDE for AWS ECS
Hey HN
I’ve been using ECS for a while now and found it annoying having to log into the console everytime
I use Lens for Kubernetes but couldnt find an equivalent for ECS so i built one!
The project is open source as well
https://github.com/utibeabasi6/mercek
Comments URL: https://news.ycombinator.com/item?id=48404732
Points: 3
# Comments: 0 ⌘ Read more
Anthropic’s open-source framework for AI-powered vulnerability discovery
Article URL: https://github.com/anthropics/defending-code-reference-harness
Comments URL: https://news.ycombinator.com/item?id=48403980
Points: 24
# Comments: 6 ⌘ Read more
KVarN: Native vLLM KV-cache quantization back end by Huawei
Article URL: https://github.com/huawei-csl/KVarN
Comments URL: https://news.ycombinator.com/item?id=48399974
Points: 10
# Comments: 2 ⌘ Read more
The Ü Programming Language
Article URL: https://github.com/Panzerschrek/U-00DC-Sprache/
Comments URL: https://news.ycombinator.com/item?id=48391838
Points: 3
# Comments: 0 ⌘ Read more
Show HN: Mnemo – local-first AI memory layer for any LLM (Rust, SQLite,petgraph)
Article URL: https://github.com/zaydmulani09/mnemo
Comments URL: https://news.ycombinator.com/item?id=48389586
Points: 4
# Comments: 0 ⌘ Read more
Use your Nvidia GPU’s VRAM as swap space on Linux
Article URL: https://github.com/c0dejedi/nbd-vram
Comments URL: https://news.ycombinator.com/item?id=48377404
Points: 6
# Comments: 0 ⌘ Read more
Coreutils for Windows
Article URL: https://github.com/microsoft/coreutils
Comments URL: https://news.ycombinator.com/item?id=48372853
Points: 15
# Comments: 3 ⌘ Read more
GitHub Copilot Users React To New Usage-Based Pricing System
An anonymous reader quotes a report from Ars Technica: In April, GitHub announced that it was moving subscribers from request-based billing to a usage-based model for its AI-powered Copilot service. As that new pricing model goes into effect today, many GitHub Copilot users are reporting some extreme sticker shock as they realize just how quickly their p … ⌘ Read more
Ombredanne: An AI agent ported our codebase from Python to Rust
Over on the AboutCode blog, lead
maintainer Philippe Ombredanne writes
about an agentic LLM system porting the ScanCode\
Toolkit to Rust. In the process, the LLM (or the people behind it)
infringed the ScanCode trademark, stripped copyright and license notices,
“and started an outreach campaign, without ev … ⌘ Read more
GitHub and the Crime Against Software
Article URL: https://eblog.fly.dev/githubbad.html
Comments URL: https://news.ycombinator.com/item?id=48361064
Points: 6
# Comments: 0 ⌘ Read more
Red Hat npm Packages Compromised to Spread a Credential-Stealing Worm
Aikido Security says more than 30 official @redhat-cloud-services npm packages were compromised with a credential-stealing worm called “Miasma,” a variant resembling the open-sourced Mini Shai-Hulud supply-chain malware. “The packages were published via GitHub Actions OIDC, indicating the CI/CD pipeline was compromised rather than an npm … ⌘ Read more
Multiple redhat-cloud-services npm packages compromised (StepSecurity Blog)
StepSecurity is reporting
that a number of npm packages in the @redhat-cloud-services
scope include malware that runs automatically on every npm
install:
The payload is a multi-stage credential harvester that sweeps
GitHub Actions secrets along with AWS, GCP, Azure, Kubernetes,
HashiCorp Vault, npm, and CircleCI tokens, and it is purpose-built to
evade det … ⌘ Read more
NPM packages from RedHat have been compromised
Article URL: https://github.com/RedHatInsights/javascript-clients/issues/492
Comments URL: https://news.ycombinator.com/item?id=48356625
Points: 73
# Comments: 16 ⌘ Read more
Karpathy LLM Wiki pattern integrated into Obsidian agenic workflow
Article URL: https://github.com/pssah4/vault-operator
Comments URL: https://news.ycombinator.com/item?id=48351115
Points: 4
# Comments: 0 ⌘ Read more