PeCaN

65 ms·

571.
by PeCaN 10y ago
Um, no, that's just factually incorrect. You can do very, very many useful things without Turing completeness. You cannot be fully general, but there's active research on how far you can get. Restricted subsets of query languages
572.
by PeCaN 10y ago
> If SQL is indeed the choice 99 times out of 100, how can you know when you are faced with that 1-in-100 time when NoSQL is actually the right option? If you have to ask yourself “Should I use SQL or NoSQL?” then you should use SQL. If
573.
by PeCaN 10y ago
As far as FL/FP/FPr go, http://www.call-with-current-continuation.org/fp/ is the most mature and complete implementation I'm aware of. There's #proglangdesign on freenode where a bunch of us have be
574.
by PeCaN 10y ago
Well, there's: - Dependently typed languages (ATS, Agda, Idris)¹ should be fairly familiar if you're a Haskell veteran. - Array languages (APL, J, K, and more obscure ones like Nial) are pretty enlightening if you're a functi
575.
by PeCaN 10y ago
J has a large number of tutorials ("labs") included in the IDE. They're fun and easy to follow.
576.
by PeCaN 10y ago
Regarding 2 & 3, I assume you don't know Q or any other array language. If you do, it's not really any less readable than any other language. Finding bugs isn't particularly hard due to how friendly the languages are to R
577.
by PeCaN 10y ago
I'm in a rather good situation to answer this. I have a Vultr VPS and a Linode VPS. Both are on $10/month plans. Linode I use as an rsync server, fossil server, and for IRC. It's running Arch Linux. I would like to run FreeBS
578.
by PeCaN 10y ago
A lot of old IE things were pretty nice¹. The only real problem was the abysmal support for actual standards, along with a myriad of weird bugs. ¹ See: XMLHttpRequest, innerHTML, box model, CSS filters, CSS behaviors², VML, etc ² Well, beha
579.
by PeCaN 10y ago
Now here's something fascinating. According to https://en.wikipedia.org/wiki/Differential_cryptanalysis#His... , IBM discovered differential cryptanalysis in the 1970s when designing DES. They opted to keep it a se
580.
by PeCaN 10y ago
There is an embedded RTOS (ThreadX) and an embedded JVM. Curiously the embedded JVM uses JEFF bytecode, a somewhat obscure bytecode format for embedded JVMs. Java Card does _not_ use JEFF¹, meaning it's either an Intel-proprietary JVM
581.
by PeCaN 10y ago
It even worked: https://www.youtube.com/watch?v=VW2H4sgakIA at some point anyway. Now they're just "well, we put the ideas in SQL Server" but I still hope it comes back around. _That_ is the future of storage
582.
by PeCaN 10y ago
Makes sense to me, assuming 'til' is 'iota' and 'prd' is 'fold-with-multiplication'. I don't know Q, but I'd guess you read it right-to-left like J/K/APL. `x` is the right argument
583.
by PeCaN 10y ago
Huh? Anyone can submit an RFC: https://github.com/rust-lang/rfcs While Mozilla may not be the best organization, the Rust team seems much more willing to listen to their users than the Firefox team.
584.
by PeCaN 10y ago
This mirrors my experience. C is a drug man. It's bad but you can't stop. You know how to get shit done in C and it's easy to think in. C is, IMO, something of a local optima for programming. Problem is, it's actually
585.
by PeCaN 10y ago
And the hello world program: https://www.youtube.com/watch?v=Fhni-6Q5z80
586.
A MIDI-Based Programming Language(velato.net)
2 points by PeCaN 10y ago|1 comments
587.
by PeCaN 10y ago
I feel like a well-executed Gtk2 fork could be very popular. I checked and MATE uses Gtk3—I thought it had forked Gtk2 along with GNOME2, but apparently not.
588.
by PeCaN 10y ago
In the clearest case, insider trading laws kick in when you bribe an insider for information. Acting on something you overhead, hiring a private investigator to see who's having lunch with who, etc, are all fair game; paying for an a
589.
by PeCaN 10y ago
AS/400 still exists actually, under the name IBM i. I know a person who swears by them. It's a fascinating system. There are no files, only persistent objects living in a 128-bit address space. Downside: still uses EBCDIC….
590.
by PeCaN 10y ago
Lately I hear they spend their days playing Duke Nukem Forever on GNU/Hurd instead of working on memristors.
591.
by PeCaN 10y ago
I think one of the most interesting parts of this project is that the query language is actually Monet Assembly Language, and their SQL implementation just compiles down to that. There's enough documentation to write your own query lan
592.
MonetDB – Column-store database(monetdb.org)
113 points by PeCaN 10y ago|41 comments
593.
by PeCaN 10y ago
What3Words is free for writes (presumably it's generated from an algorithm and there aren't really "writes") and you pay for reads. Kind of a big difference. With DNS you only have to pay if you want a domain. I can free
594.
by PeCaN 10y ago
RDRAND is probably microcoded, so they should just be able to patch it out. Since they can't be charged with anything malicious, Intel gets off scot-free.
595.
by PeCaN 10y ago
Intel has plausible deniability. A backdoor in RDRAND would be some very minor statistical flaw. It could just be something tiny that makes private keys susceptible to some known or unknown attack.
596.
by PeCaN 10y ago
They don't try particularly hard to cover that up. It's well-enough known that RDRAND is highly likely to be NSA-backdoored. They could always just shove NSA stuff into the ME anyway (currently there's no reason to believe
597.
by PeCaN 10y ago
Sleeping in public is pretty weird in the US. Napping at work is definitely frowned upon, and napping in a coffee shop, public transportation, etc, is unusual but happens. It's not necessarily socially discouraged, just odd. Honestly,
598.
by PeCaN 10y ago
Of course not, go for it. On Windows I use https://github.com/SamHocevar/wincompose to type that and a bunch of other useful characters. On FreeBSD and Linux, .XCompose.
599.
by PeCaN 10y ago
It's known to be used for DRM.¹ So… not a good reason, but at least it makes sense. Then there's Intel's very likely cozy relationship with the NSA.² ³ ⁴ ⁵ -- ¹ https://libreboot.org/faq/#intelme See par
600.
by PeCaN 10y ago
Google's internal traffic is (supposedly¹) encrypted as of 2013. ¹ I have no reason to doubt this is true, but AFAIK the only evidence is that Google said it would be, in response to NSA/GHCQ's MUSCULAR program.

More ›