Verdex

19 ms·

181.
by Verdex 3y ago
I don't know. This feels like an unfair question to ask. You've proposed a basically impossible engineering problem and then declared that the outcome will obviously be the outcome that you want it to be. What if I answer, &quot
182.
by Verdex 3y ago
I'm not up to speed on all of the things that computational biology is up to. But IIRC there are some metabolic pathways that cascade into producing a lot of whatever it is the organism is trying to produce. Which sounds kind of like
183.
by Verdex 3y ago
I think that's accurate except it looks like you need to manually continue the applications of your transform. It looks like they've got a pure functional thing going on.
184.
by Verdex 3y ago
It looks like chains of reactions etc. As you say for something simple you don't need something complex. It's a DSL for computational biology where very little documentation has apparently made it to a public forum. I can decode
185.
by Verdex 3y ago
Ultimately, I don't think so. All the HoTT stuff seems to really be focusing on constructing proof objects so that the computer can run them on mathematics which would otherwise not have any computer verification run on it. More or le
186.
by Verdex 3y ago
It feels like the following PDF better expresses what they're trying to accomplish. http://mgs.spatial-computing.org/PUBLICATIONS/lami-RR72--com... As far as I can tell, they're trying to model things like ch
187.
by Verdex 3y ago
My frustration isn't that it's a ridiculous position. I can appreciate the line of thinking that's behind "make bad things harder". My frustration is that this is just kicking the can down the road for someone else
188.
by Verdex 3y ago
> I also love the touching naivety of legislators who seem to think that to stop bad people doing things all you need to do is pass laws making the bad things they do illegal. This is something that always frustrated me for hot button po
189.
by Verdex 3y ago
Yeah, the way I see it, as a parent I've got basically two responsibilities for my children. Ensure safety and wellbeing AND facilitate increased autonomy as their development allows. I'm more than happy to transition into a seco
190.
by Verdex 3y ago
The game is a meta commentary on how moderation is hard. My commentary is an orthogonal commentary on moderation using the game and previous conversation comment as input. Interestingly enough, I realized that my thoughts is just a vague re
191.
by Verdex 3y ago
This line of thinking does make me wonder if the path forward might be a system of authority and variable consequences instead of trying to find consensus. Agreeing is hard but the ambulance has the authority to ignore rules in the interest
192.
by Verdex 3y ago
> Ratio of ternary operators more than 1 level deep to total LoC. Sure. I should have said, "no current general objective metric". For example, if we detect any symbols longer than 6 billion characters, then we know the code i
193.
by Verdex 3y ago
Probably not. Although, you can immediately follow that up with asking whether this makes any sense in any programming language. From the wikipedia link: https://en.wikipedia.org/wiki/Cyclomatic_complexity#Correlat...
194.
by Verdex 3y ago
I think unfinished projects are important. On a personal level, I've had many unfinished projects that felt (at the time) like failures. At one point in time, I had two different ideas for parse libraries that I had to give up on bec
195.
by Verdex 3y ago
I think my favorite part of DS9 was how many non-human / non-federation cultures they had walking around in the spotlight. There's a great little scene where Quark gives Garak some root beer and they commiserate over how weird hu
196.
by Verdex 3y ago
Out of curiosity did you notice who the voice actor for Pilot was? When it was pointed out to me, I had a 'no way' type of reaction. It goes to show that some people really know how to give a performance that goes beyond who the
197.
by Verdex 3y ago
As a teenager, I really enjoyed watching Farscape. As an adult, I definitely feel a lot of the flaws that the show has. But, they didn't compromise on wardrobe or set design or on the characterization for the main characters. Pretty
198.
by Verdex 3y ago
I don't know about that. IIRC the creation of HoTT was because someone was notified that one of his important papers from earlier in his career had a non-trivial flaw in it. To be sure, reproduction is a bit easier in mathematics beca
199.
by Verdex 3y ago
My ongoing hypothesis is that LLMs are leveraging inherit structure in natural language to cheat. Apparently if you embed a large enough corpus you can do algebra with the semantic value of words. King - Queen gives you a vector that when
200.
by Verdex 3y ago
I want to echo the 'new physics' idea. Imagine what scenario we would be in if they laid down the Standards of Software Engineering (tm) 20 years ago. Most of us would likely be chafing against guidelines that make our lives much
201.
by Verdex 3y ago
The way I see it is that we're in an era analogous to what came immediately after alchemy. We're all busy building up phlogiston like theories that will disprove themselves in a decade or two. But this is better than where we jus
202.
by Verdex 3y ago
My samsung refrigerator slowly fills with water under the vegetable tray. It keeps a schedule that is pretty mysterious, so I just check it periodically to make sure it doesn't flood out onto the floor. In the winter it becomes ice f
203.
by Verdex 3y ago
It looks like Camelot is just a variant of SML. I couldn't really find any information about Hobbes (at least, what I found is probably not what you're talking about). Can you mention the features of these languages that you thin
204.
by Verdex 3y ago
Really? I would love a link to the research then. So far the only[] thing I've found was Weyuker's 9 Properties from measurement theory, and that did not seem particularly compelling. Now, I get that linear/affine types and
205.
by Verdex 3y ago
I've got ~15 years of software development under my belt. And I've also experienced a 2ish year stint where I was exposed to a lot of structural engineering. The structural engineers take a piece of steel out into the desert and
206.
by Verdex 3y ago
I suspect it comes from when engineers try to problem solve with non-engineers. At the very least I've been in the room a few times when this happened. The engineer says a few things. The non-engineer suggests something outside their
207.
by Verdex 3y ago
The rich young ruler approached Jesus and asked him what he had to do in order to inherit eternal life. And in a perplexing response Jesus begins to answer him. "Why do you call me good? No one is good except God alone." Softwa
208.
by Verdex 3y ago
Maybe, but not necessarily. The devs may even have been begging to fix it, but project management kept prioritizing other items in the backlog. If there's a million fires and half of those crash the game, fixing something like a load
209.
by Verdex 3y ago
Yeah, it's not a symmetrical dynamic at all. Leaving without notice is a good way to alienate a lot of contacts that most people will really want to maintain. But even beyond that from what I understand most places have policies in pl
210.
by Verdex 3y ago
I've got a similar problem but for a different cause. I'm guessing that my intelligence is normal, but my theory of mind instincts are probably better than average. I get a very good idea what people want on an individual by ind

More ›