frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Learn LEAN 4 Theorem Proving in an easy game

https://adam.math.hhu.de/#/g/leanprover-community/NNG4
1•samagra14•58s ago•0 comments

When to Use Vulnerability Assessments, Pentesting, Red Teams, and Bug Bounties

https://danielmiessler.com/blog/when-vulnerability-assessments-pentesting-red-team-bug-bounties
1•tknisley•2m ago•0 comments

The Most Overlooked Taste in the World [video]

https://www.youtube.com/watch?v=zC1v19wfoTA
1•pinkmuffinere•5m ago•0 comments

Multiplayer Pong over SSH

https://antics.gg/ssh
2•thatslast•7m ago•0 comments

No More Camera Glasses – Even Realities

https://www.evenrealities.com/blogs/stories/no-more-camera-glasses-by-will-wang-founder-ceo-even-...
1•tash_2s•10m ago•0 comments

NAZA: Netanyahu orders identification and prosecution of film's interviewees

https://www.theguardian.com/film/2026/oct/12/naza-netanyahu-orders-identification-prosecution-int...
6•hebelehubele•13m ago•1 comments

OpenAI algorithm for the FFT is less a breakthrough and more a malicious exploit

https://www.argmin.net/p/faster-fourier-transforms
3•mochomocha•18m ago•0 comments

Climate Finder

https://weather.theojaffee.net/
1•bonefishgrill•19m ago•0 comments

Why does checking for software updates often take so long?

3•nick_•19m ago•1 comments

Lüften, or 'home burping,' yields sweet smell of success for your home

https://www.cpr.org/2026/06/24/home-burping-brings-outdoor-air-inside/
2•andsoitis•20m ago•0 comments

Leaving Tech

https://ryanbigg.com/2026/10/leaving-tech
72•jonahx•25m ago•47 comments

Kioxia, SanDisk show off the tiny chip which could go in first 1 PB SSD

https://www.techradar.com/pro/kioxia-sandisk-show-off-the-tiny-chip-which-could-go-in-worlds-firs...
2•peter_d_sherman•32m ago•0 comments

Woman who rescued injured crow keeps getting 'thank-you gifts' from birds [video]

https://www.youtube.com/watch?v=sjNpfz4UzqU
2•johnnyApplePRNG•32m ago•0 comments

Show HN: BellRun. Gamified Stock Trading

https://bellrun.com/office
3•twism•33m ago•0 comments

IsEven API

https://isevenapi.xyz/
3•basilikum•35m ago•2 comments

Army turning to AI in its fight against biological threats

https://defensescoop.com/2026/10/12/army-turning-to-ai-in-its-fight-against-biological-threats/
2•snarky-comments•35m ago•0 comments

Asus Hyper M.2 x16 Gen5 PCIe Card – up to four NVMe M.2 SSD's at up to 512 Gbps

https://www.asus.com/us/motherboards-components/motherboards/accessories/hyper-m-2-x16-gen5-card/
6•peter_d_sherman•38m ago•0 comments

Astrocytic Clock Controls Circadian PNN Remodeling, Synapse Strength, Learning

https://onlinelibrary.wiley.com/doi/10.1002/glia.70213
3•randomImmigrant•40m ago•1 comments

China Overtakes U.S. For First Time as Top Spender on R&D in 2024

https://japannews.yomiuri.co.jp/science-nature/science/20260908-347742/
13•mushstory•40m ago•0 comments

Show HN: MEF LLM Studio – Learn how LLMs generate text, token by token

https://www.mef-llm-studio.com/en/
3•walti1972•40m ago•0 comments

RustGIS – GIS in pure Rust for mapping, analyzing and sharing geospatial data

https://rustgis.app/
1•carnevalem•45m ago•0 comments

Could steam help California strawberry farmers grow more with fewer chemicals?

https://www.latimes.com/business/story/2026-10-09/could-steam-help-california-strawberry-farmers-...
3•thunderbong•50m ago•0 comments

I gave 16 IA's control of the AI nations in Humankind

https://mod.io/g/humankind/m/realpolitik
2•lcaresia•54m ago•0 comments

The Dock on Mac, from OS 10 to macOS 27

https://blog.jim-nielsen.com/2026/macos-dock-icons-over-time/
5•soheilpro•56m ago•0 comments

AI Models Can Provably Hide Arbitrary Capabilities

https://arxiv.org/abs/2610.13928
7•sbulaev•58m ago•0 comments

Show HN: Multi-FPGA Usable Newbie Chips

https://github.com/guilt/munch
4•vkaku•1h ago•0 comments

New OSS for Cloud Security Graph

https://opensourceom.org/
4•cyber_oss_coder•1h ago•1 comments

Can Postgres survive a bad query?

https://clickhouse.com/blog/can-your-postgres-survive-a-bad-query
1•saisrirampur•1h ago•0 comments

Show HN: Boxsh – a WASM shell sandbox that runs in the browser

https://www.npmjs.com/package/@boxsh/sandbox
4•cat-whisperer•1h ago•0 comments

Rae Greiner, "1909: The Introduction of the Word 'Empathy' into English"

https://branchcollective.org/?ps_articles=rae-greiner-1909-the-introduction-of-the-word-empathy-i...
5•bryanrasmussen•1h ago•0 comments
Open in hackernews

Show HN: Reaktiv – I built Excel-like reactive programming for Python

https://bui.app/when-frontend-reactivity-meets-backend-python-the-story-of-my-first-1-000-download-library/
2•buibuibui•1y ago
Hi HN! I created Reaktiv, a Python library bringing reactive programming to the backend world that recently hit 1,000+ monthly downloads.

I'm actively promoting it because I believe signal-based reactivity (a concept that spread rapidly in frontend development) has huge untapped potential in Python. My breakthrough came when I stopped describing it as "Angular signals for Python" and started calling it "Excel-like computation graphs" - suddenly Python developers understood the value.

The library automatically tracks dependencies between computations, only recalculating values when dependencies change. This eliminates manual dependency tracking, prevents synchronization bugs, and reduces cognitive load when managing complex state.

Interestingly, I've noticed some initial interest from data scientists, though I'm still exploring what specific problems it might solve for them. I also believe the Home Assistant/IoT communities could benefit greatly from this approach.

Would love your thoughts on bringing frontend patterns to backend development!