skysight-inc/HackerNews huggingface dataset:
> Well, those (liberty and freedom) are mostly cherished in lip service by most, and only when it comes to government.

The Trump administration has really shown that this cynical view is not true. Whether you like or dislike Trump, you can't deny that the kind of stuff people say about him freely, the level of protesting in major cities (three major ones since the inauguration alone--it's not something you see in a repressive society.
Been using kwm for the past 6 months or so. Amethyst never really clicked for me, and it didn't work very well with multiple spaces, which I am a big user of.

Kwm and khd (kwm does layouting, khd sets up keyboard shortcuts) are not the easiest to configure, and kwm can be extremely complex, but for me it's been the best window manager for Mac OS I've been able to find. I just wish that performance was better, and that it handled corner cases like small dialogs better.

Doesn't hold a candle to the ones available for Linux, but I blame Apple for that more than I blame the developers.
Bitcoin is most useful as an alternative to awful systems like Western Union. The rest of these systems seem to be research projects at this stage. Not saying they won't mature, but they're not like the Internet in 95. More like the Internet in 75.
"But whether SPARK et al can prove properties about unsafe code isn't the pertinent topic. "

I thought that these worries about unsafe code in Rust indicated people wanted a way to ensure it's as safd as possible. Traditionally, unsafety the language itself cant handle is dealt with via external tools for analysis, proving, and testing. These exist for unsafe code in Ada, C, C+×, Java, and SPARK. Tool-assisted, subsets of each are deployed in safety-critical industries. Anyone doing unsafe codd in them will get more robustness than unsafe code in Rust.

So, you already have protection measures in safe Rust. Other tools, esp SPARK Ada and C enhancements, have them for unsafe code that Rust does nothing to protect. That's a gap in capabilities Rust needs to close. Until then, it's on the table when choosing which to use for unsafe code. Note that Im also a big fan of mixing and matching where we used the C or SPARK provers on unsafe Rust coded to be semantically equivalent. I just know most will prefer Rust to handle this itself.

"By the way, you've been in Rust threads enough years now championing safe languages that you really no longer have any excuse for not learning Rust. :P"

Haha. I do plan to learn it for my Brute Force Assurance concept. Remember I have a brain injury, though, that knocked out memory and good chunk of learning pace on top of full-time job. That plus a shit-ton of broad R&D leaves little time for coding.
In the scenario you're describing a black hole would qualify, however IIRC there are other aspects of dark matter that black holes can't explain.
Well, what your are arguing is essentially a conspiracy theory. That does not mean its wrong, but it does mean that there is a waste upper class that have a secrete agenda for the world. I don't think that explanation makes any sense.

> It's about strategic positioning to control resource routes in anticipation of the coming resource wars that everyone pretends isn't going to happen.

I don't know why that should happen. Even if it did, why would you care about the Middle East? Oil will no longer be a important resource and as long as it is the US has its own supply. A middle east that is unable to export Oil would mean LESS resources for china who I assume would be the enemy in that massive war you are predicting.

> because the Middle East destablization program

If they only want to destabilize the region there would be more effective ways to do it. It also assumes that all the people involved in for example the Iraq invasion were all lairs and all of them seem to be able to keep this secret even once they are retired. It also does not explain why the US send 100'000 people into Iraq to stop the civil war, it would have been far cheaper just to keep out and let things happen.

I see no evidence for this theory.

> they don't know how to handle a kind of world where any lone-wolf actor could do devestating things

Bomb building has not changed that much, Anarchist have killed far more people in the US then Muslim Terrorists. A small group of students started WW1.

> Africa is a war ground for precious minerals and metals (and some oil) and because the Chinese have been making big plays there the Americans want to balance out the power so they have a foothold when the minerals that go in that phone in your pocket become more scarce because China suddenly halted exports of theirs or something similar.

The US position on Africa has been extremely light touch. They operate with special forces for the most part. They don't attempted massive economic inroads or outright conquests that would be required if resource security was the main goal.

I agree about blowback.

The main difference between us is that I believe that it is stupidity and internal political intensives. Not some long running prepare for some future war. I don't think any such war will happen, politically, economically and there is the problem of nukes.
Many interest type forums have off topic/political sections that are deeply polarized. At times this can bleed into other sections but for the most part everyone gets along on topics of the interest.
Corruption in the USA and corruption in the developing world are two completely different beasts, similar in name only. Corruption in the developing world is from the bottom up, it's the way that the common person does business. Corruption in the developed world is from the top down.

Try bribing a cop in a developed country and you'll find yourself in an even bigger hole. But in the developing world, it's the normal way of doing business. You bribe a cop to get out of a ticket, you bribe an official to get your paperwork done faster.
Confirmed via experience of game and app devs everywhere for decades. It causes a discontinuity. Your eyes and brain have a lot of hardware specifically dedicated to detecting those.
Self Ban Registry for Addictions
What are the most frighteningly ambitious YC startups in recent memory?
We understand that when two galaxies hit each other, the visible mass gets all tangled up and suns and nebula smash into each other. Meanwhile the invisible mass continues onwards, oblivious to everything else. We CAN observe it and we have.

Seriously this is basic object permanence. We can see hidden things moving around by themselves. Dark matter is still there even when there's normal matter on top of it.
If you simplify the function, you throw away accuracy (or maybe gain, if you over-simplified). The less accurate, the harder to de-anonymize. However, you only need 32 bits of information to uniquely identify someone.
> forgetting who you are

You mean, like overwriting my actual life experiences with some sort of "narrative" that becomes more synthetic the more it becomes generalized and massaged? That's exactly what tribalism and group think are to me. "fools in old-style hats and coats, / Who half the time were soppy-stern / And half at one another’s throats" come to mind.

> The tribe is family, history, and nation.

It's funny though how as babies we start out mostly alike, and happily adopt a lot or even all of wherever we're put. History is kind of irrelevant if you don't actually tell it, it's a story. Yes, knowing why one's parents behaved the way they did is useful, but anything before that isn't really different from stories about other people. Interesting for their content, but with no super special connection to me, giving me identity or anything remotely like that. In so far as they affected me, in so far as I am a result of that chain, I can more accurately examine those current traces in my current me, simply find out who I am, in the flesh, not in dead words and thoughts.

Now, don't get me started on "communities", beh. I know all of this sounds so anti-social, but it's not, I hate how the actual people let themselves be buried under essentially religious systems that will spew them out as quickly as they snatched them up.
(this is getting a little long, feel free to focus on one or two items if you decide to respond.)
Damn, why are people so gut at spotting antsemites? I tried to hide it really deep but it was my main point.
Ask HN: Do you keep a developer diary?
I recently was struggling with an design/architecture issue all day, and when I was finished I thought about writing down some thoughts about the what/how/why aspects of my solution for future reference. I then stumbled on the term 'developer diary' for this kind of thing (for ex. https://www.smartics.eu/confluence/display/PDAC1/Developer+Diaries), that apparently some software developers hold in high regard.

I will be trying to keep my own (though a bit more light/free form than that in the link) in order to bring a bit more structure to my day-to-day.

Do you have any experience with developer diaries? Have they helped you become a better developer, and if so, what kind of effects did you notice?
Phoenix can do this (https://github.com/kasper/phoenix).
Hammerspoon can also do this (hammerspoon.org).

Phoenix is programmed in JS, it seems faster for me, has fewer features. (But what you want is there.)

Hammerspoon is programmed in Lua, it's slower (to start up at least), and it has more features. (I've got a "vi normal mode" config after Karabiner doesn't work with macOS Sierra.)
I found it amusing they gave this definition:

Turnpike (Tpke): usually an expressway with a toll booth

but there is no definition of expressway listed.
Queen stay the queen.
Urechelnita PLANTA MEDICINALA
These are the kind of "ideas" that get people to waste a lot of time and VC money, so I invite the author to either put his money where his mouth is or accept the existing solutions in spite of his minor look-and-feel/nostalgia gripes.

I'm sure even in 2012 some of his "$50 ideas" (or no, he said he'd spend $1000 potentially!) could be solved with the existing solutions and a little tweaking. I know for a fact gmail has a reduced loading mode that is snappier and lighter weight.

> Is there no configuration of the bits in memory of a present day computer that is this compiler? If you really think so, you should try to prove it, because that would be an interesting result.

I'd again invite the author to "try" and recreate a human mind in computer memory - surely "some combination of bits exist" for it, and attempting to do so "would be an interesting result!" etc etc

What this basically reads as is a bunch of "here are some simple things that can be reinvented by oneself, but I'm lazy so someone make new services here so I can come in and comment about how I was just thinking I needed one and that I'll 'check it out' and..." For the time that's passed between this article's writing and now surely he could have just hired a hacker with that "$/month" he'd otherwise spend to set up a configuration that better suits his whim (likely from existing tools, userscript tweaks, settings/labs/etc) and pocket the difference.
How about smaller scale ideas? For example is it worth starting a social network + IM combination? Let's say it's targeted towards a niche audience. How do you evaluate those things? Is the general rule don't take FB, Snap head on?
Do not forget that even certain drawings (which appear to show fictional children) have been illegal since CAJA 2009 in England and Wales. There's a similar law in NI.
By inventing new physics/materials/production processes which will allow to build say, jet engines with much hotter hot sections, resulting in quantum leap in efficiency? Sure, but all of these startups are using stock engines.

By inventing way to build airframes that are immune to both rusting and cracking and will require no X-rays or other (costly and time-consuming) inspections? Sure, people will jump on it! It will be a game changer. But no one seems to be trying.

But not by simply fixing the broken business processes, the way Elon Musk did it with space rockets - building essentially same planes, but 'better'. Because in the world of private jets, things are not broken, that is a real competitive market.
Bribing a cop? No. Bribing a senator? Sure that normal.
How do I make money off of a popular MMOG game?
Suppose I have a MMOG with average of 2K concurrent players. What is the way to make money off of that without constantly losing money due to server costs?
What is the strategy? Is there a place where someone can learn more about things like this.
Thanks.
For transit it probably wouldn't work for reasons listed in other comments. But as a cruise...

Like an air version of the Orient Express? That sounds amazing, and they could open up places existing tours find it hard to reach (go inland into countries with shitty infrastructure but nice geography).
To me the growth ambitions distill into having both a technology well developed enough that it can be scaled to a receptive market, combined with committment to the market and to growing both of these elements in tandem.
i thought it was brilliant at an even more meta level: McNulty made up a fictional but fact-based story about a series of killings, with a dramatic flourish of "the Red Ribbon Killer", in order to get resources and attention on what was happening in his city, even if it was at the cost of exploiting real individual suffering.

then, consider what the writers of the Wire did throughout the entire series, especially in the previous season's story arc about the "Nailgun" serial killings of Marlo's enforcers Chris and Snoop in the city's vacant buildings.
Yup been using Slate for a while now. I wrote a grid system for it that I find works well: https://github.com/jjt/ac-slater
Dark Matter is not just 'something we don't understand yet'.

It has predictable effects on observations and adheres to some properties, see: https://en.wikipedia.org/wiki/Bullet_Cluster .
Actually what's disturbing (and I am a paid subscriber to nautil.us) is that nautil.us is duplicating content. They took that old interview and passed it off as new content in their latest edition.

Not really fair to us paying readers!
700km is around 2 hours with a high speed train.

There are railway stations in every city center and it doesn't take an hour trip to get to it, contrary to an airport.
Nah I was meaning the word choice, to me it's weird to call people that age "kids" and t say there at "school" not university/college
> How do you explaining gravitational lensing with no visible mass, without dark matter?

black hole would produce the same result right ?
It appears work on CoreRT is still moving along, lots of recent activity, but lots of work yet to do.

https://github.com/dotnet/corert/commits/master
The technology exists to firewall entire countries, afterall the ISP's connect to the larger "pipes", this has already happened in several countries. Sure you could probably tunnel a connection but the average person certainly can't, this fractures the internet.
This issue is deeper than party politics. You can blame the Tories, but the Labour party gave us RIPA. They're just as bad, if not worse. It does not matter which political party is in power at the moment, they all want to increase surveillance. And if they say they don't want to before they get into power, they seem to change their tune for some reason once they're in.
Algorithmic advances are something to marvel at, literal time travel. Isn't there something analogous in that we can bring old algorithms into the present, stuff tuned for a 64k machine has excellent locality. I have this hunch that many things are too tricky by at least half if not a multiple.
Military spending can never be racheted down because you can be gutted in the next election for not valuing our safety. The military industrial engine's ever increasing funds then needs more enemies to use them against.
> As a side note, is Microsoft still considered a company on its way to oblivion? I personally think they reinvented themselves in the new era. Am I mistaken in my view?

You are not mistaken but back in 2012 when the article was written it was pretty common to bash Microsoft.

In fact, PG had written an older essay with a click-bait title of "Microsoft is Dead" [1] in 2007. Naturally, many people didn't realize he meant that metaphorically so he wrote a rejoinder titled "Microsoft is Dead: The Cliffs Notes" [2].

[1] http://www.paulgraham.com/microsoft.html

[2] http://www.paulgraham.com/cliffsnotes.html
As a someone who lived in abusive relationship with a control freak this manifesto scares me.
Interestingly enough, there is a startup that is working on this:

https://www.hybridairvehicles.com/aircraft/airlander-10
I believe the authors main gig is precisely "putting his money where his mouth is".
No.

When the model is wrong, you build a new model. A bunch of weakly interacting particles is the new model.
Linux Audio Conference 2017 – Paul Davis keynote
I'd be curious to see what would happen if Mindgeek (owners of pornhub, etc) put a banner at the top of their websites for British visitors saying "your access to pornography is under threat" or similar. I wonder what effect they would/could have on British voters, based on the sheer amount of traffic they get (and the fact that a considerable amount of people enjoy how easy it is to look at porn, whether they admit it or not).
The vacuum in space and death by it
You may be interested in this paper: http://dl.acm.org/citation.cfm?doid=3028256.3015569
I would still recommend going after a brand new product category. While it may not sound "ambitious", but more like you're building a toy (say a drone or an AI machine), it's most likely that the next gigantic company is not a new search engine or new operating system.

It's extremely difficult to get into an existing product category such as operating systems, search engines, email, etc.
Sorry, but Labour's 'Wacky' Jacqui Smith was just as bad as Theresa May. The main difference here is that May has become prime minister, so is more able to push her vile ideas.

Whether it's Labour or the Conservatives in power, it seems inevitable that they will push these dangerous ideas in the name of 'keeping us safe from terrorists and paedophiles'.
As an American who cherishes liberty and freedom, your relationships, conversations, location and political opinions are tracked, logged, and available to your government.
Nuclear weapons put a sudden screaching halt to the human nature that has played out for the past 10,000 years. Nations have been scrambling since then to figure out how to handle their force projection ever since. Then the Information Age exploded onto the scene with computing and the internet. This has caused further strain on nations that suddenly have to control informed populations.

None of this has changed the fundamental laws of nature that govern the power of nations. War is coming and it will be very bad for almost all Of us. As has been the entire history of humanity before us.
Notes from an Emergency [video]
OP note: recommended talk, some details on the state of the Linux audio world in 2017, but also lots of thoughts applicable to not just audio software but general open-source/free software projects.
How to get rid of face fat
In case you're perusing this, it implies you need to know howto lose weight on your face as quick as could be expected under the circumstances. You need to know how to dispose of your twofold button or your rotund cheeks or whatever different regions of fat that are keeping you from having a more slender, sexier, more slender general face. Here are simple and effective face practices to provide a solution to your situation.

The main source:http://www.howtoloseweightinyourfaces.com/2017/05/how-to-get-rid-of-face-fat.html
>>How do you explaining gravitational lensing with no visible mass, without dark matter?
>Black holes?

Well, black holes are not really black, you can see their accretion disk. Also, a centralized huge mass would create a different velocity profile from what we are seeing. So black holes are pretty much out.
Acceptance doesn't dismiss theories, evidence does. A physicist shouldn't truly deny anything, just look at the evidence and say it is not the best theory.

Even with a better explanation, we can't be sure more information won't see the return of dark matter. Milgrom should understand this well, he's suggesting the return of the cosmological constant.
Found a picture of the dining room on Air Force One: https://thechive.files.wordpress.com/2015/04/the-new-air-for...
When we're confronted with something we can't explain using our existing equations and theories, the conclusion is that there must be some mysterious thing there that fixes our current equations and makes them work again?

A thing we can't detect or see or have any other evidence of ... other than our equations and theories need that thing there for them to work?

> In other words situations where we see twin images of a very distant galaxy

It's entirely possible our equations do not function well on those scales.
It's not that you don't code...you need to code to stay relevant. It's that you shouldn't code serious production features/issues. As a manager, you're context switching constantly and it's very difficult to achieve the necessary quality. You'll never get the uninterrupted time necessary to do anything big. 5-10 min fixes are good targets for a manager, as are projects that would otherwise distract the team, like spikes on potential new technology. You should use your coding to further your overall goal of keeping your team focused and you should limit your coding so that all the major accomplishments of the team belong to the team members and not the manager.
Awakening Consciousness in the Spirit of AI
Impressive speed. Having that in the 80's would be having much faster load times and much better graphics.
Plastc Shutting Down
Ultra+Fast+Feed+W+Gaver.io
The single most important thing in engineering management is hiring only the best. The best have two key characteristics: strong technical skills primarily in aptitude but also in technical knowledge, and a great ego-less attitude. It's at least as important to test for ego than for technical skills.

Most of our "engineering disasters" were related to lowering our bar for hiring. Some "engineering disasters", though, i should note were related to inexperienced product development - so if you're a first-time product leader, get an experienced mentor.
Launching the AWS Management Console from the CLI
> Amazon will show the same reviews for different versions of the same book - even if it has different sellers, or is a different translation, or a different edition. (Ignoring all this, this makes a a HUGE pain when trying to decide which translation of a book to buy; normally I don't care much about edition, but if it's a foreign language work I want to find out what translation people prefer.

It's even worse -- Amazon will show "This book is available on Kindle" and link to a completely different translation's Kindle version. They are not equivalent.
Probably similar on the Trump 757
1 dropped frame at 90fps for VR is incredibly unpleasant.
The solution presented in the article also wasn't guaranteed to be THE correct answer.
I had a very quick glance but it seems that RE:DOM is smaller, better documented and more mature (but probably otherwise similar). https://redom.js.org
Using epicycles just means to decompose the motion into its Fourier series. It may not be the most elegant description, but its not wrong per se, either.