HNHacker News
TopNewBestAskShowJobs

ozmaverick72

180 karma · joined March 11, 2017

submissionscomments
ozmaverick72··on AX – Google’s Open Agentic Orchestrator
Google Wave is waving
ozmaverick72··on Long Island's decommissioned nuclear power plant
All good its working for me now
ozmaverick72··on Long Island's decommissioned nuclear power plant
Has the site also been decommissioned - or just hugged - none of the images are loading for me at the moment
ozmaverick72··on Rocketlab acquires Iridium
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··on Show HN: MiniPCs.zip – Charting the Pareto frontier of Mini PCs
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··on John Ternus to become Apple CEO
Can not believe no one has asked the obvious question - is his nickname Tina ?
ozmaverick72··on CadQuery is an open-source Python library for building 3D CAD models
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··on Show HN: I made a puzzle game with Three.js
So simple and clean and very addictive - well done
ozmaverick72··on The Cuboid: A DIY air purifier that's better than a box-fan (2021)
I'm guessing the smoke from the fires in Canada is responsible for a lot of the interest in this post ??
ozmaverick72··on Deadly heart attacks are more common on a Monday
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··on Successful flight trial completion of unmanned aerial vehicle, MAGMA (2017)
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··on Pop-shoot: Synthwave styled space shooter, inspired by 80s arcades
That is very cool - like your work. How do you restart the game - i had to use the back button after i died
ozmaverick72··on Why are developers expected to estimate tasks at all?
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··on China on track to dominate development of critical future technologies
This article claims that China is the world leader in 37 out of 44 critical technologies.
ozmaverick72··on Ask HN: Do you hate writing self assessments at the end of every quarter?
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··on Proofs about Programs
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··on Vector Animations with Python (2014)
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··on [dead]
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··on Dhall: A Gateway Drug to Haskell
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··on Idris 2: Quantitative Type Theory in Practice
Yip you are right I got that screwed up.
ozmaverick72··on Idris 2: Quantitative Type Theory in Practice
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 ?
ozmaverick72··on XMonad – The Automated Tiling WM
I just submitted it as an HN story to give it the attention it deserves
ozmaverick72··on Compilers for Contrarians
This looks like an interesting series of posts about development of compilers and exploring haskell.
ozmaverick72··on XMonad – The Automated Tiling WM
The link to Ben Lynn's page looks really interesting - that should probably be a post of HN on its own. Thanks for sharing it.
ozmaverick72··on Show HN: I made an interactive anti-procrastination video course
I’ll watch it later
ozmaverick72··on An Elixir adoption success story
All these stories can be distilled into - "I picked something I liked and we made it work. Yay team"
ozmaverick72··on MicroFPGA – A coming revolution in small electronics (2019) [video]
The talk mentioned a number of small flag boards. Can someone recommended one of them to get started playing with fpgas ?
ozmaverick72··on GNU Autotools: A Tutorial [pdf]
I have been surprised at how good my CMake experience has been. CMake may have its warts but so far everything with a CMakeLists.txt that I have tried has worked out of the box
ozmaverick72··on IHP – A Haskell web framework
I've seen this come up on reddit ads - has anyone tried it out ? Does it live up to the claim that its Rail's for Haskell ? How does it compare to any of the other web frameworks out there ?
ozmaverick72··on Duf: Disk Usage/Free Utility
Haven’t tried it yet but the —hide-network option sounds really useful to me. The number of times I’ve been looking for free space on local file system when I have some massive ntfs remote file system mounted and trying to get that excluded from other utilities is a massive pain in the butt.
Page 1 of 2Next →