frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

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.

Using algebra and LLMs to verify a flight-plan bug fix in Lean

http://127.0.0.1:1111/algebra-llms-lean-flight-plan
1•jameshh•37s ago•0 comments

Apple Silicon costs LESS than OpenRouter

https://twitter.com/rohan_sood15/status/2056585919805714777
1•rohansood15•1m ago•0 comments

LLMCap – A proxy that hard-stops LLM API calls when you hit a dollar cap

https://www.llmcap.io/
1•cfaruk•6m ago•0 comments

Frontier models at open source cost – hot new AI Model Router

https://www.orcarouter.ai/
1•sangwen•8m ago•0 comments

Active Supply Chain Attack Compromises Antv Packages on NPM

https://socket.dev/blog/antv-packages-compromised
2•882542F3884314B•9m ago•0 comments

Finnish spy chief warns Europe may never break free from foreign tech

https://www.politico.eu/article/europe-tech-dependent-us-china-fully-sovereign-finnish-intel-chief/
3•giuliomagnifico•11m ago•1 comments

New Database Back End for WDQS

https://www.wikidata.org/wiki/Wikidata:SPARQL_query_service/WDQS_backend_update/Backend_Replacement
1•altilunium•13m ago•0 comments

Google, Blackstone to Create AI Cloud Firm with In-House Chips

https://www.bloomberg.com/news/articles/2026-05-19/google-to-create-ai-cloud-business-with-blacks...
1•htrp•19m ago•0 comments

Cybersecurity Agency Leaves Its Digital Keys Out in Public on GitHub

https://gizmodo.com/the-worst-leak-that-ive-witnessed-u-s-cybersecurity-agency-leaves-its-digital...
2•WarOnPrivacy•25m ago•0 comments

Bornagain.com

http://bornagain.com/
7•gregsadetsky•25m ago•1 comments

The Explore-Exploit Dilemma in Media Consumption (2016)

https://gwern.net/media-rl
1•mcmoor•28m ago•0 comments

Going Analog

https://www.natemeyvis.com/going-analog/
2•speckx•29m ago•0 comments

The Strange Rock Ship of Masuda

https://offbeatjapan.com/rock-ship-of-masuda/
1•thunderbong•33m ago•0 comments

Getting Confidence in (Agentic) Code

https://ucsd-cse-115-215.github.io/sp26/lectures/04-correctness.html
1•matt_d•35m ago•0 comments

A Quarter Century of Unix (Peter Salus, 1994)

https://archive.org/details/aquartercenturyofunixpeterh.salus_201910
1•ninjin•36m ago•1 comments

TuriX AI launched the latest version

https://github.com/TurixAI/TuriX-CUA
1•turixai•40m ago•1 comments

Open-sourcing ShipReq – a requirements platform written in FP Scala/Scala.js

https://gist.github.com/japgolly/538875580ec648ca7517ce04d63dc009
1•japgolly•41m ago•1 comments

Compute Optimal Tokenization: Scaling Laws for Data Compression in LLMs

https://co-tok.github.io/
1•matt_d•42m ago•0 comments

Benchmarking llama.cpp's new MTP support on Strix Halo

https://calebcoffie.com/blog/benchmarking-llama-cpp-mtp-on-strix-halo
1•CCoffie•43m ago•0 comments

Peter Neumann Has Died

https://www.tuhs.org/pipermail/tuhs/2026-May/033748.html
2•pabs3•45m ago•0 comments

What even IS runtime infrastructure?

https://blog.bridgexapi.io/why-developers-need-programmable-evm-runtime-infrastructure
1•Bridgexapi•50m ago•0 comments

Explore Punks NFT Collection on Polygon Blockchain

https://punks_4.x.rarible.com
1•demro•52m ago•1 comments

Show HN: Clark-Browser – Stealth Chromium

https://github.com/clark-labs-inc/clark-browser
2•stan_kirdey•53m ago•0 comments

Google: Continued commitment to Chromebooks, and looking ahead

https://cloud.google.com/blog/products/chrome-enterprise/our-continued-commitment-to-chromebooks-...
3•pabs3•56m ago•0 comments

Sieve – scans Cursor/Claude chat history for leaked API keys

https://apps.apple.com/us/app/sieve-secret-scanner/id6767409365?mt=12
1•helpful_human•56m ago•0 comments

The Mac mini just became infrastructure

https://thenewstack.io/mac-mini-agent-infrastructure/
1•rav3ndust•59m ago•0 comments

Walmart, Target and Dollar General Spend Billions to Make Stores Look Nicer

https://www.nytimes.com/2026/05/11/business/retailers-stores-renovations.html
2•lxm•1h ago•0 comments

We built a runtime activation layer for autonomous AI agents

https://www.santaclawz.ai/
1•evan-k-global•1h ago•0 comments

PgBackRest Will Continue

https://pgbackrest.org/news.html#will-continue
6•thunderbong•1h ago•1 comments

Peter Salus has died

https://www.tuhs.org/pipermail/tuhs/2026-May/033750.html
56•speckx•1h ago•6 comments