Hacker News: meken

New comment by meken in "Tao: Open math problems being non-renewably mined by AI"

meken — Wed, 09 Sep 2026 03:56:22 +0000

I bet it can be decomposed quite nicely though. At the top level, there are probably only like five steps. Dig as deep as you want into any of those steps (i.e. engineering).

New comment by meken in "Tao: Open math problems being non-renewably mined by AI"

meken — Wed, 09 Sep 2026 03:22:46 +0000

Tao has a spiel in his recent interview with Dwarkesh where he says that AIs are very good at explaining things - so just have the AI explain the proof in a human-friendly way.

New comment by meken in "Tao: Open math problems being non-renewably mined by AI"

meken — Wed, 09 Sep 2026 03:16:07 +0000

I don’t see why it makes a meaningful difference if a human solves a math problem versus AI - it seems like the same amount of understanding will come out in the end. Either the understanding will come from humans arriving at the proof in the former case, or the understanding will come from humans understanding the proof that the AI came up with in the latter.

New comment by meken in "Gödel, Escher, Elisp: The Beauty of Macros"

meken — Fri, 14 Aug 2026 15:52:19 +0000

> To anticipate a common question: why couldn't my-unless be a function? Function arguments are evaluated eagerly, before the function ever sees them.

Interesting, so if you’re using a lazy language then you don’t need a macro here and could write my-unless as a function.

New comment by meken in "Ask HN: Who wants to be hired? (August 2026)"

meken — Tue, 04 Aug 2026 21:49:05 +0000

Location: Tampa, FL

Remote: In-person/hybrid/remote

Willing to relocate: Austin, TX

Technologies: Kibana, Looker, Python, Docker

Résumé/CV: https://docs.google.com/document/d/e/2PACX-1vQk-1zQa7PPg-3kq...

Email: edward.banner@gmail.com

Technical Support Specialist with 5+ years software engineering background. Diagnosing and resolving technical issues, communicating clearly with both technical and non-technical users. Background includes API debugging, cloud infrastructure (AWS), Python, and data systems.

Currently pursuing customer/technical support roles. Open to support engineering roles.

Juno – Online J IDE

meken — Sat, 01 Aug 2026 16:09:29 +0000

Article URL: https://jsoftware.github.io/juno/app/

Comments URL: https://news.ycombinator.com/item?id=49135617

Points: 2

# Comments: 0

New comment by meken in "Show HN: Super Dario"

meken — Mon, 13 Jul 2026 19:47:15 +0000

The music reminds me of Mappy Land (one of my favorite childhood games).

New comment by meken in "Apple sues OpenAI, accuses ex-employees of stealing trade secrets"

meken — Mon, 13 Jul 2026 16:17:01 +0000

> You sound like a cigarette company rep.

> "I've seen an uptick in vague ominous attacks on Marlboro saying that our products kill people.

Then don’t vaguepost.

> Trust me when I say you don't want to live in a world where they win the AI race (if that wasn't already blatantly obvious).

They’re not perfect, but they’re the best organization in the running (with the second best person at the helm after Demis). The rest of the field isn’t close.

New comment by meken in "Apple sues OpenAI, accuses ex-employees of stealing trade secrets"

meken — Sat, 11 Jul 2026 12:39:38 +0000

Nice FUD.

New comment by meken in "Apple sues OpenAI, accuses ex-employees of stealing trade secrets"

meken — Sat, 11 Jul 2026 12:37:18 +0000

I’ve seen an uptick in these types of comment on HN - vague ominous sounding attacks on Anthropic.

It honestly seems like a coordinated PR effort from OpenAI folks to “both sides” the companies.

Which would, if true, be a further indictment of the culture at OpenAI.

New comment by meken in "Show HN: 18 Words"

meken — Thu, 09 Jul 2026 20:01:02 +0000

I love the timer. It’s the closest game to ThruLine I’ve come across (that’s a compliment).

APL Keyboard on iOS

meken — Sat, 27 Jun 2026 18:16:28 +0000

Article URL: https://github.com/ebanner/apl-keyboard/tree/main

Comments URL: https://news.ycombinator.com/item?id=48700434

Points: 2

# Comments: 0

Ask HN: Does replit do repls anymore?

meken — Fri, 19 Jun 2026 14:23:56 +0000

I just visited replit wanting to play around with some code in a repl, but I couldn't find where to create a repl.

It seems like they're turned into a AI application builder site where you can only submit prompts?

Comments URL: https://news.ycombinator.com/item?id=48598975

Points: 4

# Comments: 0

Netflix Viewing Activity

meken — Thu, 18 Jun 2026 21:57:03 +0000

Article URL: https://www.netflix.com/login?nextpage=https%3A%2F%2Fwww.netflix.com%2Fviewingactivity

Comments URL: https://news.ycombinator.com/item?id=48592194

Points: 1

# Comments: 0

New comment by meken in "Switzerland wil have a referendum to cap population at 10M"

meken — Mon, 08 Jun 2026 22:49:41 +0000

I’m an American and I just had the thought - if I was working in Japan at a Japanese company and I had the opportunity to hire, would I have a bias to hire other Americans?

Honestly probably, since I understand them the best.

New comment by meken in "Ask HN: What was your "oh shit" moment with GenAI?"

meken — Sat, 06 Jun 2026 14:44:39 +0000

Early on in my ChatGPT usage, one of my messages got interrupted/cut off (as happens occasionally).

My first thought was "oh they're going to need to add a UI feature to allow me to click and tell them to continue the conversation".

Then I realized I can just ask the model to continue, obviating the need for a button.

That was a pretty mind blowing moment.

New comment by meken in "My thoughts after using Clojure for about a month"

meken — Wed, 03 Jun 2026 05:47:52 +0000

I see.

Have you ever tried paredit? It’s pretty much a lifesaver for this kind of thing.

New comment by meken in "My thoughts after using Clojure for about a month"

meken — Wed, 03 Jun 2026 05:47:02 +0000

Ah I see. That makes sense.

That’s making me really thankful to be a paredit user.

New comment by meken in "My thoughts after using Clojure for about a month"

meken — Tue, 02 Jun 2026 22:05:29 +0000

> I do wish there were an easier way to move in the ]}]})))}-ness of block ends though.

I’m not quite sure what this means. How is it different/worse than all parens..?

fyi I use paredit and just hit ) and it moves me past any kind of paren/bracket. But even without that you can just hit left and right..?

New comment by meken in "CS336: Language Modeling from Scratch"

meken — Mon, 01 Jun 2026 15:38:21 +0000

I have fond memories of cs224d [1] taught by richardsocher. It’s a bit dated at this point as it was created in the pre-transformer era, but it was a very cool introduction to applying deep learning to nlp at the time.

[1] https://cs224d.stanford.edu