HNHacker News
TopNewBestAskShowJobs

iroddis

246 karma · joined October 8, 2021

submissionscomments
iroddis··on Austral Programming Language
You’re right, and that’s part of the reason I remarked my comment’s shallowness. It was more of a personal lament rather than a strong criticism of what looks like a really interesting language.
iroddis··on Austral Programming Language
This quite a shallow observation, but I really wish new languages would cut down on verbosity and boilerplate. Making people type out “function” instead of “fn”, “def”, or nothing at all feels like unneeded friction.

I’m not looking for APL levels of terseness, but I also don’t want to have my code mistaken for an essay filled with what amounts to scaffolding.

iroddis··on Singapore to execute woman on drugs charge for the first time in 20 years
I travelled to Singapore on business once, and the immigration form had a warning about the death penalty for drug-related offences printed in red, all caps lettering. It was definitely jarring.
iroddis··on Ask HN: Why do functional programmers hate loops (for, while, etc.)?
I don’t think that’s much clearer at all. I realize that you’re citing a specific example, but if your approach is to understand the problem first, then you may as well use the closed-form solution of your problem:

sum(1,n) = n*(n+1)/2

Which some compilers will produce for you, even if you use loops.

Maybe if you chose a different example, like generating power sets or the Fibonacci sequence, your point would be better made?

iroddis··on My Meeting with David Bohm
I found a Bohm through the excellent book What is Real by Adam Becker. It was one of the first books that advocated the philosophy of science that I’d encountered, and it was fascinating.

Warning: If you’re a huge fan of Bohr and the Copenhagen interpretation of quantum physics, you may not enjoy it as much.

iroddis··on The Oberon+ Programming Language
I also find curly braces/parens/etc annoying to type, but recently had my mind blown when I saw a typing tutor program that recommended using left-shift to create those characters.

For 35+ years I’ve been using right-shift for things on the right side of the board, cranking my hand and stretching my fingers and complaining about programming languages with poor typing ergonomics.

It’s taking forever to break the habit, but so far it feels so much better.

iroddis··on Show HN: Simple Log Alerts to Slack
I really like this, the simplicity is really refreshing.

Nothing to do with the article, but it would be nice if Slack (or IOS/Android) offered better customization of notifications. Errors and warnings are indistinguishable from regular messages on mobile, which means they often get lost in the shuffle.

iroddis··on Mermaid Cheat Sheet
Thank you very much for your work! I learned about mermaid about a year ago, and have used it pretty extensively since, including as a visualization and control interface for a DAG execution framework.

Mermaid’s flow chart layout engine is quite nice, too. I’ve yet to encounter the kind of messes that graphviz comes up with regularly, even with complicated flow charts.

iroddis··on Ask HN: What is your replacement for Google search
If you’ve used IMDb, you may enjoy tmdb.org . It is much, much faster, and has good coverage. I rarely need to fall back to IMDb unless it’s something quite obscure.
iroddis··on An intutive counterexample to the axiom of choice
“Flip around the decimal”… you haven’t accounted for irrational numbers. The reals are not countably infinite.

Even if they were, pi is not between zero and one, so would not appear in your list.

The rest of your argument is difficult to parse. If you’re interested in this kind of stuff though, I’d really recommend picking some good books on set theory and maybe number theory. Set theory in particular will cover a lot of what you’re talking about.

iroddis··on Mummy – web server written in Nim that returns to the ancient ways of threads
What kind of latency are you talking about? Async latency for completing a task isn’t deterministic, and there’s no guarantee data will be processed as soon as it becomes available. Async runtimes rely heavily on hints from their tasks as to when to poll next.

Generally, low latency means producing a result as soon as possible. Threads are ideal for that case, expending spinning cpu time for asap processing.

The best description I’ve heard of async is concurrent waiting, vs concurrent processing for threads (from the excellent zero2prod book).

iroddis··on Warming up your car before driving in cold weather can damage the engine (2016)
Many new cars have electric heaters for the air venting into the cabin. In that case their statement about confusing warm air with a warm engine would be true.
iroddis··on Using Rust at a startup: A cautionary tale
Thank you for linking to zero2prod. I just bought it after looking at the repo for the example code and scanning the sample. I wish I’d read this book a year ago.

I’ve worked my way through a couple of rust books, but this was the first one that actually talked not just about the language, but the entire development flow. Git workflows, CI/CD, docker, comprehensive testing.

Even after clearing the initial rust fundamentals, there are so many standard libraries like anyhow, chrono, serde, thiserror, and tokio that are almost required knowledge, but aren’t covered in most books.

Thank you for sharing your discovery!

iroddis··on Ask HN: Am I getting older or did typing on the iPhone become unbearable?
You’re correct, sorry for the confusion.

Phase 1: iPhone w/o autocorrect but with text replacements.

Phase 2: iPhone and macOS, but text replacements are synched without option to disable. I don’t want autocorrect or replacements while typing on a real keyboard.

Phase 3 (reluctantly): iPhone with autocorrect, macOS without it, and no text replacements.

tl;dr it would be nice if I could disable text replacement on a per-device basis.

iroddis··on Ask HN: Am I getting older or did typing on the iPhone become unbearable?
This how I operated for a long time as well, but made liberal use of text replacement for frequent things like il -> I’ll.

Unfortunately, when I got a Mac laptop, those replacements were synched and for some reason can’t be disabled on just one device.

Now I’m back to autocorrect, fighting with the AI to learn technical terms and command line entries for when I need to talk to colleagues over chat.

iroddis··on UK Engineers raise concerns over proposed switch to imperial measurements
This phenomenon is neatly captured in the locker-room wisdom for the recommended amount of protein intake for athletes here: 1 gram per pound of body weight.
iroddis··on Ask HN: Multi-Protocol Chat Clients
This project is amazing, and looks to be exactly what I'm looking for. Thank you very much!
iroddis··on Ask HN: How far could you get Coding without Google?
It's been a long time since I've done that kind of work, unfortunately. I still do have projects that I can be productive offline, most recently in rust ('cargo doc' is really amazing for this kind of thing).

It could be rose-tinted glasses, but I'd love to find a way back to the distraction-free coding days. Focus is by far my biggest battle these days, especially when running up against seemingly bizarre deficiencies (most recently, lack of unsigned 64-bit int support in postgres).

Hitting these kinds of walls almost always causes me to go wandering through distraction sites because I can't bring myself to build a bridge over yet another small discrepancy.

iroddis··on Ask HN: How far could you get Coding without Google?
In the good old *nix days the system provided pretty much everything you needed: C, perl, man pages, and well documented header files. Throw in a couple of good books on programming, and you could do a lot.

That's still the case, but it feels like today's software development reality is different. There are endless frameworks, apis, devops methods, scalability concerns, and n+1 standards with which to integrate and keep up to date on. Knowing your language is only about 25% of the battle, and few projects are developed in a vacuum.

It's not possible to keep track of all those things, so endless internet searches are the end result.

iroddis··on RSS is back as an underpinning to SlackOps
+1 for Feedly, although I use Feedly Classic on IOS for a more concise, no-frills UI. I really appreciate the header + summary without thumbnails format for quickly going through large-volume sources (like HN).
iroddis··on Tell HN: Outlook App copies external email data to Microsoft Cloud
Ha, good catch. You're right, it just promises to desynchronize, not to delete any copied data.

There is no opt-out, unfortunately, either during the add process or after the fact.

iroddis··on Tell HN: Outlook App copies external email data to Microsoft Cloud
I just tried the Outlook desktop client at home for the first time with my Fastmail account. This screen [1] pops up during the Add Account process, saying that all my messages will be synced to the Microsoft Cloud for "better experience".

According to the linked support article, there are no options to disable this "feature" aside from removing the account. I used a new account to test it out, and was unable to find out where the data was synced to and there's no way to verify it was deleted completely after I removed the account.

[1] https://postimg.cc/SXjMjWCL

iroddis··on 10-sec 1-leg stance duration predicts survival in middle-aged/older individuals
If you break down the muscles involved, it’s not bad. Squats are quad, glute, and back dominant, so you would balance with exercises focused on hamstrings, hip flexors, and abs. Also, tons of stretching.
iroddis··on Ask HN: What has melted your brain recently?
Not just Intel. AMD had the Platform Security Processor (PSP) that serves as similar role.
iroddis··on Ask HN: What has melted your brain recently?
Possibly this is me misunderstanding things, but that all things move at a constant velocity (speed of light) through spacetime. So I’m moving at the same speed as light, it’s just that a lot of my velocity is in the time dimension, where as light’s velocity is fully in the dimensions of space (and zero in time).
iroddis··on New UUID Formats
> UUIDs are crazy overkill in any situation where you can have centralised ID allocation.

Except that’s specifically the use case of UUIDs: to have a decentralized method to generate unique IDs with minimal chance of collisions. If you have centralized control, of course there will be options with more attractive properties: they aren’t dealing with the same constraints.

iroddis··on Ask HN: What's the coolest website you know?
https://earth.nullschool.net/

By far and away my favourite site of all time.

It’s a beautiful example of representing complex data in a manner that’s easy to digest, viscerally understand, even.

It’s also the first time I heard of the Misery Index, which was fun to learn about.

iroddis··on I have resigned all my positions in ISO C++ in protest
I used to agree with your general statement, until I worked with some people who were victims of violent crimes. Their trauma did not go away with a set unit of time served, but follows them forever.

The idea of neatly packaged-and-served justice doesn’t mesh with the reality of trauma inflicted by the crimes. Some stigma should remain with perpetrators, regardless of time served.

iroddis··on Ask HN: What are some good keyboards?
I have a few Vortex Pok3rs (60% with brown, red, and clear cherry switches) and love them.

It’s not as important now, but one thing I really like about them is how portable they are. If I have to travel to work at a client site or visit an office, a Pok3r is trivial to bring along.

Once you’re really used to a semi-exotic keyboard, it’s really frustrating when they’re not available.

iroddis··on Why noise is necessary for our brains to perform at a high-level
I have similar issues with distractibility with sounds. Music sometimes helps, and white noise is good, but sometimes I’d love to be able to just turn my ears off.

The worst situation is feeling the need for enough audio stimuli to feel “right”, but that level is too distracting to allow for focus.

← PreviousPage 3 of 4Next →