CJefferson

236 ms·

2491.
by CJefferson 10y ago
Just using a CPU intensive application I work on (GAP, a computer algebra system), on my laptop. I'm hoping we can kill our current windows build, and require people install bash for windows.
2492.
by CJefferson 10y ago
The xor is shorter.
2493.
by CJefferson 10y ago
I can't comment on the X performance, but I am finding performance of command line applications is a couple of % faster on windows than it is on Linux (if they do little / no I/O).
2494.
by CJefferson 10y ago
Why would you prefer multiple ssh sessions over a single ssh session and tmux with iTerm2, which will let you keep the tabs (and when you make a new tab, automatically make it a remote connection). Look at 'tmux -CC', it's re
2495.
by CJefferson 10y ago
The 'forces' which hold particles together only operate over a very short distance. There may technically be larger 'particles', but they would only exist for a tiny amount of time before exploding apart.
2496.
by CJefferson 10y ago
Several of these don't work, as it's assumed you tackle smaller values in another way, before your -> infinity method kicks in, so most of these would be easily knocked off.
2497.
by CJefferson 10y ago
You need to guide people around more accurately. Here is a stream of thought visiting the site. Bla bla how to read, let's get to the content, scroll down fast. Woops, went too far, now in footer. Put the content up-front when people a
2498.
by CJefferson 10y ago
Using 'true' C99 is a bad idea, because the headers of many libraries don't work if you use -std=c11. gcc's default has always been the 'gnu' variant, so previously gnu90, now gnu99. I has similar problems when
2499.
by CJefferson 10y ago
Never have I read a post where Poe's law applied my strongly. If you are serious, I think perhaps you are trying to solve too many social problems with technological ones -- see the recent DAO drainage -- if devices had wallets to pay
2500.
by CJefferson 10y ago
The advantage is it gives you an escape route if Typescript ends up dying. I worked on a project that had to do a giant dead language -> Java conversion, and it was extremely painful.
2501.
by CJefferson 10y ago
The problem is that explicit customer feedback doesn't line up with reality. Many companies have tried making slightly thicker phones with bigger batteries (which many people claim is what they want), no-one buys them. Companies make t
2502.
by CJefferson 10y ago
Trains per hour
2503.
by CJefferson 10y ago
The two aren't really comparable -- SageMath integrates a huge list of systems which don't have any support in Julia at all (for example, group theory, my personal area).
2504.
by CJefferson 10y ago
That would mean my computer was spending 50% of it's battery life displaying on the screen, which I'm afraid is clearly untrue. If not running games it's less than 5%.
2505.
by CJefferson 10y ago
The big saving of no screen is no backlight for the screen, which happens no matter what low-tech rendering you are using.
2506.
by CJefferson 10y ago
With regards (3), my problem in shell is that it is very hard to spawn children without risking overloading the machine. What I would like in bash is some easy way to limit the number of background processes I can spawn, and to just wait wh
2507.
by CJefferson 10y ago
Is there an easy overview page to see packages which are failing to build on Mac, maybe even with a link to the failing build output?
2508.
by CJefferson 10y ago
A better 'bus factor'. It would greatly suprise me if either Atom of VSCode shut up tomorrow. They couldn't entirely shut up, as they are both entirely open source projects. The Sublime Text website could just close tomorrow
2509.
by CJefferson 10y ago
This is exactly what Nix does, but not all libraries are currently 'Nixified', and the ones which are aren't consistent. Apple doesn't help this -- they want you to just install xcode and the most recent SDK and nothing
2510.
by CJefferson 10y ago
You mean why write LaTeX? I write latex because most of my work eventually ends up as PDFs in journals, and there nothing comes close to comparing to LaTeX's quality. When I use markdown I end up using LaTeX extensions to write the mat
2511.
by CJefferson 10y ago
I've started looking at this. Part of the problem is that nix wants (reasonably) to do "everything itself", including (for example) bundling the OS X SDKs itself. At the moment that's broken (the 10.9 SDK is installed in
2512.
by CJefferson 10y ago
jackson_1, if you read this, your posts are being marked as [dead]. jackson_1 posted a list of what they feel is order of difficultly, just giving a little snippet: 1:Pong 2:Minefield 3:Tic-tac-toe 4:Memory Puzzle ... 44:Stratego 45:Risk 4
2513.
by CJefferson 10y ago
It's not perfect, I'll admit. I'm probably in a special area -- algorithms research. I tend not to use many libraries, and I'm often taking code written 10-20 years ago and wanting to get it working. The code is often VE
2514.
by CJefferson 10y ago
No, I'm getting sick of my code being broken. My C code from 15 years ago works fine, but code in other languages can end up breaking within a year. I've moved much of my development back to C++ just so I can have reasonable confi
2515.
by CJefferson 10y ago
I find the compasses in most phones seem almost useless, as they are confused by themselves, and other electronic devices which are nearby. Will this be any more accurate? I would choose a phone specially for a better compass, as I often fi
2516.
by CJefferson 10y ago
Hey, we did lots of maths too! (Well not me personally, but lots was done). There is actually 12,418,001,077,381,302,684 semigroups of size 10. We only had to find 718,981,858,383,872 by brute force search (which still involved a whole bunc
2517.
by CJefferson 10y ago
Oh, nowhere, just dumped it as we generated it. In my experience storing these kinds of things often isn't that useful anyway, when proving correctness of the answer it's as easy to start from scratch as go through a trace of what
2518.
by CJefferson 10y ago
I've had a similar problem, there is nothing that useful I'm afraid. Probably best to look into general discussions of trees. One thing worth trying to do (if you can) is separate the generation of the tree from the tree itself --
2519.
by CJefferson 10y ago
They are useful for exploratory maths. If someone has an idea for a theorem "All semigroups with properties X and Y are of type Z", while an automated proof might be major work, a simple check of all semigroups up to a certain siz
2520.
by CJefferson 10y ago
Darn, I had no idea one could get into the media with this kind of stuff. I had a much larger "proof", where we didn't bother storing all the details, in which we enumerated 718,981,858,383,872 semigroups, towards counting th

More ›