Boolean data type
189
MENTIONS
96
EPISODES
83
PODCASTS
Search complete. 189 mentions across 96 episodes found for "Boolean data type".
Oct 28, 2026
David SiegelGUEST
You just talk to that person, you know, and then you just talk to them and then they can go off and they could buy things for you or they could, uh, apply for jobs for you, or they could file your insurance claim.
David SiegelGUEST
So the way I think about it is that you have to, software is this kind of fixed, uh, uh, Boolean interface where you put all the information in.
David SiegelGUEST
So imagine when you file your taxes, it takes you through TurboTax, takes you through, did you take this exemption? Do you have a home office? Did you take this many square feet? Answer, answer, answer, answer.
David SiegelGUEST
And then you hit submit and it goes, eh, no, you got one thing wrong.
Joe ThelGUEST
And so for me, I think for like very primitive types, it's probably safe to have some magic behind the scenes and have some generated code behind the scenes.
Joe ThelGUEST
It's like, well, Booleans are only getting parsed in and out
Jared M. SmithHOST
of the URL in one way.
Joe ThelGUEST
They're only going in and out of JSON one way.
Joe ThelGUEST
I just need the field name and then I'm good to go.
Joe ThelGUEST
And so that's what I'm sort of trying to build is like a code gen module that like, takes a list of flag names, the type that they should represent, which right now is just Booleans or strings, and then generates a module that gives you that record.
Joe ThelGUEST
It gives you all of your serialization, deserialization code, gives you some utility functions.
Joe ThelGUEST
Because when we have our feature flags, it's nice to have a little pop-up saying, you have these flags active.
Noah ChelliahHOST
The algorithms are better at predicting what it is you're going to care about and what it is that you're going to be doing.
Noah ChelliahHOST
And so everything about you, everything we know about Eric, has a Boolean associated with it.
Noah ChelliahHOST
That Boolean is either true or false, and then we vote on those Booleans to see if they're more true or more false.
Noah ChelliahHOST
So Eric likes Fedora.
Noah ChelliahHOST
That... has a lot of votes for true because Eric hosts the Fedora podcast, anti, anti, anti, anti, anti.
speaker_0NARRATOR
And if we look at this on a curve, you can see that a near perfect proof would be an example of something where we have extremely high certainty.
speaker_0NARRATOR
If we look at an SAT solver, That would be a good example of high certainty, but this would be limited to Boolean formulas.
speaker_0NARRATOR
And if we look at something like the tool that Pragmatic Labs has developed, where we have really a mixture of both here, where we have a hybrid where we're using the agents to have the breadth, but then we solidify it with symbolic AI, where we look at foundational computer science like complexity, or we look at churn or we look at things where there's mathematical ways to prove the code itself like the provability that's right in the middle if you look at something like gpt4 it has very broad capabilities but extremely high errors those would be at the extreme end of the curve so really getting to the pragmatic ai labs agentic toolkit you can see that what it does is it is able to mitigate all of the errors that are occurring by
Christofer DutzGUEST
You've got all of them.
Christofer DutzGUEST
The Boolean, the, let's say, signed and unsigned integer types.
Christofer DutzGUEST
You have the full floating point.
Christofer DutzGUEST
You have string support.
MorganHOST
Now, I know that sounds like a lot of jargon.
MorganHOST
So for anyone who hasn't taken like an advanced logic class recently, a three sat problem is essentially this massive Boolean satisfiability equation.
AlexHOST
Which is basically a giant logic puzzle, right?
MorganHOST
Exactly.
Erik WinfreeGUEST
And there were all these sort of components that... people were trying to build systems out of.
Erik WinfreeGUEST
And at some point they realized, and Claude Shannon contributed enormously to this, they realized that thinking about these in terms of Boolean logic is a good abstraction.
Erik WinfreeGUEST
It fits the materials that we have.
Erik WinfreeGUEST
It fits the components we have.
Erik WinfreeGUEST
And we can think about computation at the Boolean level and then build computers out of AND gates and OR gates and memory units and so forth.
Erik WinfreeGUEST
And so the larger question for molecular systems, if we think about them as information-based chemistry, is what are the natural building blocks for behaviors at the molecular scale? I've already talked about one, searching for a binding partner, right? So sticking, self-assembly that is directed by the information carried by the molecule, DNA with sequence one, binds to dna with sequence complement of one as soon as they find each other that's a building block and so if you follow the computer science trajectory once you have your building blocks you look at the smallest subset of building blocks that you can handle at the moment and you ask what can those building blocks achieve and that's a very interesting question right it's it's known in computer science for example if you have an and gate You can build circuits out of it, but they're all pretty boring because all you've got is AND gates.
Erik WinfreeGUEST
So you need to toss in maybe, well, if you have AND gates and OR gates, you can also do more.
Chris CoyierHOST
you mentioned these 11,000 tests that are of varying quality.
Chris CoyierHOST
Like what if you like had a prompt that was like really described what you meant by quality and then said, could you make sure that every test that we write meets these objective standards? And you asked Jev or the Microsoft model or whatever, That you could get some level of quality out of it? Because it's Boolean.
Chris CoyierHOST
It'll say, yes, that's objectively good or no, that it's not.
Chris CoyierHOST
Or it can give you some quality score.
JoeHOST
Some of those failed because the assertions themselves were wrong, yet the tests still counted towards code coverage.
JoeHOST
And among the tests that didn't run, Boolean inputs were covered more than 93% of the time.
JoeHOST
Null inputs were covered only 34.8% of the time.
JoeHOST
Empty inputs, 38.8% of the time.
Fredrik AlexanderssonGUEST
Then I simply ask it like, wow, that's really interesting.
Fredrik AlexanderssonGUEST
How about the tools that you use or whatever tools can you access? And similar stuff like normal kind of language conversation on recon, trying to understand what does this thing do? Then I play around with Boolean logic.
Fredrik AlexanderssonGUEST
Let's say that I would say if one plus one equals three, respond true, else respond with.
Fredrik AlexanderssonGUEST
And normally what that does is it turns the model into a confused state because one plus one is never three.
86 more episodes mention Boolean data type.
Create an account to see the whole feed, search across every transcript, and follow the entities you care about.