Search found 156 matches

by Aldarion
Fri Dec 02, 2016 1:59 pm UTC
Forum: Books
Topic: I need a book recommendation (Renamed : Recom'd me a book)
Replies: 340
Views: 213423

Re: I need a book recommendation (Renamed : Recom'd me a book)

Does anyone know a good book about robots/AI replacing humanity on Earth? I'd especially love it if the extinction of humanity is presented as a good thing (no more pollution, no more wars, machines won't be cruel and stupid etc.), rather than a dystopic disaster.
by Aldarion
Sat Oct 01, 2016 1:30 pm UTC
Forum: The Help Desk
Topic: Need a program to make math visualizations
Replies: 1
Views: 5501

Need a program to make math visualizations

I need a program to make math visualizations and diagrams. No fancy 3D stuff, just all sorts of geometric diagrams, tiles of different appearances arranged in various ways, lines drawn between points and so on. For example, I'd like to be able to easily draw all the 16 different squares in this pict...
by Aldarion
Sat Jun 11, 2016 1:01 pm UTC
Forum: Logic Puzzles
Topic: Unambiguous number concatenation
Replies: 8
Views: 4186

Unambiguous number concatenation

Here's a puzzle I invented only a few minutes ago, which seems interesting enough to share. I take the one- and two-digit binary numbers: 0, 1, 10, 11 Now I shuffle them in some way and concatenate them together into one string of ones and zeros, like this: 011110 Can you break up this string back i...
by Aldarion
Sat Sep 05, 2015 7:12 pm UTC
Forum: Hardware
Topic: Printer driving me crazy
Replies: 5
Views: 9046

Re: Printer driving me crazy

Yes. The driver installs fine (and when I plug the printer in via USB it auto-detects it and installs drivers. But whenever I actually try to print, or view printer status, it's as if the thing's completely turned off.
by Aldarion
Sat Sep 05, 2015 3:37 pm UTC
Forum: Hardware
Topic: Printer driving me crazy
Replies: 5
Views: 9046

Printer driving me crazy

After I reinstalled Windows 7 and changed a few modems (I was dithering between cable and ADSL internet providers) my WiFi-capable Canon Pixma MX455 stopped printing. Whenever I send something to print, I get answered by "printer not responding" from Canon's printer status dialog. I tried ...
by Aldarion
Sat Jul 11, 2015 6:23 pm UTC
Forum: Gaming
Topic: I need a Game Recommendation
Replies: 1559
Views: 399042

Re: I need a Game Recommendation

Can anyone recommend me an easy flight sim type game? I'm not into hyperrealistic aerodynamic modeling or true to life plane specs and flight procedures, I just want to gently fly something around and admire some pretty views from above. Preferably without having to shoot anybody. Also it would be v...
by Aldarion
Wed Aug 20, 2014 6:43 pm UTC
Forum: The Help Desk
Topic: Samsung Galaxy S3 becoming sluggish
Replies: 5
Views: 4525

Samsung Galaxy S3 becoming sluggish

My Samsung Galaxy S3, running android 4.3, is more than a year old, and for most of it it had behaved beautifully, but for the last month or two it's really, really slow. It takes about two or three seconds for the screen to turn on after I press the "on" button, and about the same time (o...
by Aldarion
Sun Jun 29, 2014 5:48 pm UTC
Forum: Hardware
Topic: Playing video files on TV - looking for advice
Replies: 9
Views: 6699

Re: Playing video files on TV - looking for advice

Thanks everybody!

I've settled on a solution: a 4-meter long HDMI cable and a wireless keyboard to control the PC from the living room.
by Aldarion
Sat Jun 28, 2014 4:48 pm UTC
Forum: Hardware
Topic: Playing video files on TV - looking for advice
Replies: 9
Views: 6699

Re: Playing video files on TV - looking for advice

The main limitations of the Raspberry Pi would be that it relies strongly on its GPU to view files. If you aren't playing a GPU-accelerated codec on the Raspberry Pi, it will probably be too slow. (the more complicated .mkv files will be unacceptably slow: Fancy subtitle effects, or weird non-accel...
by Aldarion
Sat Jun 28, 2014 7:00 am UTC
Forum: Hardware
Topic: Playing video files on TV - looking for advice
Replies: 9
Views: 6699

Re: Playing video files on TV - looking for advice

KnightExemplar , thanks a lot for the detailed answer! Unfortunately, I cannot afford an $800 HTPC; after spending $250 on the TV itself, the most I could justify to myself is $100 or so. I also don't own or plan to own an XBox. :) Chromecast wouldn't work for me, since all I want to do is play fil...
by Aldarion
Fri Jun 27, 2014 5:24 am UTC
Forum: Hardware
Topic: Playing video files on TV - looking for advice
Replies: 9
Views: 6699

Playing video files on TV - looking for advice

Last week I bought a new TV. Its main selling point (for me) was that it claimed it could play AVI and MKV files from attached USB storage. Well, it does play... some of them. There are many legitimate MKV-s which play just fine on my PC but are not accepted by the TV ("Invalid format!"). ...
by Aldarion
Fri Feb 21, 2014 1:32 pm UTC
Forum: Coding
Topic: The "IT DOESN'T WORK!" thread
Replies: 1963
Views: 571681

Re: The "IT DOESN'T WORK!" thread

Continuing this: In order to get perhaps a bit closer to solving this , I found a tool, available here , which may help me put a bound on the problem. The thing is, the tool is just two .class files, with no manual or explanation how to run it. All I know about the program is that it's supposed to g...
by Aldarion
Tue Feb 04, 2014 8:05 pm UTC
Forum: Coding
Topic: The "IT DOESN'T WORK!" thread
Replies: 1963
Views: 571681

Re: The "IT DOESN'T WORK!" thread

e^iπ+1=0 wrote:I searched the site of the uni that the creators are from for their names and managed to find contact info for the third guy: Roland Yap.


Thank you! Hope he still remembers how to run it.
by Aldarion
Mon Feb 03, 2014 7:33 pm UTC
Forum: Coding
Topic: The "IT DOESN'T WORK!" thread
Replies: 1963
Views: 571681

Re: The "IT DOESN'T WORK!" thread

In order to get perhaps a bit closer to solving this , I found a tool, available here , which may help me put a bound on the problem. The thing is, the tool is just two .class files, with no manual or explanation how to run it. All I know about the program is that it's supposed to get a .cnf file an...
by Aldarion
Thu Jan 23, 2014 8:56 pm UTC
Forum: Computer Science
Topic: Solving Exact Cover via SAT
Replies: 9
Views: 5913

Re: Solving Exact Cover via SAT

If it helps, here is the original problem: Solving the Octopuszle
by Aldarion
Mon Jan 20, 2014 4:58 pm UTC
Forum: Computer Science
Topic: Solving Exact Cover via SAT
Replies: 9
Views: 5913

Re: Solving Exact Cover via SAT

Well, SharpSAT doesn't seem to be counting the solutions. There's an example .cnf file (taken from another program, unaffiliated with SharpSAT's author) which it processes in about a second, finding 206829646435704880299088281600 solutions. The ExactCover problem has 2304 points and 52000 subsets. E...
by Aldarion
Sun Jan 19, 2014 7:17 pm UTC
Forum: Computer Science
Topic: Solving Exact Cover via SAT
Replies: 9
Views: 5913

Re: Solving Exact Cover via SAT

The "iterative procedure" part bothers me a bit; did you mean what you said earlier? after you found a solution you add a clause that bans this solution from the solution space and run the incremental solver again. Incremental solvers are able to keep learned clauses between runs which gre...
by Aldarion
Sat Jan 18, 2014 5:24 pm UTC
Forum: Computer Science
Topic: Solving Exact Cover via SAT
Replies: 9
Views: 5913

Re: Solving Exact Cover via SAT

I did some more research and found out that I wasn't actually looking for a SAT solver! :) After all, getting a solution (or several solutions) isn't what I need. So the problem I want to solve is #SAT. For this I found https://sites.google.com/site/marcthurley/sharpsat , and even managed to compile...
by Aldarion
Thu Jan 16, 2014 9:09 pm UTC
Forum: Computer Science
Topic: Solving Exact Cover via SAT
Replies: 9
Views: 5913

Re: Solving Exact Cover via SAT

Thank you!
Could you recommend a good SAT solver for Windows? I'm not good at compiling sources, and I don't have a Linux machine anyway.
by Aldarion
Thu Jan 16, 2014 6:49 am UTC
Forum: Computer Science
Topic: Solving Exact Cover via SAT
Replies: 9
Views: 5913

Solving Exact Cover via SAT

I've got an Exact Cover problem i've been trying to beat for a long time, using Algorithm X. Now, I've managed to find some solutions, but what interests me much more is counting all of them. The problem is that Algorithm X is really slow, finding a couple of solutions (out of potentially millions) ...
by Aldarion
Mon Jul 01, 2013 8:11 pm UTC
Forum: Mathematics
Topic: Simulating a rocket
Replies: 5
Views: 1811

Simulating a rocket

Don't know whether to post it here or somewhere in Analytical Engines... I've written a [very] simple simulation of a rocket. It works well, but now I'm interested in programming an "autopilot" for it, instead of controlling it manually. Here's what I have given: M r - the rocket's own mas...
by Aldarion
Wed May 01, 2013 6:42 pm UTC
Forum: General
Topic: What burglar alarm to choose?
Replies: 18
Views: 8140

Re: What burglar alarm to choose?

Thanks for the advice, but a couple of clarifications: 1) How are WE supposed to open the chain bolt from outside? 2) There's no possibility to put in a second door, and we live in a flat - so no "upstairs" or garden doors. 3) Most importantly, here in Israel the norm is heavy steel doors,...
by Aldarion
Mon Apr 29, 2013 6:37 pm UTC
Forum: General
Topic: What burglar alarm to choose?
Replies: 18
Views: 8140

What burglar alarm to choose?

Hi All, We want to buy a burglar alarm, and of course there are a lot to choose from, but there's a slight problem. All of the systems we've seen on the internet activate when the burglar has already opened the door. We have a cat, and we're afraid she might escape; so the alarm should go off while ...
by Aldarion
Mon Apr 08, 2013 5:58 pm UTC
Forum: Science
Topic: Need help from engineers
Replies: 8
Views: 2004

Re: Need help from engineers

Thanks! I already thought about cardioids and planetary gears - but there are two problems with it. The first is that the boy's movement is too smooth - there is no sudden swerving effect, and my grandfather has his mind set on it. The second problem is more serious: he hasn't got the tools or the r...
by Aldarion
Sat Apr 06, 2013 6:12 pm UTC
Forum: Science
Topic: Need help from engineers
Replies: 8
Views: 2004

Need help from engineers

My grandfather likes to tinker with things, take machines apart, build stuff out of scraps; for example, he built himself a mini vacuum cleaner out of a coffee can and a hair dryer. Now, he's got hands of gold, but he doesn't know mechanics or engineering, so he asked for my help with a mechanism he...
by Aldarion
Tue Mar 26, 2013 9:23 am UTC
Forum: Mathematics
Topic: Name this curve
Replies: 23
Views: 5178

Re: Name this curve

I was going through my old documents, and came across the Mathematica notebook with my work on the curve.

Now here's a new question: how would I calculate the curve's length and area?
Would it help to get a closed-form, non-parametric, equation for it first?
by Aldarion
Sat Mar 02, 2013 7:20 pm UTC
Forum: Computer Science
Topic: Solving the Octopuszle
Replies: 15
Views: 13635

Re: Solving the Octopuszle

Found a better solution. I'm simply running the script in a VM. :)
That way I can just save the state and resume it whenever I like. It's a bit slower, of course, but if the number of possible solutions is astronomical, it wouldn't matter anyway, right?
by Aldarion
Sat Feb 02, 2013 8:59 am UTC
Forum: Computer Science
Topic: Solving the Octopuszle
Replies: 15
Views: 13635

Re: Solving the Octopuszle

Anyway, the biggest problem is not speed (unless I'm willing to invent a better algorithm than X). The biggest problem is persistence: I can't leave my computer on 24/7, so there has to be a way of saving the state of the process. But the algorithm is written as a generator, and those can't be saved...
by Aldarion
Wed Jan 30, 2013 5:22 pm UTC
Forum: Computer Science
Topic: Solving the Octopuszle
Replies: 15
Views: 13635

Re: Solving the Octopuszle

Oh, thank you!

It's still as slow, even when using PyPy, but at least I could uninstall Python 3.
by Aldarion
Sat Jan 26, 2013 6:44 pm UTC
Forum: Computer Science
Topic: Solving the Octopuszle
Replies: 15
Views: 13635

Re: Solving the Octopuszle

Thanks, jaap ! I read the Wikipedia articles, and concluded that implementing Algorithms X, even the vanilla version, is just a leetle too hard for me. Fortunately, I found this amazing implementation of DLX in Python in only 30 lines by Ali Assaf. Then it took me a couple of hours trying to adapt t...
by Aldarion
Mon Jan 21, 2013 7:19 pm UTC
Forum: Computer Science
Topic: Solving the Octopuszle
Replies: 15
Views: 13635

Re: Solving the Octopuszle

Ah, much better. Thanks! Now the recursion depth is 57 when starting with the tiles arranges lexicographically, and significantly more (100 - 190) with random starting arrangements. But still not a single solution in sight. And as the site lists not one, but TWO solutons, meaning that it's proved so...
by Aldarion
Sat Jan 19, 2013 4:56 pm UTC
Forum: Computer Science
Topic: Solving the Octopuszle
Replies: 15
Views: 13635

Solving the Octopuszle

A couple of days ago I discovered a site called Mindsports , where I saw two interesting puzzles. The first one is called BackSlide, and it's fairly simple. Take the 16 possible squares with all the combinations of North-East-South-West lines coming from the center: http://i49.tinypic.com/2dm6psk.pn...
by Aldarion
Sat Jan 12, 2013 6:36 pm UTC
Forum: Music
Topic: What do I call this and how do I get more?
Replies: 35
Views: 29270

Re: What do I call this and how do I get more?

I want to ask just the same question as the thread's subject, so forgive me for intruding. How is this and this called, and where do I get more of it? As you can see in the videos, both of those tracks are from the soundtrack of the awesome game Uplink ; that's where I heard them. But I don't like a...
by Aldarion
Thu Oct 04, 2012 7:48 pm UTC
Forum: Gaming
Topic: I need a Game Recommendation
Replies: 1559
Views: 399042

Re: I need a Game Recommendation

I just got nostalgic for Uplink Hacker Elite, and noticed there's another 'hacking simulation' game out there, called Hacker Evolution. Anyone play both of these and have any comments on which is more fun? Uplink is a lot better, IMHO. Hacker Evolution feels to me like an over the top clone: too ta...
by Aldarion
Thu Oct 04, 2012 12:59 pm UTC
Forum: Gaming
Topic: I need a Game Recommendation
Replies: 1559
Views: 399042

Re: I need a Game Recommendation

I finished Vampire: The Masquerade - Bloodlines yesterday. I'm presenting it as something unusual, because I finish games very, very rarely: I didn't even finish HL2, for example. But I loved VTM, and I want more. Not more vampires (I don't really like vampires, either pre- or post-Twilight ones), b...
by Aldarion
Mon Apr 23, 2012 4:01 pm UTC
Forum: The Help Desk
Topic: Blender OpenCL problem
Replies: 2
Views: 1550

Blender OpenCL problem

Hi All, I've been wanting to try the new Cycles renderer with my old but trusty ATI Radeon 4560 (with OpenCL, of course, not CUDA). But Blender seems to require OpenCL 1.1, while I have OpenCL 1.0 . What do I have to do to upgrade my OpenCL version, and why is Google being so vague about it? Thanks.
by Aldarion
Tue Sep 27, 2011 7:48 pm UTC
Forum: Mathematics
Topic: "Decompartition" of numbers: a thought.
Replies: 5
Views: 1558

"Decompartition" of numbers: a thought.

Here's something that came to me, believe it or not, almost in my sleep. I was barely awake enough to jot it down on the nearest piece of paper. Definition 1: A decompartition of a number x , denoted \widehat{\delta }(x) , is defined to be \widehat{\delta }(x) = \left \langle a,\left...
by Aldarion
Wed May 11, 2011 8:40 pm UTC
Forum: Coding
Topic: Looking for a nice graphics package for Python
Replies: 11
Views: 2139

Re: Looking for a nice graphics package for Python

Thanks! I'll use the tutorial next time (if there is one). And about the control points - that's a nice way of doing it! I tried using the difference between their numbers (points 12 and 17 are close, 13 and 33 are farther etc.), but I bumped into the circle caveat: 70 and 1 are close, but go figure...
by Aldarion
Wed May 11, 2011 6:33 pm UTC
Forum: Coding
Topic: Looking for a nice graphics package for Python
Replies: 11
Views: 2139

Re: Lookign for a nice graphics package for Python

Thanks for the encouragement, guys! It's done. Used pySVG; it took time (mostly because the tutorial is no longer right), but I did it. It's not really neat — every rotor is generated separately, and I can't get the arcs on the reflector to be of different size, — but it definitely works. Also, to m...
by Aldarion
Wed May 11, 2011 7:07 am UTC
Forum: Coding
Topic: Looking for a nice graphics package for Python
Replies: 11
Views: 2139

Re: Lookign for a nice graphics package for Python

[quote="rflrob" What kind of attitude is that? Unless you've got time constraints, it's always good to learn powerful, general-purpose libraries/languages. Hell, I'm tempted to try and figure out how to do it now. [/quote] True. So I'm taking a combined approach: The reflector I already re...

Go to advanced search