fp.

Show HN: Ilion – Vector-based semantic verification (TensorFlow.js)

https://zenodo.org/records/15410945

1•ilion_identity•20s ago•0 comments

LLMs versus the Halting Problem: Revisiting Program Termination Prediction

https://www.orensultan.com/llms_halting_problem/

1•matt_d•3m ago•0 comments

Wikipedia Annual Plan – Contribute to the Big Questions

https://meta.wikimedia.org/wiki/Talk:Wikimedia_Foundation_Annual_Plan/2026-2027

1•tonymet•7m ago•0 comments

Elon Musk Merges SpaceX with XAI

https://www.nytimes.com/2026/02/02/business/spacex-xai-deal.html

1•frenchman_in_ny•10m ago•1 comments

Teachers/tutors, how do you do remote coding lessons?

1•Jamaldeen•12m ago•0 comments

Adobe Animate will be discontinued effective March 1, 2026

https://helpx.adobe.com/uk/animate/kb/end-of-life.html

3•g0ld3nrati0•16m ago•3 comments

NYC's mayor will shut down 'gifted and talented' program

https://www.dailymail.co.uk/news/article-15509309/nyc-mayor-zohran-mamdani-axe-gifted-program.html

2•mhb•16m ago•2 comments

Axiom: Hi-perf. C++ tensor lib. NumPy/PyTorch-like API, SIMD,BLAS,Metal support

https://github.com/Frikallo/axiom

1•npalli•17m ago•0 comments

Autism vs. Dating Profile Optimizing. One Winner. Claude Skill

https://github.com/b1rdmania/hinge-profile-optimizer

1•birdmania•18m ago•1 comments

How LSP Works: Building a Grammar Checker LSP from Scratch in Rust

https://www.aroy.sh/posts/lsp-deep-dive/

1•trifiasco•20m ago•0 comments

Benchmarking LLMs for Voice Agent Use Cases

https://www.daily.co/blog/benchmarking-llms-for-voice-agent-use-cases/

1•benlower•22m ago•0 comments

Accelerating our global growth: Waymo raises $16B investment round

https://waymo.com/blog/2026/02/waymo-raises-usd16-billion-investment-round

2•boulos•23m ago•1 comments

Watching Insidious in VR in a small NYC theater

https://partiful.com/e/ydTGBueYzwm19nv4XYrq

1•danielgh7•23m ago•1 comments

We're helping preserve the genetic information of endangered species with AI

https://blog.google/innovation-and-ai/technology/ai/ai-to-preserve-endangered-species/

1•tzury•23m ago•0 comments

Porn stars can survive in the age of AI

https://www.economist.com/business/2026/01/27/how-porn-stars-can-survive-in-the-age-of-ai

2•jdkee•23m ago•1 comments

Msgvault: Fast Gmail search from the author of Pandas

https://wesmckinney.com/blog/announcing-msgvault/

1•wdaher•25m ago•0 comments

A sweat-based sensor may help improve sleep quality

https://medicalxpress.com/news/2026-01-based-sensor-quality.html

1•PaulHoule•25m ago•0 comments

The Tech Elites in the Epstein Files

https://www.wired.com/story/epstein-files-tech-elites-gates-thiel-musk/

5•spenvo•26m ago•0 comments

Turbopuffer TUI

1•ralaruri•26m ago•0 comments

Show HN: MoonLocator – Astronomical library for moon calculations in Java

https://github.com/dgrims3/MoonLocatorLibrary

1•tenahu•26m ago•0 comments

Hiring Head of Eng. For Funded Medicaid-Tech Startup

https://wellfound.com/l/2BZRsS

1•RocklandSystems•27m ago•1 comments

SpaceX acquires xAI, plans 1M satellite constellation to power it

https://arstechnica.com/space/2026/02/spacex-acquires-xai-plans-1-million-satellite-constellation...

3•LorenDB•31m ago•1 comments

GLM-OCR

https://docs.z.ai/guides/vlm/glm-ocr

1•wahnfrieden•31m ago•0 comments

Neil Gaiman Is Innocent – Technopathology

https://technopathology.substack.com/p/neil-gaiman-is-innocent-introduction

6•kreyenborgi•32m ago•0 comments

Musk Mars Merger, Maybe

https://www.bloomberg.com/opinion/newsletters/2026-02-02/musk-mars-merger-maybe

1•pinewurst•32m ago•2 comments

Elon Musk's SpaceX acquiring AI startup xAI ahead of potential IPO

https://www.cnbc.com/2026/02/02/elon-musk-spacex-xai-ipo.html

1•poniko•35m ago•1 comments

xAI Joins SpaceX

https://x.ai/news/xai-joins-spacex

83•beklein•36m ago•4 comments

Show HN: Polymcp and Ollama for Simple Local and Cloud LLM Execution

1•justvugg•38m ago•0 comments

King County, WA eviction levels hit an all-time high, again

https://www.seattletimes.com/business/real-estate/king-county-wa-eviction-levels-hit-an-all-time-...

2•petethomas•38m ago•0 comments

Mamdani Report

https://iamwillwang.com/mamdani-report/

1•wxw•38m ago•0 comments

Open in hackernews

Ask HN: What tool, tech or process in front-end dev would you improve/change?

2•herol3oy•9mo ago

Comments

austin-cheney•9mo ago

There is so much.

* I would create an alternate trust model for TLS not using certificates.

* I would make WebSockets the default transmission medium, not HTTP (or its variants).

* I would make JavaScript strongly typed, like TypeScript, and eliminate implicit type coercion.

* I would throw away a substantial amount of HTML5. HTML should be tiny, strict, and self validating.

* There are native methods I would add to the DOM.

owebmaster•8mo ago

WebRTC, PWAs and indexeddb