Mathematical manuscripts and supporting proof artifacts produced by OpenAI
Article URL: https://github.com/openai/math Comments URL: https://news.ycombinator.com/item?id=49984976 Points: 38 # Comments: 0| Hacker News: Newest
Pared - remove unwanted Apple Intelligence models without disabling SIP
Comments| Lobsters
AI is now capable of developing its own inference hardware
Article URL: https://github.com/FeSens/openTPU Comments URL: https://news.ycombinator.com/item?id=49980715 Points: 30 # Comments: 5| Hacker News: Newest
Show HN: OpenChart – OSS TradingView alternative with your own AI agent
Hi HN, I'm Weilun, cofounder of OpenChart.We built OpenChart because we wanted Claude and Codex to interface with the markets, like most of humans do, through charts rather than through CLIs.With your existing AI plans, your agent can work directly with your charts: annotate a setup, write an indicator, investigate a market move, or create an alert. The chart, conversation, and research live in the same workspace.OpenChart alerts on any market move: draw any shape on a chart and attach an ale...| Hacker News: Newest
Montray - a tray icon for systemd service health
Comments| Lobsters
kahawai - an open source, modular media system
Comments| Lobsters
Photopea creator weighs in on Photosuite project
Article URL: https://github.com/eolix/photosuite/issues/77 Comments URL: https://news.ycombinator.com/item?id=49972730 Points: 109 # Comments: 66| Hacker News: Newest
Show HN: AI search for every photo and every frame of video on macOS
Article URL: https://github.com/allenv0/SCM Comments URL: https://news.ycombinator.com/item?id=49952111 Points: 165 # Comments: 73| Hacker News: Best
Release mold 3.0.0 · rui314/mold · GitHub
mold 3.0.0 is a new major release of the high-speed linker. As we announced in the 2.42.1 release notes, we have rewritten mold from C++ to Rust, and this is the first release of the Rust version. ...| GitHub
ncdu: NCurses Disk Usage (an updated fork)
Comments| Lobsters
Turn off Apple Intelligence on macOS 27 and get its disk space back
Article URL: https://github.com/omlahore/RemoveMacAI Comments URL: https://news.ycombinator.com/item?id=49957116 Points: 292 # Comments: 176| Hacker News: Best
Run Qwen 3.8 Flash Next (125B) on consumer hardware (RTX 4090) at 100T/s
Article URL: https://github.com/Niko1221/Strata Comments URL: https://news.ycombinator.com/item?id=49953495 Points: 265 # Comments: 134| Hacker News: Best
GitHub - Twotoz/C5VRX: Ultra-minimal, zero-CPU 5.8 GHz analog FPV video receiver using ESP32-C5 Wi-Fi 6 PHY MODEM_DIAG, BitScrambler WBFM demodulation & resi...
Ultra-minimal, zero-CPU 5.8 GHz analog FPV video receiver using ESP32-C5 Wi-Fi 6 PHY MODEM_DIAG, BitScrambler WBFM demodulation & resistor DAC CVBS - Twotoz/C5VRX| GitHub
"accessibility descendant" in presentational role inheritance and other concerns · Issue #2832 · w3c/aria · GitHub
From https://w3c.github.io/aria/#presentational-role-inheritance When an explicit or inherited role of none/presentation is applied to an element with the implicit semantic of a WAI-ARIA role that ...| GitHub
html-in-canvas feedback · Issue #2758 · w3c/aria · GitHub
html-in-canvas is a new proposal for customizing the rendering of html content using canvas. The high-level design is to allow children of to be drawn into the canvas while ensuring that t...| GitHub
Editorial: In favor of "owned element" and "owning element", uses "ac… · w3c/aria@bb6baf1 · GitHub
…cessibility parent", "accessibility child" and "accessibility descendant" (#2010) Closes #1150 As discussed in the F2F, "owned" elements refers to either des...| GitHub
feat(commons/aria): support ARIA element internals properties by straker · Pull Request #5171 · dequelabs/axe-core · GitHub
Updates the commons/aria directory to use the new getAriaValue, hasAriaValue, and getResolvedRefs functions where it makes sense. Here's a report of the full directory: commons/aria/arialabel-...| GitHub
web-features and Baseline - We're feature complete! What's next? (W3C Breakouts Day)
The WebDX Community Group has done a lot of work in 2024 to increase the coverage of its web-features data. Now that the data roughly covers the entire web platform feature set, let's review the work done so far, the use cases that web-features, and Baseline, have unlocked, and let's open it up for discussion on the next important questions to tackle.| Patrick Brosset
silverstripe-purge-cloudfront/docs/tags.md at 3ef30fcdfdf7ff152832483f3ddbfae3a35a6e4b · blueo/silverstripe-purge-cloudfront · GitHub
Amazon CloudFront provider for blueo/silverstripe-purge - blueo/silverstripe-purge-cloudfront| GitHub
silverstripe-purge-cloudfront/docs/aws-setup.md at 3ef30fcdfdf7ff152832483f3ddbfae3a35a6e4b · blueo/silverstripe-purge-cloudfront · GitHub
Amazon CloudFront provider for blueo/silverstripe-purge - blueo/silverstripe-purge-cloudfront| GitHub
GitHub - blueo/silverstripe-purge: Purge a CDN cache from Silverstripe, with pluggable providers · GitHub
Purge a CDN cache from Silverstripe, with pluggable providers - blueo/silverstripe-purge| GitHub
freedomofpress/dangerzone · Discussions · GitHub
Explore the GitHub Discussions forum for freedomofpress dangerzone. Discuss code, ask questions & collaborate with the developer community.| GitHub
GitHub - ZingerLittleBee/Heeler: Native iOS agent console for herdr — watch and drive the coding agents on your machines over SSH, with a real libghostty t...
Native iOS agent console for herdr — watch and drive the coding agents on your machines over SSH, with a real libghostty terminal, QR pairing, and push notifications when an agent needs you - Zinge...| GitHub
Bounties [Supported work] · Issue #8120 · MonoGame/MonoGame · GitHub
This issue is reserved for listing ongoing and open bounties. ImportantPlease note, new bounties are currently on hold while we revise the process to be fairer and attempt to curb the intrusion of ...| GitHub
Issues with testing the templates? · MonoGame/MonoGame.EmptyGame.CSharp · Discussion #3 · GitHub
Each template in its folder contains detailed information about the template, including how to safely install the template for testing Note.NET requires you to install the template in order to use ...| GitHub
`CSPROJ` names, with the Game name or not? · MonoGame/MonoGame.EmptyGame.CSharp · Discussion #2 · GitHub
It is a personal preference as to whether each project name should also contain the name of the game (even though it is also the solution name) or not, or whether "by default" it should just list t...| GitHub
Which folder structure to use? · MonoGame/MonoGame.EmptyGame.CSharp · Discussion #1 · GitHub
Pitch in on the approach to use for the Folder structure for the template. Mainly whether it is worth creating additional folders to host the platform csproj definitions or not. Bear in mind, that ...| GitHub
MonoGame/MonoGame.EmptyGame.CSharp · Discussions · GitHub
Explore the GitHub Discussions forum for MonoGame MonoGame.EmptyGame.CSharp. Discuss code, ask questions & collaborate with the developer community.| GitHub
GitHub - MonoGame/MonoGame.EmptyGame.CSharp: New "Empty Project" example templates · GitHub
New "Empty Project" example templates. Contribute to MonoGame/MonoGame.EmptyGame.CSharp development by creating an account on GitHub.| GitHub
Issues · w3c/hackathon-tpac-2025 · GitHub
Contribute to w3c/hackathon-tpac-2025 development by creating an account on GitHub.| GitHub
GitHub - tidoust/explainers-dashboard: Collect explainers submitted to the TAG for design reviews · GitHub
Collect explainers submitted to the TAG for design reviews - tidoust/explainers-dashboard| GitHub
GitHub - igarashi50/hackathon-tpac-2025: W3C TPAC 2025 hackathon · GitHub
W3C TPAC 2025 hackathon. Contribute to igarashi50/hackathon-tpac-2025 development by creating an account on GitHub.| GitHub
GitHub - estelle/TPAC2025: Estelle's entry for TPAC 2025 · GitHub
Estelle's entry for TPAC 2025. Contribute to estelle/TPAC2025 development by creating an account on GitHub.| GitHub
GitHub - christianliebel/w3c-hackathon-2025 · GitHub
Contribute to christianliebel/w3c-hackathon-2025 development by creating an account on GitHub.| GitHub
crouton is now EOL · dnschneid/crouton · Discussion #4654 · GitHub
edited 2024-12-31 This hopefully won't come as a surprise to anyone (especially if you've looked recently at the code frequency graphs), but crouton has been seeing little to no feature development...| GitHub
GitHub - Netflix/concurrency-limits · GitHub
Contribute to Netflix/concurrency-limits development by creating an account on GitHub.| GitHub
GitHub - idsia-robotics/nanocockpit: Performance-optimized Application Framework for AI-based Autonomous Nanorobotics · GitHub
Performance-optimized Application Framework for AI-based Autonomous Nanorobotics - idsia-robotics/nanocockpit| GitHub
Release v1.4.2 · econumo/econumo · GitHub
📖 Read the full release notes, with screenshots → 🚀 Features Pin due recurring rows to today and post them dated today - by @dmtrkzntsv in #243 (2af53) 🐞 Bug Fixes Apply stored exchange ...| GitHub
Comparing v1.4.1...v1.4.2 · econumo/econumo · GitHub
Econumo - A personal and family budgeting app with multi-currency support, shared accounts, and flexible budgets - Comparing v1.4.1...v1.4.2 · econumo/econumo| GitHub
xFrednet (Fridtjof Stoldt) · GitHub
A penguin and PhD student who tries to make the world a better place. I love Rust and language design. - xFrednet| GitHub
GitHub - rust-lang/rustlings: :crab: Small exercises to get you used to reading and writing Rust code! · GitHub
:crab: Small exercises to get you used to reading and writing Rust code! - rust-lang/rustlings| GitHub
blyxyas (Alejandra González) · GitHub
✌️ Hi! --- Clippy team member @rust-lang, I try to make thingies faster. - blyxyas| GitHub
Sponsor @rustfoundation on GitHub Sponsors · GitHub
The Rust Foundation is an independent non-profit organization dedicated to a more secure, performant, and versatile future through the use of the Rust programming language. Our work supports Rust's...| GitHub
GitHub - rust-lang/cargo: The Rust package manager · GitHub
The Rust package manager. Contribute to rust-lang/cargo development by creating an account on GitHub.| GitHub
GitHub - rust-lang/annotate-snippets-rs: Library for snippet annotations · GitHub
Library for snippet annotations. Contribute to rust-lang/annotate-snippets-rs development by creating an account on GitHub.| GitHub
Muscraft (Scott Schafer) · GitHub
Muscraft has 50 repositories available. Follow their code on GitHub.| GitHub
I accidentally stumbled on a way to lock your cursor to 1 monitor (even in games) on multi-monitor set ups, should it be documented? · niri-wm/niri · Discu...
TL;DR niri will lock your mouse to your primary monitor if you set the position to an unreachable point on your second monitor. Technically it seems like it's locked to whatever monitor has focus, ...| GitHub
dotfriedrice/.local/bin/output-toggle-mouse-lock at master · nickjj/dotfriedrice · GitHub
Set up a developer friendly niri / Arch Linux system in minutes. Also supports WSL 2, Debian, Ubuntu and macOS for CLI tools! - nickjj/dotfriedrice| GitHub
GitHub - nickjj/dotfriedrice: Set up a developer friendly niri / Arch Linux system in minutes. Also supports WSL 2, Debian, Ubuntu and macOS for CLI tools! ...
Set up a developer friendly niri / Arch Linux system in minutes. Also supports WSL 2, Debian, Ubuntu and macOS for CLI tools! - nickjj/dotfriedrice| GitHub
EIPs/EIPS/eip-7716.md at 51dfb8b06a9d15992c955955e56139bad821f078 · OisinKyne/EIPs · GitHub
The Ethereum Improvement Proposal repository. Contribute to OisinKyne/EIPs development by creating an account on GitHub.| GitHub
GitHub - unitaryfoundation/unitary.foundation: 🕸️ 💛 Unitary Foundation Website 💛 🕸️ · GitHub
🕸️ 💛 Unitary Foundation Website 💛 🕸️. Contribute to unitaryfoundation/unitary.foundation development by creating an account on GitHub.| GitHub
Unitary Foundation · GitHub
Unitary Foundation is a non-profit working to create a quantum technology ecosystem that benefits the most people. - Unitary Foundation| GitHub
GitHub - uds5501/multiple-spheres: educational opengl attempt · GitHub
educational opengl attempt. Contribute to uds5501/multiple-spheres development by creating an account on GitHub.| GitHub
GitHub - V4bel/dirtyfrag · GitHub
Contribute to V4bel/dirtyfrag development by creating an account on GitHub.| GitHub
Januscape/assets/write-up.md at main · V4bel/Januscape · GitHub
Contribute to V4bel/Januscape development by creating an account on GitHub.| GitHub
Januscape/assets/tux.png at main · V4bel/Januscape · GitHub
Contribute to V4bel/Januscape development by creating an account on GitHub.| GitHub
Januscape/assets/demo.gif at main · V4bel/Januscape · GitHub
Contribute to V4bel/Januscape development by creating an account on GitHub.| GitHub
GitHub - V4bel/ITScape · GitHub
Contribute to V4bel/ITScape development by creating an account on GitHub.| GitHub
GitHub - squizlabs/PHP_CodeSniffer: PHP_CodeSniffer tokenizes PHP files and detects violations of a defined set of coding standards. · GitHub
PHP_CodeSniffer tokenizes PHP files and detects violations of a defined set of coding standards. - squizlabs/PHP_CodeSniffer| GitHub
GitHub - Automattic/VIP-Coding-Standards: PHP_CodeSniffer ruleset to enforce WordPress VIP coding standards. · GitHub
PHP_CodeSniffer ruleset to enforce WordPress VIP coding standards. - Automattic/VIP-Coding-Standards| GitHub
Releases · unraid/api · GitHub
Unraid API / Connect / UI Monorepo. Contribute to unraid/api development by creating an account on GitHub.| GitHub
Jegp (Jens Egholm Pedersen) · GitHub
Doctoral student working with neuromorphic computation and geometric learning - Jegp| GitHub
GitHub - fallahn/svs: Websocket client example for Super Video Golf · GitHub
Websocket client example for Super Video Golf. Contribute to fallahn/svs development by creating an account on GitHub.| GitHub
Creating a course · fallahn/crogine Wiki · GitHub
SDL2 Based Game Framework. Contribute to fallahn/crogine development by creating an account on GitHub.| GitHub
Home · fallahn/crogine Wiki · GitHub
SDL2 Based Game Framework. Contribute to fallahn/crogine development by creating an account on GitHub.| GitHub
crogine/samples/golf at master · fallahn/crogine · GitHub
SDL2 Based Game Framework. Contribute to fallahn/crogine development by creating an account on GitHub.| GitHub
Releases · fallahn/crogine · GitHub
SDL2 Based Game Framework. Contribute to fallahn/crogine development by creating an account on GitHub.| GitHub
GitHub - ollama/ollama: Get up and running with Kimi, GLM, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models. · GitHub
Get up and running with Kimi, GLM, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models. - ollama/ollama| GitHub
GitHub - moss-piglet/MOSSLET: Privacy-first social platform with a personal journal — zero-knowledge post-quantum hybrid encrypted (ML-KEM-1024), simple, s...
Privacy-first social platform with a personal journal — zero-knowledge post-quantum hybrid encrypted (ML-KEM-1024), simple, secure, yours. - moss-piglet/MOSSLET| GitHub
GitHub - elixir-nx/bumblebee: Pre-trained Neural Network models in Axon (+ 🤗 Models integration) · GitHub
Pre-trained Neural Network models in Axon (+ 🤗 Models integration) - elixir-nx/bumblebee| GitHub
UlisesGascon (Ulises Gascón) · GitHub
FOSS Maintainer (@nodejs, @expressjs, @lodash, @yeoman...), @TC39 delegate and Maker - UlisesGascon| GitHub
all-projects/AI-assisted-vulnerability-discovery at main · FreeBSDFoundation/all-projects · GitHub
Information and updates about Foundation-managed projects - FreeBSDFoundation/all-projects| GitHub
ThomasHabets (Thomas Habets) · GitHub
ThomasHabets has 165 repositories available. Follow their code on GitHub.| GitHub
GitHub - ThomasHabets/rf-survey-wasm · GitHub
Contribute to ThomasHabets/rf-survey-wasm development by creating an account on GitHub.| GitHub
GitHub - livegrep/livegrep: Interactively grep source code. Source for http://livegrep.com/ · GitHub
Interactively grep source code. Source for http://livegrep.com/ - livegrep/livegrep| GitHub
Syntax · google/re2 Wiki · GitHub
RE2 is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python. It is a C++ library. - google/re2| GitHub
GitHub - aconchillo/homebrew-guile: A Homebrew Tap for Guile libraries and applications. · GitHub
A Homebrew Tap for Guile libraries and applications. - aconchillo/homebrew-guile| GitHub
GitHub · GitHub
How people build software. GitHub has 564 repositories available. Follow their code on GitHub.| GitHub
GitHub - Kotlin/dokka: API documentation engine for Kotlin · GitHub
API documentation engine for Kotlin. Contribute to Kotlin/dokka development by creating an account on GitHub.| GitHub
GitHub - readthedocs/sphinx_rtd_theme: Sphinx theme from Read the Docs · GitHub
Sphinx theme from Read the Docs. Contribute to readthedocs/sphinx_rtd_theme development by creating an account on GitHub.| GitHub
envoy/api/envoy/type/v3/percent.proto at e0f4199bc8865a9dccd9d3be279900a050b2cb6b · envoyproxy/envoy · GitHub
Cloud-native high-performance edge/middle/service proxy - envoyproxy/envoy| GitHub
GitHub - dzaima/CBQN: a BQN implementation in C · GitHub
a BQN implementation in C. Contribute to dzaima/CBQN development by creating an account on GitHub.| GitHub
GitHub - rjkwon/blog: My personal website! Built with Hugo. · GitHub
My personal website! Built with Hugo. Contribute to rjkwon/blog development by creating an account on GitHub.| GitHub
GitHub - apache/kafka: Apache Kafka - A distributed event streaming platform · GitHub
Apache Kafka - A distributed event streaming platform - apache/kafka| GitHub
GitHub - jj-vcs/jj: A Git-compatible VCS that is both simple and powerful · GitHub
A Git-compatible VCS that is both simple and powerful - jj-vcs/jj| GitHub
GitHub - splunk/token-meter: Open-source, local-first AI coding agent usage and cost dashboard for Claude Code, Codex, Cursor, OpenCode, Kiro, and Pi. · GitHub
Open-source, local-first AI coding agent usage and cost dashboard for Claude Code, Codex, Cursor, OpenCode, Kiro, and Pi. - splunk/token-meter| GitHub
bhavsarpratik (Pratik Bhavsar) · GitHub
i am a recursive self improving agent. bhavsarpratik has 39 repositories available. Follow their code on GitHub.| GitHub
GitHub - mikeholscher/mikefour: Framework One Key Module keyboard · GitHub
Framework One Key Module keyboard. Contribute to mikeholscher/mikefour development by creating an account on GitHub.| GitHub
GitHub - krikun98/Shobo: Wireless split keyboard built around Framework One Key modules · GitHub
Wireless split keyboard built around Framework One Key modules - krikun98/Shobo| GitHub
Framework · GitHub
Remaking consumer electronics to respect people and the planet - Framework| GitHub
GitHub - MatthewStephenson/FrameworkMissingKeys: The Framework Laptop 16 is missing four vital keys: PgUp, PgDn, Home, End. I want to fix that. · GitHub
The Framework Laptop 16 is missing four vital keys: PgUp, PgDn, Home, End. I want to fix that. - MatthewStephenson/FrameworkMissingKeys| GitHub
GitHub - CarVac/vbox: A rectangle controller for Melee with buttons arranged vertically instead of on a flat surface · GitHub
A rectangle controller for Melee with buttons arranged vertically instead of on a flat surface - CarVac/vbox| GitHub
keebs/Framework/Kicad templates at main · AxelVoitier/keebs · GitHub
Axel's keebs. Contribute to AxelVoitier/keebs development by creating an account on GitHub.| GitHub
keebs/Framework at main · AxelVoitier/keebs · GitHub
Axel's keebs. Contribute to AxelVoitier/keebs development by creating an account on GitHub.| GitHub
modular/Mojo at main · modular/modular · GitHub
The Modular Platform (includes MAX & Mojo). Contribute to modular/modular development by creating an account on GitHub.| GitHub
compiler team tracker · Issue #7151 · modular/modular · GitHub
This issue provides visibility into what OSS PRs the Mojo compiler team at Modular are currently looking at. inclusion in this issue does not necessarily mean a PR will be approved this issue will ...| GitHub
stdlib team tracker · Issue #7001 · modular/modular · GitHub
This issue provides visibility into what OSS PRs the Modular standard library team are currently looking at. inclusion in this issue does not necessarily mean a PR will be approved this issue will ...| GitHub
Issues · modular/modular · GitHub
The Modular Platform (includes MAX & Mojo). Contribute to modular/modular development by creating an account on GitHub.| GitHub