Click here to Skip to main content
15,910,009 members

Welcome to the Lounge

   

For discussing anything related to a software developer's life but is not for programming questions. Got a programming question?

The Lounge is rated Safe For Work. If you're about to post something inappropriate for a shared office environment, then don't post it. No ads, no abuse, and no programming questions. Trolling, (political, climate, religious or whatever) will result in your account being removed.

 
GeneralWhy one can do this in this way, any idea? Pin
User 1106097913-Aug-18 8:20
User 1106097913-Aug-18 8:20 
GeneralRe: Why one can do this in this way, any idea? Pin
Nelek13-Aug-18 8:46
protectorNelek13-Aug-18 8:46 
GeneralRe: Why one can do this in this way, any idea? Pin
Jon McKee13-Aug-18 19:05
professionalJon McKee13-Aug-18 19:05 
GeneralRe: Why one can do this in this way, any idea? Pin
Daniel Pfeffer13-Aug-18 9:55
professionalDaniel Pfeffer13-Aug-18 9:55 
PraiseRe: Why one can do this in this way, any idea? Pin
User 1106097913-Aug-18 10:04
User 1106097913-Aug-18 10:04 
GeneralRe: Why one can do this in this way, any idea? Pin
Marc Clifton13-Aug-18 13:37
mvaMarc Clifton13-Aug-18 13:37 
GeneralRe: Why one can do this in this way, any idea? Pin
englebart14-Aug-18 1:59
professionalenglebart14-Aug-18 1:59 
GeneralTool to check the equality of formulas over 32bit integers PinPopular
harold aptroot13-Aug-18 6:18
harold aptroot13-Aug-18 6:18 
The math I learned in school didn't really cover what I usually work with: uint and int. Most math tools are all about the Real numbers or maybe Complex numbers, so they will happily tell me that x * 2 / 2 = x. I vaguely heard about SMT solvers but they seemed hard to use.

So I made my own thing, the first versions in 2013, but I think it's useful enough now that other people may occasionally find it useful: haroldbot.nl. Completely free of course, including ad free, I wouldn't spam the lounge with my commercial products. It also works offline if you save a complete copy of the page.

There are some fun features in addition to equality checking, such as some limited simplification (for example x * 2 / 2 can be simplified to what it really is, and it isn't x), and detecting invertibility, sometimes it even finds the inverse so for example you can put in x * 5 to find out how to "un-multiply" by 5.

By the way I wrote that entire thing in JavaScript and I still don't actually know JavaScript. It's a weird language.
GeneralRe: Tool to check the equality of formulas over 32bit integers Pin
Rage13-Aug-18 6:41
professionalRage13-Aug-18 6:41 
GeneralRe: Tool to check the equality of formulas over 32bit integers Pin
Marc Clifton13-Aug-18 6:42
mvaMarc Clifton13-Aug-18 6:42 
GeneralRe: Tool to check the equality of formulas over 32bit integers Pin
Kenneth Haugland13-Aug-18 7:38
mvaKenneth Haugland13-Aug-18 7:38 
GeneralRe: Tool to check the equality of formulas over 32bit integers Pin
harold aptroot13-Aug-18 8:37
harold aptroot13-Aug-18 8:37 
GeneralRe: Tool to check the equality of formulas over 32bit integers Pin
Kenneth Haugland13-Aug-18 9:05
mvaKenneth Haugland13-Aug-18 9:05 
GeneralRe: Tool to check the equality of formulas over 32bit integers Pin
Nelek13-Aug-18 8:49
protectorNelek13-Aug-18 8:49 
GeneralThought of the Day Pin
OriginalGriff13-Aug-18 5:02
mveOriginalGriff13-Aug-18 5:02 
GeneralRe: Thought of the Day Pin
megaadam13-Aug-18 5:07
professionalmegaadam13-Aug-18 5:07 
GeneralRe: Thought of the Day Pin
lopatir13-Aug-18 5:19
lopatir13-Aug-18 5:19 
GeneralRe: Thought of the Day Pin
Mike Hankey13-Aug-18 5:48
mveMike Hankey13-Aug-18 5:48 
GeneralRe: Thought of the Day Pin
Randor 13-Aug-18 5:51
professional Randor 13-Aug-18 5:51 
GeneralRe: Thought of the Day Pin
DRHuff13-Aug-18 6:22
DRHuff13-Aug-18 6:22 
GeneralRe: Thought of the Day Pin
megaadam13-Aug-18 6:29
professionalmegaadam13-Aug-18 6:29 
GeneralRe: Thought of the Day Pin
DRHuff13-Aug-18 7:52
DRHuff13-Aug-18 7:52 
GeneralRe: Thought of the Day Pin
PIEBALDconsult13-Aug-18 7:01
mvePIEBALDconsult13-Aug-18 7:01 
GeneralRe: Thought of the Day Pin
W Balboos, GHB13-Aug-18 7:31
W Balboos, GHB13-Aug-18 7:31 
GeneralRe: Thought of the Day Pin
Kenneth Haugland13-Aug-18 9:29
mvaKenneth Haugland13-Aug-18 9:29 

General General    News News    Suggestion Suggestion    Question Question    Bug Bug    Answer Answer    Joke Joke    Praise Praise    Rant Rant    Admin Admin   

Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads, Ctrl+Shift+Left/Right to switch pages.