PeCaN

56 ms·

691.
by PeCaN 10y ago
mt19937 (or preferably SFMT¹) is a great library (and fine for cryptographic purposes if you have a sufficiently random entropy source with which to seed it, and reseed it frequently from your entropy source ), but you still have to seed i
692.
by PeCaN 10y ago
If we consider NaCl to be "C applets"... yes, it actually is safer.
693.
by PeCaN 10y ago
I developed most of my hobby projects in C until recently. It's not as rare as you think. C is a good language to think in. Lately I've been switching to Ada, which I actually quite recommend if you like C. Shame it never really c
694.
by PeCaN 10y ago
> I would have commited unspeakable acts just to have a compiler switch to enable bounds checking -fsanitize=bounds in GCC6 (probably recent Clang also). Runtime overhead isn't even that high. Lately I've been trying to use Ada
695.
by PeCaN 10y ago
Go's compiler is written in Go that was automatically converted from C .
696.
by PeCaN 10y ago
ATS has had this (via linear types like Rust) for a while, but it's a massive pain to use. Rust's main innovation is gluing together existing ideas with a powerful community backing.
697.
by PeCaN 10y ago
Ada does this with the rather convenient pragma Export(Convention => C, Entity => My_Ada_Function, External_Name => "mypackage_ada_function"); You can kinda coerce D and C++¹ to do the same thing, but this is defin
698.
by PeCaN 10y ago
Then again, it could've failed simply because it was brought to you by the makers of healthcare.gov (well, I guess the firearms registry was first, but you get the idea about the creators)
699.
by PeCaN 11y ago
No, he means all problems without a (known) polynomial time solution.
700.
by PeCaN 11y ago
Do you call Android "just Linux" also? There's a bit more to the OS than just the kernel. I dunno, I think people tend to associate Emacs = GPL, Vim = BSD. Same with GCC vs Clang. Oh and Emacs says ‘GNU Emacs’ all over itself
701.
by PeCaN 11y ago
As long as the FSF controls Emacs, GCC, and coreutils they're definitely doing a little more than shouting. I mean they're ‘GNU’ in GNU/Linux, which is a bit more widespread¹ than any BSD/Linux type thing. ¹Pretty sure A
702.
by PeCaN 11y ago
It's much closer to ActionScript and ES4 than to ES5 or ES6/2015/Next/Harmony/Trickshot.LegitScript/whatever the latest ECMAScript standard is. The main difference is probably decent macro support. There's
703.
by PeCaN 11y ago
Haxe is what ActionScript should have been. However (imo), it's hard to find a niche for it now. What does it get me that Perl and OCaml don't? I've been drawn to Haxe several times over the years, but have never really thoug
704.
by PeCaN 11y ago
It's annoying I guess, but you get over it in a few hours. Interestingly it's only annoying from an ideological standpoint—it's never bothered me when reading or writing code. Anyway, the reason, along with having separate se
705.
by PeCaN 11y ago
From what I understand from this thread, it's worse than that: The problem wasn't programmer salary, it was that their budget was so big that they wanted to hire extra people and could not find enough Ada programmers . Yup. It go
706.
by PeCaN 11y ago
Sorry, I was referring to the spec for the program, not the spec for the language. And Haskell does actually have a spec[1], but almost everyone uses GHC extensions so I suppose that's kind of moot. 1. https://wiki.haskell.o
707.
by PeCaN 11y ago
Site-wide or per-seat, I'm not really sure which would be better. For the companies I work with, which are by-and-large pretty small, I think a per-seat license would be better (several of them only have 2-3 production analysts). You c
708.
by PeCaN 11y ago
Dude. You seriously need to market an enterprise edition of this (offer support or something). It's a great idea with exceptional execution. At least half the companies I work with (oil & gas companies—they are addicted to Excel li
709.
by PeCaN 11y ago
At least the F-35 is web scale.
710.
by PeCaN 11y ago
1) The F-35 has VASTLY more software and several software systems that the F-16 and F-22 didn't have. 2) The F-22 software was largely written in Ada, a sane language that's great for real-time systems that cannot fail. Apparently
711.
by PeCaN 11y ago
> It reminds me a bit of GO with its packages. Ada Tasks also bear some semblance to goroutines. (In the sense that they share memory by communicating instead of communicating by sharing memory.) It's definitely a nice and well-desi
712.
by PeCaN 11y ago
Speaking from experience, it's a hell of a lot easier to write buggy C++ than buggy Haskell or Ada (both of which can in some cases be formally verified to follow the spec). C++ is unsafe by default and you have to write lots extra che
713.
by PeCaN 11y ago
Does anyone know what it's written in? Boeing writes (nearly) everything in Ada and as far as I know has never had any software problems of this scale. Most of it is in SPARK as well, a restricted subset of Ada that can be partially fo
714.
by PeCaN 11y ago
Parent is wrong. char, signed char, unsigned char, and void pointers can all legally alias anything. Those functions can be written in standard ISO C.
715.
by PeCaN 11y ago
That was the case circa 2012 with Clang 3.1 and GCC 4.7, but both have closed the gaps. Clang generates code roughly as fast as GCC and GCC compiles about as fast as Clang.
716.
by PeCaN 11y ago
> And the basis upon which computing sits upon. How does being the basis follow from being popular > Take away all C/C++ code and we have nothing or almost nothing. We had Lisp machines in the 70s, Oberon system in the 90s, Forth
717.
by PeCaN 11y ago
Pascal was the language of choice for Windows development for quite some time even before Delphi. Also, for what it's worth, Ada has quite a few Wirthisms and I personally quite enjoy it. But it technically isn't a Wirth language.
718.
by PeCaN 11y ago
Uh, this is exactly the type of thing that FUSE is good for. Doing this as a FUSE layer would be way way easier than for Windows (unless they used Dokany[1], and they probably didn't) or god knows what you have to do to get OS X to sup
719.
by PeCaN 11y ago
OberonSystem can build the whole compiler, OS, and applications in around 3 seconds.
720.
by PeCaN 11y ago
Exactly. Bitcoin is shit, but let me know when I can anonymously purchase an offshore VPS with anything else. I don't think Bitcoin is going anywhere, but it will perhaps regress to a niche and often illegal market. Alternatively, blac

More ›