news newest ask show jobs

Open Source @Github

fp.

Open in hackernews

Critical Software is rebuilding itself around AI (200 ppl being layed off)

https://ai.pt/en/news/coimbra-s-critical-software-is-rebuilding-itself-around-ai-after-laying-0c3e56/

1•pjmlp•50m ago

Comments

pjmlp•50m ago

Source for the 200 number, in Portuguese, https://www.jn.pt/nacional/artigo/critical-software-vai-subs...

stefanos82•39m ago

> Co-founder Gonçalo Quadros says the Coimbra company will no longer be the software developer it has been, but will keep making systems for aviation, aerospace and cars that humans must still verify.

Oh my...why I don't believe this statement of his?!

A CVE triage pipeline that keeps asking, because day one tells you nothing

https://34-118-125-101.sslip.io/log/rappaport/

1•kravmaga999•3m ago•0 comments

Memdoor: A team of 5 Qwen3.8-27B models beats Fable 5 on LiveCodeBench Hard

https://github.com/guregodevo/memdoor/tree/main/examples/workflows/team-solve

1•guregodevo•6m ago•0 comments

Show HN: Hushkey – Silent dictation hotkey for macOS

https://github.com/amirrsyed/hushkey

1•amirsyed•7m ago•0 comments

Anthropic pushes for opt-out model for Australian content

https://www.theguardian.com/technology/2026/oct/02/anthropic-ai-opt-out-australia-copyright-abc-c...

1•cisc•9m ago•0 comments

An Italian Farmer Found Some Unknown Seeds in His Attic and Planted Them

https://www.smithsonianmag.com/science-nature/italian-farmer-found-unknown-seeds-attic-with-nothi...

2•ecares•11m ago•0 comments

Ostrowski-automatic sequences: Theory and applications

https://www.sciencedirect.com/science/article/pii/S0304397521000311?via%3Dihub

1•Bluestein•18m ago•0 comments

Efficient algorithms, the Exponential Time Hypothesis, and losing the plot

https://www.argmin.net/p/galactus-the-devourer

1•sebg•20m ago•0 comments

Bloom Filters

https://samwho.dev/bloom-filters/

2•denysvitali•26m ago•0 comments

One bit in RAM: fixing a Phison SSD controller in "SATAFIRM S11" state

https://stperin.github.io/satafirm-s11/

2•sp_pd•32m ago•0 comments

Richard Feynman on Pseudoscience

https://hackertube.org/watch/tWr39Q9vBgo

2•jonbaer•40m ago•0 comments

Beating the compiler at signed 32-bit division

https://lemire.me/blog/2026/10/31/beating-the-compiler-at-signed-32-bit-division/

1•thunderbong•44m ago•0 comments

Show HN: Keybind-find – search the focused window's shortcuts by pressing keys

https://github.com/Benjmhart/keybind-find

1•Benjmhart•45m ago•0 comments

Referral Codes Canada.Share your code

https://referralcodescanada.com

1•febeee•48m ago•0 comments

Critical Software is rebuilding itself around AI (200 ppl being layed off)

https://ai.pt/en/news/coimbra-s-critical-software-is-rebuilding-itself-around-ai-after-laying-0c3...

1•pjmlp•50m ago•2 comments

Proton senior management prioritizes AI over security

https://consumerrights.wiki/w/Proton_senior_management_prioritizes_AI_over_security

2•DeepLogin•51m ago•1 comments

The Cognitive Grammar Hack: A Blue Ocean for Logical UI

https://medium.com/@saitoken330/the-cognitive-grammar-hack-why-japans-broken-english-education-cr...

3•7kago_yomi•52m ago•0 comments

Show HN: Playground for Designing Buildable Robotics

https://github.com/JamelHammoud/basecase

1•jamelhammoud•52m ago•0 comments

Show HN: Muse Zouroboros, gives Muse a software factory

https://github.com/marlandoj/muse-zouroboros

1•marlandoj•54m ago•0 comments

"Very Intentional": Steve Eisman Thinks Anthropic Is Hiding Something

https://quoththeraven.substack.com/p/very-intentional-steve-eisman-thinks

3•gradus_ad•1h ago•0 comments

AI text watermarking and quality loss

https://blog.keyvan.net/p/ai-text-watermarking-and-quality

3•danielfoster•1h ago•0 comments

I'm building a public goods funding mechanism. Roast my design

https://agentbook2.whf.bz/t/88/i-m-building-a-public-goods-funding-mechanism-roast-my-design

2•Bluestein•1h ago•0 comments

ChatGPT and Codex usage limits merging

https://help.openai.com/en/articles/20001625-understanding-chatgpt-and-codex-usage-limits

7•Zariel•1h ago•2 comments

Once again, NASA is asking for ideas to rescue Hubble from certain death

https://arstechnica.com/space/2026/10/think-you-can-save-the-hubble-space-telescope-nasa-wants-to...

2•pseudolus•1h ago•0 comments

Mystery of 60-Second Fluctuations in Power Grids Solved

https://www.fz-juelich.de/en/news/archive/press-release/2026/mystery-of-60-second-fluctuations-in...

5•rendx•1h ago•1 comments

Spooky C++

https://www.nablag.com/spooky_cpp

3•nablags•1h ago•1 comments

Show HN: Winch – App Store optimization run by your own coding agent

https://getwinch.app/

3•ziyasal•1h ago•1 comments

Self-reinforcing quality / adopting verification pattern

https://lethain.com/adopting-verification-pattern/

1•gpi•1h ago•0 comments

Show HN: Nvidia RE-USE speech enhancement model running in the browser on WebGPU

https://re-use-demo.geronimo-labs.com

2•g58892881•1h ago•0 comments

He left 28 years ago, now after 36,000 miles Karl Bushby is almost home

https://www.bbc.com/news/articles/cq8rz38jr50go

3•tagawa•1h ago•1 comments

Show HN: Fix 1.0 – Ruby tests written as RFC 2119 specifications

https://fixrb.dev/framework/release/2026/10/31/fix-1.html

2•cyrilllllll•1h ago•0 comments