jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
Although this proof, it can be found in [1], is subject to the constraints that Goedel's 2nd theorem enforces: the proof uses a stronger logic that HOL itself. In this case it uses a large cardinal axiom.

[1] J. Harrison, Towards self-verification of HOL Light. https://www.cl.cam.ac.uk/~jrh13/papers/holhol.html
I'm not sure I understand the point you're trying to make. I said there would be diminishing returns on labor per acre. Having 100 people swarming an acre of crops is more likely to damage things than help them.
Finally I have an excuse for all my farting.
You're right! We should be paying them to do what we're doing! I've had it all backward!
It's our governments, it's not us. I'm disgusted too, which is why I'm reporting them to the police.
Wikileaks was willing to have the government trim the truly dangerous parts. The government decided against that, because they "didn't want to give Wikileaks legitimacy".

Wikileaks is a news service, not a terrorist organization...you can negotiate with them. Expecting them to do say what you want, is not journalism...that's PR.
Indeed - I get really tired of seeing 'this domain is parked!' or, worse 'this domain is for sale!' when trying to find a domain.

If you're not planning to use it - don't sit on it!
You can't use static page caching, but rails caching should work fine if you use administrator status as a cache key.
Does anyone know why the image significantly smooths out at 2:08 in the video. It seems to be caused by the speakers shadow, but I'm not sure why that would happen.

Great work too, by the way. I'm astonished by how far the boundaries of this hardware have been pushed in a matter of weeks.
You'd have to change the name, but this would be more useful if it included other incubators and startups outside of ycombinator.
Look I have no problem with taking drastic action against the government for keeping too many secrets.

But this is a bridge too far. This is like using a nuclear bomb to put out a city that is on fire. It's not going to have the effect that its supporters want. Quite the opposite.
That was just a comment on how easy it is to screw up caching in Rails. I acknowledge it was my fault.
From what I understand, Wikileaks is willing to work with the government in order to hide the things that are truly dangerous...and not just secret because someone did something illegal/unethical
A global computer hacking effort: China’s Politburo directed the intrusion into Google’s computer systems in that country, a Chinese contact told the American Embassy in Beijing in January, one cable reported. The Google hacking was part of a coordinated campaign of computer sabotage carried out by government operatives, private security experts and Internet outlaws recruited by the Chinese government. They have broken into American government computers and those of Western allies, the Dalai Lama and American businesses since 2002, cables said.

Nothing new per-se for those that followed aurora or watch infosec, but interesting to see it all itemized together in a state cable instead of a bunch of assumptions & rumors. Look forward to seeing the details on that one.
It's a problem-solution thing. Commenting on HN typically has more substance than "I don't like ___". Your comment might have been more constructive if you restated the question to something you found more appropriate or thought would generate better discussion.

EDIT: I didn't down vote, just wanted to comment
Urbanization, clerk type jobs and the information age discourage us to have human contact. But it's expected since in apartment buildings you tend to be overwhelmed with the amount of people who are around you: you wish you could talk and meet with some of them, but it will never happen, because urbanism tend to de-socialize people: apartments are build like prison cells.

Other services like uber, couchsurfing, airbnb, meetup, want to do the opposite.
The stats are useless. The police need them to go down, so they go down. My partner and a friend came on a woman who was getting mugged and the guy ran off with her bag. They called 911 and the cops showed up, didn't get out of the car, blew cigarette smoke in their faces, and said, "You don't want to report this, do you?" My partner had to walk her home since they just drove away. If you do insist on reporting, they make you pay for it, you could be at the station for 5 hours, which happened to my mother after her car was broken into by a homeless man. They're encouraged to not report specific kinds of crimes.
I have my own list of pros and cons about returning to the office, but I had completely forgotten about the dreaded urinal conversation.
I think the question might be "why might someone gatekeep at all?"

As a software developer, I love working with developers that are competent, and especially if I'm learning a lot just by being on projects with them. I do not love working with developers who actively decrease the quality of the code base because they do not understand what quality is. Now, that can be relative, and subjective. I'm quite open to junior developers trying things, asking questions, requesting code reviews, etc. But some people get a senior title and a confidence about their work, and charge ahead generating extra work for those around them. So I'd rather such people were, perhaps, not in the field at all!

In general, though, I would like to encourage lots of people to try programming. From my perspective, it's super empowering, interesting, deep and can be a great career choice. Try it, and if it interests you, and you find yourself driven to improve, learn new things, and seek mastery, we're really going to enjoy having you here in the field with us.

There are aspects of programming that almost anyone considering the field could try and learn and see some success at. But it helps to understand that you may discover your own limits (whether by talent, motivation, or opportunity) sooner or later in the field, because there are aspects that are much less approachable. Do you want to spend countless hours preparing for algorithmic whiteboard interviews? Do you want to bury your head in code while stepping meticulously through a debugger on a squeegee hunt for an edge case? Do you want to optimize relentlessly when the scenario requires it?

If software is eating the world, we'll need a lot of developers. And we'll want some that are happy to do grunt work while others forge into the most treacherous waters. But we don't want you to think that all software development is easy, because it's not.
Shpadoinkle! (in Haskell)
I've never been able to find them
Yes I'm also worried, on two fronts.

The first being the 'top browsers' are just Chrome based anyway, creating a "works in Chrome only" scenario from decades ago. Which further fuels FF's decline.

The second being the case of defaults, by which I mean the default browser that comes with phones and desktops (Chrome and Safari and Edge), which in turn promote the lack of openness of the web by being tied to the OS and again recreating/forcing the same scenarios from decades ago. The only difference this time is that there's nobody keeping these companies in check.
I worked at a pretty miserable company. The executive was like Cersei Lanister, and the office was mostly a clique of young, bitter, overpaid and educated staff. Working from home would’ve lessen the impact of bullying by others and the boss.
Being in an office is useless unless you:

-Need to synthesize lots of stuff daily
-Truly enjoy being around your coworkers
-Have a terrible homeworking environment

If you just have jiras and you sit down, drink some coffee, music, code, chat people once every few hours to ask about something... it's useless lol.

Think of all the wasted energy going to and from the office, to do the same thing but less efficiently. So dumb.
How do you cover costs if 100% of the pool is paid out?

It seems like you need to take the costs out of the pool first.
>was

I hope you left that shithole company and glassdoored their management hard.
And you forgot "Please consider the environment before printing this email.", with some tree emoticon alongside it.
Also off-topic: Dirk Gently's Holistic Detective Agency.

I read both the books and they were good. There was a short lived British TV series starting Stephen Mangan that was great and seemed at least partially based on some events and descriptions in the books, and two seasons of a US TV series on Netflix that was off-the-fucking-wall crazy in a not-quite-Douglas-Adams way, and unique to the point that I was pleasantly surprised that it got a second series. Thoroughly recommend for anyone that considers themselves bored with television. Unique doesn't feel like a strong enough word.
That's excellent news, however doing the math, there are 74 million people under 18 in the US, so (1 - 74/328) * 0.74 = 57.3%. Of course once kids are able to get vaccinated, presumably some percentage of them will be and that might push it to 65 or even 70%.

Edit: I don’t normally ask why people downvote, but who downvotes multiplication?!
Largest data flow job ever? I’m sure Google would beg to differ. At Quantcast we process 50PB every day, and that’s nothing compared to real scale like Google.

And merge joins from sorted data? Joins have been done that way since the punched card days on mainframes (and by any scaled data system)
For me, it's because they move the problems into a realm I feel competent in. If I fix those issues, I get a lot of stuff for free where I have zero competence, and don't care to learn about.

Was it Foursquare who had the huge issue a month or so ago? They had many developers worrying about how to re-shard their data because suddenly it couldn't fit into memory. Keep that problem away from me...especially at 2am on a Saturday!
Any ideas about why they are calling these investments, "derivatives"? Capital markets aren't unfamiliar to this publication.
iOS backend is here: https://github.com/fairfieldt/xc_ios
Other relevant links:

http://www.daviddarling.info/encyclopedia/D/Daedalus.html

http://www.bisbos.com/rocketscience/spacecraft/daedalus/daed...
I can't remember exactly why, but it has something to do with how tipfy handles WSGI middleware back then (and it was very confusing, since tipfy also call their plugin system a "middleware"), and the framework being a bit too verbose for my liking.
Have you seen http://750words.com/? It's an awesome tool that does exactly that and gives you some insights and game mechanics to make the exercise more interesting
that is pretty much what Orlando just did... a taxi lobbyist made them introduce a minimum price for rides provided by Uber and Lyft that I think is higher then taxis...

http://www.orlandosentinel.com/news/breaking-news/os-uber-ly...

but I think that Lyft and Uber still have a chance to appeal the ruling...
Would love to ask you a couple questions about the press if you have the time. Can't find your email online, but mine's bh@brandonhsiao.com.
I'd consider writing an informal paper about it - but unfortunately it was a bit hacky and basically just followed our thoughts. So there is no way it would stand up to peer review properly.

I have the notes somewhere so I will try and dig them out and write something up (this was all done from memory plus a short type up I did at the time)
What 'pseudalopex mentioned -- and also note that I was responding to someboody who grouped INTJ/INTP together. I don't have much of a vested interest in MBTI; I was just trying to work from the ancestor post's foundation to think critically about what we're getting from that interpretation.

I know even less about "congnitive functions", but it definitely sounds more subtle than the axes most people interpret MBTI as. My specific criticisms don't immediately transfer.
Here is some potential to construct a personality meta-test: If you prefer Big 5 to MBTI, you are introverted; if you prefer MBTI to Big 5, you are extraverted. If you prefer either of them to horoscope, you are... blah blah blah... if you think all tests are problematic, you are judging; and if you are afraid you would fail at all of them, you are neurotic.
AFAIK for sales taxes there's a minimum amount of sales you need to make per year before you're required to collect it. it's usually some high amount in the tens or hundreds of thousands of dollars. Does the same apply for VAT? If so, most projects are fine because I doubt many are raking in 50k a year in sponsorship money.
I think there is an awesome setup that many are overlooking! With a RockPro64 board, you can configure it to use SSD's, both SATA & NVMe!

RockPro64 boards: https://pine64.com/product-category/rockpro64/?v=0446c16e2e6...
Accessories: https://pine64.com/product-category/rockpro64-accessories/?v...

I think these RockPro64 boards are highly underrated. I got one a while back, I was looking for something more powerful than a Raspberry pi. You can get it with 2 or 4 GB RAM.

They have PCI-e slots, so the SSD interface cards plug into the board through them. With this setup you will get full performance from your drive, instead of having to rely on a USB connection on raspberry pi & others.

SATA: https://pine64.com/product/rockpro64-pci-e-to-dual-sata-ii-i... NVMe: https://pine64.com/product/rockpro64-pci-e-x4-to-m-2-ngff-nv...

I've not set mine up like this yet, as I've not been doing much with my board lately except running pi-hole. But I plan on getting an NVMe interface in the future, and maybe the metal desktop casing. I think this type of setup is exactly what you're looking for. The cost is reasonable. If you get a 4GB board, a power supply, and an SATA interface you'd be all in for ~$103 before shipping.

There are lots of accessories, and tons of OS options with an easy installer. I just checked, as of writing this the are builds for (both desktop & minimal) Debian, Ubuntu, Slackware, CentOS, Manjaro, Armbian debian/ubuntu, DietPi. Also other stuff like Recalbox, batocera, OpenMediaVault, ChromiumOS, or Android. I not an expert in the entire SBC market, but I'm doubt many other boards have community support for that many different OSs.
I always thought that is something that the Blockchain would be able to solve. Am I too crazy to thing that the stock exchange would work better on a Blockchain?
I think I would be OK if we wanted to define all endeavors with an unsure outcome gambling, but I believe that makes most things in life gambling which means we need another word for especially risky endeavors with an unsure outcome.

I think we have the same concept, but I'd be happy to call trading gambling if playing poker table games was called gambooooling.
I know very little about PNaCl, I cannot say whether wasm is better or worse, I am just defending the existence of the specific role for webassembly: lightweight sandboxing with strong sandboxing guarantees. Personally I have high expectations in this strategy.

Regarding the "Everything Old Is New Again: Binary Security of WebAssembly" they find that compiling something like photoshop to a single wasm module forfeits many security features available in x86, but this also point toward a future where application can be compiled in dozens or more small isolated modules. It remains to be seen if this will suceed or fail...
The movie The Day After Tomorrow is quite good, and revolves around this happening.
I'm really curious to know how this will pan out, the UK should get warmer because of CO2 but with the current stopping we should be colder.

Seems like the UK might stay the same but be a bit dryer?
Probably because the Chinese government has more ability to absorb these requests.
Meanwhile you have people calling to abolish the FDA because markets are so much more efficient at providing safe, efficaceius pharmeceuticals. It makes no sense, real-world data from the black market shows it makes no sense.
Github generates no where near the amount of traffic that Baidu does.
Because that’s not a DDoS anymore if you target a lot of traffic to a lot of different resources.
This is very clever :)
Depends on the servers and the project I'm working on.

- Sometimes I mount the remote servers file system locally over SSH (sshfs) so I can use my local development environment. I generally do this when I have more complex projects (eg quantity of files) and there's some prerequisites defined on the server (ie it's easier to develop on the server than it is to mimic the set up on my local machine)

- Sometimes I use tmux and vanilla vi / vim (I don't generally bother with plugins / config for editors so I don't miss them when jumping onto new systems). I generally only do this if it's small changes though. The kind of situation where it would be quicker to SSH in and make a few edits than it would be to follow a stricter development and deployment model.

- Sometimes I develop locally and then push the changes remotely (usually using rsync, scp, git). This is usually for new projects and where there aren't prerequisites specific to the remote host.

My preferred development model would be 1 (as it's ridiculously lazy), then 3 (as it better follows sane development and deployment models). But sometimes a job simply requires you to make quick edits via vi; and thankfully I feel as at home in vi as I do with most GUI text editors.

Just to add, there's only two config files I ever need to worry about:

.tmux.conf which I only put on a small handful of development machines where I'd like detachable sessions from multiple client (eg home/work/etc). But generally I will run tmux locally.

env_servers which is an epic environment script (like .bashrc) that I can call in as and when and it has a whole stack of aliases, functions and such like optimize my workflow. I've also set up an alias on my local machine to auto scp my env_servers script to any server I SSH into. Thus keeping env_servers available and up-to-date.
The problem isn't that the tools don't exist. The problem is that the work is organized to make someone not-the-manager think about the details. It's not just "arbitrary" business rules that need to be encoded, it's "poorly defined, poorly thought-out" business rules.

That's why SQL didn't take off as a lay-person interface to databases; even though it was meant to be a system anyone could use, you can't get around the fact that you still need to know what you want and what comprises what you want. Your typical middle-manager type knows neither.

That's also why UML can't be converted to a program: if it did, it would call managers out on their inconsistent logic and the manager would just give up and make someone else do it. The fact that it doesn't compile is a feature, one that enables UML to make managers feel like they are being a part of the technical process.

It's not a technical problem, it's a cultural one.
The list solves the problem because it is okay to mutate an object from an outer scope, whereas the += tries to assign a new value to the name.

There are lots of other awful hacks:

def a2(start):
def a(v):
a.v+=v
return a.v
a.v=start
return a
new ActiveXObject(...)

ActiveX has been disabled by default since IE7. Victims of an attack like this are kind of asking for it (windows + IE + allowing ActiveX).
I was afraid that the opposite would happen, that hosting on a custom domain gives up traffic that a network like Medium provides. But then, I'm not actually sure how much traffic this is, or if it's only helpful for authors that write about mainstream topics.
Did not know this. Thought self was equivalent to this in Java. Mind = blown.
Isn't Python, in general, significantly more widely used than Perl and Ruby outside their narrow popularity domains (sysadmin for Perl, RoR web apps for Ruby)? Just a guess.
Interesting - I can read from the variable but I can't assign to it.
I'm amazed that no one talks about the issue of Applications on Linux... I've been running OS X as the main OS for the last 6 years and Windows since before that ever since Windows 3.0.

Also tried most of the *nix favours throughout the years - but so far the apps have been unable to replace those on OS X.

What i failed to find as replacement on Linux:

- User friendly two-way firewall like Hands Off! or Little Snitch.

- File-organizer app like Hazel.

- Multi-tab-column file-browser like Pathfinder.

- Screenshot + annotation manager/editor like Voila.

- Window layout manager like Moom.

- Adobe Creative Suite (Yes, i can run it in a VM - but it's s l o w!)
FYI at /for-brands you have the text "Create your site to Milled by following the instructions". I think you mean connect?
just a quick knee jerk example here, it seems the visual cortex has an intrinsic noise that is normally filtered out but is shunted through when psychedelics are in the mix.

https://en.wikipedia.org/wiki/Form_constant

>" Many observers see geometric visual hallucinations after taking hallucinogens such as LSD, cannabis, mescaline or psilocybin; on viewing bright ickering lights; on waking up or falling asleep; in “near-death” experiences; and in many other syndromes. Kl ¨ uver organized the images into four groups called form constants: (I) tunnels and funnels, (II) spirals, (III) lattices, including honeycombs and triangles, and (IV) cobwebs. "<

http://psychedelic-information-theory.com/geometric-hallucin...
I have a pair of those. I really like them except that they don't quite fit my ears and wearing them for more than a couple hours causes some soreness. If it weren't for that I'd probably wear them all the time. So, maybe that ended up saving me in the end.
"I just reworked entire architecture of the site, which unfortunately also means I have to re-synchronize over 1 billion posts back into the archive."

Thank you very much for creating and maintaining this archive.

I am not sure how big of a commitment I am making when I say this but we (rsync.net) would like to give you free service, forever, to back up this resource.

Please contact us if this would be useful.
>I despise it when “experts” talk down at ppl saying “white lies” because we’re too stupid to understand (Dr. Fauci, I’m looking at you buddy).

What lie id Fauci say, that you're annoyed at?
Out of curiosity, which had are you using? Is this solved by simply using the other hand or both hands? I have fairly small hands and can't ever think of a time I've had trouble using large screens (I have a Note 3, but the 6+ feels fine when I use it). But using two hands to me isn't a big deal, and I'm comfortable switching hands when doing one handed things.

I do think Apple needs to fix the UI guidelines so that "stuff you need to touch" sits at the bottom half, while "stuff you see and interact with rarely" should be in the top half.
Amazingly well written! Thank you, archagon!
I sometimes wonder how different human culture would have developed without fossil fuels of any kind - it would likely mean no industrial revolution, right? No coal, no gas, etc. I think fossil fuels essentially moved us so far up in a Kardeshev type energy utilization that technological breakthroughs could really snowball exponentially. And fossil fuels only exist because for a hundreds of millions of years bacteria didn’t exist to break down trees or fiber. I could see that being an evolutionary tick being answered as a result of random processes possible to happen much faster.

Anyway, without fossil fuels we may still be where we were before them - so dark ages, I think. Without fossil fuels I don’t know whether we’d ever have even the conception to seek out higher concentrations of energy. And it’s that energy concentration that still powers most of our civilization.

All of which is to say, we could be on the verge to reduce ourselves to only marginal increments on what is currently available at that sort of power concentration, or worse. Or we could realize things like nuclear power open up still more exponential power concentrations.
Women don't use pockets, they use purses. Even most pockets in tight jeans are fake.
That's why the first Note was a big hit with older women. Big screen was easier to read and it didn't make a difference to their purse.