Comments URL: https://news.ycombinator.com/item?id=47911350

Points: 219

# Comments: 129

One reason for this is that standard interval arithmetic has really poor handling of division by intervals containing zero. If you compute 1 / [-1, 2] in regular interval arithmetic, you get either [-∞, +∞], or you have to say that the operation is undefined. Both solutions are virtually useless. The real answer of course is [-∞, -1] U [0.5, +∞]: i.e. a union of two disjoint intervals.

This is useful because you can confidently exclude a non empty set of the real numbers ([-1, 0.5]) from the set of possible values that you can get by dividing 1 by a number between -1 and 2.

But this definition of interval division yields a value that is not an interval. This is a problem if you want to define a closed arithmetic system, where you can build and evaluate arbitrary expression over interval values.

(This behavior extends to any non continuous function like tan() for example, which is implemented in my project - not without difficulties!)

Well the obvious solution is to define your arithmetic over disjoint unions of intervals. This is the subject of a 2017 paper called "Interval Unions" by by Schichl, H., Domes, F., Montanher, T. and Kofler, K..

This open-source project I made implements interval union arithmetic in TypeScript in the form of a simple interactive calculator, so you can try it out for yourself! The underlying TypeScript library is dependency free and implements interval union arithmetic over IEEE 754 double precision floats (JS native number type) with outward rounding. This guarantees accuracy of interval results in the presence of rounding issue inherent to floating point.

Comments URL: https://news.ycombinator.com/item?id=47812341

Points: 313

# Comments: 54

Comments URL: https://news.ycombinator.com/item?id=47438169

Points: 44

# Comments: 9

Comments URL: https://news.ycombinator.com/item?id=47107781

Points: 207

# Comments: 32

Comments URL: https://news.ycombinator.com/item?id=46830523

Points: 111

# Comments: 35

Comments URL: https://news.ycombinator.com/item?id=46820874

Points: 82

# Comments: 52

Comments URL: https://news.ycombinator.com/item?id=46593395

Points: 338

# Comments: 339

Written in react, it's moderately heavy and not entirely mobile optimised.

Comments URL: https://news.ycombinator.com/item?id=46401190

Points: 101

# Comments: 43

If AI were built for kids, what would it look like?

Asking that question led us to creativity, and more specifically, the power of kids’ imaginations. We wanted to let kids combine the power of their ideas with AI tools but we needed to make sure we did it safely and in the right way.

Enter Stickerbox, a voice powered sticker printer. By combining AI image generation with thermal sticker printing, we instantly turn kids' wildest ideas into real stickers they can color, stick, and share.

What surprised us most is how the “AI” disappears behind the magic of the device. The moment that consistently amazes kids is when the printer finishes and they are holding their own idea as a real sticker. A ghost on a skateboard, a dragon doing its taxes, their dog as a superhero, anything they can dream of, they can hold in their hand. Their reactions are what pushed us to keep building, even though hardware can be really hard.

Along the way the scope of the project grew more than we expected: navigating supply chains, sourcing safe BPA/BPS free thermal paper, passing safety testing for a children’s product, and designing an interface simple enough that a five year old can walk up and just talk to it. We also spent a lot of time thinking about kids’ data and privacy so that parents would feel comfortable having this in their home.

Stickerbox is our attempt to make modern AI kid-safe, playful, and tangible. We’d love to hear what you think!

P.S. If you’re interested in buying one for yourself or as a gift, use code FREE3PACK to get an extra free pack of paper refills.

Comments URL: https://news.ycombinator.com/item?id=46330013

Points: 47

# Comments: 62

Comments URL: https://news.ycombinator.com/item?id=46303638

Points: 56

# Comments: 17

Comments URL: https://news.ycombinator.com/item?id=46266915

Points: 16

# Comments: 0

Comments URL: https://news.ycombinator.com/item?id=45945750

Points: 78

# Comments: 10

Comments URL: https://news.ycombinator.com/item?id=45891066

Points: 184

# Comments: 56

The core, running on both the Analogue Pocket and MiSTer platforms, lets users re-experience the very first Tamagotchi from 1996 with accurate emulation, but modern features. The core has savestates (which is much harder to do in hardware vs software emulation), high turbo speeds (1,800x was the max clock speed I've reached so far), and more.

Learning more about hardware and FPGAs is something I've wanted to do for many years, and I highly recommend it for any programmer-brained person. It's a very slightly different way of thinking that has vast consequences on how you look at simple problems.

Comments URL: https://news.ycombinator.com/item?id=45737872

Points: 71

# Comments: 11

Comments URL: https://news.ycombinator.com/item?id=45676162

Points: 44

# Comments: 2

Comments URL: https://news.ycombinator.com/item?id=45640937

Points: 6

# Comments: 2

With the help of AI coding tools, engineers are writing more code than ever. Code output has increased, but the tooling to manage this hasn't improved. Background agents still write bad code, and your IDE still writes slop without the right context.

So we built wispbit. It works by scanning your codebase for patterns you already use, and coming up with rules. Rules are kept up to date as standards change, and you can edit rules any time.

You can enforce these rules during code review, and because we have this rules system, you can run a CLI locally to review using these rules. You can think of it as a portable rules file that you can bring anywhere.

We put a lot of work into making a system that produces good rules and avoids slop. For repository crawling, we have an agent that dispatches subagents, similar to Anthropic's research agent. These subagents will go through and look for common patterns within modules and directories, and report back to the main agent, which synthesizes the results. We also do a historical scan on your pull request comments, determine which ones were addressed, filter out comments that wouldn't make a good rule, and use that to create or update rules.

Our early users are seeing 80%+ resolution rates, meaning that 80% of comments that wispbit makes are resolved.

Long-term, we see ourselves being a validation layer for AI-written code. With tools like Devin and Cursor, we find ourselves having to re-prompt the same solution many times. We still don't know the long-term implications on AI-assisted codebases, so we want to get in front of that as soon as possible.

We've opened up signups for free to HN folks at https://wispbit.com. We're also around to chat and answer questions!

Comments URL: https://news.ycombinator.com/item?id=45584017

Points: 31

# Comments: 14

Comments URL: https://news.ycombinator.com/item?id=45562849

Points: 53

# Comments: 25

Comments URL: https://news.ycombinator.com/item?id=45552590

Points: 37

# Comments: 0

Comments URL: https://news.ycombinator.com/item?id=45511294

Points: 95

# Comments: 90

Comments URL: https://news.ycombinator.com/item?id=45495738

Points: 87

# Comments: 33

Comments URL: https://news.ycombinator.com/item?id=45458948

Points: 338

# Comments: 166

Comments URL: https://news.ycombinator.com/item?id=45352901

Points: 120

# Comments: 4

Comments URL: https://news.ycombinator.com/item?id=45352636

Points: 5

# Comments: 1

Comments URL: https://news.ycombinator.com/item?id=45163948

Points: 11

# Comments: 0

Comments URL: https://news.ycombinator.com/item?id=45152063

Points: 18

# Comments: 4

Comments URL: https://news.ycombinator.com/item?id=45118592

Points: 181

# Comments: 294

Comments URL: https://news.ycombinator.com/item?id=45118585

Points: 172

# Comments: 54

Comments URL: https://news.ycombinator.com/item?id=45026584

Points: 55

# Comments: 15

Comments URL: https://news.ycombinator.com/item?id=45007992

Points: 68

# Comments: 64