frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Ask HN: How do you maintain context across your coding sessions?

1•reveriedev•1m ago•0 comments

The Problem Claude Cowork and ChatGPT Work Mode Doesn't Solve

https://medium.com/@vektormemory/the-problem-claude-cowork-chatgpt-work-mode-doesnt-solve-remote-...
1•vektormemory•1m ago•0 comments

From WS_FTP to instructions.md: thirty years of web development

https://www.knut.fyi/blog/2026-07-16/but-some-of-us-were-watching
1•kmelve•1m ago•0 comments

Writing Doom (on super artificial intelligence) [video]

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

Shanay-Timpishka, a boiling hot river 700km from the nearest active volcano

https://terradaily.com/anything-that-falls-into-a-four-kilometre-stretch-of-a-river-in-the-centra...
1•camtarn•5m ago•0 comments

Scientists Created a Wearable You Can Paint Directly onto Your Skin

https://gizmodo.com/scientists-created-a-wearable-you-can-paint-directly-onto-your-skin-2000784919
1•gmays•7m ago•0 comments

How HN: Slopfence – browser native DLP that stops secrets leaking to LLMs

https://slopfence.com
1•joshiabir•9m ago•0 comments

Kaggle Linter, notebook-wide Ruff and Flake8 linting for Kaggle

https://chromewebstore.google.com/detail/kaggle-linter/mmckiielmlncmbalaffggabchfbhdfoi
1•chater•11m ago•0 comments

Skillbench

https://skillbench.arcade.dev/browse
3•gnanagurusrgs•15m ago•0 comments

Show HN: Forall – Spec-driven AI coding with formal verification

https://github.com/astrio-labs/forall
7•Nolan_Lwin•15m ago•0 comments

Caseway and MiTAC Advance Technology Partner to Bring Trusted AI Intelligence

https://www.suasnews.com/2026/07/caseway-and-mitac-advance-technology-partner-to-bring-trusted-ai...
1•ClearwayLaw•16m ago•1 comments

The Mechanics of ARR Loans

https://lesbarclays.substack.com/p/the-mechanics-of-arr-loans
1•lesbarclays•16m ago•0 comments

DiffGI Differentiable Geometry Images for High-Fidelity Thin-Shell 3D Generation

https://ejshim.github.io/diffgi/
2•throwaway2027•17m ago•0 comments

The Human-in-the-Loop Is Tired

https://pydantic.dev/articles/the-human-in-the-loop-is-tired
3•haritha1313•17m ago•0 comments

Cerebras Built Its Enterprise Knowledge Base

https://www.cerebras.ai/blog/how-we-built-our-knowledge-base
1•haritha1313•18m ago•0 comments

Show HN: Justif – publication-grade text justification for the web

https://justif.lyall.co/
1•lyall•19m ago•0 comments

WTF are modular forms (2024)

https://graemephi.github.io/posts/modular-forms/
2•marysminefnuf•19m ago•0 comments

No Shark Is Safe: Shark Vacuums Are Vulnerable to RCE

https://tokay0.com/posts/millions-of-shark-vacuums-vulnerable-to-rce.html
2•dlgeek•19m ago•0 comments

'Rust makes coding fun again': Greg explains why Linux is moving away from C

https://www.zdnet.com/article/greg-kroah-hartman-linux-kernel-rust/
2•maxloh•24m ago•0 comments

Lingbot-map: A 3D foundation model for reconstructing scenes from streaming data

https://github.com/Robbyant/lingbot-map
1•olalonde•30m ago•0 comments

Alphabet shares fall on Gemini 3.5 Pro delay

https://www.cnbc.com/2026/07/16/alphabet-stock-gemini-3-5-pro-ai.html
4•PessimalDecimal•31m ago•0 comments

DEI Ain't Dead According to New Study

https://www.blackenterprise.com/dei-isnt-dead-companies-still-back-workplace-inclusion/
2•ohjeez•35m ago•1 comments

The Auditor's Opinion

https://www.cringely.com/2026/07/16/the-auditors-opinion/
1•dxs•37m ago•0 comments

Against "Stochastic Terrorism"

https://www.astralcodexten.com/p/against-stochastic-terrorism
1•paulpauper•42m ago•1 comments

Why Legal Personhood Is Neither Necessary nor Sufficient

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=7127038
1•paulpauper•42m ago•0 comments

Why is it so difficult (and crazy expensive) to fly within Africa?

https://www.africanistperspective.com/p/why-is-it-so-difficult-and-crazy
2•paulpauper•42m ago•1 comments

ReactBench

https://www.reactbench.com/blog
1•gmays•45m ago•0 comments

Apple's Vision Pro Tool Contains Traces of Defunct Game Engine 'The Machinery'

https://www.macrumors.com/2026/06/23/apple-reality-composer-pro-the-machinery/
4•bananaboy•50m ago•0 comments

AI that builds and runs your business, 24/7

https://www.leapd.ai
2•Cyrus2050•53m ago•3 comments

Xiaomi Opens a 38B World Model Built to Generate Robot Data

https://topicqueue.substack.com/p/xiaomi-opens-a-38b-world-model-built
3•DISCURSIVE•56m ago•0 comments
Open in hackernews

Ask HN: Why is big O often used in CS when omega or theta should be used?

2•amichail•1y ago
Do most people not know about omega and theta or perhaps they intentionally misuse asymptotic notation?

Comments

adrianN•1y ago
Finding lower bounds is generally more difficult.
amichail•1y ago
People often use big O notation in all cases including for lower bounds.
adrianN•1y ago
BigO for lower bounds is plain wrong
numpad0•1y ago
Those aren't in the ASCII table.
compressedgas•1y ago
I've found some people on a well known QA site to be so strict with big-O notation that I don't use it anymore and instead only refer to constant, linear, quadratic time and so on. Even when O(1), O(n), O(n^2) would be actually easier to write even if they are technically wrong.