HackerTrans
TopNewTrendsCommentsPastAskShowJobs

ozmaverick72

no profile record

Submissions

China on track to dominate development of critical future technologies

abc.net.au
2 points·by ozmaverick72·3년 전·1 comments

Ask HN: Kubernetes Worth It?

8 points·by ozmaverick72·4년 전·6 comments

[untitled]

1 points·by ozmaverick72·4년 전·0 comments

Compilers for Contrarians

crypto.stanford.edu
76 points·by ozmaverick72·5년 전·3 comments

comments

ozmaverick72
·16일 전·discuss
All good its working for me now
ozmaverick72
·16일 전·discuss
Has the site also been decommissioned - or just hugged - none of the images are loading for me at the moment
ozmaverick72
·17일 전·discuss
Isn't this a bit weird? Has Rocketlab launched payloads for Iridium ? Is Iridium adding to their constellation or are they just trying to make a few dollars out of their existing satellites by suppling messaging for things like Garmin SPOT etc. Iridium satellites aren't in LEO orbits - can Rocketlab satellites even deploy payloads to those orbits ? Maybe the newer bigger rocket they are working on can but i don't think the current Electron rocket can.

I guess it only has to make sense to Wallstreet types ....
ozmaverick72
·25일 전·discuss
If there was a key explaining what the colors meant that would be great. And maybe the option to select colors or pick between a couple of alternatives - i think in western culture green is good but in Chinese i think they normally think of red as the best - just being able to swap between those two defaults would probably be enough - thanks for your hard work - much appreciated
ozmaverick72
·3개월 전·discuss
Can not believe no one has asked the obvious question - is his nickname Tina ?
ozmaverick72
·3개월 전·discuss
Interesting. I have played with OpenScad a bit. This looks similar - i guess the difference is the syntax is python - any other major differences
ozmaverick72
·3년 전·discuss
So simple and clean and very addictive - well done
ozmaverick72
·3년 전·discuss
I'm guessing the smoke from the fires in Canada is responsible for a lot of the interest in this post ??
ozmaverick72
·3년 전·discuss
Is this similar to the story that it rains more on the weekend ? Didn't the analysis show that if you segmented the data into arbitrary chunks it always came back with higher rainfall at the start of end of the period - so if you broken the data up into blocks that went from Wednesday -> Tuesday it would come back and say it rains most on Wednesday. Wonder if something like that is going on here - I am down with the argument about stress and going back to work making it worse on a Monday :)
ozmaverick72
·3년 전·discuss
interesting concept - would have thought the radar return from the twin , almost vertical, tail plane was more significant than that of any other control surfaces they may have been able to eliminate.

To be fair maybe they can eliminate that part of the structure later on.
ozmaverick72
·3년 전·discuss
That is very cool - like your work. How do you restart the game - i had to use the back button after i died
ozmaverick72
·3년 전·discuss
The difference between the buyer of a house and the buyer of software is that the house purchaser is clearly and succinctly able to communicate his / her desires and expectations. Where as the purchaser of software is making some vague request for functionality with poorly defined boundaries and requirements. There is little meaningful comparison of the two scenarios that can be made.
ozmaverick72
·3년 전·discuss
This article claims that China is the world leader in 37 out of 44 critical technologies.
ozmaverick72
·4년 전·discuss
Yes I hate this with a passion. Feels so fake trying to justify your existence. Trolling through things you have done and trying to warp them into the stupid criteria to make them fit.
ozmaverick72
·4년 전·discuss
I enjoyed the presentation of the material and the interactivity. Lean looks interesting. My only feedback was that I didn’t get a good sense of what I would know at the completion of the course. Making that clearer might drive up the signup rate
ozmaverick72
·4년 전·discuss
Seems to be getting 503 on retrieving some GIFS - i can only see the Japanese flag image and the rest are blank - is that happening for anyone else ?
ozmaverick72
·4년 전·discuss
I created this blog post to compare a developers experience compiling "hello world" style examples in both Ocaml and Haskell. Might be of interest to some of you out there.
ozmaverick72
·4년 전·discuss
Are Stack / Cabal written in Haskell ? If so I dont think thats a very good advert for the benefits of writing software in Haskell - the quality as an uninformed user would appear on par with a crappy Perl script.
ozmaverick72
·4년 전·discuss
Yip you are right I got that screwed up.
ozmaverick72
·4년 전·discuss
I had a quick read of the paper and I think I got about 10% of the content - which is better than my usual average. My take-away - linear types allow you to express conditions such as this function must not be called with an empty list - QTT types extend linear types and allow you to specify run time dependencies between functions in the type system. I got the rough idea of being able to express a state machine in the type system - gives you the ability to say that this function can only be called in this state - to enter the state, these functions must be called in this order. How did I do ? Is that the rough gist of the paper ?