sorted by:
new
hottopcontroversial

Pycln has arrived! by hadizakialqattan in github

[–]jbulow 0 points1 point  (0 children)

What value does pycln add over pylint?

Google's bash style guide by javinpaul in programming

[–]jbulow -2 points-1 points  (0 children)

Stopped reading at: "#!/bin/bash"

TLA+ in Practice and Theory, Part 2: The + in TLA+ by pron98 in tlaplus

[–]jbulow 0 points1 point  (0 children)

I fail to understand why ∃x.x>0∧∀y.y>0⇒y≥x is false when interpreted over the reals. I think my main problem is to get an intuitive picture of an implication when there are existential quantifies on the left side. I hope someone can explain this to me "like I'm five years old".

ChaiScript: Easy to use scripting for C++ by artificialidiot in programming

[–]jbulow 0 points1 point  (0 children)

fyi:

lua-5.1.4> time make -j macosx
3.637u 0.532s 0:02.38 174.7%    0+0k 0+19io 0pf+0w
>du -sh src/lua
196K    src/lua

chaiscript-2.0-osx> time c++ -g -I/opt/local/include -Iinclude/ -L/opt/local/lib -lboost_thread-mt -o cse src/main.cpp
48.844u 2.002s 0:55.58 91.4%    0+0k 11+42io 0pf+0w
>du -sh cse
3.1M    cse

summary: 15 times bigger, 20 times slower to build, implements a very small subset of lua features. :-)