sacado2

40 ms·

391.
by sacado2 8y ago
Doesn't hurt that much if you punch correctly (and they don't teach that in boxing classes because you always wear gloves), but very dangerous if you don't punch correctly (as in broken wrist, meaning the fight is over for yo
392.
by sacado2 8y ago
And AFAIK, that's the reason why the first round is a chess round.
393.
by sacado2 8y ago
Amazing how the floor seems flat and even, down there. I would have expected... I don't really know, something looking more like the surface of the moon, that kind of thing.
394.
by sacado2 8y ago
> I completely understand why (we're learning low level stuff and it's worked for the last 30 years so whatever) Are you sure it's not just because your teachers are not (enough) aware of those new features ? Because I wor
395.
by sacado2 8y ago
The problem is, it looks like a child did it. Not a criticism per se, I personally like its design, but to outsiders (guys with suits), it looks somewhat amateur / immature (and these guys tend to care a lot about those things). And, y
396.
by sacado2 8y ago
Since people have to convince their management that a given language is a suitable choice to run the company's main product.
397.
by sacado2 8y ago
Sometimes you want to show your consumer what technologies you used in the product you're selling. The gopher looks very bad on "made with" slides. In a presentation, I had a slide with tons of logos presenting the technologi
398.
by sacado2 8y ago
I'm pretty sure the intended audience for this logo / branding is not programmers but managers & customers. Programmers are here because of the qualities of the language and tooling, but business guys get nervous when you tell
399.
by sacado2 9y ago
> Curious: has your knowledge of the halting problem ever actually saved you time or effort in your work? If so, how? Not OP, but I'm working a lot with ontologies. Some ontologies representations are undecidable, while other langua
400.
by sacado2 9y ago
This is a recent shift lead by the ML trend. Traditionally (like 5 years ago), ML and AI were two different things, AI being the term for symbol manipulation. Expert systems, inference engines, constraint programming, SAT solving for instan
401.
by sacado2 9y ago
My ML model is 99.7% sure you're a gatekeeper. Might be a type 1 error, though.
402.
by sacado2 9y ago
Constraint solving works pretty well in these domains too, and AFAIK, top-level artificial players in board games is a mix of constraint solving and MCTS.
403.
by sacado2 9y ago
Defining types is easy and enhances code readability until you go too far. Some type declarations in Haskell or highly templated C++ are hard to read.
404.
by sacado2 9y ago
There's not only tooling and reliability. Don't forget performance, too. Knowing at runtime that a memory word represents, for instance, an integer rather than a reference to a struct that contains both a type tag and a reference
405.
by sacado2 9y ago
Just a few examples. A very pragmatic one: Eclipse includes a SAT solver to manage package dependencies (eg: can package X be installed in version 1.0 and coexist with package Y with version <= 2.3) SAT is also used for bounded model che
406.
by sacado2 9y ago
Pseudo-boolean is on the todo-list. Constraints too, but they will happen later.
407.
by sacado2 9y ago
You have a lot of huge, real-wold (industrial) examples on the website of the SAT 2017 competition. Be careful, however, these files are really huge (zip files in Gbytes) and the CNF files come "as is", i.e with no explanation abo
408.
by sacado2 9y ago
For the moment, it is in the sat4j ballpark. Parallelization will probably happen in the remote future.
409.
by sacado2 9y ago
Oops. Thanks. Those tests are outdated, we ran our own tests and benchmarks outside `go test`'s facilities, for practical reasons. This will be corrected very soon.
410.
by sacado2 9y ago
You're right, doc is very lacking for now. As Gys assumed correctly, when you work in the SAT solving field, using gophersat is very straightforward, but for a more wider audience, it is really lacking. A complete documentation and a t
411.
Gophersat: A SAT solver written in Go(github.com)
133 points by sacado2 9y ago|36 comments
412.
by sacado2 9y ago
What's the difference between sexual & natural selection ?
413.
by sacado2 9y ago
Suicide doesn't help evolution. If you have bad genes, you die before you can reproduce, or your children do. If you and your children survive, those were good genes. You don't have to do anything to manage evolution, it takes car
414.
by sacado2 9y ago
Point 2 is not a problem per se, it can be solved with a national/mandatory health insurance system like the one we have in most european countries.
415.
by sacado2 9y ago
[citation needed] Lots of people stopped using firefox in favor of chrome precisely because firefox was incredibly greedy memory-wise.
416.
by sacado2 9y ago
"app XYZ seems to be using a lot of resources. Do you want to stop it ? Yes/No", with a "don't ask me again" checkbox.
417.
by sacado2 9y ago
Don't forget that most academics cannot code correctly. Yes, even CS academics. In the AI field (not ML, but "real", symbolic AI), top-level open source academic software is, 90% of the time, pure shit. Sure, it does work,
418.
by sacado2 9y ago
Not OP, but at my workplace, we never discuss sexual orientation, race, religious belief or gender of coworkers, because that would be very unprofessional. So, no, I can't ignore all that and just us the language. I can't use a
419.
by sacado2 9y ago
How do you know they weren't taught ?
420.
by sacado2 10y ago
Yes, but only for - tabs I haven't read yet, but I need to restart my browser for some reason, and I want to be sure the tabs won't be lost ; in this case, those bookmarks are disposed of as soon as the browser restarted - content

More ›