fho

50 ms·

541.
by fho 5y ago
Yeah ... I am no expert there. I would guess there is some overlap between refinement and dependent types, thou.
542.
by fho 5y ago
Sad thing is that I got my BTC to test my tiny wallet implementation I did for my final thesis back then :-)
543.
by fho 5y ago
> a lot of things put in cars after the 90s True ... we just moved on from a car build in 1999 to one build in 2011 ... got the "non-extra" version which was half the price. We still got an AC and bluetooth connectivity. What w
544.
by fho 5y ago
Yeah ... I still occasionally get a (analog) mail in Japanese informing me that the bankruptcy procedure is still ongoing. Luckily it was "just" 1 BTC.
545.
by fho 5y ago
Somewhat related: What has blown my mind at some point is that with dependent types you can actually check your algorithms for correctness. --- Example: http://goto.ucsd.edu:8090/index.html#?demo=Order.hs Press Check ->
546.
by fho 5y ago
I am full pro-Haskell, have used GADTs to define ASTs before and just love length-indexed everything (i.e. nd-matrices) ... but reading your comment I guess somebody who never came in contact with "modern languages" has no idea wh
547.
by fho 5y ago
Is that "bass guitar string" thing common? I had it twice, both times in a hot and cramped train and shrugged it up to "heat stroke".
548.
by fho 5y ago
> IF a food is tasty, you probably don't want to know under what conditions it's prepared I was in Bangalore (India) some time ago and everybody and their dog tells you not to eat the street food there, especially not the dairy
549.
by fho 5y ago
I guess you can "tune" the tower by adjusting a weight in the tower ... but I agree on the area issue.
550.
by fho 5y ago
Second this ... I've been commuting for about 84 km each way each day for five years ... in Germany with the regional trains that took me about 1.5h (and only 40 minutes of that were actual train ride). In that time I would start to wo
551.
by fho 5y ago
I agree (with your disagreement) ... "3D printed house" is one of those things that come up at dinner tables regularly. "Hey you are into 3d printing, right? Have you heard about the new technology that allows us to print hou
552.
by fho 5y ago
Kind of related: one of the dating platforms in Germany advertises with "every 10 minutes a single falls in love on XYZ" ... 1 year / 10 minutes = 52560 ... that's a pretty bad success rate for a platform that supposedly
553.
by fho 5y ago
Something similar kind of happened to me ... the university I am at (normally) comprises 50k people. No idea where they are ... especially because Bielefeld University is just one building.
554.
by fho 6y ago
I guess it is easy to make trivial predictions about the near future ... something like "computers will get faster", "batteries will become energy denser". Something like "food will become safer" is trivial onl
555.
by fho 6y ago
Totally worth it! And going from "Granny Knot" to "Ian Knot" is actually a lot simpler than relearning the correct way to tie the normal knot. I tried that first ... but relearning the exact same finger movements but mir
556.
by fho 6y ago
Dumb question ... but do "inflatable swimmingpools" exist for firefighters? Something that you can roll up compactly but unrolls around e.g. a car and forms a more or less watertight seal so you can literally drown the battery in
557.
by fho 6y ago
Could run on a 200mhz pentium ... but these days runs with barely 60 fps on my 10th gen Core i7 and makes my laptop fans go crazy ;-)
558.
by fho 6y ago
It's basically mandatory in every grocery store in Germany ... and every other store follows suit.
559.
by fho 6y ago
Human Flesh For Sacrifice!
560.
by fho 6y ago
> Is it a "bicycle accident"? Yes, but no. All of these accidents have basically nothing to do with the mode of transportation. It's a "being reckless accident". And you'll find recklessness in basically eve
561.
by fho 6y ago
Quick ... someone train a network on that ;-)
562.
by fho 6y ago
> but NOT when it clashes with our Laws I said it in another post ... it's not about being forced into something, it's about freedom of choice. And that is something universal, it's just codified in our laws. It's com
563.
by fho 6y ago
Something about gender equality to keep in mind: It's about choice ... there are women (also in Germany) that gladly _chose_ to stay at home, _chose_ to prepare meals for their husband and _chose_ to care for the kids. On the other han
564.
by fho 6y ago
Having lived in a mostly Turkish neighborhood for five years (as a German, Turkish landlord, Turkish "housemates" (?)) I think some just don't want to be integrated... Landlord was pretty chill and I kind of miss being able t
565.
by fho 6y ago
Dumb question ... but isn't the easiest AA method rendering at a higher resolution and downsampling the result? I see that it's not feasible for a lot of complex 3D graphics, but 2D is (probably) a lot less taxing for modern GPUs?
566.
by fho 6y ago
So the f in fMRI stands for fishy? :-)
567.
by fho 6y ago
Question: how do you teach for-loops? That is something I have a hard time convey as a teacher. My problem is that I have done this so long that I have no idea what there is not to understand about loops ... it's such a simple thing. B
568.
Zluda: CUDA on Intel GPUs(github.com)
261 points by fho 6y ago|77 comments
569.
by fho 6y ago
Except this is like 20 years older :-)
570.
by fho 6y ago
And in German ;-) I played this so much back in the days that it is the only game I can say I played it on a somewhat competitive level. A friend and I dominated the 2v2 games only some Scandinavian guys were better then us ... good times :

More ›