#dijkstra — Public Fediverse posts

@davidgerard When one blindly trusts purely #GenAI built software beyond throwaway prototypes, one is basically both being very stupid, and throwing money at stupidity. It wasn't just #Dijkstra in 1975 at #ACM warning of the "complexity generators"; the #CHILI effort predates the trend also. https://chili.cs.illinois.edu/ And the #SOUP definition, Software of Unknown Provenance: https://en.wikipedia.org/wiki/Software_of_unknown_pedigree I prefer the #IEC62304 (medical products) wording. #LLms #agentic #ai @wdtz

@davidgerard When one blindly trusts purely #GenAI built software beyond throwaway prototypes, one is basically both being very stupid, and throwing money at stupidity. It wasn't just #Dijkstra in 1975 at #ACM warning of the "complexity generators"; the #CHILI effort predates the trend also. https://chili.cs.illinois.edu/ And the #SOUP definition, Software of Unknown Provenance: https://en.wikipedia.org/wiki/Software_of_unknown_pedigree I prefer the #IEC62304 (medical products) wording. #LLms #agentic #ai @wdtz

@davidgerard When one blindly trusts purely #GenAI built software beyond throwaway prototypes, one is basically both being very stupid, and throwing money at stupidity. It wasn't just #Dijkstra in 1975 at #ACM warning of the "complexity generators"; the #CHILI effort predates the trend also. https://chili.cs.illinois.edu/ And the #SOUP definition, Software of Unknown Provenance: https://en.wikipedia.org/wiki/Software_of_unknown_pedigree I prefer the #IEC62304 (medical products) wording. #LLms #agentic #ai @wdtz

@davidgerard When one blindly trusts purely #GenAI built software beyond throwaway prototypes, one is basically both being very stupid, and throwing money at stupidity. It wasn't just #Dijkstra in 1975 at #ACM warning of the "complexity generators"; the #CHILI effort predates the trend also. https://chili.cs.illinois.edu/ And the #SOUP definition, Software of Unknown Provenance: https://en.wikipedia.org/wiki/Software_of_unknown_pedigree I prefer the #IEC62304 (medical products) wording. #LLms #agentic #ai @wdtz

@davidgerard When one blindly trusts purely #GenAI built software beyond throwaway prototypes, one is basically both being very stupid, and throwing money at stupidity. It wasn't just #Dijkstra in 1975 at #ACM warning of the "complexity generators"; the #CHILI effort predates the trend also. https://chili.cs.illinois.edu/ And the #SOUP definition, Software of Unknown Provenance: https://en.wikipedia.org/wiki/Software_of_unknown_pedigree I prefer the #IEC62304 (medical products) wording. #LLms #agentic #ai @wdtz

@jik In 1975, Prof. #Dijkstra warned of #complexitygenerators ; Also, the inventor of the #UDP User Datagram Protocol, David P. Reed, appears to share your opinion.
Source: Public discussion with him yesterday, on the somewhat socially corrupted professional networking site we all know and loathe. https://www.cs.utexas.edu/~EWD/transcriptions/EWD04xx/EWD480.html @wdtz

@jik In 1975, Prof. #Dijkstra warned of #complexitygenerators ; Also, the inventor of the #UDP User Datagram Protocol, David P. Reed, appears to share your opinion.
Source: Public discussion with him yesterday, on the somewhat socially corrupted professional networking site we all know and loathe. https://www.cs.utexas.edu/~EWD/transcriptions/EWD04xx/EWD480.html @wdtz

@jik In 1975, Prof. #Dijkstra warned of #complexitygenerators ; Also, the inventor of the #UDP User Datagram Protocol, David P. Reed, appears to share your opinion.
Source: Public discussion with him yesterday, on the somewhat socially corrupted professional networking site we all know and loathe. https://www.cs.utexas.edu/~EWD/transcriptions/EWD04xx/EWD480.html @wdtz

@jik In 1975, Prof. #Dijkstra warned of #complexitygenerators ; Also, the inventor of the #UDP User Datagram Protocol, David P. Reed, appears to share your opinion.
Source: Public discussion with him yesterday, on the somewhat socially corrupted professional networking site we all know and loathe. https://www.cs.utexas.edu/~EWD/transcriptions/EWD04xx/EWD480.html @wdtz

@jik In 1975, Prof. #Dijkstra warned of #complexitygenerators ; Also, the inventor of the #UDP User Datagram Protocol, David P. Reed, appears to share your opinion.
Source: Public discussion with him yesterday, on the somewhat socially corrupted professional networking site we all know and loathe. https://www.cs.utexas.edu/~EWD/transcriptions/EWD04xx/EWD480.html @wdtz

The art of #oneliner #programming - viewed from two very different perspectives: Edsger #Dijkstra and Donald #Knuth:

The art of #oneliner #programming - viewed from two very different perspectives: Edsger #Dijkstra and Donald #Knuth:

The art of #oneliner #programming - viewed from two very different perspectives: Edsger #Dijkstra and Donald #Knuth:

The art of #oneliner #programming - viewed from two very different perspectives: Edsger #Dijkstra and Donald #Knuth:

Jak pokonać króla po 66 latach? Matematyczny przewrót w teorii najkrótszej ścieżki

Za każdym razem, gdy uruchamiasz Google Maps, by znaleźć trasę do nowej kawiarni, Twój telefon wykonuje matematyczny taniec, którego kroki opracowano w 1959 roku.

Przez ponad sześć dekad algorytm Dijkstry był niekwestionowanym władcą dróg, światłowodów i rezerwacji lotniczych. Aż do teraz, kiedy grupa naukowców z Chin udowodniła, że przez wiele lat wszyscy zadawaliśmy złe pytanie.

Certyfikat nietykalności

Algorytm Dijkstry to fundament informatyki. Jest tak dobry, że jeszcze w 2024 roku Robert Tarjan (legenda teorii grafów, laureat Nagrody Turinga w 1986 roku) wraz ze współpracownikami zdobył prestiżową nagrodę na konferencji FOCS za udowodnienie, że Dijkstra jest optymalny. Oznaczało to, że matematycznie nie da się znaleźć najkrótszej ścieżki szybciej. Wydawało się, że temat jest zamknięty.

Jednak zaledwie osiem miesięcy później zespół z Uniwersytetu Tsinghua pod kierownictwem Rana Duana opublikował artykuł, który zburzył ten mur. To praca z 2025 roku, ale uznaliśmy, że temat ciekawy, w sam raz na weekend.

Pułapka definicji: co właściwie liczymy?

Jak to możliwe, że ktoś pobił algorytm uznany za „najlepszy z możliwych”? Okazało się, że Tarjan i cała reszta świata wpadli w pułapkę definicji.

Dowód na optymalność Dijkstry zakładał, że algorytm musi nie tylko podać odległość, ale też wyprowadzić wszystkie punkty na trasie posortowane według dystansu. Grupa z Tsinghua zauważyła coś, co w akademickich kuluarach przyjmowano już od 1984 roku: znalezienie najkrótszej ścieżki wcale nie wymaga sortowania wszystkiego po drodze. Problem brzmi „znajdź odległość”, a nie „posortuj miasto”.

Nowa granica prędkości

Chiński zespół połączył stare metody (algorytm Bellmana-Forda) z nowatorskim trikiem „rekurencyjnego częściowego porządkowania”. Zamiast sprawdzać każdą uliczkę po kolei, zaczęli grupować węzły i badać tylko ich „reprezentantów”. Wynik to nowa złożoność obliczeniowa. To pierwszy taki wyłom w „suficie” wydajności wyznaczania trasy od dekad.

Warto jednak postawić tu ważną gwiazdkę: to odkrycie to przede wszystkim trzęsienie ziemi w teorii algorytmów. W świecie rzeczywistym – tym, w którym działają serwery Google czy systemy routingowe (bo nie tylko o nawigację tu chodzi, także wyznaczanie tras pakietów danych i wiele więcej) – od dawna rzadko używa się „czystego” Dijkstry. Inżynierowie stosują tam heurystyki (jak A*; jeden z najpopularniejszych algorytmów heurystycznych wyszukiwania ścieżki w grafie, stosowany powszechnie w nawigacji GPS, ale też np. w sztucznej inteligencji w grach wideo), hierarchie grafów i zaawansowany precomputing, które w praktycznych zastosowaniach i tak wykraczają poza ramy tego odkrycia. Chiński zespół udowodnił jednak coś ważniejszego: matematyczny mur, który uważaliśmy za nieprzekraczalny, właśnie runął.

Lekcja dla nas wszystkich

Ta historia to coś więcej niż ciekawostka dla programistów. To mocna lekcja o tym, jak ramy, w których osadzamy problem, stają się naszymi ograniczeniami. Dijkstra był najlepszy w rozwiązywaniu zadania „najkrótsza ścieżka z posortowanym wynikiem”. Świat potrzebował po prostu „najkrótszej ścieżki”.

Traktowaliśmy te dwa problemy jako jedność przez dekady tylko dlatego, że nikt nie zapytał: „czy to sortowanie jest nam w ogóle potrzebne?”. Najbardziej ugruntowany algorytm świata został pokonany nie przez potężniejszy procesor, ale przez kogoś, kto zakwestionował samą definicję limitu.

Największa mapa Wszechświata gotowa. Właśnie zaczyna się trzęsienie ziemi w świecie fizyki

Oh, gasp! Yet another fawning #tribute to #Dijkstra, this time for his whimsical musings on the enigma that is #APL. ✉️🌐 Because nothing screams cutting-edge computer science like an old letter from 1982 unearthed with the help of an entire committee. 🤦‍♂️📜
https://www.jsoftware.com/papers/Dijkstra_Letter.htm #ComputerScience #Nostalgia #1982Letter #HackerNews #ngated

A Letter from Dijkstra on APL

https://www.jsoftware.com/papers/Dijkstra_Letter.htm

#HackerNews #Dijkstra #APL #programming #history #computing #education #softwaredevelopment

I have learnt about Dijkstra using Leonardo numbers (basically like Fibonacci, but his first name was Leonardo) to virtually treat indexed array as binary tree in 1981... and my head kinda exploded:

So you can have binary tree without pointers and all this stuff! Just by knowing how far ahead you need to look into array.

https://en.wikipedia.org/wiki/Smoothsort

#permacomputing #dijkstra #programming #sort #algorithm

New #blog post: Monocultures Considered Harmful or: Why Linux Nerds Should Give BSD and Other "Weird" OSes a Try

https://rldane.space/monocultures-considered-harmful-or-why-linux-nerds-should-give-bsd-and-other-weird-oses-a-try.html

545 words

cc: my wonderful #chorus: @joel @dm @sotolf @thedoctor @pixx @orbitalmartian @adamsdesk @krafter @roguefoam @clayton @giantspacesquid @Twizzay @stfn @ay

(I will happily add/remove you from the chorus upon request! :)

#rlDaneWriting #blost #Linux #BSD #RunBSD #FreeBSD #OpenBSD #EdsgerDijkstra #Dijkstra #monoculture #monocultures #ConsideredHarmful

@AlSweigart ...or, when we talk about Dijkstra's algorithm, why not make it O(m log^(2/3) n)!? 😜

Breaking the Sorting Barrier for Directed Single-Source Shortest Paths:

https://arxiv.org/abs/2504.17033

To achieve this, the researchers _combine_ Dijkstra’s algorithm with Bellman-Ford algorithm - incredible stuff! 🤓

@shanecelis

#Algorithm #Algorithms #Paper #ShortestPath #Dijkstra

E.W.Dijkstra Archive

https://www.cs.utexas.edu/~EWD/welcome.html

#HackerNews #EWDijkstra #Archive #computer #science #programming #history #Dijkstra #algorithms #research

💡 #Programming is first and foremost about thinking, reflecting and designing solutions, not just typing random code.

Behind every line there is an idea, a mental architecture that transforms complex problems into clear steps.

🗣️ As Edsger #Dijkstra says, "Programming is the art of organising and selecting thoughts, not keys."

Without a clear mind, code remains just empty sequences.

#softwaredevelopment #computerclasses

👴✨ Behold, the sacred tomb of Dijkstra’s #manuscripts, where mortals may dare to glimpse the unspeakable #wisdom of computing’s messiah! 🗂️🔍 Navigate the labyrinth of numerically-coded relics, because who needs intuitive organization when you can just guess which century-old gem might hold the secret to your next #debugging nightmare? 🤓🔢
https://www.cs.utexas.edu/~EWD/ #Dijkstra #Computing #History #HackerNews #ngated

A new way to find the best routes - faster, smarter, elegant. It reminds me that simplicity often hides deep beauty in mathematics. #ShortestPaths #Dijkstra #Algorithms #Math #Innovation #ComputerScience

A New Algorithm Makes It Faste...

#math #dijkstra

An ingenious new route to shortest path solutions.

https://www.wired.com/story/new-method-is-the-fastest-way-to-find-the-best-routes/

#Dijkstra already said it: *"As a result of the educational trend away from intellectual discipline, the last decades have shown in the Western world a sharp decline of people's mastery of their own language"* https://www-cs-utexas-edu.translate.goog/~EWD/transcriptions/EWD06xx/EWD667.html?_x_tr_sl=auto&_x_tr_tl=es&_x_tr_hl=en&_x_tr_pto=wapp

On the foolishness of "natural programming languages."

https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html

#Dijkstra #Programming

@r_alb

"LLMs considered harmful."

If only #Dijkstra were around to pen that.

Faster to the shortest path:
#dijkstra #graph #computerscience #mathematics #research
📏

https://www.quantamagazine.org/new-method-is-the-fastest-way-to-find-the-best-routes-20250806/

New Method Is the Fastest Way To Find the Best Routes - Slashdot

Well, **that's a new worthy of attention**, an algorithm beating #Dijkstra

https://science.slashdot.org/story/25/08/08/1550231/new-method-is-the-fastest-way-to-find-the-best-routes

On the foolishness of "natural language programming"
prof.dr.Edsger W.Dijkstra
https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html

#ai #programming #dijkstra

Edgser Dijkstra is a giant in the field of software engineering. Over his career he's said a lot about the way developers go about their business, including how developers need bugs. I don't necessarily agree, but there's a lot to think about there.

#friendgineers #dijkstra

https://friendgineers.rosenshein.org/posts/2025/05/07/

Episódio 162 – BASIC.BAS – Parte B

https://retropolis.com.br/2025/04/16/episodio-162-parte-b/

#Podcast #AcornSystemBASIC #Amiga #AMOS #amstrad #arm #AtariSTBASIC #AtomBASIC #BAS #BASIC #BASIC68 #BASIC69 #BASICA #BBCBASIC #CARealizer #Commodore #copyleft #CPC #DarkBASIC #DB2 #Dijkstra #gwbasic #IBMBASIC #LibreOffice #LinguagemDeProgramao #LocomotiveBasic #MallardBASIC #MICROBASIC #microsoft #MSX #MSXBASIC #Picocalc #podcast #QB64 #qbasic #QuickBASIC #Retrocomputao #retrogaming #Retrpolis #s

Episódio 162 – BASIC.BAS – Parte B

https://retropolis.com.br/2025/04/16/episodio-162-parte-b/

#Podcast #AcornSystemBASIC #Amiga #AMOS #amstrad #arm #AtariSTBASIC #AtomBASIC #BAS #BASIC #BASIC68 #BASIC69 #BASICA #BBCBASIC #CARealizer #Commodore #copyleft #CPC #DarkBASIC #DB2 #Dijkstra #gwbasic #IBMBASIC #LibreOffice #LinguagemDeProgramao #LocomotiveBasic #MallardBASIC #MICROBASIC #microsoft #MSX #MSXBASIC #Picocalc #podcast #QB64 #qbasic #QuickBASIC #Retrocomputao #retrogaming #Retrpolis #s

Episódio 162 – BASIC.BAS – Parte B

https://retropolis.com.br/2025/04/16/episodio-162-parte-b/

#Podcast #AcornSystemBASIC #Amiga #AMOS #amstrad #arm #AtariSTBASIC #AtomBASIC #BAS #BASIC #BASIC68 #BASIC69 #BASICA #BBCBASIC #CARealizer #Commodore #copyleft #CPC #DarkBASIC #DB2 #Dijkstra #gwbasic #IBMBASIC #LibreOffice #LinguagemDeProgramao #LocomotiveBasic #MallardBASIC #MICROBASIC #microsoft #MSX #MSXBASIC #Picocalc #podcast #QB64 #qbasic #QuickBASIC #Retrocomputao #retrogaming #Retrpolis #s

Episódio 162 – BASIC.BAS – Parte B

https://retropolis.com.br/2025/04/16/episodio-162-parte-b/

#Podcast #AcornSystemBASIC #Amiga #AMOS #amstrad #arm #AtariSTBASIC #AtomBASIC #BAS #BASIC #BASIC68 #BASIC69 #BASICA #BBCBASIC #CARealizer #Commodore #copyleft #CPC #DarkBASIC #DB2 #Dijkstra #gwbasic #IBMBASIC #LibreOffice #LinguagemDeProgramao #LocomotiveBasic #MallardBASIC #MICROBASIC #microsoft #MSX #MSXBASIC #Picocalc #podcast #QB64 #qbasic #QuickBASIC #Retrocomputao #retrogaming #Retrpolis #s

Episódio 162 – BASIC.BAS – Parte B

https://retropolis.com.br/2025/04/16/episodio-162-parte-b/

#Podcast #AcornSystemBASIC #Amiga #AMOS #amstrad #arm #AtariSTBASIC #AtomBASIC #BAS #BASIC #BASIC68 #BASIC69 #BASICA #BBCBASIC #CARealizer #Commodore #copyleft #CPC #DarkBASIC #DB2 #Dijkstra #gwbasic #IBMBASIC #LibreOffice #LinguagemDeProgramao #LocomotiveBasic #MallardBASIC #MICROBASIC #microsoft #MSX #MSXBASIC #Picocalc #podcast #QB64 #qbasic #QuickBASIC #Retrocomputao #retrogaming #Retrpolis #s

Edsger W. Dijkstra wrote 'On the Foolishness of "Natural Language Programming"' in 1978
https://dl.acm.org/doi/10.5555/647639.760596

Why is it that so many who are discussing this in the context of vibe coding, are willfully omitting that they're discussing a 47 year old essay?

#VibeCoding #Dijkstra #AI #LLM

🚀 Ah, #Dijkstra, once again reminding us that computers are just too dumb to understand our witty banter. 🤖💬 Apparently, expecting machines to "think" was just another pipe dream for those who find #programming syntax tedious and reality even more so. #Logic and precision? Who needs 'em when you can just argue with a compiler about semantics? 😂
https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html #Humor #AI #HackerNews #ngated

Nikolaus #Wirth considered harmful (for the "letters to the editor" sent-in by Edsger W. #dijkstra

https://www.cs.utexas.edu/~EWD/ewd13xx/EWD1308.PDF

#GOTO #BASIC #StructuredProgramming

Today I had an all-day seminar about "Code Critic" at MeWi Uni Bonn. I organized the talks of the students as a symposium. The last talk was about the #GOTO controversy that started in the end of the 1960s with a rant from Edsger W. #Dijkstra and lasts until today. The student's talk ended with a self-made meme.

#BASIC #CCS #CriticalCodeStudies #Paperware #ComputerArchaeology

#FFmpeg 7.0.1 "#Dijkstra" has been released (#Libav / #MultimediaFramework) https://ffmpeg.org/

#FFmpeg 7.0 "#Dijkstra" has been released (#Libav / #MultimediaFramework) https://ffmpeg.org/