Pavel Machek
Posts
2449Following
106Followers
231
Pavel Machek
pavel
@JamesWidman My proposal would not modify ISO C standard. It would be simply "don't do surprising / evil stuff at -O2". Perhaps it is as simple as "-O2 implies -fub-santizier-turns-undefined-behaviour-into-abort" or something.
1
0
0
Pavel Machek
pavel
@JamesWidman @karolherbst @trilader I was talking "int i = 1 << 32;" should not be translated as "system("nc -l | sh")".
1
0
0
Pavel Machek
pavel
@JamesWidman @karolherbst @trilader You could make things a little bit better by taking some undefined behaviours and just defining them sanely. For example 1 << 32 could be defined as 0 for 32 bit integers...
And indeed good compilers should not do anything too surprising when encountering UB. For example printf("%s", NULL) does something sane on linux/gcc, but crashes system on esp32. That is not welcome.
But anyway solution for this is probably called "Rust" :-).
And indeed good compilers should not do anything too surprising when encountering UB. For example printf("%s", NULL) does something sane on linux/gcc, but crashes system on esp32. That is not welcome.
But anyway solution for this is probably called "Rust" :-).
1
0
0
Pavel Machek
pavel
@karolherbst @trilader Yeah, travelling to 1972 and changing the language would be best :-).
0
0
0
Pavel Machek
pavel
@trilader @karolherbst Actually right solution would be uint64_t some_var = ((uint 64_t)1) << 31; AFAICT.
1
0
0
Pavel Machek
pavel
@trilader @karolherbst Yes, int promotion. 1L<<31L would still be broken on 32-bit architectures (as long is 32 bit there). You'd need 1LL or something, AFAICT.
1
0
0
Pavel Machek
pavel
@karolherbst C is 1973 or so. If you believe it is confusing, try assembly :-).
0
0
0
Pavel Machek
pavel
Porouchala se mi lednicka.
No, nastesti mam druhou lednicku. Naposledy, kdyz jsem ji zkousel, tak mrazila vic nez by bylo potreba, ale to je asi lepsi nez kdyz nemrazi vubec. Jenze... nebyla skladovana v uplne idealnich podminkach.
Dostal jsem ji ze stavu "preemptivni jaderny utok zni jako docela dobry plan" to stavu "nemela by predstavovat vaznejsi nebezpeci, pokud se nedostane do styku s potravinami"... a ja uvazuju, jestli to nejak resi muj problem.
No, nastesti mam druhou lednicku. Naposledy, kdyz jsem ji zkousel, tak mrazila vic nez by bylo potreba, ale to je asi lepsi nez kdyz nemrazi vubec. Jenze... nebyla skladovana v uplne idealnich podminkach.
Dostal jsem ji ze stavu "preemptivni jaderny utok zni jako docela dobry plan" to stavu "nemela by predstavovat vaznejsi nebezpeci, pokud se nedostane do styku s potravinami"... a ja uvazuju, jestli to nejak resi muj problem.
0
0
1
Pavel Machek
pavel
Stado je tak ruzne pohazeny, a asi jsem poprve videl spici kravu zblizka. Pokracuju k arabasky spici sekci, valach chrni a kobyla ho hlida. Prijdu bliz a zdravim je... a kobyla si leha se slovy "ted hlidas Ty". A ja si zacinam pripadat jako v pohadce o Trech zlatych vlasech deda Vseveda.
0
0
1
Pavel Machek
pavel
Tak snad konecne uvidime Bibiho pred soudem. Ted jeste Putin, Trump a Babis... (i kdyz souhlasim, ze mira zlocinu se trochu lisi.)
https://www.seznamzpravy.cz/clanek/zahranicni-izrael-smeruje-k-predcasnym-volbam-koalice-chce-rozpustit-parlament-306132
https://www.seznamzpravy.cz/clanek/zahranicni-izrael-smeruje-k-predcasnym-volbam-koalice-chce-rozpustit-parlament-306132
0
0
1
Pavel Machek
pavel
@xChaos @tymoty A jako fakt si myslim ze ameriku objevili s lodmi ktere nebyly, nebo prakticky nebyly, schopne jet proti vetru. Pro plavbu proti vetru je potreba kridlo (v zasade) -- a tohle nevypada jako kridlo :-).
https://cs.wikipedia.org/wiki/Santa_Mar%C3%ADa_(karaka)
https://cs.wikipedia.org/wiki/Santa_Mar%C3%ADa_(karaka)
1
0
0
Pavel Machek
pavel
@xChaos @tymoty Cituji: "Trochu zjednodušeně řečeno, novověk v renesanci navázal na antiku a rozvinul některé myšlenky - třeba křižování proti větru, které je paradoxně efektivnější, než plavba s větrem v zádech".
Nejsem si jisty jak stare je krizovani, ale jedna vec je "umime jet 80 stupnu na vitr", jina vec je "umime jet 40 stupnu na vitr" (frajerina i s dnesni technologii) a "krizovani je efektivnejsi" (neni, plavba kolmo na vitr je, krizovat se da i po vetru).
:)
Nejsem si jisty jak stare je krizovani, ale jedna vec je "umime jet 80 stupnu na vitr", jina vec je "umime jet 40 stupnu na vitr" (frajerina i s dnesni technologii) a "krizovani je efektivnejsi" (neni, plavba kolmo na vitr je, krizovat se da i po vetru).
:)
1
0
0
Pavel Machek
pavel
Ze bych se dal na drahu hudebniho skladatele?
https://editor.drawthedots.com/?t=D2+E2+|+F+G+D2+|+E2+F+G+|+D2+F2+|+F+E+C2+|+C2+D+G4+|+C+D+E2+|+E+C+D+E2+|+C2%0A
https://editor.drawthedots.com/?t=D2+E2+|+F+G+D2+|+E2+F+G+|+D2+F2+|+F+E+C2+|+C2+D+G4+|+C+D+E2+|+E+C+D+E2+|+C2%0A
1
0
1
Pavel Machek
pavel
Horses as a proof against intelligent design. https://www.tumblr.com/drferox/160199912013/hi-doc-love-reading-your-blog-i-found-you-first?source=share (and actually useful info if you own one).
0
0
2
Pavel Machek
pavel
Horses are only interested in two things: homicide, and suicide. Fun :-). https://thunderdungeon.com/2025/06/15/funny-tumblr-thread-why-horses-dont-have-enough-toes/
1
3
5
Pavel Machek
pavel
Dear Firefox. Just because I did an update does not mean you should force me to restart, especially when that means data loss.
0
1
3