frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Essays on the Nature and Role of Mathematical Elegance by Edsger Dijkstra

https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD619.html
1•rramadass•41m ago

Comments

rramadass•41m ago
From https://www.cs.utexas.edu/~EWD/transcriptions/EWD12xx/EWD123...

    Here, the noun "elegance" should be understood in the       sense of the second meaning of "elegant", as given in the Concise Oxford Dictionary (6th Edition, 1976): "ingeniously simple and effective".

    we shall stress that in sophisticated designs, elegance is not a dispensable luxury, but a factor that often decides between success and failure.
Everyone playing around with AI today, needs to read, understand, reflect and assimilate the advice given in EWD619 ;-)

    I also observe a widespread underestimation of what can be achieved by thinking properly, and sometimes an unwillingness to admit that, for certain goals, proper thinking is an indispensable prerequisite, an unwillingness of which a sad waste of effort, and ultimately, undeniable failure are the certain results.

    I regard the obvious consequences of these attitudes and assumptions as regrettable. We have surrounded ourselves by arteifacts of needlessly clumsy designs, which make them cumbersome to develop and to maintain, and dangerous to rely upon; nevertheless they are relied upon, partly because we have the feeling that we have no choice, partly --and that is where I protest-- their imperfections have been raised to the status of a Law of Nature. Secondly we observe --mainly, but not exclusively, under the auspices of that branch of human activity and aspiration called "Artificial Intelligence"-- a great amount of research and development effort spent on trying to reduce the need for (what I am now forced to call) Natural Intelligence; I have reasons to expect these efforts to be in vain. Thirdly, we see our educational systems affected: they are getting geared to "Otto Normalverbraucher" [trans. Average Person] to the extent that it is now regarded as an indecency to require from a university graduate that he expresses himself adequately.
The rise of "Artificial Intelligence" today does not preclude the necessity of training our "Natural Intelligence" to think clearly and simply i.e. elegantly, in our problem-solving endeavours. None of the bazillion tools/techniques/methodologies (eg. crazy agentic loops, humongous prompt chaining, bloated codebases etc.) hoisted upon us to interface with AI is a substitute for thinking. If anything, simplicity, precision, formal methods, managed abstractions, separation of concerns are more vital today in the age of AI.

Android version distribution in October 2026: Android 16 leads

https://www.heise.de/en/news/Android-version-distribution-in-October-2026-Android-16-leads-115048...
2•theanonymousone•7m ago•0 comments

Custom GPTs Are Retiring: How to Migrate Before Dec 11

https://quickchat.ai/post/custom-gpt-retirement-migration
1•piotrgrudzien•7m ago•0 comments

I built the free S3 client I needed because the existing felt clunky

https://nimbo.emil.moe/
1•emilmoe•9m ago•0 comments

State of the Prompt: What People Ask AI

https://stateoftheprompt.net/
2•Anon84•9m ago•0 comments

Switch Lowering in GCC

https://xoranth.net/gcc-switch/
1•signa11•9m ago•0 comments

I trained a tic-tac-toe bot on 7k games between real people

https://tictoe.org/
1•Ildefonso123•12m ago•0 comments

AttoQR – An Android app for generating and testing EMVCo payment QR codes

https://play.google.com/store/apps/details?id=com.dev.myqr&hl=en_US
1•AttoExaSolution•13m ago•0 comments

Keyword Search 101: How BM25 Scores

https://deployed-ai.io/blog/bm25-explained/
1•danielklnstein•14m ago•0 comments

Social Policy Builds Financial Markets

https://economicsociology.org/2026/08/28/how-social-policy-builds-financial-markets/
1•kome•16m ago•0 comments

Conic Sections Rebellion

https://en.wikipedia.org/wiki/Conic_Sections_Rebellion
2•_Microft•17m ago•0 comments

So you want to become a Root CA?

https://kuber.studio/blog/Technology/So-you-want-to-become-a-Root-CA
1•kuberwastaken•18m ago•0 comments

Nvidia Nemotron 3.5 Bolt E4B 4GB

https://research.nvidia.com/labs/nemotron/NVIDIA-Nemotron-3.5-Bolt-E4B-4GB/
1•armcat•22m ago•0 comments

Ranji Smile: The forgotten chef who opened America's first Indian restaurant

https://www.bbc.com/news/articles/crm941n0413o
1•tosh•23m ago•0 comments

How to Get a Stable Public IP on macOS Using a VPS and Tailscale

https://zyvop.com/how-to-get-a-stable-public-ip-on-macos-using-a-vps-and-tailscale-p5dgv
1•sanjays442•27m ago•0 comments

Lspkit – a Rust Toolkit for Building Programming Language Toolsets

https://lspkit.dev/
1•cfdevelop•28m ago•0 comments

Understanding the core 4 choices is where conscious creation begins

https://randomfuckingknowledge.substack.com/p/the-four-choices-that-change-how
1•TheCreativePrin•30m ago•0 comments

Show HN: Readeck sync for Kobo's stock reader

https://github.com/fkaduk/kobodeck
1•fkdk•30m ago•0 comments

Live benchmark of web scraping APIs and residential proxies (2026)

https://github.com/tianjun588/llm-web-scraping-benchmark
1•tianjun588•32m ago•0 comments

Show HN: Agent-arcade – Terminal games that pause when Claude Code/Codex is done

https://github.com/Kuldeep-045/agent-arcade
3•Kuldeep045•34m ago•0 comments

Name the UK Space Agency's Active Debris Removal Mission

https://space.blog.gov.uk/2026/10/15/name-the-uk-space-agencys-first-national-mission-%f0%9f%9b%b...
2•helsinkiandrew•37m ago•0 comments

Do At-Proto Users Know This Is Public?

https://melaniekat.com/blog/public-on-pds/
1•birdculture•38m ago•0 comments

Why Do I Sometimes Hate Myself

https://tomaszdziurko.substack.com/p/why-do-i-sometimes-hate-myself
10•Tiwariparth6165•38m ago•2 comments

Essays on the Nature and Role of Mathematical Elegance by Edsger Dijkstra

https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD619.html
1•rramadass•41m ago•1 comments

Getting Google Cast on My Soundbar

https://codon.org.uk/~mjg59/blog/p/getting-google-cast-on-my-soundbar/
1•robin_reala•48m ago•0 comments

The First Agentic Native Hobby Operating System

https://github.com/vahmoh/Veda
1•sevda11•53m ago•0 comments

FK Sofa – Truck

https://www.truck-furniture.co.jp/en/backstories/fk-sofa/
2•Michelangelo11•1h ago•1 comments

Faststrap: Component-based FastHTML extension that provides reusable UI elements

https://github.com/Faststrap-org/Faststrap
1•indigodaddy•1h ago•0 comments

Power of Raycast, Now on iOS

https://www.raycast.com/ios
3•rene_d•1h ago•0 comments

Punchy – a security Tamagotchi that boxes the internet

https://punchy.virtualserv.uk
1•raister•1h ago•0 comments

What if your ChatGPT conversations have a dashboard that can track things

https://chatgpt.com/plugins/plugin_asdk_app_6ad58e43cfe881919841205d69cff9cf
2•vasanthps•1h ago•0 comments