meken

3 ms·

1.
by meken 10d ago
I switched from vi readline mode to emacs recently primarily for Ctrl-r and Alt-. (insert the argument from the last command). I love how interactive they feel. You can accomplish the same things in vi editing mode (with ? and !!) but they’
2.
by meken 11d ago
I recently watched the anime Neon Genesis Evangelion, where they make reference to a Dirac Sea [1]. It seemed very magical/trippy/cool. [1] https://en.wikipedia.org/wiki/Dirac_sea
3.
by meken 13d ago
No one is saying you can’t solve puzzles that have already been solved. If you love solving puzzles, then whether it has been solved doesn’t seem all that important.
4.
by meken 14d ago
> That said, if slowing this down were possible, I think it would have happened by now. Maybe he’s hoping the OAI/HF incident becomes something the industry can rally around, but it won’t. I disagree with this and I think the reason
5.
by meken 14d ago
> The fundamental problem is simpler: no one will slow down because no one trusts anyone else to slow down. Did you read the essay? > [Embedded evaluators] is something Anthropic is unilaterally committing to (and calls on governments
6.
by meken 14d ago
Hard disagree, to the point where I'm not sure there's not some confusion at play here. I find using indices and summations generally confusing and hard to read/follow/understand. To me, it's so much simpler to draw
7.
by meken 17d ago
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).
8.
by meken 17d ago
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.
9.
by meken 17d ago
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 t
10.
by meken 1mo ago
> 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
11.
by meken 2mo ago
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-1zQa7P
12.
Juno – Online J IDE(jsoftware.github.io)
2 points by meken 2mo ago|0 comments
13.
by meken 3mo ago
The music reminds me of Mappy Land (one of my favorite childhood games).
14.
by meken 3mo ago
> 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 worl
15.
by meken 3mo ago
Nice FUD.
16.
by meken 3mo ago
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
17.
by meken 3mo ago
I love the timer. It’s the closest game to ThruLine I’ve come across (that’s a compliment).
18.
APL Keyboard on iOS(github.com)
2 points by meken 3mo ago|0 comments
19.
Ask HN: Does replit do repls anymore?
4 points by meken 3mo ago|0 comments
20.
Netflix Viewing Activity(netflix.com)
1 points by meken 3mo ago|0 comments
21.
by meken 4mo ago
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.
22.
by meken 4mo ago
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 convers
23.
by meken 4mo ago
I see. Have you ever tried paredit? It’s pretty much a lifesaver for this kind of thing.
24.
by meken 4mo ago
Ah I see. That makes sense. That’s making me really thankful to be a paredit user.
25.
by meken 4mo ago
> 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
26.
by meken 4mo ago
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:/&#x2
27.
by meken 4mo ago
I’m thankful for Racket - it got me regularly programming in lisp by virtue of LeetCode accepting it as one of its languages. I did start to feel Racket’s “wordiness” towards the end - it started to feel a bit like COBOL. I’ve since moved o
28.
by meken 4mo ago
They are published on the leetcode website. Here's a screenshot showing where to click [1]. LeetCode does have an "unofficial" API to get the problem of the day. Should work for previous days as well. This code worked last I
29.
by meken 4mo ago
Nice to meet someone else that does the daily leetcode! It is really a nice feature - I wish every online judge website would add it. Bonus - Racket is an accepted language on leetcode ;-)
30.
by meken 4mo ago
I had a little excursion into Dyalog APL recently and wound up writing an emacs mode to evaluate Dyalog APL [1]. It was a pretty nice experience using Claude to extract the small subset of features I wanted from gnu-apl-mode [2] to work wit

More ›