frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Dynamic witnesses for static type errors in OCaml, or, ill-typed programs usuall

https://arxiv.org/abs/1606.07557
1•fanf2•4h ago

Chinese Students Flocked to Central Illinois. Their Food Followed

https://www.nytimes.com/2025/07/14/dining/chinese-food-urbana-champaign-student-visa.html
1•bookofjoe•2m ago•1 comments

Are Diamonds Even a Luxury Anymore? De Beers Reckons with Price Plunge

https://www.wsj.com/business/retail/de-beers-diamonds-price-lab-grown-468b33ab
2•coloneltcb•2m ago•0 comments

The power of the Unix philosophy for LLM agentic tools

https://blog.korny.info/2025/07/11/the-power-of-the-unix-philosophy-for-llm-agentic-tools
2•freediver•3m ago•0 comments

The Sputnik vs. Deep Seek Moment: The Answers

https://marginalrevolution.com/marginalrevolution/2025/07/the-sputnik-vs-deep-seek-moment-the-answers.html
1•Michelangelo11•4m ago•0 comments

Self-hosting CI runners is a trap

https://www.shipfox.io/blog/2945ab39-efed-415c-ab19-389be27df8d3/self-hosting-ci-runners-is-a-trap
4•PoissonVache•4m ago•0 comments

Disney's spent 70 years funneling IP into its theme parks. Here's why it works

https://www.cnbc.com/2025/07/17/disney-ip-anchors-theme-parks.html
2•rntn•5m ago•0 comments

Bitnami containers community catalog has been deprecated

https://github.com/bitnami/charts/issues/35164
1•migmartri•5m ago•0 comments

Exercise science is not science

https://scottlocklin.wordpress.com/2025/07/14/exercise-science-is-not-science/
1•surprisetalk•5m ago•0 comments

Career Hypnosis

https://quarter--mile.com/career-hypnosis
2•surprisetalk•5m ago•0 comments

Store Tags After Payloads

https://www.scattered-thoughts.net/writing/store-tags-after-payloads/
1•surprisetalk•5m ago•0 comments

The Most Beautiful Program Ever Written [video]

https://www.youtube.com/watch?v=OyfBQmvr2Hc
1•surprisetalk•6m ago•0 comments

A privacy-first, no-nonsense, super-fast blogging platform

https://bearblog.dev/
1•krthr•6m ago•0 comments

Don't Eliminate Risk, Manage It

https://emeaentrepreneurs.com/anti/dont-eliminate-risk-manage-it/
1•sixhobbits•6m ago•0 comments

Tractor: Translating all C to Rust

https://www.darpa.mil/research/programs/translating-all-c-to-rust
1•hhs•7m ago•0 comments

Show HN: Default-Exploitability Context for CISA Known Exploited Vulnerabilities

https://github.com/abhas9/cve-default-exploitability
1•abhas9•8m ago•0 comments

Government Doesn't Want Storm Talking About Privacy, Kidnappings

https://www.therage.co/roman-storm-privacy-kidnappings/
1•madars•8m ago•0 comments

Why Aggregators Ate the Internet

https://every.to/thesis/why-aggregators-ate-the-internet
1•hn_acker•14m ago•1 comments

Show HN: Speclinter-MCP, better specs for your coding agent

https://github.com/orangebread/speclinter-mcp
1•orangebread•15m ago•0 comments

Texas has banned talking on college campuses at night. Seriously

https://www.houstonchronicle.com/opinion/outlook/article/texas-ban-universities-speech-talking-night-20361753.php
16•hn_acker•16m ago•7 comments

The rise of AI as a threat to the S&P 500 [pdf]

https://autonomy.work/wp-content/uploads/2025/07/Sp-500-capital-at-risk_-3.pdf
1•seangrvs•17m ago•0 comments

Headlong into our glorious AI-powered future, are we on the road to Idiocracy?

https://www.theguardian.com/commentisfree/2025/jul/17/as-we-race-headlong-into-our-glorious-ai-powered-future-are-we-on-the-road-to-idiocracy
1•Bluestein•17m ago•0 comments

Enhanced Meetings for Microsoft Teams app: Mercedes‑Benz to enable in-car camera

https://www.automotiveworld.com/news-releases/mercedes-benz-expands-collaboration-with-microsoft-to-boost-in-car-productivity-with-enhanced-meetings-for-teams-app-intune-integration-and-microsoft-365-copilot/
1•taubek•18m ago•0 comments

SoftBank announcing to end the era of human developers

https://www.lightreading.com/ai-machine-learning/softbank-aims-for-1-billion-ai-agents-this-year
2•wisdome•23m ago•2 comments

Debugging Bash Like a Sire

https://blog.brujordet.no/post/bash/debugging_bash_like_a_sire/
1•gfalcao•24m ago•0 comments

The Longest Economics Textbook (2012)

https://insidethevatican.com/magazine/culture/the-longest-economics-textbook/
1•danielam•26m ago•0 comments

Show HN: Needle – An Explorable Map of the News

https://needle.news
5•ryry•26m ago•2 comments

Is the Interstellar Object 3I/Atlas Alien Technology?

https://avi-loeb.medium.com/is-the-interstellar-object-3i-atlas-alien-technology-b59ccc17b2e3
1•BruceEel•26m ago•0 comments

Could this laser zap malaria? (2010) [video]

https://www.ted.com/talks/nathan_myhrvold_could_this_laser_zap_malaria
1•simonebrunozzi•26m ago•0 comments

Mastra is now Apache 2.0 licensed

https://mastra.ai/blog/apache-license
1•calcsam•26m ago•0 comments

OpenAI and Anthropic researchers decry 'reckless' safety culture at Musk's xAI

https://techcrunch.com/2025/07/16/openai-and-anthropic-researchers-decry-reckless-safety-culture-at-elon-musks-xai/
1•rntn•26m ago•0 comments