frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Elon Musk's $1T pay deal is a troubling display of corporate capture

https://www.economist.com/business/2025/11/07/elon-musks-1trn-pay-deal-is-a-troubling-display-of-...
1•1vuio0pswjnm7•26s ago•0 comments

Contributing to Open-Source Should Be Required, Like Jury Duty

https://www.joshbeckman.org/blog/practicing/contributing-to-opensource-should-be-required-like-ju...
1•bckmn•42s ago•0 comments

FBI Seeks to Unmask Anonymous Web Archiving Service Owner

https://www.zerohedge.com/technology/fbi-seeks-unmask-anonymous-web-archiving-service-owner
1•Master_Quant•2m ago•0 comments

Week After Week, the US Is Dismantling Knowledge Infrastructure

https://www.techpolicy.press/week-after-week-the-us-is-dismantling-knowledge-infrastructure/
1•robtherobber•3m ago•0 comments

VolleyBots: A Testbed for Multi-Drone Volleyball Games

https://sites.google.com/view/thu-volleybots
1•parsley•3m ago•0 comments

Newsom mounts a lonely stage at COP30

https://www.politico.com/newsletters/power-switch/2025/11/10/newsom-mounts-a-lonely-stage-at-cop3...
1•geox•4m ago•0 comments

Wigner's cats with high-entropy random numbers

https://github.com/msuzen/leymosun
1•northlondoner•6m ago•1 comments

Show HN: Vexor – A semantic grep that finds files by meaning, not by text

https://github.com/scarletkc/vexor
1•scarletkc•8m ago•0 comments

US states could lose $21B of broadband grants after Trump overhaul

https://arstechnica.com/tech-policy/2025/11/us-states-could-lose-21-billion-of-broadband-grants-a...
5•ndsipa_pomu•8m ago•0 comments

Pentagon Demands Verified Cybersecurity from Contractors

https://www.securityweek.com/cmmc-live-pentagon-demands-verified-cybersecurity-from-contractors/
3•Bender•11m ago•0 comments

Copy-paste now exceeds file transfer as top corporate data exfiltration vector

https://www.scworld.com/news/copy-paste-now-exceeds-file-transfer-as-top-corporate-data-exfiltrat...
1•Bender•12m ago•0 comments

AI magic dust, conference coziness and the illusion of managed risk

https://www.scworld.com/resource/owasp-global-appsec-ai-magic-dust-conference-coziness-and-the-il...
2•Bender•13m ago•0 comments

GPULend

1•Vxtzq•14m ago•0 comments

Analyzing Darktable OpenCL Memory Use

https://op-co.de/blog/posts/darktable_opencl_memory/
2•ge0rg•14m ago•0 comments

We ran over 600 image generations to compare AI image models

https://latenitesoft.com/blog/evaluating-frontier-ai-image-generation-models/
1•kalleboo•15m ago•0 comments

Kimi CLI has a zsh Plugin

https://github.com/MoonshotAI/zsh-kimi-cli
1•mjakl•15m ago•0 comments

Orbital Characterization of a Newly Discovered Small Satellite Around Quaoar

https://arxiv.org/abs/2511.07370
1•bikenaga•16m ago•0 comments

Practice answers with yourself. I made a thing that I didn't want to pay for

https://look.imwithstupid.fun
2•samrocksc•16m ago•1 comments

Dhrystone performance charted across systems released between 1976 and 2023

https://www.tomshardware.com/pc-components/cpus/veteran-devs-newest-computer-is-200-000-times-fas...
1•phront•17m ago•0 comments

Show HN: I built a tool that lets you ask questions on previous World Cups

https://query.new
1•eportet•17m ago•0 comments

Bitbucket Is Offline

https://bitbucket.status.atlassian.com
7•nathabonfim59•22m ago•0 comments

Authorities took down Streameast, the largest illegal sports streaming site

https://www.nytimes.com/athletic/6742754/2025/11/11/streameast-illegal-streaming-raid/
1•jonwachob91•22m ago•1 comments

Why Textbook Statistical Methods Aren't as Effective in IT (2021)

https://theartofmachinery.com/2021/12/01/textbook_stats_and_tech.html
1•bariumbitmap•23m ago•0 comments

Show HN: Enact – 60-second pitch analyzer (score/100 and 3 edits, no signup)

https://getenact.com/
1•cotreasoner•25m ago•0 comments

Font recognition reimagined with FasterViT-2

https://www.collabora.com/news-and-blog/blog/2025/11/11/font-recognition-reimagined-with-fastervi...
2•losgehts•26m ago•0 comments

A CHIP-8 emulator in Ada/Spark

https://github.com/moehr1z/chip8
2•hggh•26m ago•0 comments

The AI Cold War

https://www.wsj.com/tech/ai/the-ai-cold-war-that-will-redefine-everything-4e1810b2
1•perihelions•27m ago•1 comments

New test can flag drugs that could be harmful to cats

https://phys.org/news/2025-10-flag-drugs-cats.html
1•PaulHoule•27m ago•0 comments

Training GPT in Sheets

https://zalex.co/p/i-trained-gpt-in-google-sheets
1•alex_zhezherov•27m ago•0 comments

AI Country Singer Breaking Rust Tops Billboard with 'Walk My Walk'

https://www.sfchronicle.com/entertainment/article/ai-country-breaking-rust-21156784.php
2•c420•27m ago•1 comments
Open in hackernews

Ask HN: Has AI unlocked probability proofs for computer programmers?

1•amichail•2h ago
I suspect that the vast majority of computer programmers are not able to prove anything non-trivial involving probability.

But it seems that AI has now unlocked this ability for everyone and so maybe we can expect to see some positive impact on software due to this new ability?