j1vms

25 ms·

211.
by j1vms 10y ago
Unless, of course, you are Fox Mulder. Then it would matter not that it isn't quite career enhancing. And, it's exactly the kind of case you want to be on.
212.
by j1vms 10y ago
A less important aside: what license is this available under? Or what's the history behind this source release? Edit: .s files indicate: # Copyright: Public domain.
213.
by j1vms 10y ago
I understand other posters' concerns about the name, but I have to admit it evokes almost the same level of wry wit of Linus, when he christened 'git'. In fact, the reception this name is getting is quite ironic. Just think
214.
by j1vms 10y ago
And also probably a lot of job fields that existed then, that do not exist today considering the Industrial Age was on its way to hitting its peak in the following years.
215.
by j1vms 10y ago
I suspect wasm is a long-term bet on the part of web advocates (including Google and individuals like Eich) to ensure the web remains center stage in the age of mobile native apps that sit on top pretty powerful mobile hardware. As I under
216.
by j1vms 10y ago
Though for this specific discussion (which illustrates the uncountably infinite nature of the set of real numbers), it is useful to note that the class of realizable computers includes both analog and digital variants, though usually we are
217.
Snowden decries Russian surveillance bill as dangerous, urges Putin not to sign(washingtontimes.com)
76 points by j1vms 10y ago|31 comments
218.
by j1vms 10y ago
Indeed aware of that loan. "Virtual indebtedness" in the sense that the amount was relatively small to the UK when it was eventually repaid, the terms of repayment were very generous, and the repayment itself was very much the ful
219.
by j1vms 10y ago
If the Scots were to leave now (which IMHO is much much more likely now), Churchill will be rolling in his grave. The Great island itself surviving virtually intact from WW2 only to break itself apart due to something like this. Though one
220.
by j1vms 10y ago
Thanks for the pointer. It appears that proof assistants [0], like Aqda as you mentioned and one of its influences Coq [1], have the properties I were describing and indeed are examples of total functional programming [2]. [0] https:/
221.
by j1vms 10y ago
Somewhat off topic, could someone post a list or examples of non-trivial (or relatively, non-trivial) decidable languages that have implemented compilers/interpreters? I should say no requirement on supported hw architectures, nor cur
222.
by j1vms 10y ago
> It's true of any platform, but Etherium is at a far higher risk of getting hacked because the language is Turing complete. Ethereum, the VM/system is Turing complete, but Ethereum of course is not a language itself. [Correct
223.
by j1vms 10y ago
Shit. Hope you get that stuff sorted out, probably deal with the hemorrhoids first. (aside since I assume that was an example! :) [Edit: and in case you aren't, hope you do get that sorted out] Google has better potential for growth, b
224.
by j1vms 10y ago
Wow 50 years, by then it might be that we find we were asking the wrong questions at this point. And even with the right questions, the answers were... unexpected.
225.
Byford Dolphin(en.wikipedia.org)
1 points by j1vms 10y ago|0 comments
226.
by j1vms 10y ago
Which brings up the interesting problem that, in theory, we can never be sure it is or is not a bubble unless we look at the behavior in the limit as t -> infinity. One problem with gauging things in the universe (or in the economic sen
227.
by j1vms 10y ago
Employing a form of statistical threshold on the information that is gathered before making a decision could probably help resolve a lot of the potential for gaming the system.
228.
by j1vms 10y ago
Yes, but it's always good for us to remember that everything has a cost, and so does jQuery (memory footprint/new dependency/complexity). It's a conscious decision we should make on every project, and yes in most case
229.
by j1vms 10y ago
sass+bourbon.io (or similar combos like sass+compass) can help a TON with keep front-end dev costs down. Some apps do benefit a lot being native, but as others point out you throw in the middleman app-store model instead of just dealing wit
230.
by j1vms 10y ago
Seeing how Communicator 4.75 came out in Sept 2000, I guess this site is really making a go for authenticity, even on non-existent point releases in '99. [0] Ok fine, I get what you were trying to say. :) [0] https://en.wiki
231.
by j1vms 10y ago
Click-baiting titles on sites these days are probably driving people to the comments section first rather than RTFA. Crowd-sourcing and displaying in-place article titles on sites would make for a great browser extension. Might be as bad
232.
by j1vms 10y ago
And that indeed is what we have to look forward to in online forums over the next 5+ years, as machine learning cuts its teeth on places like reddit, HN & disqus, and spammers try to find new irritating ways of getting eyeballs.
233.
Afshar experiment (2004)(en.wikipedia.org)
1 points by j1vms 10y ago|0 comments
234.
by j1vms 10y ago
It's possible (maybe even likely) a key piece of evidence as to what happened is missing. And also, given what's known so far, that piece of evidence has not been found and thus remains unknown to anyone but the hikers. I wonder
235.
My Garbage Cat Wakes Me Up at 3AM Every Day (2015)(grey2scale.itch.io)
2 points by j1vms 10y ago|1 comments
236.
by j1vms 10y ago
If someone were to provide you with variously doped n-type, p-type semiconductor, with enough time you could make a transistor by trial and error. The key I guess is that you probably wouldn't have considered using (or even had for th
237.
by j1vms 10y ago
For example, the distances between source and drain in a transistor are based on factors like electron/hole mobility, minority carrier recombination in the gate, which are probabilistic and can be calculated using equations which would
238.
by j1vms 10y ago
Though keeping in mind that solid state semiconductor physics is based heavily in quantum mechanics which probably wasn't 'sufficient' & more widely accepted until the late 1920s or 1930s, the earliest the transistor co
239.
by j1vms 10y ago
Nix (package manager): - There is a version history in the release notes appendix of the manual. [0] - As others have posted here, the project is currently hosted on github [1], though it was originally in a svn repo. [0] - Eelco Dolstra is
240.
by j1vms 10y ago
Could someone post (or link to) the history of Nix, the package manager? Who developed it, key project milestones, etc.? I understand it comes from, or led to, NixOS Linux distribution which uses Nix of course. The nixos.org website is a

More ›