meken

5 ms·

1.
by meken 4d 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
2.
by meken 4d 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
3.
by meken 4d 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
4.
by meken 8d 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).
5.
by meken 8d 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.
6.
by meken 8d 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
7.
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
8.
by meken 1mo 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
9.
Juno – Online J IDE(jsoftware.github.io)
2 points by meken 2mo ago|0 comments
10.
by meken 2mo ago
The music reminds me of Mappy Land (one of my favorite childhood games).
11.
by meken 2mo 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
12.
by meken 2mo ago
Nice FUD.
13.
by meken 2mo 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
14.
by meken 2mo ago
I love the timer. It’s the closest game to ThruLine I’ve come across (that’s a compliment).
15.
APL Keyboard on iOS(github.com)
2 points by meken 3mo ago|0 comments
16.
Ask HN: Does replit do repls anymore?
4 points by meken 3mo ago|0 comments
17.
Netflix Viewing Activity(netflix.com)
1 points by meken 3mo ago|0 comments
18.
by meken 3mo 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.
19.
by meken 3mo 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
20.
by meken 4mo ago
I see. Have you ever tried paredit? It’s pretty much a lifesaver for this kind of thing.
21.
by meken 4mo ago
Ah I see. That makes sense. That’s making me really thankful to be a paredit user.
22.
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
23.
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
24.
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
25.
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
26.
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 ;-)
27.
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
28.
by meken 4mo ago
Love the story and the article. The only nit I have with it: > “His answers are… understandable, and maybe in some ways more digestible than we would get from an expert,” he said. This does not reflect his actual responses? The interview
29.
by meken 5mo ago
I was curious to get a sense for the overall "success rate" at a glance, so I uploaded the author's data as a spreadsheet and color-coded the conversations based on length (short=red, medium=yellow, long=green) with the help
30.
by meken 5mo ago
> but part of me wonders if a lot of their success is attributable to the place just being well run in general That was my sense reading the article - that the author would be running a successful engineering org using any language reall

More ›