HNHacker News
TopNewBestAskShowJobs

jolt42

313 karma · joined July 27, 2023

submissionscomments
jolt42··on Microsoft builds MacBook Pro rival with NVIDIA-powered Surface Laptop Ultra
Eh, I like MacBooks because they've been bulletproof. Any PC I suspect it might just go kaput whenever it feels like it, except for maybe a ThinkPad, but they cost more than a MacBook.
jolt42··on The newest Instagram “exploit” is the goofiest I've seen
I suppose you could chalk this up to an oversight. I don't see how Meta gained from this. They've been purposeful about collecting user data and lying about it, eg: 2025 Android Tracking Incident. Shouldn't just be an embarrassment, should be much worse than that.
jolt42··on Uber president says AI spending is getting 'harder to justify'
I like the qualification of "large-ish". When someone says code is not the bottleneck, I assume they work for a large company. To be fair, at a start-up developers think they code at least 4 hours a day, but it never averages that either.
jolt42··on What Do Gödel's Incompleteness Theorems Mean?
We really want to believe that we can understand everything, yet we know we cannot.
jolt42··on Shunning AI is the human choice
When we have AGI, we'll have self-driving cars. We aren't getting either in a year's time. The need for white-collar jobs in areas will shrink (not disappear), possibly to expand elsewhere.
jolt42··on Google changes its search box
Yep, really advanced Google searches were never that good. LLM, yeah, it halucinates, it's never spot on but as sure as heck it knows what I'm trying to ask. It doesn't give me arborists if I say something like "list tree searches".
jolt42··on Venom and hot peppers offer a key to killing resistant bacteria
"The universe is rarely so lazy"
jolt42··on Venom and hot peppers offer a key to killing resistant bacteria
That wouldn't prevent the caduceus from being based on the story.
jolt42··on Venom and hot peppers offer a key to killing resistant bacteria
And yet the similarities can't be coincidental. Rod + Snake = Life Saving.
jolt42··on Venom and hot peppers offer a key to killing resistant bacteria
I always assumed what I felt was obvious: Numbers 21:4-9, where God instructs Moses to make a bronze serpent and place it on a pole to heal Israelites dying from poisonous snake bites.
jolt42··on ClojureScript Gets Async/Await
The logical conclusion is to use "a Haskell" typed language that will ensure every path is considered to guard against AI mistakes. OTOH, clojure repl, expressibility, immutability, and data-driven nature has its own advantages. Tacking on malli (runtime type checking) or spec (types/contracts) helps LLMs avoid type problems altogether or at least confront problems during testing.
jolt42··on The bottleneck was never the code
Sometimes code is the bottleneck, other times it's not. Large company, not a bottleneck, fixing bugs or individual app developer, more so.
jolt42··on Bugs Rust won't catch
I wonder if Rust becomes more popular with AI as Rust can help catch what AI misses, but then if that's the case then what about Haskell, or Lean, or?
jolt42··on Laws of Software Engineering
I'll propose this as the only unbreakable law: "everything in moderation", which I feel implies any law is breakable, which now this is sounding like the barber's paradox. What else does anyone propose as unbreakable?
jolt42··on AI Resistance: some recent anti-AI stuff that’s worth discussing
It's easy to chalk it up to "fear of the unknown", when in reality it's both good and bad depending on who's wielding it. It can be used to tear down or build up, solve problem or create problems just like every advance before it. So while I'm generally excited with where it can go, I guess I don't mind being reminded there can be downsides.
jolt42··on AI Resistance: some recent anti-AI stuff that’s worth discussing
Anecdotally, I was just there and ran into a couple of anti-AI people and it's not like I was bringing it up. All I got was they were worried about the water and the heat produced. I wonder if someone has done an analysis of old-search vs AI-search, I most definitely get the info quicker that I want with AI, does that make up for the LLM cost, I have no idea.
jolt42··on Allbirds, Inc. Announces Expansion into AI Compute Infrastructure
Ridiculous? Tandy (leather originally) became a large computer company for a while. So who's to say really.
jolt42··on DIY Soft Drinks
Why? Is it just not put caramel coloring in it? It didn't taste like actual Pepsi to me, which I suppose might be more difficult?
jolt42··on DIY Soft Drinks
Heh, I knew that Coca-cola didn't still have cocaine, but TIL it doesn't have Cola (nut) either! Its name is completely ridiculous now.
jolt42··on A perfectable programming language
performance of Go - why not Fortran? type system of Kotlin - why not Scala/Haskell? Repl like Kotlin, why not Clojure?
jolt42··on Ask HN: Any interesting niche hobbies?
I've been meaning to get back into that, but now I'm curious about lots of personal development paths?
jolt42··on Ask HN: Any interesting niche hobbies?
I like this. I like crossword puzzles but don't like I'm just solving pre-made puzzles rather than exploring new territory. Math seems the best candidate but are there other fields with similar challenges?
jolt42··on Bringing Clojure programming to Enterprise (2021)
* Hot deploy

* Extreme thread-safety, better than all JVM languages and on par with the best.

* Macros - Other languages you have to reach for other languages to program in other paradigms, for example rules, logic programming, or writing a custom DAG. You'll probably say you don't need other paradigms whereas the truth is you just avoid it in other languages as it's too much of a hassle.

jolt42··on Bringing Clojure programming to Enterprise (2021)
Scala and Clojure were smart to ride the JVM early on. Babashka and Jank are Clojure breaking out of the JVM.
jolt42··on Bringing Clojure programming to Enterprise (2021)
I think by the same reasoning Qwerty keyboard is better than Dvorak. People are just used to Qwerty, although they would type faster on Dvorak, or in the case of s-expressions use structural editing.
jolt42··on Don't Wait for Claude
Yes. I agree with the problem statement, but have no idea what the solution is BUT it does involve lots of key bindings.
jolt42··on Explore the Hidden World of Sand
Only one from Mexico, definitely need more.
jolt42··on AI has fixed my productivity
I'll try things I wouldn't otherwise try to get a better solution. I generate more throw-away code that actually gets thrown away, that's a win.
jolt42··on Fluorite – A console-grade game engine fully integrated with Flutter
I was impressed with how well flutter took function/react style and married it with OO, the rendering seemed to make anything possible and clean. Dart is good, just the threading model seemed awkward. Can't say I dove too deep though.
jolt42··on Why The Jetsons still matters (2012)
Yeah that's a pretty blanket statement, although the day-to-day life aspect helps a lot.
← PreviousPage 3 of 7Next →