m_w_

5 ms·

1.
by m_w_ 6d ago
Gee Eddy_Viscosity2, how come your mom lets you have TWO big boxes of cables? I'm sure I have multiple VGA cables in mine, and I'm not sure a single device I own even has a VGA port on it anymore.
2.
by m_w_ 12d ago
> Along the way, it wrote 13 million lines of Lean and proved 29,500 intermediate theorems. Pretty insane. I suppose it lends further credence to the idea that anything that can be shown to be correct can be done by a model.
3.
by m_w_ 13d ago
The review that "IBM Bob isn't just another autocomplete tool" tells you everything you need to know about this product. lol.
4.
by m_w_ 1mo ago
lore does not make it a good or professional choice
5.
by m_w_ 1mo ago
For one, I think AI music is ontologically evil and have extreme opinions on the matter. More than that though, I completely disagree that anything I'd ever choose to listen to is elevator tier / background noise. Just because it
6.
by m_w_ 1mo ago
This was a very pleasant read. There's (justifiably) a lot of debate about AI prose on this forum, which has become tiring. It's refreshing to read something so grounded. Doubly so while looking at a packet of Belvita breakfast bi
7.
by m_w_ 1mo ago
This is super cool! I have always loved projects that try to categorize color space. Usually my work has gone in the other direction - isGray, isCloseToWhite, isPastel - but it's the same insofar as it's defining shapes like your
8.
by m_w_ 2mo ago
Very impressive headline benchmark numbers. I expected a step change, but not past Fable. That said - it all depends on whether the classifiers make the model unusable...
9.
by m_w_ 2mo ago
This is a good idea - and I might pick it up for my writing, since a lot of it still happens in Obsidian. If a document is worked on across multiple days / revisions / app sessions - how is that handled?
10.
by m_w_ 2mo ago
It seems that they're trying to push up-market, or at least they were. Given the extremely competitive releases of GLM 5.2 and DeepSeek V4 (both pro and flash), I don't think there'll be appetite for it.
11.
by m_w_ 2mo ago
It's a bit disheartening to see no comparison to other models here - and I'm not sure this pushes the curve anywhere. 3.6 flash is more expensive than GLM 5.2 - but seemingly worse, although this post is really light (lite?) on de
12.
by m_w_ 2mo ago
> There is no joy of discovery of new music that you haven't heard. There is no connection to other humans through music. Hard disagree here. For new music, Discover Weekly is great, if you take some time to engage with it on a rout
13.
by m_w_ 2mo ago
Yes - this is certainly true. I would have to concede that I could not speak to how my thesis would map onto a truly colossal codebase. That said - I would (again, maybe naively) suppose it's not hugely different - much of the work I d
14.
by m_w_ 2mo ago
Obviously I'm just one guy, but I maintain what I said w/ typing happily at 120+wpm. I think I could break 150 if I switched to colemak or dvorak, which I've been considering. I don't think my job was ever to type fast,
15.
by m_w_ 2mo ago
Yes - I think that's fair. I'm happy to concede the term coding - I still enjoy the process of telling my computer to build something I've envisioned. It's now much faster, and I get to do more of the big-picture thinkin
16.
by m_w_ 2mo ago
I guess I'm of two minds on it. Sometimes, I will review every line, test the front-end in a staging environment, verify the backend contract, et cetera. Over time, though, I realized that many of these reviews just didn't result
17.
by m_w_ 2mo ago
I love coding and I always have - arguably moreso now, if you can still call it coding. For me, it is not about the syntax nor the mechanics of typing though. My enjoyment comes from thinking about problems and breaking them down, or thinki
18.
by m_w_ 2mo ago
Generally end-user applications, depending on how you classify internal tools. I'm generally very happy with the output of Opus 4.X with a moderately structured CLAUDE.md and some investment in detection/avoidance of anti-patterns
19.
by m_w_ 2mo ago
I can only imagine that people who say things like: > If you use AI for anything else, and in particularly if you use it to generate code, you're wasting your time. Have not used frontier models in at least a year. It is nearly inco
20.
by m_w_ 2mo ago
+1 for the claude icon fire bars
21.
by m_w_ 2mo ago
I would add a +1 for testing w/ Word - the official Office suite runs some validation where only Word will show a "broken file" popup, even when nothing else does. In our case, clients use only real Word, so any machine-gener
22.
by m_w_ 2mo ago
Interesting - I'll be sure to benchmark it at some point. We've found the best results come from blending providers depending on the task anyways. Thanks for the quick response - and always happy to see more competition in the spa
23.
by m_w_ 2mo ago
Unclear what difference exists against Firecrawl - their team has been shipping great features extremely quickly lately, and their core offerings have become really good. I am interested in KnifeGeek though - looking for a good OTF (ultrate
24.
by m_w_ 3mo ago
Nor more than a mention of Query Hints, which had some interesting discussion under a similarly-titled submission. https://news.ycombinator.com/item?id=48413655
25.
by m_w_ 3mo ago
This seems to be a worse version of another submission [0] I saw a while back - binary octets are easy for anyone who can copy paste; image attributes like edge pressure and stable contour mean basically nothing to me. [0]: https:/&#
26.
by m_w_ 3mo ago
No one takes g2 and product hunt seriously right?
27.
by m_w_ 3mo ago
I think Mythos is rumored to be ~10T parameters, so in this case I think the answer is yes, although I'm sure MoE, looped models, etc play a role in the improvements as well.
28.
by m_w_ 3mo ago
> AlphaEvolve’s procedure found an algorithm to multiply 4x4 complex-valued matrices using 48 scalar multiplications, improving upon Strassen’s 1969 algorithm that was previously known as the best in this setting. This finding demonstrat
29.
by m_w_ 4mo ago
Very cool concept, although I think the leaderboard is more about network latency than anything else...
30.
by m_w_ 4mo ago
Although I'm anti AI-image-gen (wouldn't there be CC0 images of these species?) this is really quite a charming little project. I feel like I don't hear many bird calls in the city where I live, but maybe I'll have to se

More ›