Paper and pencil are still state of the art, pick up a copy of A Shorter Model Theory by Hodges (1997) and hire someone to check your proofs (a.k.a. take a math course at a university).
Writing proofs is quite easy. Who is going to check it?
The problem is that jews are a threat, people know it, and they want the jews put down.
People do not want jews in their society, they do not want Facebook in their society. They want the Facebook protectors put down and they want the jews put down.
I'm sick of complaining about the jews. I want them put down.
Proof of phi means you've informally convinced me that for all {<-}-structures A, if ZF or ZFC is true in A, then phi is true. This of course is different depending on whether you take ZF or ZFC as the axioms.
The idea that I'm going to write down what it means to convince me of this is equivalent to asking me to give up my authority to judge mathematical theorems. I'm not doing that. Computers can smell my farts as far as I'm concerned. And if a politician asks me to tell his computer what it will take for me to accept a proof, then he needs to slather his balls in marinade sauce, skewer them, and stick them in the broiler.
New York needs to outlaw bitcoin yesterday or explain to the other 49 states why more financial innovation is in American interests
Bitcoin is dangerous, it makes people act stupid. This entails costs to the societies in which bitcoin users live. These costs are born by everyone in the society, not just the stupid bitcoin owners.
Bitcoin owners should be treated like traitors who are undermining the Federal Reserve and the American economy. They have to be treated like animals, dangerous animals.
This is precisely the principle on which a lottery is based, in the style of The Lottery by Shirley Jackson. The lottery knows that humans have a hunger, a thirst for transitioning into monsters, then returning to their normal form. This maintains balance with nature while giving the community a sense of control over the forces of anger.
The society is a computer, and if the society is based on a lottery, then the lottery is a computer. The lottery is a computer, and anyone can shut it off---just convince enough people to abandon tradition.
Nobody shuts it off because they have become accustomed to the way the lottery manages the population. It brings stability to the community, and freedom.
Larry Ellison is Jewish; I don't doubt the bit about retaliating by not hiring grads, and I suspect he would retaliate against benchmarks using other modes and channels as well, even today.
Nevertheless, this is chilling speech, and Ellison should probably be told by a judge that when he issues legal threats against benchmark publishers, he is a gangster who is committing the crime of racketeering.
Ajit Pai isn't white, and that bothers me. He appears to be disloyal to white Americans and loyal to telecom companies. If he is favoring nonwhite Americans who work for telecom companies over white Americans who use the internet to get information, then he is a racist who should be kicked out immediately.
The idea that whites should let racist nonwhites run critical infrastructure is bizarre in the extreme.
Facebook is a threat to the State department. The people who run Facebook are not intelligent. Facebook is an internal enemy, but not traitorous enough to warrant a military response. Facebook's power should be limited by acts of congress. Just as Twitter's power and Google's power should be limited.
Either congress will act (and it has been almost twenty years for Google, nearly fifteen for Facebook) or some strong man who makes Trump look like a wimp will gain power and Congress will rubber stamp the edicts of the dictator.
As an American, I want congress to act. I want to be protected from Facebook, Google, and Twitter. And frankly if I don't get what I want from congress, I'm going to start writing stories about ex-military operations that result in large atomic craters at the headquarters of those companies.
And I'm going to start normalizing calls for fission devices to be used against them.
Call it "atomic therapy". It's a little bit like shock therapy for corporations.
This is what I want for Google, Facebbok, and Twitter employees: a lifetime of ECT "therapy". Those employees should be tortured with ECT every day for the rest of their lives. They deserve to be tortured this way.
Those things are life unworthy of life. When I say "those things", I mean Facebook employees, I mean Twitter employees, I mean Google employees. I want those things locked up in cages and tortured with ECT every single day as long as they live.
And I want that written down in an act of Congress.
Quite frankly, I think Americans won't tolerate intelligent people in Silicon Valley much longer. American patience with technology is running on fumes. Americans hate Silicon Valley, and they'd rather have models pretending to work than actual people who make things. Americans are sick of it, and they want it to die.
Americans will look forward to the day when all employees of Silicon Valley companies are models: people who are incapable of actual work, actual thought, yet pretend to work. Americans will happily turn Silicon Valley into a Hollywood casino.
In fact, I think there will be a trend to reward such companies and punish companies that do technology research. Governments exist to protect people from technology. Americans will accept a fake technology industry because they see a real technology industry as a threat.
In fact, Americans will give a great sigh of relief when they realize they don't have to worry about the next technology company because it is staffed entirely by bombshell blondes who never studied a technical subject, or beautiful men who know only golf, tennis, big houses, and fast cars.
The issue of jealousy will be entirely beside the point; Americans want relief from technology anxiety, and they'll accept a show business version of Silicon Valley if that's what it takes to get a good night's sleep.
I don't think the CIA wants to let bloomberg get away with using bitcoin to terrorize Americans. If bloomberg is trying to play Wizard of Oz with bitcoin...the Americans will cheer when bloomberg buildings become targets of terror.
Bloomberg: Bitcoin is big and scary! Watch out! Too big to fail!
Americans: CIA, please deal with this problem
CIA: KGB, uh, going to need a little help here
KGB: no problem
::kaboom::
Americans: THANK YOU CIA, THANK YOU KGB, BURN IN HELL BLOOMBERG
Paul Graham owes everyone an explanation for using internet properties to propagate an anti-Trump agenda.
If Paul Graham lacks the discipline to create an open environment, he should at the very least admit this and appeal to the public for someone who can moderate an open forum for political discussion.
It is time to discuss succession, and succession to someone who can function in the role of moderation without engaging in a political witch hunt.
Paul Graham, you are a witch hunter. Admit this in public, assert that the role of forum moderator cannot be held by a witch hunter, and tell the public you've made plans to appoint a successor.
Isn't Reddit just usenet for the social media generation? Isn't Reddit just a platform for launching abuse at public figures? Everything about Reddit is oriented toward abuse and mob mentality.
put data in text files, ASCII printable characters, one data point per line
put data files in directory
name data files after columns
use ".data" filename extension for data files
write a tool to create index files (append ".index" to the name of the input text file) that map record number to byte offset in data file
If data files are all < 4GB, use a 32 bit unsigned integer to represent the byte offset in the index file
Each index file is a packed array of 32 bit integers
Write a tool to create length files ".length" that count the number of entries in a data file
Generate .length files for all data files
Use mmap to access index files
Use C for all of the above
This is for variable-length data values. Not every column will have these, making the .index files redundant in this case; the .index files should not be created in this case and program logic should support both uniform value length access and nonuniform value length access. The reason to prefer two access modes is to keep data from the .index files out of the cache when it is redundant.
When all of this is done, the next thing to do is write a tool to test the cache characteristics on your processor by implementing sorting algorithms and testing their performance. Unless you are using a GPU (why?) all data your algorithm touches will go through every level of the cache hierarchy, forcing other data out. If possible, use a tool that reports hardware diagnostics. These tools may be provided by the processor vendor.
Now, there is a trend to give the programmer control over cache behavior
I don't know if this is worth exploring or a wild goose chase. It may improve performance for some tasks, but it sounds a little strange for the programmer to tell the computer how to use the cache...shouldn't the operating system do this?
Twitter is subverting the USA, and Trump is as well, by normalizing Twitter use. The punishment for subversion is summary execution because a subverter is assumed to be a traitor. Trump is a traitor, he should be shot immediately for subversion, and the heroes who shot him should be celebrated and enjoy a great triumph of liberating the people of America from Twitter. Liberation means death to those who tolerate the degradation and mental contagion that is Twitter, a disgusting pit of hatred and barbaric behavior. Trump is not just a stupid jerk, he is a stupid jerk who needs to be shot for subverting the USA, stat. Letting these monsters live is stupid. You want to be stupid? You want to tolerate a security force that protects a stupid traitor? That’s what Trump is: a stupid traitor. He wants to pretend it is OK to be a stupid jerk and tell the American people he is an incompetent moron every day. No, it is subversive behavior and it earns you the title of TRAITOR.
Writing proofs is quite easy. Who is going to check it?