drewhk

9 ms·

31.
by drewhk 11y ago
I am a Scala developer but I agree with your points. The only thing that just simply drives me mad in Rust is mandatory semicolons. Once you are used to be able to omit them then it gets really annoying to go back using them.
32.
by drewhk 11y ago
I see this: https://cloud.google.com/pubsub/subscriber In the "Delivery contract" section: "For the most part Pub/Sub delivers each message once, and in the order in which it was published. However,
33.
by drewhk 11y ago
... or TestU01 Big Crush ( https://en.wikipedia.org/wiki/TestU01 )
34.
by drewhk 11y ago
It was just a fun thought, don't take it super seriously :)
35.
by drewhk 11y ago
Just for fun speculation. What if someone realized that Google is scraping/using his data. Then he decided to put in a "honeytoken" to check this assumption and at the same time pull a prank on Google. Once he realized that h
36.
by drewhk 13y ago
It's a marketing term invented by companies for recruiting. If you think about it, A-Player simply means: "the people who we decided to hire". The idea is brilliant: - If you are rejected, it is your fault. You are not good e
37.
by drewhk 13y ago
And you can create a new string interpolation to make card instances, like: card"Heart:Ace" or card"$suite:Ace" if you want to reference a variable.
38.
by drewhk 13y ago
Yep, valuation can be simply a function, but wrapping in a typeclass might work as well.
39.
by drewhk 13y ago
Or use value classes and get the best of both worlds.
40.
by drewhk 13y ago
I really love the "Informal Reasoning" support idea. Does it have a reputation system (I see it on the architecture diagram)? In my proofgraph I used the notion "certificate". Theorems are either certified by proof (stro
41.
by drewhk 13y ago
I started working on a very similar idea half a year ago -- with machine learning and everything (my domain was proofgraph.org). I had to suspend it since it is larger than a one mans freetime project. I am very glad that someone started wi
42.
by drewhk 13y ago
Wow! I started working on a very similar idea half a year ago -- with machine learning and everything (my domain was proofgraph.org). I had to suspend it since it is larger than a one mans freetime project. I am very glad that someone start
43.
by drewhk 13y ago
So hard to stop posting... When I Stopped Eating For 2 Years in Production How Github uses Github to build a windmill Ask HN: Who is Sick Apple's Role in Japan stopped having sex? Show HN: I love you, dad How
44.
by drewhk 13y ago
Some People Can Run 18 Static Sites on a soaring eagle [video] Extracting Audio from Pictures of kittens for use as placeholders in your browser A Hacker's Replacement for Gmail users Too scared to write a Linux Serv
45.
by drewhk 13y ago
I am not sure. I have seen funny MC generated text before, but I think headlines are short and their structure plays well with the Markov Model.
46.
by drewhk 13y ago
I hate myself for posting these, but I cannot resist (I am silently shaking from laughter fighting hard not to wake up my newborn): Show HN: Let's Be Civil (I think his was a real post but with Tell HN -- the small change is hilarious)
47.
by drewhk 13y ago
Same here. On one screening the guy actually said "it is not like how you imagine it to be". And it did not sound as an encouragement.
48.
by drewhk 13y ago
I have the same feeling. Have you checked Rust? It is a different approach where ownership and mutability are strictly controlled via the type system.
49.
by drewhk 13y ago
There is a particularly interesting subset of Petri Nets -- (Extended) Free Choice Petri Nets that I actually fell in love with. If someone is interested in learning about them one of the best books on the subject is available here: http:&
50.
by drewhk 13y ago
> This is not slowing down a clock for a while because it runs fast, but slowing it down to make it run too slow, and then skipping a leap second. Ok, I see the difference. The issue here is not preserving monotonicity but keeping the se
51.
by drewhk 13y ago
Why does everyone refer to this as "Google's system"? The idea of slowing down clocks instead of turning them back is very-very old. In fact 10 years ago one of the first thing we were thought at university in the Embedded Sy
52.
by drewhk 13y ago
Not 14 different things. 14 different approaches to solve the same image recognition problem. Please do not jump to conclusions. I did not say TDD is not useful at a _later_ stage, but at the research phase it is simply more of a burden tha
53.
by drewhk 13y ago
Absolutely! In the past I worked on an image recognition project where I implemented, tried and thrown away 14 distinct algorithms/approaches (not counting variants!) for a particular problem. TDD is unfit for this because you tend to
54.
by drewhk 13y ago
Deliberately obscure, yes: >We should note that in Nock and Hoon, 0 (pronounced “yes”) is true, and 1 (“no”) is false. Why? It’s fresh, it’s different, it’s new. And it’s annoying. And it keeps you on your toes. And it’s also just intuit
55.
by drewhk 13y ago
It would probably sound more pleasant with a diatonic (or other) scale instead of chromatic.
56.
by drewhk 13y ago
The problem with DF GUI is not that it is not pretty, but that it is not effective at all. Additional colors, alpha channels (like looking at 2-3 depth cross-sections instead of one), no fixed font size, so smaller info screens, proper zoom
57.
by drewhk 13y ago
They only need to provide a socket and a protocol. Then they don't have to waste time on the interface and it already gives plenty of community modding opportunity.
58.
by drewhk 13y ago
They should not focus on interface at all, but provide a socket and a protocol to communicate with the engine. Then the community can build fancy clients, mods, whatever.
59.
by drewhk 15y ago
You should also consider teaching. Talking about interesting stuff to interested young people is very satisfying.