HNHacker News
TopNewBestAskShowJobs

arunix

189 karma · joined July 18, 2012

submissionscomments
arunix··on Patrick Stewart taught us what good men do with power
The Visitor (S4, E2) was nominated for a Hugo award. The main character in this story is an older version of Jake Sisko, played by Tony Todd.
arunix··on Through Captain Jean-Luc Picard, Patrick Stewart taught us the measure of a man
Not quite, even by the second appearance of the Ferengi (The Battle, S1 E9), the Ferengi captain who tries to take revenge on Picard is eventually relieved of his command because "revenge is not profitable"
arunix··on Types of types: Haskell's Kind system
Some examples of those?
arunix··on What makes Lisp difficult to read?
Somewhat related: Readable Lisp S-expressions Project

https://sourceforge.net/p/readable/wiki/Problem/

(I learned Lisp in the 90's and enjoyed it, but I still find it difficult to read.)

arunix··on Topologist's Map of the World
There's another version of this where the islands are placed in a more natural way nearer to their continental neighbours:

https://kottke.org/22/12/the-topologists-map-of-the-world

arunix··on Virtual Threads for a scripting language in Java 8 without Loom
On the front page, there is an example about optional typing, but it's not very clear how the typing is coming in:

  def fib(x) { x <= 2 ? 1 : fib(x - 1) + fib(x - 2) }
  
  println "40th fibonacci number is ${fib(40)}"
arunix··on A better SQL in 11 lines of code
ORMs based on the query object pattern don't hide the database, but make SQL more reusable/composable (e.g. SQLAlchemy, JOOQ, etc).

https://martinfowler.com/eaaCatalog/queryObject.html

arunix··on No country for mediocre mathematicians
Related: Does one have to be a genius to do maths?

https://terrytao.wordpress.com/career-advice/does-one-have-t...

arunix··on Shrimple – A Simpler, Nicer Markdown
Why does Ruby make Asciidoctor horrible to work with?
arunix··on Solid and Clean Code never felt solid or clean to me
And at the end of that Bob says:

> For my part I'll just say that I have given due consideration to the points you've made, and while I disagree with your conclusions above, I have integrated several of your better ideas, as well as this entire document, into the second edition of Clean Code.

arunix··on Making Sense of Proof by Contradiction [pdf]
I agree that the prime list example is really a constructive proof. But what about the sqrt(2) and log(2) examples?
arunix··on PostgreSQL is enough (2024)
Can you say more about those bugs?
arunix··on How to move a beluga across the world
Right at the end of the article:

> Why not release the belugas into the ocean?

> It's geopolitically difficult to return many belugas to their native waters, because many come from Russia, Lott said.

> Sending the Marineland belugas into the wild would have been "inhumane," Trites said. At least half of the animals were born into captivity, so they don't know how to hunt and wouldn't be accepted by the local beluga population.

> "The animals are so social that they can't survive on their own," he said.

arunix··on Djevops: Self-Host Django Easily
Which VPS?
arunix··on Japanese verb conjugation the simple hard way
Are there any books you'd recommend that get it right?
arunix··on Lisp's Influence on Ruby
Is the lack of cons cells a significant limitation?
arunix··on Project Hail Mary – Stellar Navigation Chart
Altair looks closer than Alpha-Centauri on this map, although it's actually 4 times as far (probably Z axis squashing).
arunix··on What have been the greatest intellectual achievements? (2017)
Cantor is mentioned, but I'd also mention the idea that some infinities are equivalent (e.g. Integers and Rationals), but others are not (Rationals and Real numbers).

https://en.wikipedia.org/wiki/Cantor%27s_paradise

arunix··on Modern SQLite: Features You Didn't Know It Had
Does StorX have any special handling of concurrent writes, or would the user need to take care of that?
arunix··on A Faster Alternative to Jq
Thanks. Can you say more about why TypeScript with Deno is your scripting language of choice?
arunix··on Babylon 5 is now free to watch on YouTube
TNG introduced various civilisations that drive much of the plot in DS9.

Season 1: Ferengi

Season 4: Trill, Cardassians

Season 5: Bajorans

Also, Chief O'Brien and his wife Keiko who were recurring minor characters in TNG have more important roles in DS9.

arunix··on I made my own Git
I remember in a previous job having to enable git rerere, otherwise it wouldn't remember previously resolved conflicts.

https://git-scm.com/book/en/v2/Git-Tools-Rerere

arunix··on Structure and Interpretation of Classical Mechanics (2014)
Do you remember which video that was?
arunix··on What is “good taste” in software engineering?
Do you mean local variables per se, or mutable local variables? Clojure, like most Lisps has let.
arunix··on I ran Claude in a loop for 3 months, and it created a genz programming language
Recently, I wondered what would happen if two of these systems were set up doing mutual pair programming ...
arunix··on Do I not like Ruby anymore? (2024)
What does "slow to iterate on" mean?
arunix··on Modern CI is too complex and misdirected (2021)
Is there something about .NET that makes this easier?
arunix··on Jujutsu for busy devs
Can you say more about how it's better than both?
arunix··on Kotlin-Lsp: Kotlin Language Server and Plugin for Visual Studio Code
What are the IntelliJ alternatives you prefer?
arunix··on Migrating to Postgres
Also, the Query Object style, e.g. JOOQ and SQLAlchemy Core

https://martinfowler.com/eaaCatalog/queryObject.html

Page 1 of 8Next →