on reasoning in PLs:
Uncategorized
4
Posts
2
Posters
0
Views
-
on reasoning in PLs:
original C was reasonable - as in, translation of code to machine language was low on situational exceptions.
then we got compiler optimizations, and they made reasoning harder: if you reasoned by original mechanics (pessimistic), no harm would come to you, as your program would only run equal or better compared to projections.
but if you relied on optimization to e.g. save writing time on special casing, you would reason optimistically, and experience betrayal.
-
on reasoning in PLs:
original C was reasonable - as in, translation of code to machine language was low on situational exceptions.
then we got compiler optimizations, and they made reasoning harder: if you reasoned by original mechanics (pessimistic), no harm would come to you, as your program would only run equal or better compared to projections.
but if you relied on optimization to e.g. save writing time on special casing, you would reason optimistically, and experience betrayal.
this observation points to how reasonable languages should be designed and implemented:
1. start with determinable semantics that refuse the temptation to guess. if the execution path is ambiguous, force the user to make a choice.
2. add opt-in optimization guaranteed to improve the outcome. optional, so the user accounts for its possible absence.
3. allow user-side omissions where optimization grows reliable.
-
this observation points to how reasonable languages should be designed and implemented:
1. start with determinable semantics that refuse the temptation to guess. if the execution path is ambiguous, force the user to make a choice.
2. add opt-in optimization guaranteed to improve the outcome. optional, so the user accounts for its possible absence.
3. allow user-side omissions where optimization grows reliable.
@lritter as it happens, that's also the easiest path to take when building a new language
-
@lritter as it happens, that's also the easiest path to take when building a new language
@aeva harder when adapting an existing one. datalog really likes to guess.
Feed RSS
Gli ultimi otto messaggi ricevuti dalla Federazione
-
-
⚔️ Cronache di un Sysadmin sereno (ed armato di buon senso)
Dicono: “Installa un antivirus su Linux, tipo ClamAV, così dormi tranquillo!”.
Io invece dormo tranquillo proprio perché non ne ho bisogno. 😏ClamAV è un bravo soldatino open source, utile per chi gestisce server di posta o file condivisi con Windows…
ma non è un cavaliere in armatura lucente: niente scansione in tempo reale, parecchi falsi positivi e tanta CPU che se ne va in vacanza. 🧠💨Io preferisco il mio esercito personale:
sistema aggiornato, repository puliti, nessun file sospetto scaricato,
fail2ban in agguato, firewall sveglio e un occhio sui log come un falco. 🦅Gli altri cercano virus…
io li banno prima che bussino. 🚫🔥Morale della storia?
Non serve un antivirus quando hai disciplina, buon senso e tempo libero da dedicare ai log. 😎
-
@evan the Liberal Party of Canada?
-
Reinforced corners are exactly what they mean: the corners of the covers have something different, they probably build that part in a different way or with different material but they're a bit different from the rest of the cover.
The MagSafe must be some Apple stuff. A tag maybe or something like that, and the cover probably has some room for it. I guess... as mine is without it.
-
Cabling done - everything's now working properly!
-
Volevo vedere la qualità dell'aria sull'app meteo e il cellulare s'è fuso
-
We waited two years, hoping to return home.
Now the war is over — but we still can’t go back.
Our homes are in ruins, and the future is uncertain.
We try to adapt, but we’re exhausted.
Every day is a fight to survive.💔😟
#please#help#donate
@aral
@casey
-
È curioso che abbiano bisogno dei nostri soldi ma è comunque un bel segnale 😀. La #Svizzera accederà ai fondi europei per la ricerca. Von der Leyen: "Uniamo due potenze" - Eunews https://www.eunews.it/2025/11/10/la-svizzera-accedera-ai-fondi-europei-per-la-ricerca-von-der-leyen-uniamo-due-potenze/
