## Search found 435 matches

Mon Sep 18, 2017 5:50 pm UTC
Forum: Coding
Topic: Manufactoria - Make Turing Machines with Conveyor Belts
Replies: 350
Views: 126601

### Re: Manufactoria - Make Turing Machines with Conveyor Belts

PleasingFungus wrote:I'm going to be incredibly rude and necro this 7-year-old thread to post some news: I've made a new game! It's called Silicon Zeroes, it's a spiritual sequel to Manufactoria, and it's out right now on Steam and itch.io.

Do you have plans for a Linux version on Steam?
Sat Jul 02, 2016 5:01 pm UTC
Forum: Coding
Topic: Coding: Fleeting Thoughts
Replies: 10016
Views: 2031209

### Re: Coding: Fleeting Thoughts

FT: Is throwing from a signal handler allowed in C++? Context: I have a program that may page fault sometimes (and is able to handle those faults gracefully). I can check if that will happen before I access memory but that is just a (non-negligible) waste of time in 99.999% of all cases. It would b...
Tue Feb 23, 2016 2:05 pm UTC
Forum: Coding
Topic: Coding: Fleeting Thoughts
Replies: 10016
Views: 2031209

### Re: Coding: Fleeting Thoughts

You're not weighting the probabilities correctly. You're counting {0x00} as having the same probability as {0xff00,0xff80} and even the same as {0xff7f00,0xff7f80,0xffff00,0xffff80}. However, the probability of getting the something from the first set is 2 -8 , the probability of something from the ...
Thu Feb 18, 2016 2:37 am UTC
Forum: News & Articles
Topic: 2016 US Presidential Election
Replies: 8482
Views: 1187684

### Re: 2016 US Presidential Election

Sander's securities taxes are obviously designed to kill certain types of trading, so the only interesting question to me is how well targeted it is. Multiplying the tax by the average S&P PE ratio, gives us a period of 38.75 days to recoup the cost of the tax with earnings. Buying and then sel...
Wed Feb 17, 2016 5:10 am UTC
Forum: News & Articles
Topic: 2016 US Presidential Election
Replies: 8482
Views: 1187684

### Re: 2016 US Presidential Election

Let’s be clear: the proposal is not a 90% tax on stock sales, it is a ½% tax on stock sales. And no one smart invests in things that have a sales tax at normal sales tax rates like 7% or 10%. And a sales tax is only on goods for final consumption, not manufacturing inputs. If A mines ore and sells ...
Mon Feb 15, 2016 4:52 am UTC
Forum: Books
Topic: Harry Potter and the Methods of Rationality
Replies: 1036
Views: 414006

### Re: Harry Potter and the Methods of Rationality

Harry's Vow does not compel any positive action. It could certainly be the reason that he opened and closed his mouth several times without saying anything, but it cannot have forced him to say, "Yes, sir!"
Wed Feb 03, 2016 1:35 am UTC
Forum: Coding
Topic: Coding: Fleeting Thoughts
Replies: 10016
Views: 2031209

### Re: Coding: Fleeting Thoughts

Yakk wrote:Is this morally wrong?

C++ already has a non-short-circuiting boolean implication operator: <= . Fair warning: unlike the other boolean operators, it doesn't implicitly convert to bool.
Tue Feb 02, 2016 1:29 pm UTC
Forum: News & Articles
Topic: 2016 US Presidential Election
Replies: 8482
Views: 1187684

### Re: 2016 US Presidential Election

So I'm looking at the results here . Are the low vote counts on the democratic side an error? The numbers that everyone is reporting for the Iowa Democratic primary are "state delegate equivalents" : At the end of the night, who is determined as the “Winner” of the Iowa Caucuses? On caucu...
Sat Jan 30, 2016 1:55 am UTC
Forum: News & Articles
Topic: 2016 US Presidential Election
Replies: 8482
Views: 1187684

### Re: 2016 US Presidential Election

KnightExemplar wrote:The "Affordable Care Act" is hardly subtle either.

Hey now! That's the "Patient Protection and Affordable Care Act" to you, buddy!
Thu Sep 24, 2015 3:55 am UTC
Forum: News & Articles
Topic: Volkswagen cheats EPA Tests: Millions of Vehicles affected
Replies: 90
Views: 24951

### Re: Volkswagen cheats EPA Tests: Millions of Vehicles affect

Yeah, I've worked in plenty of environments were "well, if it builds, and passes minimal functional testing, it's good" is normal. The idea that every variable gets tested seems...unlikely outside of extremely rigid environments. Signatures? Meh. You *might* have peer review. Perhaps its ...
Sat Jun 06, 2015 2:58 am UTC
Forum: Computer Science
Topic: What's the complexity of "proving a given theorem?"
Replies: 1
Views: 4099

### Re: What's the complexity of "proving a given theorem?"

For a given formal system S, call problem A S : given a provable sentence of length n , find a proof. The time complexity of A S is not bounded by any computable function of n (unless S is very weak or inconsistent). Suppose the time complexity were bounded by a computable function f . Then there wo...
Fri Apr 17, 2015 5:24 am UTC
Forum: News & Articles
Topic: The worst contract in the world
Replies: 80
Views: 21466

### Re: The worst contract in the world

It seems like the explanation for why someone might buy life insurance on their children is in Tirian's own post. There are definitely jurisdictions where life insurance has a tax advantage over a straight-up inheritance, and is therefore popular for that reason. Buying life insurance on your child ...
Fri Mar 06, 2015 7:18 am UTC
Forum: Books
Topic: Harry Potter and the Methods of Rationality
Replies: 1036
Views: 414006

### Re: Harry Potter and the Methods of Rationality

Maybe something with the dismantling of the Ministry of Magic, with Umbridge as the antagonist. (We haven't seen any sign of her, have we?) Umbridge had a minor role at Hermione's trial. This is something you'd only recognize from the HP books, not the movies. The books and HPMOR describe her as to...
Wed Mar 04, 2015 10:07 pm UTC
Forum: Coding
Topic: Ruby and Win32Api, How Long Does Data Stick Around?
Replies: 2
Views: 2818

### Re: Ruby and Win32Api, How Long Does Data Stick Around?

FYI, I have no particular knowledge about Ruby, but I have good knowledge of the general principles involved in an interpreted language with a C foreign function interface (FFI). 1.) If I write a dll that, say, has a method to read in some data from a file and other methods that do stuff to it. Afte...
Wed Mar 04, 2015 2:34 am UTC
Forum: Books
Topic: Harry Potter and the Methods of Rationality
Replies: 1036
Views: 414006

### Re: Harry Potter and the Methods of Rationality

Thanks for that. Much appreciated. But does that mean a living being can be Transfigured as long as the new form doesn't breathe..? I feel like there's some arse-pulling going on here. Continuing from the end of my previous quote: That explained why he had seen such things as fat boys, or girls les...
Wed Mar 04, 2015 12:22 am UTC
Forum: Books
Topic: Harry Potter and the Methods of Rationality
Replies: 1036
Views: 414006

### Re: Harry Potter and the Methods of Rationality

There really haven't been any rules established for the Transfiguration of conscious beings, have there? Of course you would expect mountain trolls to endure it without any problem, because of course why wouldn't they? But human beings? How would that work, and what would the implications be? C...
Mon Mar 02, 2015 3:13 am UTC
Forum: Books
Topic: Harry Potter and the Methods of Rationality
Replies: 1036
Views: 414006

### Re: Harry Potter and the Methods of Rationality

rmsgrey wrote:2) He doesn't know of a solution and is requiring us to solve his problem for him.

According to the Jan 28 author's note for chapter 103, he'd already written the first draft of chapters 104 through 120, which is the end of the story.
Mon Mar 02, 2015 2:06 am UTC
Forum: Books
Topic: Harry Potter and the Methods of Rationality
Replies: 1036
Views: 414006

### Re: Harry Potter and the Methods of Rationality

author made an error: prior probability that HP survives high. More importantly, either Harry survives, or conventional interpretation of end of world more likely. Killing harry remains outside of tom's best interest -- killing harry *does not stop prophesy*, it just makes alternative explanati...
Sat Feb 21, 2015 6:05 am UTC
Forum: Books
Topic: Harry Potter and the Methods of Rationality
Replies: 1036
Views: 414006

### Re: Harry Potter and the Methods of Rationality

Jorpho wrote:But the specter of literalism has now been raised, so I wouldn't discount it.

Spoiler:
Doesn't need to be that weasely. It could be that he's already instructed Bellatrix to kill Harry once he has the stone.
Fri Feb 20, 2015 12:39 am UTC
Forum: Coding
Topic: parameters and return value of main() in C?
Replies: 16
Views: 5447

### Re: parameters and return value of main() in C?

Interestingly, the main function ends up in the "rodata" section, not the "text" section (where most of the compiled code goes), but unlike the "data" section (where non-const static vars are stored) this section must get loaded into executable memory, since the progra...
Wed Dec 10, 2014 3:51 am UTC
Forum: Coding
Topic: Coding: Fleeting Thoughts
Replies: 10016
Views: 2031209

### Re: Coding: Fleeting Thoughts

operator-> in C++ is required to return a pointer (is that true? I didn't look up the standard). Is there any idiom that allows me to return a temporary object? In particular I want to build an iterator that constructs objects on-the-fly and supports operator->. If selected for an expression obj->m...
Fri Nov 28, 2014 5:57 am UTC
Forum: Coding
Topic: Coding: Fleeting Thoughts
Replies: 10016
Views: 2031209

### Re: Coding: Fleeting Thoughts

(I guess there could hypothetically be a kind of reasonable explanation to this because floating point. I also don't have a more recent GCC handy to see if things are different.) Annex G of C99 and C11 (which is normative in C11) specifies in G.3 that a complex number with one infinite part is an i...
Fri Oct 17, 2014 3:38 am UTC
Forum: Computer Science
Topic: Newton-Raphson division for a non-binary base?
Replies: 4
Views: 3891

### Re: Newton-Raphson division for a non-binary base?

I don't understand why you're using base 4294967295 and not base 4294967296. That said, you can still scale things into the range of [1/2, 1). Let R=4294967295. First, scale things into the range of [1/R, 1). So, your divisor's most significant digit is N, where 1<=N<R, and your divisor is X, where ...
Thu Oct 16, 2014 1:03 am UTC
Forum: News & Articles
Topic: The Darker Side of the News
Replies: 4883
Views: 748465

### Re: The Darker Side of the News

An Ebola epidemic would die out quicker.
Thu Oct 16, 2014 12:37 am UTC
Forum: News & Articles
Topic: The Darker Side of the News
Replies: 4883
Views: 748465

### Re: The Darker Side of the News

And so, like a coal-mine fire, GamerGate reaches the xkcd forums.
Mon Oct 13, 2014 2:56 am UTC
Forum: Coding
Topic: Coding: Fleeting Thoughts
Replies: 10016
Views: 2031209

### Re: Coding: Fleeting Thoughts

If you get sn internal compiler error, try adding newlines (!). Sorry for the relatively contentless post, but... :shock: :shock: :shock: Edit: In fairness, one can hope this represents the reading of uninitialized memory within the compiler rather than terribly intertwined lexing and parsing, per ...
Fri Oct 03, 2014 1:02 am UTC
Forum: News & Articles
Topic: The Darker Side of the News
Replies: 4883
Views: 748465

### Re: The Darker Side of the News

Sorry, I misunderstood you, and generally agree with your point now that I understand it. My understanding is that being on probation is pretty terrible as far as civil rights goes. The idea is that the convict has voluntarily opted to be on probation in lieu of incarceration, so they can waive all ...
Thu Oct 02, 2014 10:08 pm UTC
Forum: News & Articles
Topic: The Darker Side of the News
Replies: 4883
Views: 748465

### Re: The Darker Side of the News

Angua wrote:Yes, 'breaking probation'. How can he have broken probation if it wasn't proved that he'd done the crime in the first place?

The probation was for a previous, unrelated conviction. The article says this.
Fri Sep 05, 2014 5:45 pm UTC
Forum: Coding
Topic: Coding: Fleeting Thoughts
Replies: 10016
Views: 2031209

### Re: Coding: Fleeting Thoughts

(I can't test SML or Haskell handily.) SML: Standard ML of New Jersey v110.74 [built: Sat Oct 6 00:59:36 2012] - val x = 1.0/0.0-1.0/0.0; val x = nan : real - x<=x; val it = false : bool SML does have the interesting feature that "real" is not an "equality type", so you can't us...
Thu Aug 28, 2014 3:32 am UTC
Forum: Coding
Topic: Coding: Fleeting Thoughts
Replies: 10016
Views: 2031209

### Re: Coding: Fleeting Thoughts

There are two major differences between bitwise AND (&) and logical AND (&&) in both C and C++. The first difference is that logical AND short circuits: this is moot for XOR. The second difference is whether they operate on a bitwise basis: logical AND computes 1 if both operands are non...
Mon Aug 11, 2014 6:33 am UTC
Forum: Coding
Topic: Coding: Hacks and Snippets
Replies: 434
Views: 785702

### Re: Coding: Hacks and Snippets

I have seen things like what I wrote in other languages. I was asking, basically, if I got the signatures right -- should it be F:= (F,X)->Y, or should it be F:= ((X->Y), X)->Y for my R : F->(X->Y), as I could implement either, and I figured more functional languages and programmers would know whic...
Thu Jul 24, 2014 8:33 pm UTC
Forum: News & Articles
Topic: In other news... (humorous news items)
Replies: 15189
Views: 2704232

### Re: In other news... (humorous news items, etc)

So that makes it all better now? Someone was reading tweets, probably many thousands of tweets, selected his tweet because it was critical (do they have a computer that can identify "critical", or just thousands of readers?) of an airline (instant on-hand knowledge that @SWA=airline), com...
Sat Jul 19, 2014 4:25 am UTC
Forum: Coding
Topic: function application in lisp, confusing error messages
Replies: 6
Views: 4441

### Re: function application in lisp, confusing error messages

ML refers to a family of strongly-typed functional languages, the popular dialects of which are Standard ML (or SML) and OCaml (or Objective Caml). These should be readily searchable. But I'm not quickly finding anything that aren't general language tutorials, so I'll explain the key points. (T * U ...
Sat Jul 19, 2014 1:03 am UTC
Forum: Coding
Topic: function application in lisp, confusing error messages
Replies: 6
Views: 4441

### Re: function application in lisp, confusing error messages

somehow, funcall feels kind of crude and inelegant. Religious war: You are objectively correct , that is why Lisp-1's (single namespace Lisps) are the best. i've been trying church numerals and arithmetic. it worked up until i tried exponentials. [...] can anyone offer some advice? Yes, write down ...
Fri Jul 18, 2014 12:56 am UTC
Forum: News & Articles
Topic: In other news... (humorous news items)
Replies: 15189
Views: 2704232

### Re: In other news... (humorous news items, etc)

CorruptUser wrote:"I should have said 'I am a horrible human being who for the good of the human race should never breed', and I'm sorry I did not say that when I had the chance."

The Onion did it.
Thu Jul 10, 2014 1:02 am UTC
Forum: News & Articles
Topic: In other news... (humorous news items)
Replies: 15189
Views: 2704232

### Re: In other news... (humorous news items, etc)

So I take a laptop, throw out everything inside the case, put in a mobile phone connected to the laptop screen, running windows 7, and fill the rest of the laptop with explosives. Perhaps too high-tech for your average terrorist, but it seems to me it's entirely feasible. I do think you are right. ...
Wed Jul 09, 2014 3:13 am UTC
Topic: Washing hands after using bathroom
Replies: 152
Views: 34253

### Re: Washing hands after using bathroom

In other news. All this toilet / bathroom / restroom / etc terminology is still rather confusing to me poor foreign ears, especially with all the regional differences floating around. Can someone explain the different terminology? US, probably "media standard" dialect (California): It's b...
Wed Jul 02, 2014 7:54 pm UTC
Forum: News & Articles
Topic: US Corporations now have religious freedom
Replies: 102
Views: 21651

### Re: US Corporations now have religious freedom

If insurance companies are going to cover contraceptives for free, then why is this an issue at all? Why make employees have to go through the effort to get a separate policy to specifically cover one thing, rather than just lump it in with the main policy? Hobby Lobby isn't paying for contraceptiv...
Wed Jul 02, 2014 5:25 am UTC
Forum: News & Articles
Topic: US Corporations now have religious freedom
Replies: 102
Views: 21651

### Re: US Corporations now have religious freedom

Now that corporate persons have 1st Amendment rights of speech and religion... This case had absolutely nothing to do with the First Amendment. Rather, it had to do with the Religious Freedom Restoration Act of 1993, a federal law that had the explicit purpose of expanding the protection of the fre...
Sat Jun 14, 2014 5:43 am UTC
Forum: News & Articles
Topic: California breastfeeding picture controversy
Replies: 236
Views: 37082

### Re: California breastfeeding picture controversy

Reminds me of the politician who quipped that the only way he could lose the upcoming election was to be found in bed with a dead girl or a live boy. Louisiana, I believe.