jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
Thank you for your reply, professor. Can I ask, what do you mean by "a rule of mathematical logic"? To my mind, resolution should fit the bill, but obviously you're saying something else, since you're critical of resolution.

About flattening the structure of a mathematical proposition, I think I understand what you mean, but that should not really be a problem. It should be possible to express a mathematical (or anything) concept in different formalisms without losing its meaning. The structure itself is not that important, as long as the meaning remains the same. Horn logic happens to be a formalism that is both maximally expressive and semi-decidable (SLD-resolution is sound and complete for refutation, or with subsumption). Given that it can also be communicated to a computer without any further changes of formalism, it is also very useful.

In any case, thank you again for your contributions to this thread and your replies to my comment. Your perspective of logic programming is invaluable.
For general working, trackpad is better. You can type and move the mouse without moving your hands.
That’s my point exactly, I don’t want to buy the laptop you need either. Since Apple can’t make models for all users, they design around the needs of most users. And practically nobody needs SD card readers.
I wonder how all the leftist activist employees that were shown the door feel after leaving six months ago. Bitcoin's meteoric rise, Coinbase market cap at the level that it is, IPO, etc.

Coinbase reduced risk by kicking out leftists. Hopefully the rest of SV/Bay Area companies follow suit.
no?

if there was some successful state-sponsored or populist uprising against bitcoin’s energy then the energy use will decrease and bitcoin will continue functioning as normal

it just incentivizes more efficient hardware or lower yield for miners

the network can decrease in difficulty or have steady difficulty forever

the value that the network can support is still several orders of magnitude higher, and there are at a lot of gigawatts of energy to tap into before it reaches said maximum
What happens to the people who didn't want to pay in, if the union does get set up? Will they be forced to have money taken from them to continue working there?

I'd probably quit if some organization suddenly started siphoning my paycheck. Sure unionize if you want, and I'll strike with you over issues, but that doesn't require my payment to accomplish.

I am very thankful to live in a right to work state where nobody can forcibly steal the fruits of my labor.
> Address Not Applicable ^1

> ^1 In May 2020, we became a remote-first company. Accordingly, we do not maintain a headquarters.

Total tangent here, but every time I fill out a really old-school form (e.g. loan stuff), it asks for my company's address and phone number. It gets harder every job to figure out what the hell that number should be. In my last job I has to give out one of the founder's cell phone numbers for it.
The refusal of Dutch help is due to section of the Merchant Marine Act of 1920[1], also colloquially known as the "Jones Act." Basically, like Wikipedia says, anything going by water between two US ports, or to/from the same US port, with no stops at an international port in between, must go by way of US-flagged ships. The Dutch ships that can do the cleaning would obviously be going from Louisiana to the Gulf and then back Louisiana, or from Louisiana to the Gulf and then to Mississippi, etc. That would be a violation of the Jones Act.

There have been waivers[2] granted in the past, but very rarely. Some are advocating for a Jones Act waiver[3][4], but that's considered unlikely, due to a mix of politics, business, and possible stubbornness.

1 - http://en.wikipedia.org/wiki/Merchant_Marine_Act_of_1920

2 - http://en.wikipedia.org/wiki/Merchant_Marine_Act_of_1920#Wai...

3 - http://www.globalresearch.ca/index.php?context=va&aid=19...

4 - http://www.chron.com/disp/story.mpl/business/steffy/7043272....
I understand your point, but they don't own the hq suffix. I see many sites these days with the join or get prefix. The fact is, as any of you know who've spent the hours at your favorite domain query tool, it's getting near impossible to find anything. I see more sites using dashes or resorting to .net, .org, or .me (myself included). It's just the current state of things.
Not that I support the use of the term fanboy, but this did seem fairly pro-apple.
But then we have a good argument for a DMCA exemption. If the DRM exists solely to circumvent a federal court ruling and the well-defined first sale doctrine, then it should be easy to get the copyright office to allow an exemption.

Or you could just break the DRM in a country other than the US.
Case-insensitivity is not that much of an issue in static languages. It eliminates the burden of having to remember the Studly-Camel-Lumpy-style-du-jour. Accidental name clashes will be caught at compile time. Nim's hybrid approach is more adventurous but I can only see it being a problem with reusing symbols from other case-sensitive languages.
This is an excellent synopsis of my experience with Haskell.
It's mostly more efficient (in terms of average latency, speed and total bandwidth).

Kinda like BMP format to PNG format (with compression and alpha channels). Yes, BMP is a lot simpler and you can find out the RGB of any pixel by looking at pixels[y*width+x] while with PNG you have non-trivial complexity with compression, etc. But the size efficiency is worthwhile.
Great idea, given that LIFX themselves haven't added support for HomeKit to their own app, I hope that your's gets approved soon! However I fear that this might be the sort of thing that falls afoul of App Store review rules... and not IMHO for any particular valid reason unfortunately.

Is there anything available in the App Store that actually uses HomeKit yet?
It's working exactly the way he has argued for in earlier writings: as a way to weed out students and have them memorize meaningless procedures.

Two years ago he was arguing that "it's survival of the fittest; the process has no respect for the individual, but overall is extremely effective."
http://devlinsangle.blogspot.com/2012/12/the-darwinization-o...

And before that, he was arguing that math is basically just a meaningless symbol game of memorizing: "more advanced parts of the subject are created and learned as rule-specified, and often initially meaningless, "symbol games." ....must be learned in much the same way we learn to play chess: first merely following the rules, with little comprehension..."
https://plus.google.com/+DougHolton/posts/hJ35zfWYofF

Luckily, a few colleges and instructors are trying to actually teach and support student learning in these classes, instead of just acting as gatekeepers who don't have a problem with high failure rates:
http://blogs.kqed.org/mindshift/2014/12/intro-college-scienc...
Whew, thank goodness I didn't blast off in a rocket towards Europa. Though, maybe I could course correct to Enceladus. That's where the action is at.
> You set out to write a bash script to move some files, you suddenly realize an amazingly better way to do bash scripting, which makes you realize some basic change in the OS that would make UI 1000% friendlier, then you realize we shouldn't be using computers at all, then you realize you are here on earth for a purpose and you are wasting your life then your buddy is like--YO you're spacing off and the chain of thinking starts over.

But let's be honest here: If your goal was to write the script, that sounds horribly unproductive.
I couldn't have said it better myself. Except for me, weed keeps pushing up the levels of abstraction (good for architecting software), but LSD makes things hypperreal. IMO, LSD should only be taken on a desolate beach at night, with people who are dear to you.
Whoosh? The f0 talk was referring to the xkcd comic. They were absolutely not saying this is the exact constant used in Sony's ECC code.
Taking some introspection and getting to know oneself better is something many people should do.

Psychedelics are an intense way of doing this.
Can't tell whether you're being ironic or not, but that's exactly why I left my home country, and two other countries I used to live in.
Yes.

Innocent until proven guilty. If you are claiming an election was conducted illegitimately then you are accusing multiple election officials of fraud. This requires evidence, something the Trump legal team didn’t have.
PIC32 is MIPS. The older, smaller PICs are quite different -- also from each other.
Amazon is probably talking about the Surface 2, not the Surface 3.
Where are you seeing $499 US?

EDIT: Sorry, I get it now, this is the non-Pro version. I'd gone right to Amazon from a link here and it gave me the Surface 2 vs the Pro 3
The net effect is still a reduction in the density of businesses.
You're talking about crystallized intelligence. Fluid intelligence is also a real thing: "the capacity to think logically and solve problems in novel situations, independent of acquired knowledge." Obviously that's important for programming.

A related concept is "general intelligence," which behavioral genetic research has shown to be highly heritable.

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

http://en.wikipedia.org/wiki/G_factor_%28psychometrics%29
I'm definitely going to keep my eye on this. My iPad 3(30-pin connector) is still going strong for me, but I'm highly considering this when it's released. The fact that it'll run Windows 10 is definitely exciting too, though I wonder if it will get bogged down upon the arrival of Windows 10 as certain iOS devices have for certain iOS releases. Glad to see Microsoft is making strides in this space.
Answer: So the founders could cash out.
my question is... would you pay to have someone read your RSS to you while you're driving/running/working out/etc ?
Also no choppiness on my HP dm1z netbook. :)
Having a linux desktop and mac laptop, I prefer my linux box, and probably will not get a mac again in the future. I do Java and Ruby dev. Apple basically won't commit to java in the future. Apple updates do cost money ( not incremental updates) as well as most of their software. Now I'm not saying there are not free ones, but I want utility not eyecandy in most aspects ( and I understand people will probably not agree with that point) and the repository pretty much I can find what I want. In order to use a lot of the tools I want, I need to use macports or fink. Paths to hardware upgrades are going to be some what easier on hardware thats not mac, probably along with price of hardware. I use mainly cloud/web utilities for things like google apps, calendar, and email.. I don't care for a lot of the native mac apps, I really can't think of a single mac app that I use that isn't available on ubuntu.. but the good examples are things like iMovie and garage band. I really don't understand the point of development being more enjoyable, you're going to be living in a text editor and hopefully you understand commands to run things without a gui ( example would be code repository ). Also part idealism as well for me, I like be a supporter and advocate, and when if I have a chance to educate people and be interested in alternatives, I'm all for it.

As others have stated I think its what you do outside of development. Also you can look at the osx86 project if you're adventurous.
Nowdays I just don't read beyond the first few comments. Request to please bring back the upvote count.
Would having a socket puppet just to peek at votes be grounds for banning?
I don't know how happy you are, but Kevin Smith seems pretty damn happy with his life.
That's a misleading article. Apple disallows a lot of things from its in-app payment system. Collecting donations, especially if they then take their 30% cut, probably has some weird tax implications for them. Why not just incorporate PayPal or another payment system into their app? Sure, it's not as easy for users, but it's flat-out untrue to say that Apple is preventing non-profits from soliciting donations via apps.
Europe still has plenty of behind-the-back discrimination of ethnic groups though, and conversely I think people in the UK have an ease of manner about saying racist things. America is very confrontational about it's racism, for better or worse.
I don't see why you were downvoted so low. It's not like you were rude or something. This kind pizza does not look that appealing to me either, but it's always nice to read from people who are passionate about making something.
But the nice thing about this is that is part of the OCW at the MIT, u have the lecture notes, the video and audios of those lectures (although not all the lectures seem to be recorded).
Couldn't you write a program that loads its own file and prints out each line

__main__():
prgm = file("prgm.py")
for line in prgm:
print(line)

or does that break the rules?
> My guess is that Mt. Gox irrevocably destroyed faith in the system for the "common user"

Assuming there was any faith in the system for the common user to begin with.
In lisp, think of symbols as things that represent other things. Instead of having to evaluate each expression in the complexity that the programmer builds, everything can be substituted until the computer is left with a simple but expansive form. The machine is very good at evaluating this simple form, because it only needs to look up a few things to process the entire calculation, which is really just a collection of an ordered organization of the same calculations over and over again.

A pointer is not the actual data. It's just a trail of connections that eventually lead to the data you want, instead of having to manage a bunch of data you don't need to, or want to manage. It's computationally efficient and it is elegant. It represents exactly what you tell it to represent.
You sir, seem to have figured out the secret to life and happiness!
How many sales do you lose because you can't sell it for $0.99 with a single tap?

http://www.phonegap.com/
Heh. I'm just saying, for people who do train in martial arts, it's hard to say how well a technique works for someone completely untrained.

Speaking as someone who dabbled and took some classes, I don't think I've ever seen a novice execute anything worthy of the term "technique" correctly the first time they tried it (in the sense of "correctly enough that they were ready to try it on a resisting opponent.") Everything feels a little different than it looks. Whereas I did occasionally see competitive judo brown belts improvise a throw for ippon, turn to their coach with a big grin, and say, "What's THAT called?" Experience makes a huge difference. If you're a normal person and end up in a bar fight, it's probably because the other person is a chronically belligerent person with a lot of experience hitting people -- oh well! Unless he's drunker than you, you've got him physically outclassed, or you get very lucky, or more likely all three, you're going to get your ass kicked! (If you're a completely untrained person, that is.)
> Boot up Shopify in my development environment and click around

Hmm! With a staff of 11 FTE developers ... you would think they would put more weight on this aspect of the transition. But yeah, other priorities take over.
> "It is only superficially object-oriented (no classes, no inheritance, just interfaces) so it is more transparent"

What does that even mean?
These weren't nearly as high resolution as I expected. I'm surprised they're even useful.

I guess that's encouraging in one aspect.
"- It is "garbage-collected" (which is uncommon for a compiled
language: The only other example is "D") "

wat?
If anyone is curious about what this would look like on a whole-system level, there is a series of patches [1] to QEMU that enables deterministic replay and reverse execution (i.e., step backward in gdb).

One can also use PANDA [2], but it doesn't currently support the gdb interface in replay mode.

[1] http://lists.nongnu.org/archive/html/qemu-devel/2014-12/msg0...
[2] https://github.com/moyix/panda
There is a very large, important difference between "best ever invented (so far)" and "best possible".
>Instead of 220V we got down to ~165V.

Are homes experiencing brownouts? Or is it only in the distribution system?
If they add PoW to their malware, it will slow them down or even alert users / admins because of the high CPU usage it will cause.
Take a look at http://www.codecademy.com and http://code.org/learn

There not books but they are a good place to start.
Some things like "we've spent X over the last 5 years" are (sometimes) obviously false though.
I'm not sure anyone has really stopped clicking "I Agree" as he author claims. Seems more wishful thinking than reality.
Debt, combined with shortages of necessities (often unnecessary) is a fantastic way to ensure people work on what makes the most money and not what they'd like to be doing.
I hate to bring you some devastating news here... but some people don’t follow journalistic best practices.
While I agree in principle that he needs to shut up and that people need to stop listening to him (he made himself irrelevant as soon as he become a paid Google puppet), I don't see a way out of this, a way to make the W3C great again as it were. It's just another item on the laundry list of things Google has its tendrils coiled around and will never let go of.
You can flag submissions you feel break the site guidelines.
Reminds me of TETHICS!
No, if that was true people would be always over or under the weight as it's impossible to know exactly how much calories the body consumes.

> Yes, the body adapts to it by storing or eliminating fat (among other things).

No, it compensates by changing your metabolic rate mostly. You eat less, you will feel more lethargic, you eat more and you will fill (and be) more active
http://en.wikipedia.org/wiki/Signalling_theory
You didn't come across to me as whimsical or insecure, just fyi.
Isn't this a great use case for Native Client?

Maybe it's not ready but it seems to be something to look forward to.
1) Then why worry about the favicon? You're being circular.

2) Chances are also that I might want to know which site something came from at a glance.
I use Google to search my own sites. Typing 'tip my' into Google takes me to my 'Tip of my Tongue' page faster than looking for the bookmark in my browser.
So I'm not sure if you're asking what are some business investments or you're asking about financial vehicles that can generate $2K/month of cashflow off of $1M of initial investment.

One option during this down market is to purchase rental property, you'll have to do some digging but the most depressed markets are 70% off of their peaks and most pros will tell you it won't drop much more than that (but it's not ZERO risk). You need to crunch the numbers and then renovate and find tenants but I know of a few small investors that own 15-20 rental properties and can generate ~10% margins monthly and you have the potential upside of property appreciation.

If you don't want to deal too much with getting hands on and managing a business, it's conceivable to be pretty low-risk to go with high dividend / low growth blue chip stocks. For example, AT&T is at $29/share right now. It's been paying $.42/share per quarter so about $1.60/year. It'll move around a bit but assume that they won't get screwed when the iPhone goes multi-carrier, you are talking about $1M for 34,483 shares which will pay $13,793/quarter in dividends alone which is $4,597 per month. Assume 40% taxation rate and you're $2,758 post taxes. You can use any finance site to screen for companies with high dividend yields. Keep in mind that high dividend usually means low risk of stock price movement but there is still risk.
I'm not as familiar with jailbreaking the iPhone as I am with rooting Android phones, so feel free to correct me.

Android is much more difficult to exploit for us because most processes don't run with the equivalent of root. Even through we're able to exploit the browser occasionally, we can't normally use that to escalate to root (there are some exceptions to this that I won't go into :)). There are system processes, but generally these important processes run as "system" rather than root. Generally, only the processes that need to setuid() to another user run as root.

I believe (but I'm not sure) that the iPhone has two users: one at a root level for system processes/applications and another for installed applications. This allows the iPhone dev team to attack the browser and use that to quickly gain control of the entire device.

The nice part on Android for us is having access to the adb shell, which occasionally lets us poke into things we shouldn't normally be able to poke at. Most Android root attempts happen through this shell user which is generally inaccessible to installed applications. You can see the additional groups granted to the shell user here:

http://android.git.kernel.org/?p=platform/system/core.git;a=...
Are you speculating this figure because thats what the TechCrunch article that broke the story said, or do you have alternative sources of information? No disrespect, just wondering.
I like how Chrome remembers the sites I've visited the most and autocompletes them in the nav bar. Usually I'll pop open a new tab, type a letter (e.g. "s" for slickdeals") and hit enter. 2 letters takes care of any site I visit on a semi-regular basis.
Methinks the governments and "elite" in Africa are afraid of this not because "the Nigerians are going to eat everything", but rather because they are afraid of an Africa where "[OPPONENT] is going to eat all of our food" is no longer a relevant political attack. They are afraid of success and wealth leaking down to the general population.

Good for Nigeria. It's nice to hear about Nigeria in a context outside of email scams for once.
Who designed the site?
This is such an important test that we have a question about it on the application form. I learned about this heuristic from Sequoia, who care a lot about it. They call it "proxy for demand."
Right, so how do I convert stable coin to cash to pay my rent?

I’d need to go through a registered money exchange and the gov’t will have a record of my name and the cash I received in the exchange. If it’s enough cash they will ask about the source of funds.
Agree. If coughing into my arm helps (CDC recommended) it’s hard to imagine any kind of mask wouldn’t help too. Also recommends mask: https://www.cdc.gov/flu/pdf/protect/cdc_cough.pdf
Most of those have the "third" set of mounts in the front passenger seat. Is it common to put kids in the front seat in the UK?

In the US kids who are small enough to need a car seat aren't going to be in the front (air bags aren't designed for kids)
Note that trains are a very different scenario due to not being battery powered.

Many (most?) trains dump excess charge into the grid, meaning that it has no limitations on brake power nor capacity.

Battery-powered vehicles have to protect their battery, limiting brake power to keep the battery cool, and brake duration as it cannot overcharge the battery.

To compete with a train, a battery powered vehicle would need to implement rheostatic braking (i.e. brake resistors).

Of course, conventional engine braking is not worth comparing to any of this, but I thought it was important to emphasize that trains ≠ cars.
Personally I find that the two things that make the most difference to me are the keyboard and the screen real estate. So if you can find a shop where you can try typing on a variety of laptops. Other specs you can equalise but the hardware is fixed when you're on the move. Where I work I have a separate keyboard and monitor as full size and full travel keyboards are nicer to work with than most laptop keyboards, including the XPS.

I like the XPS 15 screen size, although for some development on Windows the high resolution means you're squinting at tiny fonts if the program doesn't scale up. Performance wise, it does what I ask it to and only really has an issue with very heavy tasks, which is expected for a laptop of this spec.