frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Ask HN: Does ChatGPT 5.2 with web search still hallucinate facts?

1•logicallee•1m ago•0 comments

Does Anthropic believe its AI is conscious, or just want Claude to think so?

https://arstechnica.com/information-technology/2026/01/does-anthropic-believe-its-ai-is-conscious...
1•samizdis•3m ago•0 comments

Show HN: RTK – Simple CLI to reduce token usage in your LLM prompts

1•patrick4urcloud•3m ago•0 comments

Errors as Values in TypeScript

https://errore.org/
1•xmorse•5m ago•0 comments

AstraZeneca sets out $15B China investment during Starmer visit

https://www.reuters.com/business/healthcare-pharmaceuticals/astrazeneca-sets-out-15-billion-china...
1•DustinEchoes•7m ago•0 comments

Ask HN: How are you preventing AI-driven "brain-softening"?

1•_aleph2c_•8m ago•0 comments

Show HN: I built an app to help vibe coders get users

https://collabonly.com
1•bytet3ch•8m ago•0 comments

Stripe's New Homepage

https://stripe.com/
1•abelanger•9m ago•0 comments

Show HN: I made a bootable NixBSD (NixOS and FreeBSD) image

https://github.com/jonhermansen/nixbsd-demo
3•jonhermansen•11m ago•0 comments

SAP shares plunge up to 17% as cloud backlog growth disappoints investors

https://www.ig.com/uk/news-and-trade-ideas/sap-shares-plunge-up-to-17--as-cloud-backlog-growth-di...
1•kavalg•12m ago•0 comments

Iran plans to cut ties with the global internet, and VPNs may not help this time

https://www.techradar.com/vpn/vpn-privacy-security/not-just-censorship-its-digital-isolation-iran...
2•maxloh•13m ago•0 comments

Show HN: Hyperterse – a super fast runtime to connect your data to your agents

https://github.com/hyperterse/hyperterse
1•samrith•13m ago•0 comments

A Missive on the Leitmotif

https://wehwalt.net/leitmotifs
1•sandbach•14m ago•0 comments

Single Bitcoin entity keeping BTC price suppressed below $90K

https://www.msn.com/en-us/money/markets/single-bitcoin-entity-keeping-btc-price-suppressed-below-...
1•radicalethics•14m ago•0 comments

Show HN: A skill that lets AI agents build hooks apps across 4 coding tools

1•runkids•15m ago•0 comments

SRE Is Anti-Transactional

https://cacm.acm.org/practice/sre-is-anti-transactional/
2•zdw•15m ago•0 comments

Microsoft dive spoils Mag 7 earnings enthusiasm

https://www.cnbc.com/2026/01/28/stock-market-today-live-updates.html
1•rurp•15m ago•0 comments

The Economics of a Super Bowl Ad

https://ro.co/perspectives/super-bowl-economics/
1•atlasunshrugged•16m ago•1 comments

Rover 2.0: automating projects with coding agents

https://endor.dev/blog/rover-2-0
1•ridruejo•17m ago•1 comments

Kimi K2.5: Now Free for One Week on AskCodi

https://askcodi.substack.com/p/kimi-k25-now-free-for-one-week-on
1•askcodi•17m ago•0 comments

Electronic components price and lead time increases announced across the board

https://www.cnx-software.com/2026/01/29/electronic-components-price-and-lead-time-increases-annou...
2•pyprism•17m ago•0 comments

Show HN: Kolibri, a DIY music club in Sweden (kolibrinkpg.com)

https://kolibrinkpg.com/
1•EastLondonCoder•19m ago•1 comments

Never Slide Out of the Day

https://aethermug.com/posts/nsoott%22
1•mrcgnc•20m ago•0 comments

Scammers posing as company CEOs surge in Japan

https://www.japantimes.co.jp/news/2026/01/19/japan/crime-legal/japan-ceo-emails-scams/
2•PaulHoule•20m ago•0 comments

Astronauts Are Going Back to the Moon for the First Time in Half a Century

https://time.com/7346146/artemis-ii-launch-nasa-astronauts-moon-mission/
2•ironyman•20m ago•2 comments

Eric S. Raymond: why is there such a huge variance in results from using LLMs?

https://twitter.com/esrtweet/status/2016849708254179501
3•dist-epoch•21m ago•1 comments

Ask HN: LLM and Human Coding Benchmarks?

1•weli•21m ago•1 comments

Apple Knowledge Navigator Video (1987)

https://www.youtube.com/watch?v=umJsITGzXd0
2•noodlebird•21m ago•0 comments

Strassen's Matmul with Avx 512

https://martianlantern.github.io/2026/01/strassen-matrix-multiplication/
1•martianlantern•21m ago•0 comments

Averting the Code Quality Apocalypse

https://sibylline.dev/articles/2026-01-29-the-code-quality-apocalypse/
2•CuriouslyC•22m ago•0 comments
Open in hackernews

Ask HN: Why not make English computational, just like LaTeX, to ensure lock-in?

1•amichail•1h ago
Imagine a version of English extended so that anyone writing for precision—scientists, lawyers, engineers, or anyone documenting complex ideas—uses sentences that embed non-trivial computations. Understanding such text would not just require reading; it would require executing algorithms embedded in the language itself.

Just like LaTeX allows you to write documents precisely and reproducibly, this computational English would make automatic machine translation extremely difficult. Even a small snippet of computation could drastically change the meaning if it is misinterpreted. Over time, anyone who values precision might stick to English by default, creating a global lock-in for formal communication.

Casual conversation could still happen in any language, but for technical writing, legal documents, instructions, or rigorous journalism, computational English could become the universal standard. Its adoption would depend on its ability to guarantee exact meaning rather than ease of learning.

Would this lock-in ensure that English will be the universal language of the world forever, just like LaTeX for scientists?

Comments

jjgreen•1h ago
Why?
amichail•1h ago
If it's a good idea to use a computational typesetting language — namely TeX/LaTeX, then maybe it is a good idea to make English computational also.
jjgreen•1h ago
I mean why would you want English, a dreadful and ugly language, to be universal?

Disclosure: English is my native language.

amichail•1h ago
Because it is good enough, widely used, and would make communication easier worldwide.
JohnFen•1h ago
It isn't good enough. There's far too much ambiguity and imprecision inherent in the language. Just look at how often it is that native English speakers misunderstand each other.

To make English (or any human language) suitable for use as a programming language means you need to very tightly constrain the language -- which would make it less suitable for human communications.

JohnFen•1h ago
We already have that stuff. It's generally called "professional jargon".

In software development, we even refined it greatly to meet our needs. That's what programming languages are.

amichail•1h ago
Professional jargon isn't Turing-complete like LaTeX is.
JohnFen•1h ago
LaTeX is a programming language. Any attempt to refine english to act like a programming language will just result in a new programming language.
amichail•1h ago
LaTeX being a programming language makes it a bad idea for typesetting documents.
JohnFen•1h ago
I don't see how that follows at all. But LaTeX seems to disprove the notion, since it is, in fact, very good for typesetting documents.
amichail•1h ago
Why should it be acceptable to make flawless translation to other formats impossible for LaTeX if you wouldn't want to do the same for English?
JohnFen•1h ago
I don't understand your question.
amichail•39m ago
I mean it would be rude to use a natural language that cannot be translated accurately to other languages. So why isn't it rude to use LaTeX to write documents given that LaTeX is Turing complete and cannot be translated flawlessly to other document formats?
forgotpwd16•38m ago
>Imagine a version of English extended

You mean restrained. More specifically what you're proposing can formally be referred to as controlled natural language with executable semantics. Some attempts similar to this have been Attempto Controlled English and ClearTalk. (And Logos that someone showed here recently.)

>text would not just require reading; it would require executing algorithms embedded in the language itself

Arguably mathematics is just that.

>just like LaTeX for scientists

Future doesn't look very bright for LaTeX with Typst getting traction.

amichail•28m ago
Like LaTeX, Typst is Turing-complete, which prevents flawless imports in other tools.

What you want is a document format that is not Turing complete, such as the TeXmacs document format.