dgreensp

12 ms·

91.
by dgreensp 3y ago
I know a little about SAT solvers. I wrote a SAT library, based on MiniSAT, used in production in the Meteor package manager, and more recently I’ve used my SAT solver as part of a sudoku solver that can solve standard Sodukos and also exo
92.
by dgreensp 3y ago
The point ends up being that, even though moderators who built communities with their own two hands understandably feel an ownership of their subreddit, it’s all just rows in the database of Reddit the company, who is almost certainly going
93.
by dgreensp 3y ago
Neither set of axioms requires one to be extremely reductive about something like alcohol. Does Tolstoy admit to being reductive (“he tells exactly this”)? I think in this case it isn’t the axioms but the “style” of philosophical discourse
94.
by dgreensp 3y ago
Yup!! When I criticize Google, or some other company, I am not forgetting that they are motivated by making money.
95.
by dgreensp 3y ago
I get what you’re saying, but I think people underestimate the novelty of Apple’s design decisions on things like the iPhone, declaring them obvious in hindsight. When the iPhone was announced, the phone team at Google working on the unrel
96.
by dgreensp 3y ago
I agree, especially the criticisms like “we don’t know if it will do very good eye-tracking” when this thing is loaded with cameras and custom silicon specifically for things like eye-tracking, and from all descriptions they engineered the
97.
by dgreensp 3y ago
It’s been a while since I’ve done server push in production… Back in the day, you couldn’t count on the browser or the ISP supporting real WebSockets correctly, and I expect this is still the case some percentage of the time. WebSockets we
98.
by dgreensp 3y ago
This is interesting. Do you have any links on use of ECS for application logic?
99.
by dgreensp 3y ago
Thanks for responding to my comment. I'm not an expert in the field, but, there are lots of previous algorithms for predicting the next token in a series (Markov chains, autocomplete). None of them felt so much pressure to make an acc
100.
by dgreensp 3y ago
LLMs are not particularly good at arithmetic, counting syllables, or recognizing haikus, though, because (contrary to the thesis of the article) they don’t magically acquire whatever ability would “simplify” predicting the next token. I don
101.
by dgreensp 3y ago
As an engineer, the lack of consideration for the matter of how much one should corrupt a signal (which might be scanned under different conditions, such as different light levels and resolutions) is grating to me. It’s like scratching a de
102.
by dgreensp 3y ago
I think you’re in their target market, because by all appearances they went super high-end and engineered the crap out of this thing!
103.
by dgreensp 3y ago
Tapping would be much more satisfying if it didn’t take so long for a tile to get bigger and then start turning. Maybe it could smoothly get bigger and smaller and turn in one motion.
104.
by dgreensp 3y ago
Thanks for writing this bit of inspiration. I definitely feel this way.
105.
by dgreensp 3y ago
I stopped reading after the typo “JavasScript” and then the juvenile tone of “Less that 10 years ago, JavaScript sucked bad.” I have a positive impression of fly.io overall, I mean they admitted they are still figuring out how to build tech
106.
by dgreensp 3y ago
"Average" people are not literally an average of all the people, they are individuals. The decisions the author is talking about are personal decisions, and at some level you have to believe that being yourself is going to bene
107.
by dgreensp 3y ago
Yeah, I mean it’s fine for the CEO to focus on higher-level things if someone below them is aware of the problems and working on them, or making sure that the product decisions are based on the experiencing of using the product… The article
108.
by dgreensp 3y ago
A lot of start-ups in my experience see all their engineers as “high-autonomy feature implementors.” It’s not really autonomy in the sense of power or choice, though, just being left alone to implement features. The thing is, “features” a
109.
by dgreensp 4y ago
Well, large language models like GPT sometimes report being conscious, too, but they aren't. I'm not entirely convinced I have some special thing that is different from what you would expect from a system that can reflect on itsel
110.
by dgreensp 4y ago
Implementers of content-editable-based rich text editors (I speak from experience) do not need browsers to do anything differently here for convenience; such editors have their own internal representation and algorithms for getting the “pla
111.
by dgreensp 4y ago
I recently 3D scanned an area of my property (about 250 feet long) with my iPhone in order to make a map. Polycam was the winning app (Scaniverse and SiteScape did not work as well). Do not underestimate the sheer amount of walking around
112.
by dgreensp 4y ago
This. These companies are selecting and amplifying certain speech. The fact that the process is somewhat automated doesn't change this. If any legal argument relies on "the algorithm" being likened to simple searching and s
113.
by dgreensp 4y ago
I thought about it, but it's just so unmotivated in this case. URLs would have to be hundreds of path segments long.
114.
by dgreensp 4y ago
Simple, readable, type-checked code in TypeScript: https://www.typescriptlang.org/play?target=6#code/C4TwDgpgBA...
115.
by dgreensp 4y ago
What is FI?
116.
by dgreensp 4y ago
I’m fascinated by how labeling laws (presumably) play out on labels. For example, it’s not “chocolate syrup,” it’s “chocolate-flavored syrup.” Or “chocolate-flavored topping with other natural and artificial flavors.” I’m kind of surpris
117.
by dgreensp 4y ago
I just posted on r/ProgrammingLanguages yesterday asking for examples of languages or papers like this! Nice. I’m working on a language that will be sort of a cleaner TypeScript, more simple and sound, with powerful static types, but
118.
by dgreensp 4y ago
The fact that there are people who think GPT is a living, sentient being because it can autocomplete its way to sentences like, “Of course I have real feelings”… including people who are engineers, who understand how language models work… s
119.
by dgreensp 4y ago
This just sounds like the author not liking to tip more than 20% and being concerned someone might judge them for that. There is “research” cited in the article, but not when it comes to supporting the headline, only to make other points.
120.
by dgreensp 4y ago
By "transcending scaling laws" and "improve the scaling properties," do they just mean higher-quality output compared to using the same (or smaller) model size with previous methods?

More ›