frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Micro-Front Ends in 2026: Architecture Win or Enterprise Tax?

https://iocombats.com/blogs/micro-frontends-in-2026
1•ghazikhan205•1m ago•0 comments

Japanese rice is the most expensive in the world

https://www.cnn.com/2026/02/07/travel/this-is-the-worlds-most-expensive-rice-but-what-does-it-tas...
1•mooreds•1m ago•0 comments

These White-Collar Workers Actually Made the Switch to a Trade

https://www.wsj.com/lifestyle/careers/white-collar-mid-career-trades-caca4b5f
1•impish9208•1m ago•1 comments

The Wonder Drug That's Plaguing Sports

https://www.nytimes.com/2026/02/02/us/ostarine-olympics-doping.html
1•mooreds•1m ago•0 comments

Show HN: Which chef knife steels are good? Data from 540 Reddit tread

https://new.knife.day/blog/reddit-steel-sentiment-analysis
1•p-s-v•1m ago•0 comments

Federated Credential Management (FedCM)

https://ciamweekly.substack.com/p/federated-credential-management-fedcm
1•mooreds•2m ago•0 comments

Token-to-Credit Conversion: Avoiding Floating-Point Errors in AI Billing Systems

https://app.writtte.com/read/kZ8Kj6R
1•lasgawe•2m ago•1 comments

The Story of Heroku (2022)

https://leerob.com/heroku
1•tosh•2m ago•0 comments

Obey the Testing Goat

https://www.obeythetestinggoat.com/
1•mkl95•3m ago•0 comments

Claude Opus 4.6 extends LLM pareto frontier

https://michaelshi.me/pareto/
1•mikeshi42•4m ago•0 comments

Brute Force Colors (2022)

https://arnaud-carre.github.io/2022-12-30-amiga-ham/
1•erickhill•7m ago•0 comments

Google Translate apparently vulnerable to prompt injection

https://www.lesswrong.com/posts/tAh2keDNEEHMXvLvz/prompt-injection-in-google-translate-reveals-ba...
1•julkali•7m ago•0 comments

(Bsky thread) "This turns the maintainer into an unwitting vibe coder"

https://bsky.app/profile/fullmoon.id/post/3meadfaulhk2s
1•todsacerdoti•8m ago•0 comments

Software development is undergoing a Renaissance in front of our eyes

https://twitter.com/gdb/status/2019566641491963946
1•tosh•8m ago•0 comments

Can you beat ensloppification? I made a quiz for Wikipedia's Signs of AI Writing

https://tryward.app/aiquiz
1•bennydog224•9m ago•1 comments

Spec-Driven Design with Kiro: Lessons from Seddle

https://medium.com/@dustin_44710/spec-driven-design-with-kiro-lessons-from-seddle-9320ef18a61f
1•nslog•9m ago•0 comments

Agents need good developer experience too

https://modal.com/blog/agents-devex
1•birdculture•11m ago•0 comments

The Dark Factory

https://twitter.com/i/status/2020161285376082326
1•Ozzie_osman•11m ago•0 comments

Free data transfer out to internet when moving out of AWS (2024)

https://aws.amazon.com/blogs/aws/free-data-transfer-out-to-internet-when-moving-out-of-aws/
1•tosh•12m ago•0 comments

Interop 2025: A Year of Convergence

https://webkit.org/blog/17808/interop-2025-review/
1•alwillis•13m ago•0 comments

Prejudice Against Leprosy

https://text.npr.org/g-s1-108321
1•hi41•14m ago•0 comments

Slint: Cross Platform UI Library

https://slint.dev/
1•Palmik•18m ago•0 comments

AI and Education: Generative AI and the Future of Critical Thinking

https://www.youtube.com/watch?v=k7PvscqGD24
1•nyc111•18m ago•0 comments

Maple Mono: Smooth your coding flow

https://font.subf.dev/en/
1•signa11•19m ago•0 comments

Moltbook isn't real but it can still hurt you

https://12gramsofcarbon.com/p/tech-things-moltbook-isnt-real-but
1•theahura•23m ago•0 comments

Take Back the Em Dash–and Your Voice

https://spin.atomicobject.com/take-back-em-dash/
1•ingve•23m ago•0 comments

Show HN: 289x speedup over MLP using Spectral Graphs

https://zenodo.org/login/?next=%2Fme%2Fuploads%3Fq%3D%26f%3Dshared_with_me%25253Afalse%26l%3Dlist...
1•andrespi•24m ago•0 comments

Teaching Mathematics

https://www.karlin.mff.cuni.cz/~spurny/doc/articles/arnold.htm
2•samuel246•27m ago•0 comments

3D Printed Microfluidic Multiplexing [video]

https://www.youtube.com/watch?v=VZ2ZcOzLnGg
2•downboots•27m ago•0 comments

Abstractions Are in the Eye of the Beholder

https://software.rajivprab.com/2019/08/29/abstractions-are-in-the-eye-of-the-beholder/
2•whack•27m ago•0 comments
Open in hackernews

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

1•amichail•1w 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•1w ago
Why?
amichail•1w 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•1w ago
I mean why would you want English, a dreadful and ugly language, to be universal?

Disclosure: English is my native language.

amichail•1w ago
Because it is good enough, widely used, and would make communication easier worldwide.
JohnFen•1w 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•1w 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•1w ago
Professional jargon isn't Turing-complete like LaTeX is.
JohnFen•1w 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•1w ago
LaTeX being a programming language makes it a bad idea for typesetting documents.
JohnFen•1w 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•1w 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•1w ago
I don't understand your question.
amichail•1w 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•1w 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•1w 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.