HNHacker News
TopNewBestAskShowJobs

submain

180 karma · joined September 5, 2020

submissionscomments
submain··on How I changed teaching after AI managed to do all my homework assignments
In my country of origin (not US) that's how it worked starting in high school. Homework was called "suggested problems". The teacher reviewed them in class. No grading. We ended up doing it because that was almost the only way to pass the exams (which, btw, could be up to 50 questions long...)
submain··on I had Gemini train its own replacement for $9
I stopped reading three sentences in when I realized it was getting hard to follow. AI explains it.
submain··on Steam Frame starts at $1059
Do you need to keep taking Dramamine, or do you adapt to it eventually?
submain··on Fable 5.1 Solves the Cyphral Distich, a 370-year-old cipher
I literally created a /plain-language skill.
submain··on Show HN: Godot and Rust based multiplexer (terminal panes and more)
The documentation is really hard to read. It's full of claudisms and verbosity. I highly recommend you to do a human review on the whole thing.
submain··on What will our economic future look like?
Which is why we need competition. Which is almost non-existent in US healthcare as comparing prices is near impossible.
submain··on OpenAI's GPT-6 Astra on ARC-AGI-3
Unproven, but it could very well be some problems require consciousness to be solved.
submain··on Nobody Has Actually Built a Software Factory
It's amazing how exhausting AI text is to read.
submain··on Hacking IKEA Furniture
Likewise. I signed up for woodworking classes. I think I'm in for a rude awakening.
submain··on Running Gemma 4 26B at 5 tokens/sec on a 13-year-old Xeon with no GPU
NVidia seems to want them. They have a lot of lobbying power.
submain··on Steam Machine launches today
Not op, but I use it for seeing the joystick + throttle and the "real" instruments in flight simulator.
submain··on Claude Fable 5
The investors will get their money back on the IPO. They'll dump all their stocks in the market and run away, leaving retail with the bill.
submain··on India's surprise baby bust
I think that's a fair take. We could also frame it as society in the past has carried a lot of the burden of raising kids.

Tribes and communities helped raise kids. That's no longer true in an individualistic and institutionalized society.

submain··on India's surprise baby bust
Is that enough though? Women change their entire bodies, sacrifice years of their lives, and go through considerable stress to have a baby. And at the end, the benefits of that ordeal are not clear.

Society would need to offer something to offset all those costs.

submain··on India's surprise baby bust
I agree. It comes down to the opportunity cost for women to have babies.

On pre-industrialized societies, women have barely a choice. On industrialized ones they do. And it turns out that, when given the choice, they choose not to have babies.

submain··on DeepSeek makes the V4 Pro price discount permanent
It seems to me China is chasing widespread adoption, while the US is chasing the AGI dream.
submain··on Reallocating $100/Month Claude Code Spend to Zed and OpenRouter
I have been doing this and the results have been fairly good.

I use claude to build requirements.md -> implementation.md -> todo.md. Then I tell opencode + openrouter to read those files and follow the todo using a cheap (many times free) model.

It works 90% of the time. The other 10% it will get stuck, in which case I revert to claude.

That has allowed me to stay on the $20/month claude subscription as opposed to the $100.

submain··on Sky – an Elm-inspired language that compiles to Go
Great work :). Go doesn't have TCO. That means functional languages (no for loops) could blow up the stack. How did you solve that?
submain··on Anthropic officially bans using subscription auth for third party use
> And don't even let me get started on how bad Claude client has become

The latest versions of claude code have been freezing and then crashing while waiting on long running commands. It's pretty frustrating.

submain··on [dead]
bots perhaps? Anyways, mods should remove this post.
submain··on I replaced Windows with Linux and everything's going great
> If you search for problems on linux, you will get much higher quality answers.

Not only that, but in the past I've cooked hacky bash scripts to work around issues while waiting for upstream fixes. I'd imagine that'd be harder with other OSs.

submain··on Functional programming and reliability: ADTs, safety, critical infrastructure
I usually define functional programming as "how far away a language is from untyped lambda calculus". By that definition, different languages would fall in different parts of that spectrum.
submain··on Ask HN: How can I get better at using AI for programming?
> The real secret to agent productivity is letting go of your understanding of the code and trusting the AI to generate the proper thing

The few times I've done that, the agent eventually faced a problem/bug it couldn't solve and I had to go and read the entire codebase myself.

Then, found several subtle bugs (like writing private keys to disk even when that was an explicit instruction not to). Eventually ended up refactoring most of it.

It does have value on coming up with boilerplate code that I then tweak.

submain··on Show HN: Gemini Pro 3 imagines the HN front page 10 years from now
"Magic Leap raises $827M in Series C". Aged like wine.
submain··on Show HN: Lockenv – Simple encrypted secrets storage for Git
This is great! Coincidentally, I just started replacing my collection of bespoke security bash scripts with an app like yours. WIP here: https://github.com/leolimasa/age-vault

We all keep reinventing the same thing :)

submain··on Poll HN: What operating system do you primarily develop on?
Yeah, I run macos for the same reason.

However, I went back to linux on my personal laptop (nixos on my case) and I am pleasantly surprised how many things now just work.

The only thing that still annoys me is the laptop not sleeping properly and therefore using too much battery power when idle.

It has made great strides on the last two or so years.

submain··on The hidden cost of AI coding
This echoes my sentiment that LLMs are higher level programming languages. And, as every layer of abstraction, they add assumptions that may or may not fit the use case. The same way we optimize SQL queries by knowing how the database makes a query plan, we need to optimize LLM outputs, specially when the assumptions given are not ideal.
submain··on Show HN: Cot: a Rust web framework for lazy developers
Type checking is indeed an advantage of ORMs. You pay for it with object relational impedance mismatch. That impedance grows as your schema grows.

In my experience, the way to get the best of both worlds is to use a query builder as opposed to a full ORM.

submain··on Show HN: Cot: a Rust web framework for lazy developers
ORMs are one of those things that make sense for really tiny projects but fail to scale once complexity settles in.
submain··on Fewer students are enrolling in doctoral degrees
I love doing research. I published a minor unimportant paper in undergrad and had a blast doing it.

Then at graduation I was offered a well paid job in the industry. Decided to pursue it as opposed to spending 5-6 more years in academia looking for grants.

Would love to go back and get a PhD, but the economics just don't make sense for me. For now, it's a retirement plan.

Page 1 of 2Next →