Posts by footjamfan@freesoftwareextremist.com
(DIR) Post #A68UNW0AmAwQPgglAe by footjamfan@freesoftwareextremist.com
2021-04-11T11:55:08.909741Z
0 likes, 0 repeats
@methyltheobromine nothing like a good flamewar to get the blood pumping
(DIR) Post #A68UWrTGK7F3bZkfOi by footjamfan@freesoftwareextremist.com
2021-04-11T11:56:50.315630Z
0 likes, 0 repeats
@TransGal4872 @methyltheobromine ahh sorry, didn't realise we were using C (read: wrong) definitions of standard computing terms.
(DIR) Post #A68V05ZywpH9l8pcRM by footjamfan@freesoftwareextremist.com
2021-04-11T12:02:06.979465Z
0 likes, 0 repeats
@TransGal4872 @methyltheobromine okay, I'll bite, what definition of non-determinism are you using here?(because irrespective of what it is, it wouldn't have any influence on the halting problem, which is a limitation of what is theoretically computable)
(DIR) Post #A68Y84ls8W1HQptREu by footjamfan@freesoftwareextremist.com
2021-04-11T12:37:10.579777Z
0 likes, 0 repeats
@TransGal4872 @methyltheobromine yes that was the definition I was using.The P-NP split is about p-time vs np-time problems, i.e talking about the runtime of computable problems.
(DIR) Post #A68YfE8cKcG62TL7Uu by footjamfan@freesoftwareextremist.com
2021-04-11T12:43:10.127766Z
0 likes, 0 repeats
@TransGal4872 @methyltheobromine an OS being non-deterministic implies nothing about the computability of analysis used to verify it. The halting problem is a classical reference for the challenges of static analysis - halting is uncomputable, and therefore all static analyses must always be an overapproximation. It doesn't matter if the thing you're analysing is non-deterministic or not, that won't change the fact that your analysis can never be complete. Techniques such as abstract interpretation can indeed handle non-deterministic programs (in fact, path insensitive analyses are exactly that), but it doesn't change the computability of the problem.
(DIR) Post #A68YnVVNe2HaDcw2hU by footjamfan@freesoftwareextremist.com
2021-04-11T12:44:39.734549Z
0 likes, 0 repeats
@MK2boogaloo it was just a meme to the effect of use emacs instead
(DIR) Post #A6BcyHC0BIpKJ08pcW by footjamfan@freesoftwareextremist.com
2021-04-13T00:15:34.534374Z
2 likes, 0 repeats
WE DID IT. FREEDOM WINS AGAIN: https://www.fsf.org/news/statement-of-fsf-board-on-election-of-richard-stallman
(DIR) Post #A6Bd1te5fcOMQz0QV6 by footjamfan@freesoftwareextremist.com
2021-04-13T00:16:14.955322Z
0 likes, 0 repeats
HahahahahahahahahhHahHHahagagagagaggagagagahahhagahahahagaghagahagahagahaghahahahahahahhahahahahahhahahahahahhahahahhahahahahahhahah. VICTORY!!!!
(DIR) Post #A6Bk6m0aBy5bsInbFo by footjamfan@freesoftwareextremist.com
2021-04-13T01:35:33.920383Z
5 likes, 6 repeats
Based FSF India: https://fsf.org.in/news/board-statement-2021/
(DIR) Post #A6BkD2lSo28Ha3iWC8 by footjamfan@freesoftwareextremist.com
2021-04-13T01:36:41.752887Z
1 likes, 0 repeats
FSFE: NOoooooo, you can't just re-elect RMSFSFI: Hahah, RMS go BRRRRRRR
(DIR) Post #A6EwBn2lYJ3fSQrIAK by footjamfan@freesoftwareextremist.com
2021-04-14T14:35:04.738313Z
1 likes, 0 repeats
Reinstalled GNU LibreJS on my main firefox profile again. Now everytime an EVIL PROPRIETARY site breaks on me, I am reminded that I am LIVING in FREEDOM!!!!!!!!!!!!!!!!!!!
(DIR) Post #A6EylfY16DaoXhiD0S by footjamfan@freesoftwareextremist.com
2021-04-14T15:03:58.759231Z
0 likes, 0 repeats
WTH? BASED PG takes one for the RMS team: https://news.ycombinator.com/item?id=26562108
(DIR) Post #A6EypJpBo5cAKPU79M by footjamfan@freesoftwareextremist.com
2021-04-14T15:04:38.940987Z
0 likes, 0 repeats
Even gets FLAGGED on HN. Amen PG, Amen.
(DIR) Post #A6EzCDcB3qwfjGJm0u by footjamfan@freesoftwareextremist.com
2021-04-14T15:08:46.878087Z
0 likes, 0 repeats
The people on HN might be INSUFFERABLE, but at least PG is pretty BASED
(DIR) Post #A6EzWryQiXIagwZcPI by footjamfan@freesoftwareextremist.com
2021-04-14T15:12:31.166262Z
0 likes, 0 repeats
..and so the ATTACK on FREEDOM begins: https://martin.kleppmann.com/2021/04/14/goodbye-gpl.html
(DIR) Post #A6EzgAcOlZWF7hhffs by footjamfan@freesoftwareextremist.com
2021-04-14T15:14:11.801379Z
0 likes, 0 repeats
> PROPRIETARY companies don't like the AGPL so let's ditch itYou FOOL, that's the entire POINT!!!
(DIR) Post #A6F04iY6GSQVJ7OjHU by footjamfan@freesoftwareextremist.com
2021-04-14T15:18:38.324890Z
0 likes, 0 repeats
Hahah, it's been FLAGGED to death. Try again next time PROPRIETARY SHILL!!!
(DIR) Post #A6FcU7YAFEk2LPy5QG by footjamfan@freesoftwareextremist.com
2021-04-14T22:29:01.410818Z
0 likes, 0 repeats
@wire yeah on HN
(DIR) Post #A6FcaGxs9cgnHTvUtE by footjamfan@freesoftwareextremist.com
2021-04-14T22:30:07.684072Z
0 likes, 0 repeats
@wire huh, surprising to see such a misleading article come from Kleppman, who otherwise I thought was a respectable academic, really expected better.
(DIR) Post #A6Fcyli7UdeTaVErj6 by footjamfan@freesoftwareextremist.com
2021-04-14T22:34:33.472926Z
0 likes, 0 repeats
@methyltheobromine @orekix this looks like it might be the language selection screen for the Astrix and Obelix racing game, in which case that's not a donkey, but a boar, and the full animation has the boar eating the flag