andrekandre (u/andrekandre)

andrekandre commented on Where did all the starships go? datawrapper.de/blog/scien... · Posted by u/speckx

MichaelZuo · a day ago

A trip there to do… what?

There likely won’t be any planet better than the very low bar of Mars for human habitation, in fact maybe even worse due to binary perturbations.

andrekandre · 21 hours ago

  > A trip there to do… what?

to play golf, what else?

https://www.youtube.com/watch?v=t_jYOubJmfM

andrekandre commented on Coding agents have replaced every framework I used blog.alaindichiappari.dev... · Posted by u/alainrk

pphysch · a day ago

Automatically solving software application bugs is one thing, recovering stateful business process disasters and data corruption is entirely another thing.

Customer A is in an totally unknown database state due to a vibe-coded bug. Great, the bug is fixed now, but you're still f-ed.

andrekandre · a day ago

  > Automatically solving software application bugs

the other issue is "fixing" false-positives; i've seen it before with some ai tools: they convince you its a bug and it looks legit and passes the tests but later on something doesn't quite work right anymore and you have to triage and revert it... it can be real time sink.

andrekandre commented on Coding agents have replaced every framework I used blog.alaindichiappari.dev... · Posted by u/alainrk

manmal · a day ago

What you’re describing is that we’d turn deterministic engineering into the same march of 9s that FSD and robotics are going through now - but for every single workflow. If you can’t check the code for correctness, and debug it, then your test system must be absolutely perfect and cover every possible outcome. Since that’s not possible for nontrivial software, you’re starting a march of 9s towards 100% correctness of each solution.

That accounting software will need 100M unit tests before you can be certain it covers all your legal requirements. (Hyperbole but you get the idea) Who’s going to verify all those tests? Do you need a reference implementation to compare against?

Making LLM work opaque to inspection is kind of like pasting the outcome of a mathematical proof without any context (which is almost worthless AFAIK).

andrekandre · a day ago

  > Who’s going to verify all those tests?

why, the user of course

andrekandre commented on Coding agents have replaced every framework I used blog.alaindichiappari.dev... · Posted by u/alainrk

skybrian · a day ago

I think we have some pretty good power tools now, but using them appropriately is a skill issue, and some people are learning to use them in a very expensive way.

andrekandre · a day ago

  > appropriately is a skill issue

or maybe its a ux issue?

maybe chatbot style interfaces are just an artifact of the medium?

people talk about setting up harnesses and feedback loops etc, but a lot of the ux is a frankly mess...

andrekandre commented on Show HN: I spent 4 years building a UI design tool with only the features I use vecti.com... · Posted by u/vecti

alsetmusic · a day ago

"I'm a developer who hates your decision to kill that tech. Can you please talk about your shitty adventure before you became CEO of this company cause I want to embarrass you?"

Then Steve Jobs gives one of his most memorable statements about building good products while ignoring the taunt.[0]

I got your reference. Cyberdog!

0. https://www.youtube.com/watch?v=oeqPrUmVz-o

andrekandre · a day ago

yes, haha, steve really showed he was ceo material there fr

for reference if anyone is interested in poor old cyberdog (and the meme reference): https://oldvcr.blogspot.com/2023/10/teaching-apple-cyberdog-...

andrekandre commented on Flock CEO calls Deflock a “terrorist organization” (2025) [video] youtube.com/watch?v=l-kZG... · Posted by u/cdrnsf

eleventyseven · 3 days ago

He didn't have to do a single damn thing. He did the cost-benefit analysis and chose to cozy up to a corrupt administration.

Given how much the typical Apple consumer skews left and has extreme brand loyalty, if Apple got tariffed simply because Tim failed to bow down, Apple would be in a stronger position to fight it than any other tech company. They could have stood up, but chose not to.

andrekandre · a day ago

  > Given how much the typical Apple consumer skews left

idk, that might just be something people believe but i haven't seen any evidence of that... many right-leaning pundits are apple users; even rush limbaugh was a mac user!

andrekandre commented on How to effectively write quality code with AI heidenstedt.org/posts/202... · Posted by u/i5heu

jwpapi · 2 days ago

The first rule is an antipattern. I think describing your architecture or ANY kind of documentation for your AI is an anti-pattern and blows the context window leading to worse results, and actual more deviation.

The controlling systems are not give it more words at the start. Agentic coding needs to work in loop with dedicated context.

You need to think about how can i give as much intent as possible with as little words.

You can built a tremendous amount of custom lint rules ai never needs to read except they miss it.

Every pattern in your repo gets repeated, repo will always win over documentation and when your repo is good structured you don’t need to repeat this to AI

It’s like dev always has been, watch what has gone wrong and make sure the whole type or error can’t happen again.

andrekandre · 2 days ago

  > repo will always win over documentation

it really does seem like this... also new devs are like that too: "i just copied this pattern use over here and there whats wrong?" is something i've heard over and over lol

i think languages that allow expression of "this is deprecated, use x instead" will be usefull for that too

andrekandre commented on How to effectively write quality code with AI heidenstedt.org/posts/202... · Posted by u/i5heu

gchamonlive · 2 days ago

> A lot of how I form my thoughts is driven by writing code, and seeing it on screen, running into its limitations.

If you need that, don't use AI for it. What is it that you don't enjoy coding or think it's tangential to your thinking process? Maybe while you focus on the code have an agent build a testing pipeline, or deal with other parts of the system that is not very ergonomic or need some cleanup.

andrekandre · 2 days ago

  > If you need that, don't use AI for it.

this is the right answer, but many companies mandate to use ai (burn x tokens and y percent of code) now, so people are bound to use it where it might not fit

andrekandre commented on How to effectively write quality code with AI heidenstedt.org/posts/202... · Posted by u/i5heu

wasmainiac · 2 days ago

I also second this. I find that I write better by hand, although I work on niche applications it’s not really standard crud or react apps. I use LLMs in the same way i used to used stack overflow, if I go much farther to automate my work than that I spend more time on cleanup compared to if I just write code myself.

Sometimes the AI does weird stuff too. I wrote a texture projection for a nonstandard geometric primitive, the projection used some math that was valid only for local regions… long story. Claude kept on wanting to rewrite the function to what it thought was correct (it was not) even when I directed to non related tasks. Super annoying. I ended up wrapping the function in comments telling it to f#=% off before it would leave it alone.

andrekandre · 2 days ago

  > I use LLMs in the same way i used to used stack overflow, if I go much farther to automate my work than that I spend more time on cleanup compared to if I just write code myself.

yea, same here.

i've asked an ai to plan and setup some larger non straight forwards changes/features/refactorings but it usually devolves into burning tokens and me clicking the 'allow' button and re-clarifying over and over when it keeps trying to confirm the build works etc...

when i'm stuck though, or when im curious of some solution it usually opens the way to finish the work similar to stack overflow

andrekandre commented on Swift is a more convenient Rust (2023) nmn.sh/blog/2023-10-02-sw... · Posted by u/behnamoh

JackYoustra · 6 days ago

iirc you can't do this for extensions which being a huge amount of compiler constraint resolution time

andrekandre · 2 days ago

interesting, so maybe a good recommendation would be to not go overboard with too many public extensions... hmm...