skysight-inc/HackerNews huggingface dataset:
Z3 is about "satisfiability modulo theories", which basically means a SAT solver with smart extensions for things like floating point arithmetic that would otherwise die under a naive encoding. It's used for program verification, and in my group, program synthesis. OR tools like Google's choke on such problems that require reasoning about logic, recursive functions, etc.

For an example of a program verifier using Z3, Pex is amazing: pex4fun.com . It does 'whitebox' fuzzing (program analysis + SMT) to find inputs that break your assert statements and open-ended unit tests.

For an example of a program synthesizer, I spent the past few days writing a regular expression / sed script generator that infers the code from input/output pairs: http://lmeyerov.blogspot.com/2013/09/sneak-peek-for-my-stran... . Underneath, it calls into a SAT solver (it goes through Rosette[1], which plugs in its own solver or Z3).

[1] http://splashcon.org/2013/program/onward-research-papers/909...
The History Of The Fake "Free Public WiFi" You Always See At Airports
Remembering the standard library isn't the competency being tested for, but rather the soundness of your solution. Your first solution has two problems from an interview-question standpoint: first, it's incorrect (it misses the case where two words use all the same letters but aren't anagrams, like "banana" and "nab"), and second, you're looping through each character of the second string for each character of the first string so it's a slow algorithm. I would probably try and get you to figure these out with probing questions, but the expectation is that you can figure it out and fix it.
Nope. My guess is "reasonably," but I don't see a use case where I'd use them often enough to bother.
I agree wholeheartedly. To put it another way:

My first few gigs during/after school, the interview was one of the hardest, most stressful parts - the actual work tended to pale in comparison. The interview rarely seemed to have any tangible connection to the actual work being done, either; it was essentially like some sort of bizarre hazing ritual where I proved that I had what it took to be an employed professional, or something.

At this point I've done thousands of phone screens and hundreds of in-person interviews over my career, so that stuff doesn't get to me like it used to. It's much easier to disengage and ignore all the high pressure tactics and shitty interview questions and bad interviewers and just write it off. Given that, I could probably easily end up doing the same thing to candidates when I'm interviewing them.

But I shouldn't! Because oh my god, those first few dozen interviews were emotionally and physically exhausting. Every single one left me a nervous wreck regardless of whether it went well or not. That shit simply isn't healthy; why would I ever inflict it on someone else?

'High pressure' tactics are probably the worst in this regard, out of all the things that go on in interviews. I've dealt with a few places that went with tactics like verbally abusing candidates during interviews, or making a subpar offer and giving the candidate 24 hours (or less!) to decide, in the hopes of getting them to panic and take it. One place had their recruiter call me up at 7am and verbally berate me for turning them down! Fucked up shit.

One thing I consistently hear people complain about is whiteboard coding. Nobody likes it, everyone finds it stressful. Note that the actual task of coding in an interview isn't something I hear everyone complain about - just doing it on a whiteboard, specifically, vs doing it as a take-home 'programming test' or in a shared etherpad or something. Maybe at some point in the future, eventually our industry can phase out the whiteboard.
I'm actually suggesting that if we're going to trust Gmail completely anyway, we might as trust them to encrypt-and-decrypt everything server side. No need for any fancy PGP in JS. Gmail still gets to read your emails and generate ads (though it might not be able to do offline analytics to your emails). The point is that with PGP-in-Gmail we can at least trust that the email in transit is much more secure, and furthermore we can verify the identity of anyone sending us messages, too.
Technically, you can set up a full lock (FLUSH TABLES WITH READ LOCK), start the individual table dumps (with --single-transaction), and release the full lock (UNLOCK TABLES), and get a consistent snapshot of the database (this is the method used by mydumper, referenced above).

The individual dumps will be performed within transactions, and the global lock at the beginning will ensure that all transactions started at the same point. Using locks like this does not prevent reads, just writes, so you don't have a major interruption of service.

Of course, this is assuming that you're using InnoDB as your storage engine; otherwise you need to maintain the global lock throughout the dump of the non-InnoDB tables.
It's because Firefox implements it's own text-rendering engine. I don't know if chrome uses the OS API for text-rendering or has it's own text-rendering engine too.
"He claims to have "deconstructed" redemptive truth and put something better in its place;"

Again, I would argue you haven't understood him. One of Rorty's main claims was Ironism:

http://en.wikipedia.org/wiki/Ironism

I suppose you might not find it funny or clever that after 20+ pages of arguing there is no redemptive truth that he would share his opinions on a good life but don't think for a second he didn't realize it himself. It was the subtle wink at Nietzsche's "Thus Spake Zarathustra". Why doesn't Rorty get to share his own literary opinion?

However, as to the "utopia" that he describes in that article - I very much share your doubts and I feel he is unduly optimistic. However, the general idea of having a multiplicity of options and the liberty to pursue them is something I can agree with.
I am not associated with CVC4 directly (or Z3 for that matter). Something that is true for all these tools is that they evolve very quickly. As a result, you're better off building from source. In both cases, that means running `make` and nothing else.
Walnuts Are Great Tools for Espionage
The purpose of a liberal arts degree is unrelated to finding gainful employment. If one wants to improve their job prospects, they should probably just get a job.
The September Issue
Don't think there's anything that fits these requirements right now. I've stayed at ChezJJ, StartupHouse, AND Rise and I agree, the price does seem sort of ridiculous. I think these houses believe they can charge such high prices for the potential collisions and connections gained from others in the house, but I think it's BS.
Are you thinking of CDSs?
Musical talent have very little to do with whether you can live from your music.

For some genres of music yes, for others, no. There are genres where sound design is of the utmost importance. I'm not saying competition isn't a factor universally- I'm saying genres without significant competition still have the same problems, so it clearly isn't the dominant factor.
He's apparently been off booze and drugs since 2003. He just seems like a unique sort of person.
Anagrams aren't some sort of classic CS problem domain, it's just a relatively simple example. One would start the question by making sure you knew what an anagram was. Two words are anagrams you can rearrange the letters in one of them to make the other, like "Mary" and "army".
When I read stuff like this I think, oh, I can download Linux, emacs, the GNU Science package, quantlib, a few pirated quant books and then call myself a quant trader. I mean come on, just because the tools are cheap or free does not translate into me being competitive.

Music and art has always been about competition. Let me talk about space I know better, Poetry - The Roman Empire produce a total of four major poets Horace, Virgil, Catullus and Ovid. That is it four. A thousand years of history you get four.

Anyways, everyone wants to be on top, but the top is only so big. And Art has a nasty winner take all effect (as clicks pointed out). That is the game deal with it.

As for Piracy, it is a side effect of making money. People only pirate things that have value. Otherwise the use of the word piracy does not make any sense.
2. Good point and good examples. But compared to the number of dictatorships and other totalitarian regimes, unless people start to go hungry, there is violence in most cases they wouldn't rise up and choose to die on the streets for freedom. Sure some do, but and there are protests but that is not enough to overthrow the regime.

3. You also have to keep in mind that people you talk to here from EB countries are probably well above average. They probably had enough smarts and drive to get out. They are also more likely to not like their old countries. (Well I don't like it either but I am trying to take a more objective approach). Notice how we also carefully transitioned to comparing Soviet occupation to living in US probably working in the tech sector (and I am certainly guilty of it as well). Remember we should have been comparing the post Soviet period in EB countries to African post-colonial countries.
Also relevant: http://www.cheerlights.com/
> One alternative is having two fixed locations and moving on winter.

In the States, these people are called "snowbirds". They declare permanent residency in some low-tax state state, then migrate to the sun in the winter and the cool in the summer.

https://en.wikipedia.org/wiki/Snowbird_%28people%29
I'm not alleging a law was broken -- just that the author should have given credit for inspiration.
This is a fascinating glimpse into a world I know less than nothing about. I don't anticipate ever needing to code in Verilog, but I'll try to keep this in mind and look for other places where a little effort can save a lot of time.

I wonder what this has to say about type systems in general. Projects like Clojure's core.typed let you add static typing as a library where you feel like you need it, but then you don't get the benefit of statically checking everyone's code, all of the time. Perhaps a company policy on what functions need to be typed would do the trick, but at that point the compiler might as well enforce it for you.
How about in the bottom corner of the screen? Or in the parent directory, where there's a listing of all the demos?
If anyone finds the video, post it here please!
Is the UK on the map?
That's incredibly cool! Thanks for that. I think my next project will be implementing Cheer Lights functionality.
Another aspect of the 5C is that the iphone is about to be officially introduced to a lot of markets, most notably China. If you want to calibrate the curve of a demand model, you can opt to start the first year with high pricing, picking off the customers with the most disposable income. That avoids shortages, protects Apples reputation as a premium product. It also gives you forward information, both in pricing and volume, for your strategy in the next model release.
"In high speed designs, it’s an error to use a signal that’s sourced from another module"

How else are you supposed to get I/O from one module to another, say a 32bit data bus? Also, what's the definition of high speed here?

"unless you like random errors"

And very hard to diagnose errors until you realize that you messed up your clock domains.
The thought is generally good but it overshoots the solution I think in one key respect: consumer priorities. I think for this post you are conflating consumer spending with luxury spending.

If indeed there were a single minded "consumerism" that strictly identified more or less meaningless items (luxury goods) as the key consumption then I would agree.

The fact is however, "consumer driven economy" simply is distinguishing an economy that predominantly privately spends more than it publicly spends, saves or invests.

To that point, I agree that we should be automating more things to free up all of our time. I hope someday to automate food production so that it can actually come full cycle, so there is definitely something there.
Could I persuade you to throw out some more ideas for how to connect with the right people to land a $100/hr gig?

Write up a case study on how you made a business $MONEY using your iOS programming skills, submit to HN.

Contact other iOS freelancers, particularly those who appear to be doing well, and ask if they could provide you referrals for overflow work or work which does not fit their interest (wrong budget, wrong client pool, wrong location, etc).

Cold call or cold email people. Dirty secret: it works.

Work your offline and/or online social networks, asking people if they will warm-intro you to business owners who fit the general profile of "People who could conceivably write very small [+] checks."

[+] This goes against everything in my upbringing and what I believed about the world as a college student, but it is an important lesson for technologists to learn very early in their careers: $4,000 is not a lot of money to many businesses.
Foot pedals can eliminate the need for full sized function keys. You can also use foot pedal wiring to add new physical buttons onto the keyboard.

http://geekhack.org/index.php?topic=26579.0
You're literally calling people sexist for writing their observations of animal mating behaviors.

False, and wow. If they observed human males yelling in the direction of their travel, their voices amplified by massive cheeks that females lacked, why would they not make the same conclusions?

It's not sexist to reject the absurd premise that behavior is unaltered by testosterone and estrogen. It is sexist to exclude people because of their gender or shame people because their behavior doesn't fit their gender role. It's nowhere near sexist to write observations about animal's mating behaviors.
For me, what helps a lot with tech interview stress is to already have a job. It turns the tables so that I don't really need them, they need me. The change in attitude is powerful and gives confidence.
> To get beyond 2 million packets/second, you need an Intel 10-gbps Ethernet adapter and a special driver known as "PF_RING DNA" from http://www.netop.org.
> The Empire State Building was never planned and estimated in the traditional sense. They picked a deadline and used a flow-based approach to make it happen.

Industrial projects tend to have operability thresholds; that is, they're not composed of relatively homogenous outputs. Each floor of a skyscraper is similar to the other floors. But a petrochemical process plant can't be built in slices; you have to a minimum amount of design, planning and construction simply to get to the point of turning it on.

> There is no central control, no central design, no plan.

You may have heard of the Internet Engineering Taskforce.

I agree that many systems have useful emergent properties born of simple rules; and where possible this should be used. Or rather, where such systems are found to already exist, they should be left largely alone.

However, sometimes solving a problem with interacting agents is more costly than simply picking the straight solution. If you can get an answer with a simple differential equation, then it's a waste of time to set up a particle swarm optimiser.
Wasn't there a similar project on HN earlier this month?
Then the larger point is that if estimates are always imperfect, we need to stop obsessing about their always being imperfect.
You mentioned the difficulty of typing {}[] using the Kinesis Advantage. Perhaps Ctrl, Alt, Shift could be moved to the foot pedals, and then the keys for Ctrl, Alt, Shift could be remapped to {}[].
Have you tried an ergonomic keyboard? I tend to be a bit of a floaty typist as well, but a couple years ago I used a Microsoft Natural Ergonomic Keyboard for a year. To my surprise, I found that I got used to it pretty quickly.
I'm not the first one to notice Brand's similarity to the fools in Shakespeare. "Better a witty fool, than a foolish wit."

http://en.wikipedia.org/wiki/Shakespearean_fool
Robert Graham (masscan author) gave a talk on scaling to 10 millions packets at Shmoocon 2013 - C10M Defending The Internet At Scale [1, 2]. You basically bypass the kernels network stack and its robust features, and use a special purpose built drive (i.e. "PF_RING DNA"), which you heavily customize. You also need to write your application in a way that can assign CPU and memory for your tasks. This is not just a, run X and get 10 millions packets second, it is a very planned out exercise.

[1] http://www.youtube.com/watch?v=73XNtI0w7jA

[2] http://c10m.robertgraham.com/
I thought this was a very well written piece, but I think it is really strange that the guardian ran this on the front page.

I would have thought they would have kept it firmly in the comment section.
Python's Counters can also be compared directly. No need to drop them in a set; `Counter([1, 1, 2, 3]) == Counter([1, 2, 3, 1])`.
It's the other way around, I believe. Some of the citizens are exiles from China, but as for Taiwan they declared independence. China wants them back, they don't want to go back into the fold.

At least, that's what I've been told.
Anyone read Infinite Jest? There are some strong parallels here with the opening scene in IJ.
The Bullet Journal System Turns You Into An Efficiency Expert
Is STP considered a qualitatively different kind of tool than Yices and Z3?
The genres where it matters are not genres where you can make a lot of money and are not the genres we normally talk about when we talk about piracy.
To some extent his advice suffers from the same problem that many books suffer from, in that it comes from the ASIC world while a large share of Verilog work these days is probably done to target FPGAs. For reasons too long to elaborate upon here, you can get away with a lot of things on FPGAs that may not be such a good idea on ASICs.
> Aren't we, though? Zero marginal cost of production is at least very rare.

Every profession can come up with a comparable point of uniqueness. Perhaps I should have said "special snowflakes" instead of "unique snowflakes".

> It basically means that to the extent that our projects aren't novel, then we're wasting time duplicating something that ideally would have been copied from elsewhere.

This is a good argument. It reminds me of DeMarco's argument that as time goes on, software engineering becomes less and less about process, because anything that is repeatable will be automated. All that's left is the hard bits that can't be automated.

There is, however, an enormous amount of duplication in our industry. And even when we are adapting an existing system, we're still only rarely performing acts of genuine novelty. Carpenters produce many items, none of them quite identical, but they aren't inventing new methods of carpentry or entirely different kinds of furniture on every job.

> But at least on the projects I see, it's much more often a sign that it's an interesting problem.

I envy you.
How else are you supposed to get I/O...

I believe the answer in this case is you latch the signal, and use a local copy. Sort of like how it is good practice to use local variables when coding.

what's the definition of high speed

Last I heard, 100MHz+
As a (test) piece of rhetoric, this essay is seemingly well done. It opens dis-armingly enough. There is even a head-fake or two of tabloid-style name-dropping. But all the while, Brand is developing a serious piece of commentary. It almost catches you offguard. Which makes him sound all the more reasonable.
tell me more about the "tracks changes"

Can I upload an updated version of the document (say a contract) and you will see what changed?
Yeah, I didn't understand that first part either. A module isn't very useful unless it's connected to other modules. I think he means something different, but I can't tell what.
I think the above poster is getting something wrong. While no one is going to come out and say "IQ is the cause for poverty", they'll happily say that poor education is and aim to fix it.

By providing good nutrition to the young, and good education the IQ 'problem' mostly takes care of itself.
you can get away with a lot of things on FPGAs...

Perhaps the most important thing you can get away with? Errors. Reprogramming an FPGA takes three minutes; manufacturing a new ASIC takes three months and three million dollars (or something along those lines). So dot your i's and cross your t's, baby.
Competition has always been a problem. But the answer to that problem was people buying records of music that they liked. No videos.

Stop fooling yourselves. Piracy did seriously wound the music industry. CD-R drives in computers and the internet, filesharing on Usenet, Napster, Googling for mp3s. Then record companies were getting less because they were selling singles vs. albums (though they sold 35s decades before with no problems, but albums/full CDs brought in more than the singles, at least when there was only one really popular single on an album/CD).

The industry is not coming back either. The record companies have little incentive to put money into a loser, which means everything is candy, peanut butter, and honey. No gourmet. Dave Brubeck would be a homeless man in today's record industry.
I'm a location independent UX/ UI, startup guy who has been doing this for a long time. Over the years, I've raised capital for one startup, worked with high-profile clients on complicated projects, and worked on my own stuff, all while being more or less unattached to a location.

I've clocked time in South America (Ecuador, Argentina, Chile, Uruguay), Mexico, Taiwan, India, China, and Southeast Asia (Vietnam, Malaysia, Thailand) and the list goes on. I'm not dropping these locations or the info above to show off, I'm simply lending perspective.

I slow travel - meaning I usually set up for at least 3 months, if not longer. My most recent stint was on and off Ho Chi Minh City, Vietnam for 6 months+ where I was lucky enough to get embedded in the local startup scene.

The biggest flaw with the article and the idea of the digital nomad as presented in general is prioritizing lifestyle over business.

It makes being a "nomad" seem like a wandering soul hopping gig to gig taking advantage of low cost locations without much strategy or purpose. Additionally, I sense the job or employee mindset in the tone of the article, which is fine, but I wouldn't hit the road with that mindset.

If you're going to take on this lifestyle you can't have an employee mindset. It won't work, and most will end up broke or bored trying to sustain the lifestyle and scrambling to try and find remote work.

A whole point of being location independent, which the article neglects is how you can be more strategic about your location, expand your network by being exposed to serendipitous opportunities that would have otherwise not presented themselves, and grow your business.

The opportunity to expose yourself to places and people on an upward trajectory, and how you can add value to those situations and take advantage of them should be a priority at the top of the list. Not just a beach hammock, backpacker ghetto or a cool place to work and Instagram.

Otherwise, what's the point.
Is this a NMAP replacement for scanning multiple IPs?
Musical talent does not equal being able to play an instrument. Or maybe are you willfully leaving composition and music theory out of the equation for some reason?

(note: I'm not defending diddy here).
There's a reason a lot of people haven't bought ChromeOS devices. Further, there's a reason that many who have then installed Linux.
Ask HN: What is the best technology to learn right now?
Hi All,<p>I have built a few websites using various CMSs like Drupal and Joomla. Now I want to learn building something from scratch.<p>I am PhD in Electrical Engineering and can do basic programming in several programming/scripting languages including C, Matlab, Perl/Shell scripts etc.<p>Given my background what would be a good stack to learn for me ? Is it Python + Javascript or node.js or ruby on rails or something else ? Pardon my ignorance if I am just throwing some random names out there ?