Search found 435 matches

by jareds
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.

Just a heads-up :)

Do you have plans for a Linux version on Steam?
by jareds
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...
by jareds
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 ...
by jareds
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...
by jareds
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 ...
by jareds
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!"
by jareds
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. :twisted:
by jareds
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...
by jareds
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!
by jareds
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 ...
by jareds
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...
by jareds
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 ...
by jareds
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...
by jareds
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...
by jareds
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...
by jareds
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...
by jareds
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.
by jareds
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...
by jareds
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.
by jareds
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...
by jareds
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...
by jareds
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...
by jareds
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 ...
by jareds
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.
by jareds
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.
by jareds
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 ...
by jareds
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 ...
by jareds
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.
by jareds
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...
by jareds
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...
by jareds
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...
by jareds
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...
by jareds
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 ...
by jareds
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 ...
by jareds
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.
by jareds
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. ...
by jareds
Wed Jul 09, 2014 3:13 am UTC
Forum: Serious Business
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...
by jareds
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...
by jareds
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...
by jareds
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.

Go to advanced search