HNHacker News
TopNewBestAskShowJobs

thunkingdeep

73 karma · joined October 14, 2024

Retired at 34. I write code for puzzles and personal pleasure. Generally correct, universally controversial.

Interests: constraint logic programming, number theory, meteorology

submissionscomments
thunkingdeep··on OpenLDK: A Java JIT compiler and runtime in Common Lisp
I am a hobbyist Scheme programmer, and I can chime in and say that Clojure stack traces are among the worst I’ve ever seen in my life. Chez errors aren’t the best in the world, but anything beats those JVM ones, imo.
thunkingdeep··on Spotify Paid $10B to the Music Industry in 2024, $1B More Than Last Year
If you login to Spotify on the website you can get a better deal and then you can sign in on your phone and it will work like normal.

If they got into trouble I assume they’d just make all the users do it that way…

thunkingdeep··on OpenAI O3-Mini
I’ll take the China Deluxe instead, actually.

I’ve been incredibly pleased with DeepSeek this past week. Wonderful product, I love seeing its brain when it’s thinking.

thunkingdeep··on Tensor Product Attention Is All You Need
If you don’t pay to read papers, you don’t get to complain about the titles, imo.

I hate ads, but I’m not paying for YouTube Premium either. That’s how it goes. I get ads.

thunkingdeep··on Solving the first 100 Project Euler problems using 100 languages
Which sort of proves the point that there aren’t really any tolerable or normal people using Rust.
thunkingdeep··on Solving the first 100 Project Euler problems using 100 languages
Well, HN specifically asks for people to not comment shallow dismissals of others work, but here we are…
thunkingdeep··on Why does this site still suck so much
Took them like ten years to manage pagination…
thunkingdeep··on Meta's memo to employees rolling back DEI programs
Meta being way ahead of the game as usual.

Acknowledging race in job seeking makes for intrinsically tokenized contingents of people. I’m not just a PHP guy… I’m a BLACK PHP guy, etc.

True equality imo is equivalent to a form of neutrality. Pay no mind to race at all and instead focus on hiring the best hackers available and let the educational markets figure out the rest.

thunkingdeep··on I am rich and have no idea what to do
You’re absolutely right.

If it weren’t for my kids and my wife, I would’ve blown the money and ended up in poverty or something.

My heart goes out to people raising young ones in today’s world. Seems like things have only gotten harder and more confusing for young parents compared when my babies were young. We didn’t even HAVE smartphones when they were small.

thunkingdeep··on I am rich and have no idea what to do
I stopped working over twenty years ago and it was the best thing to ever happen to me. I spent thousands of days with my children, paid off my house, we drove brand new cars for the first time ever.

Over time, I’ve just found things to do with my time. I try project Euler problems and I’m pretty interested in meteorology. The rest of the time, I just participate in things my kids are interested in or involved in, though it’s not as easy as when I was young.

Routine is key, and being honestly and wholeheartedly engaged is key. You gotta do the time, don’t let the time do you.

This worked for me anyways.

thunkingdeep··on Does current AI represent a dead end?
Useless and dead end aren’t synonymous. It’s most certainly a dead end, but it’s also not useless.

There a lot of comments here already conflating these two.

This article is also pretty crap. There’s a decent summary box but other than that it’s all regurgitated half-wisdoms we’ve all already realized: things will change, probably a lot; nobody knows what the end goal is or how far we are from it; the next quantum leap almost certainly depends on a transcendent architecture or new model entirely.

This whole article could’ve been a single paragraph honestly, and a lot of the comments here probably wouldn’t have read that either… just sayin

thunkingdeep··on F*: A proof oriented general purpose programming language
In what situations would one prefer this vs Lean?

This seems to compile to native code if desired, so does that mean it’s faster than Lean?

Forgive me if these are obvious questions, I’m just curious and on my phone right now away from my machine.

thunkingdeep··on Compiling C to Safe Rust, Formalized
Typical term is “Oxidized”. I think they feel clever when they do the RiiR thing and say that.
thunkingdeep··on Array Languages for Clojurians (2020)
Yeah? Like poor little mom and pop shops like Walmart?
thunkingdeep··on People who are good at reading have different brains: study
Aren’t people who are good at anything in possession of different brains?

I know a guy that plays chess around the 2000 level, but cannot read. I have a cousin who can memorize a deck of cards, in any order, in just a few minutes. Everybody has different talents, but who gets to decide which brains are worth understanding?

We should be trying to combine and analyze all of the different ways that different brains have capacity for incredible feats of human accomplishment.

thunkingdeep··on Most American farmers have second jobs to stay afloat
Well, maybe most districts where the no1 employment sector is agriculture should stop voting Republican. /shrug
thunkingdeep··on C++ Template Macroprogramming versus Lisp Macros
Speaking frankly, I firmly believe it’s all a matter of taste. I like lisp because it matches the way I approach problems. I like to think of the program as a jig I’m building rather than a static component.

Being able to write macros means I can write code the SHAPE that I want, regardless of underlying implementation, but I can also manipulate other equivalently meta forms as well as primitives, which sets it at a higher level than templates.

I’m terrible at explaining, but if you’ve never tried lisp I strongly and wholeheartedly suggest you give it a try. For learning, I’d recommend Racket. Try and get at least as far as syntax-rules and syntax-case.

Anyways, sorry for the bad explanation!

thunkingdeep··on C++ template macroprogramming versus Lisp macros
Common misconception of non Lispers that macros are equivalent to compile time programming. You’re not simply moving the evaluation to compile time, you’re moving it upwards outside the program space into a higher dimension of programmability.

Not to dog on C++ unfairly, CTE is pretty neat after all.

Funnily enough, PGs “On Lisp” has some really neat macros in it that demonstrate capabilities that just can’t be replicated with template based macros, iirc.

thunkingdeep··on Rama on Clojure's terms, and the magic of continuation-passing style
I’ve always thought that CPS is a good barometer for finding out whether a developer is talented or whether they THINK they’re talented enough to design and/or implement these kinds of compiler components. This kind of thing but definitely CPS in particular is so much trickier to nail down than it initially seems if you’ve written a compiler before. Up there in difficulty with automatic parallelization and loop transforming. I tried to write a very small POC lisp once with an idea to have all vectors of known sizes get map’d in parallel and I never could nail it down.

Kudos to all involved. Clojure is such a mind bending tool. God only knows what it takes these people to maintain the guts of it all.

← PreviousPage 2 of 2