Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
fizixer
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
59 ms
·
511.
▲
by
fizixer
9y ago
I'm hoping to try MyHDL someday. If it's good, great, otherwise probably I'll try to develop my own metaprogramming (likely based on R7RS scheme) system on top of VHDL.
512.
▲
by
fizixer
9y ago
Well the title of the HN post is changed already. Before it is changed on the blog post as well (in which case my comment would look very misplaced), here it is: "Sure, we have imperative and functional. But what about Cartesian progra
513.
▲
by
fizixer
9y ago
- Click-bait title - Shows limited knowledge of the author (that imperative and functional are the only paradigms; ever looked at wikipedia page on programming paradigms [1], especially the sidebar on the right?) - There is no such thing th
514.
▲
by
fizixer
9y ago
I assume you're talking about a time frame of many years.
515.
▲
by
fizixer
10y ago
I like to put it this way. Elon Musk is working on the cutting edge (make new tech), Bill Gates on the spine edge (make existing tech available to everyone). You need both for humanity to progress.
516.
▲
by
fizixer
10y ago
Wait what? 39 and I consider myself just getting started.
517.
▲
by
fizixer
10y ago
I guess you have a point. Thanks for your comment (and recommendations).
518.
▲
by
fizixer
10y ago
Thanks. Great recommendation. (I found the youtube url of the soundtrack as well, shared in my original comment).
519.
▲
by
fizixer
10y ago
Can someone recommend a long form soundtrack (1+ hour or something) that sounds like that on that website? edit: Nevermind (youtu.be/Aaz80cOx7OI)
520.
▲
by
fizixer
10y ago
Thanks. Looks like the kind of books I'm looking for.
521.
▲
by
fizixer
10y ago
Thanks. I should take a look at those two books.
522.
▲
by
fizixer
10y ago
Thanks. I haven't but I'll give it a try.
523.
▲
by
fizixer
10y ago
I've been meaning to understand the idea of programming languages, removed from the syntactic details, and removed from the issue of converting a program to a machine executable form, and even optimizing a program. I have a hunch that
524.
▲
by
fizixer
10y ago
I wouldn't be surprised if they have. Their proprietary CUDA gimmicks are much worse. But with AMD supporting the OpenCL open platform, there is some hope of do-no-evil. But they keep disappointing.
525.
▲
by
fizixer
10y ago
Oh boy. That means it quite possible if an 8GB 290X is benchmarked against a 580, the 290X comes out on top. I'm not a big fan of nVidia either. I think nVidia and AMD used to compete on GPU technologies; now they compete on shenanigan
526.
▲
by
fizixer
10y ago
- Either 480 vs 1060 was a garbage comparison (480 is AMD's flagship while 1060 is nVidia's lightweight GPU) and OpenCL is way way behind CUDA in blender render performance (to the point that I would call that news clip a bullshit
527.
▲
by
fizixer
10y ago
Where are 490, 490X? (if not 490X2) I came across a blender OpenCL vs CUDA benchmark in which 480 was being compared to GeForce GTX 1060 and a claim was made that OpenCL is finally on par with CUDA. So 480 can't be a flagship model of
528.
▲
by
fizixer
10y ago
What about Gitlab? Isn't that more popular than gitolite?
529.
▲
by
fizixer
10y ago
I do in this specific case. (Haven't read the article. Don't stand to profit.) Here's a simple argument for only one aspect of IoT: Take all the electric equipment you use in your household, office, and so on. Lights, fixture
530.
▲
by
fizixer
10y ago
So in the end: - more customers - buying more useless stuff (to collect miles) that they would otherwise won't buy. - making outrageous travel plans (using those miles) that they otherwise won't make (e.g., fly to europe over the
531.
▲
by
fizixer
10y ago
Yes. But how do banks make money? Surely they're not paying airlines for miles and distributing the miles free-of-charge to their card holders out of the goodness of their hearts. What are they getting in return? Either what I said abo
532.
▲
by
fizixer
10y ago
I don't understand. I read about half of the article and it doesn't explain how that works. I mean money has to come from somewhere, I assume the tens of millions of credit card holders. But credit card holders do their usual spen
533.
▲
by
fizixer
10y ago
Update: Oh boy, I'm hating it. The clackety noise in the middle of the night (and no, o-rings aren't going to cut; I just realize I don't like mechs). I'm back on the old completely silent rubber-dome keyboard (my all ti
534.
▲
by
fizixer
10y ago
Just wanted to give an update. Went ahead and bought a TKL (TenKeyLess, one without the numpad, 87 keys) TOMOKO for around $30 USD. Only available in switches equivalent to Cherry MX blue (I was aiming for brown). It's not bad. I think
535.
▲
by
fizixer
10y ago
I have the same problem. Even watching youtube lecture videos, I have to rewind so many times (just 10-30 seconds each time usually) that it takes an average of 2 hours to watch a 1 hour lecture video. (Though part of that is because I also
536.
▲
by
fizixer
10y ago
Thanks for the comment and references. Good luck with your PhD program. > ... Connections with PGMs... hmm, not sure what you mean. What I meant is that ILP, PGM, HMM, are some of the topics that were being explored as an extension to GO
537.
▲
by
fizixer
10y ago
Disclaimer: My knowledge on this topic is not in depth (as I said, I'm still learning). I haven't heard of Z3 but it says it's a theorem prover, so it would be comparable to systems like Coq, Isabelle, which are also consider
538.
▲
by
fizixer
10y ago
Roughly half the 'power of prolog' comes from the 'power of logic programming' and prolog is by far not the only logic programming language, e.g., - You can do logic programming using minikanren in scheme. (you can also
539.
▲
by
fizixer
10y ago
Clickbait title. (technical deep dive? really?).
540.
▲
by
fizixer
10y ago
> ... market cap isn’t everything ... Nothing is everything. That doesn't negate the fact that: Tesla Passes Ford by Market Value.
More ›