57 karma · joined October 5, 2022
load(logic);
logic_simp (a or (b or false or (a or b)));
characteristic_vector (a xor b);
zhegalkin_form ((a implies b) or c);
e : ((a or b) xor c) and d$
logic_equiv (e, zhegalkin_form (e));
logic_diff (a or b or c, a);
demorgan (boolean_form (a nor b nor c));
etc. there's more stuff in docs :lisp (+ 2 2)
solve(f(x)^2-1,x);
integrate(x^2,x);
2^1024;
factor(30!);
a:1
b:2
a+b;
sqrt(a^2+b^2);
expr: log((x+2)*(x-2))+log(x);
ratsimp(expr);
fullratsimp(expr);
trigsimp(2*cos(x)^2 + sin(x)^2);
solve(x^3=1,x);
diff(sin(x), x);
float([%e,%pi,%phi,%gamma]);
f(x):=x^2;
f(10);
taylor(sin(x),x,0,5);
plot2d(x^2-x+3,[x,-10,10]);
plot2d([x^2, x^3, x^4 -x +1] ,[x,-10,10]);
f(x,y):= sin(x) + cos(y);
plot3d(f(x,y), [x,-5,5], [y,-5,5]);also the comment originally read "What does it have to do with the crash", which was immediately edited to "How do you know Biden forcing them back to work has anything to do with the crash?"
i will respond to the last one i saw: i don't. i'm pointing out that the wikipedia article about the 2022 union strike makes an argument that the strike was explicitly about safety. here's a vice article that goes into awful and terrifying details <https://www.vice.com/en/article/pkp9m8/what-choice-do-i-have...>. biden's forced solution did not address the original safety concerns beyond "1 day of sick leave".
(edit: 2 minutes after posting this i got downvoted. the level of political discourse…)
"The rise of precision scheduled railroading has resulted in resource and staffing cuts; to compensate railroad companies have enacted strict attendance policies for employees. These policies eliminate any free time which workers have, requiring them to be effectively on-call for weeks at a time. Workers have complained of increased levels of stress and fatigue."
"Unions representing about 17,000 workers threatened to strike over the points system, but BNSF Railway sued and won a restraining order to prevent the unions from striking. The Railway Labor Act grants Congress the authority to intervene in any railway or airline strike. Under this authority, the National Mediation Board has mediated negotiations between multiple freight railroads and unions starting in June 2021."
"Early on September 15, Biden announced a deal had been reached to prevent a strike, including an immediate 14% wage increase, but only one day of paid leave per year rather than the 15 days of paid sick leave unions wanted." "In late November, after some unions had rejected the agreement, Biden asked Congress to pass the agreement into law."
"Writing for Jacobin, Barry Eidlin, associate professor of sociology at McGill University, said the message sent to the rail workers by the president and Congress was "shut up and get back to work." The Biden administration's intervention in the dispute was condemned by over 500 labor historians in an open letter to Joe Biden and Secretary of Labor Marty Walsh."
Wp starts its `background` analysis <https://en.m.wikipedia.org/wiki/2022_United_States_railroad_...> with `The rise of precision scheduled railroading has resulted in resource and staffing cuts; to compensate railroad companies have enacted strict attendance policies for employees. These policies eliminate any free time which workers have, requiring them to be effectively on-call for weeks at a time. Workers have complained of increased levels of stress and fatigue.` The bulk of the argument is supported by this vice article <https://www.vice.com/en/article/pkp9m8/what-choice-do-i-have...> which is frankly horrifying. It's a bunch of quotes from train conductors talking about falling asleep, being tired, taking caffeine pills, etc. It ends with a 2020 derailment. "A BNSF TRAIN CARRYING OIL TANKERS DERAILED IN WASHINGTON STATE IN 2020. WORKERS ARE WORRIED MORE CRASHES LIKE THIS WILL OCCUR UNDER THE NEW ATTENDANCE POLICY."
Wp again "Unions representing about 17,000 workers threatened to strike over the points system, but BNSF Railway sued and won a restraining order to prevent the unions from striking. The Railway Labor Act grants Congress the authority to intervene in any railway or airline strike. Under this authority, the National Mediation Board has mediated negotiations between multiple freight railroads and unions starting in June 2021." and there's your crux.
then a bunch of back and forth happens, and then it ends with biden/congress/senate doing their thing. it seems like the gist of the forced solution was to raise salaries and some sick leave, but no other mitigations.
wp again, "Writing for Jacobin, Barry Eidlin, associate professor of sociology at McGill University, said the message sent to the rail workers by the president and Congress was "shut up and get back to work." The Biden administration's intervention in the dispute was condemned by over 500 labor historians in an open letter to Joe Biden and Secretary of Labor Marty Walsh."
the only mistake you won't be able to correct from observing screenshot is the "look like org-mode" thing. it's https://www-cs-faculty.stanford.edu/~knuth/programs/color-mo... minor mode which lets you highlight arbitrary lines in a buffer.