frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Formalizing Julia in Lean (and finding 400 bugs in Base)

https://discourse.julialang.org/t/formalizing-julia-in-lean-and-finding-400-bugs-in-base/140243
1•anewhnaccount2•6m ago•0 comments

Proof Repair and (Co)algebra Equivalences

https://arxiv.org/abs/2610.36669
1•matt_d•11m ago•0 comments

Aipicks.ca – Using multi-sport AI models to find edges in table tennis

https://aipicks.ca/
1•prepperscanada•12m ago•0 comments

Fable 5.2 and Jagged AGI: General, often expert, and sometimes jagged

https://www.oneusefulthing.org/p/fable-52-and-jagged-agi
2•nradov•12m ago•0 comments

Ford Reveals Mach-E Battery Degradation After 100k Miles

https://insideevs.com/news/814780/ford-mustang-mach-e-battery-degradation-range-study/
3•xbmcuser•23m ago•1 comments

Show HN: 3D Conformal Transformations via Geometric Algebra

https://static.laszlokorte.de/conformal-3d/
1•laszlokorte•27m ago•0 comments

Gisting

https://shopify.engineering/gisting
2•sonabinu•35m ago•0 comments

Mountains of Kong

https://en.wikipedia.org/wiki/Mountains_of_Kong
1•silver92bullet•36m ago•0 comments

Adaptive Agentic Worms Are Here

https://www.lesswrong.com/posts/fpLDjKg3ej49beqTC/adaptive-agentic-worms-are-here
1•gmays•36m ago•0 comments

Anthropic joins AI's natural gas frenzy, buys $3.4B worth of turbines

https://techcrunch.com/2026/11/09/anthropic-joins-ais-natural-gas-frenzy-buys-3-4b-worth-of-turbi...
1•jomon003•37m ago•1 comments

Apple Store Subscription Sign-Up Controversy Exposed

https://www.macrumors.com/2026/11/08/apple-store-subscription-controversy/
2•ksec•39m ago•0 comments

Winsight: Transparent security suite for Windows, in the spirit of Objective-See

https://github.com/ClementG91/winsight
1•philonoist•39m ago•0 comments

Project Lighthouse

https://github.com/professorsolderin/project-lighthouse
1•gslin•40m ago•1 comments

Socratic-tutor – turns an LLM into a strict personal tutor

https://github.com/janestreet/agent_skills
1•vpj•41m ago•0 comments

Discuss: America Should Unleash Cyber Privateers

https://www.realcleardefense.com/cyber-warfare/articles/america-should-unleash-cyber-privateers-2...
2•Gaishan•41m ago•2 comments

FlashStates Unlocking Flexible Hybrid State Management for Agentic LLM Inference

https://flashstates.ai/
1•matt_d•44m ago•0 comments

Autonomous AI Agents Conduct End-to-End Research with Human Participants

https://advanced.onlinelibrary.wiley.com/doi/10.1002/advs.76675
1•Gaishan•44m ago•0 comments

Land: Using Determinstic methods for faster CI and merging

https://useland.dev/
2•rohanucla•48m ago•0 comments

OSS devtool seed stage startup looking to hire DevRel In SF

1•rohankhameshra•50m ago•2 comments

Factors in Choosing WebRTC vs. HLS

https://www.red5.net/blog/5-factors-in-choosing-webrtc-vs-hls/
1•mondainx•52m ago•0 comments

The Occupational Ladder: Implications for Life-Cycle Wage Dynamics

https://www.nber.org/papers/w35929
1•rohanm93•57m ago•0 comments

Make this forward pass as fast as possible

https://ianbarber.blog/2026/11/09/make-this-forward-pass-as-fast-as-possible/
2•matt_d•1h ago•0 comments

All your clusters. One workspace. – Kite

https://kitehq.dev/
2•xdasf•1h ago•0 comments

GlitchTip 7.0 Released

https://glitchtip.com/blog/2026-11-09-glitchtip-7-0-release/
2•gslin•1h ago•1 comments

CoderPad Reports a Security Breach

4•werrett•1h ago•0 comments

Blunt Banhammer Blocks Basic Bots Ballistically

https://shkspr.mobi/blog/2026/11/blunt-banhammer-blocks-basic-bots-ballistically/
2•jay_kyburz•1h ago•1 comments

Lumo. On Your Desktop

https://mrthp.github.io/lumo-desktop/
1•misterthp•1h ago•0 comments

Nvidia CEO Huang sued over disclosures related to suspected Chinese spy

https://www.reuters.com/world/nvidia-ceo-huang-sued-over-disclosures-related-suspected-chinese-sp...
5•theanonymousone•1h ago•0 comments

macOS-Uke: Full macOS 26.5 (25F71) on the Xiaomi Pad 7

https://github.com/iOSNJBrepo/macOS-uke
4•Teever•1h ago•0 comments

Ultorg: The User Interface for Relational Databases

https://www.ultorg.com/
3•Ivoah•1h 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.