skysight-inc/HackerNews huggingface dataset:
Extremely low-traffic blog. Only got readers by posting in associated Voat subverse. 1 good post thus far:

https://subsonicsoftware.com/index.php/2015/10/30/install-co...
The problem is the angle here. Apple chooses to be arbiters of content. That shouldn't be their job. If the app used private APIs or misused background processing, it's good for us, the consumer, that Apple makes sure it doesn't get released in that fashion.

But I reject that it's good for us, the (adult) consumer that Apple act as parental controls for adults. They're using a position of power to stifle speech. It doesn't matter if it's a First Amendment violation - it's still egregious.
Yes, not charting out your module boundaries and just bundling the system and service state along with parsing and cgroup management in the same process is relatively unwise. Even Solaris SMF got it right by keeping init(8) small amidst the otherwise highly impressive feature set of the main service management, using contracts (the equivalent to cgroups, which actually predate them) outside PID 1.

So the same can be done on Linux. At least one system, OpenRC, has explicit support in such a manner.

(I take it you haven't read the architectural critique? Most pro-systemd arguments fall flat on their face in any event.)
>only place you'll find which doctors is out in the more remote rural areas

Which is what I am talking about. You think these "Christian" "witch hunts" happen in the middle of the big city?
Emphasis on the insane part.
GEMSOS and STOP OS built highly-secure systems (for the time) on Intel by using the protection rings and segments. Both only put the security kernel in kernel mode, user apps in user mode, and OS services in middle rings.

Here's architecture for GEMSOS. See design/assurance sections.

http://aesec.com/eval/NCSC-FER-94-008.pdf

Look up SCOMP Final Evaluation Report if you want to see how STOP OS used four rings and had an IOMMU despite that being "invented" recently. ;) The XTS-400 is the Intel version, uses same architecture minus custom hardware, and is still doing its job at hundreds of installations.

Definitely a major performance hit on both GEMSOS and STOP but they were 80's era stuff. Modern separation kernels do most stuff with just user/kernel mode separation with tiny kernels (4-12kloc). LynxSecure claims helps them keep CPU 97% idle with 100,000+ context switches a second. I'd expect old architectures to run even faster with modern techniques.
Feel free to email me if you want to get into YouTube Influencers. I work in the YouTube world and am happy to help fellow hustlers! kamphey @ gmail.com
PV at least at one time, was more efficient than emulating straight hardware. And PV was the only way you could run visualization on Intel Atom since the first batches did not have the hardware bits needed for KVM.
My experience: Partnership with commerce in area of interests, with affiliate links + free products for me.
You people crack me up. Self driving car was never anything other than an elaborate PR ploy for Google, the company which derives the vast majority of its income from its advertising business. Who would you rather work for: a company that is "building a self driving car" or a company that tracks the living shit out of everything you do on the web and ruins the web with mostly irrelevant ads? That's what I thought.

And they want these PR gravy trains running as long as humanly possible, so launching a real product isn't even a goal.
If I were in your shoes with all that traffic, I'd implement a micro-paywall charging ~$1/read. If you're on Wordpress you can use CoinTent which allows a set character limit on preview/teasers which show the beginning of the content & charges to keep reading.
That point was reached back in 90's when first security evaluations of Intel architecture were done, found tons of black boxes like SMM, and said to ditch it for security or virtualization. Invisible Things did a good job demonstrating an old risk but people should've ditched it long ago.

If you want verifiable hardware, look up the VAMP processor as it has everything from design descriptions to formal proofs of correctness. Not sure about its availability. SPARC and RISC-V are very open with open-source implementations available with Linux and compiler support. So, there's a solution if people ever want to put the work in.
I like curation where it ensures a base level of functionality and quality. I don't want ideas curated. I can do that for myself, thank you. I don't need a corporation presuming parental control over me or any other adult.
Nice pricing structure
By that definition, there is still no censorship happening here. Apple isn't preventing content from reaching anyone, because that content is still available through the youtube app on the same platform and any available web browser.
"Given how ridiculously little manpower they have, it's only the most practical."

I disagree given how many microkernel projects by tiny teams have been started or finished before they got to even 0.7. Especially the 2-3 person project that was MINIX 3. I think GenodeOS started as a few people's L4 work, too. Maybe what they're doing is fundamentally wrong and they should do it different while leveraging existing work. Just a thought.
> Most of that is a premature optimization IMO.

Since when is analytics, premature optimisation?
Final Draft was the first to market and is the most used, but hardly the most loved. They are the IE of screenwriting software.

The industry standard is .PDF. As long as you can get to .PDF, all is good. All modern screenwriting software supports the Fountain syntax, except Final Draft. Final Draft is the dinosaur of the industry, and they are dying. One man shops are making far superior software at a lower price and that are far less buggy.

One you get into production, Final Draft might be needed, but many places aren't updated their overpriced licenses.

The top "traditional" software packages for screenwriting now are either Fade In Pro ($50) or WriterDuet (free/$99 one time license for all the extras). Both support Fountain.

http://www.fadeinpro.com/page.pl?content=comparison

https://writerduet.com/blog/

If you're only writing in Fountain and then to PDF, Highland and Slugline are the other options. They are both under $30.

http://slugline.co/blog/sushi

I also like afterwriting.com. Bascially it's Highland in a browser that can sync to Google Docs and Dropbox for free.

http://afterwriting.com/#

The great things about Fountain is that you can just use any text editor you want and then import into a Fountain compatible package and that it's very readable.
MINIX 3, 2-3 people? You're kidding, it's far more than that. Especially given how many students AST supervises at the Vrije Universiteit.

EDIT: Also, version names in of themselves don't mean much. Hurd is at 0.7 yet capable of running multiple folds more Unix software than MINIX at 3.3.x.
Colorado Springs homeless network
Yeah, I was just rephrasing PG's argument for the OP, not saying whether it was right or wrong. I'm not smart enough to know.
No, this is from several groups of missionaries I personally know over there right now. Some in the bush who have to deal with witch doctors running villages, and others in big cities where they have to deal with somehow paying $800 for rent a month.

You take my quote somewhat out of context, what I am saying is there have been plenty of terrible things happening over there. Yet this one person tries to post/comment with a "look what the christians did" type of attitude.
This is a fantastic article, and is true in all walks of life. I'm a technical manager is a big corporation, and half of my problem is trying to explain to people why they need the stuff we do. In this case, they know they have problems, but they have other "forms of aspirin" they've found that half-bandaid the problem. Our solutions are much better, but they don't know that; it's up to me to explain to them what the problem is with their band-aid solutions and why our approach fixes them.

Thinking about this even more, this is the problem faced by virtually all salespeople. You won't buy my whatever until you know why you NEED my whatever. Even if you THINK you need my whatever, I have to make sure you understand what problem my whatever is solving, because if you buy it thinking it solves A but it really solves B then you'll be really pissed when you find out that you just paid for something that doesn't solve your problem (A).

Very good article, and the door/key analogy is fantastic.
Does anyone here know the real reason for this move
(beyond speculation)?
Not his example, but here's a file I ran it on.

Starting image size: 604521 bytes

Output CSS: 7077663 bytes

Gzipped: 1572759 bytes

Ratio of original to gzipped output: 2.60x

---

So really, not that bad. Not great, obviously, but not bad.
Is actively making ideas and information harder to access better than censoring it completely?
With that skill set, you probably want to check out the firms at Denver startup week.

http://www.denverstartupweek.org/sponsors
"What it means for a selection process to be biased against applicants of type x is that it's harder for them to make it through. Which means applicants of type x have to be better to get selected than applicants not of type x. [1] Which means applicants of type x who do make it through the selection process will outperform other successful applicants."

There are many, many reasons that both sentences beginning "which means" are false that someone who is as smart as we're told Graham is should be able to come up with quite easily. It's astonishing that he made this tripe public.

Here's a gimme for each.

Say I'm selecting people to receive a prize; there are ten recipients and they're putatively chosen by [whatever]. But I don't like people with green eyes, so green-eyed candidates had better be pretty pleasing to me. But they can please me in any way, not necessarily in ways relevant to the metric for which the prize is awarded&mdash;maybe I also like tall people so a really tall green-eyed person averages out in terms of my predilections. They aren't relevantly better.

For the second, again, the question is "better" at what? Better at getting whatever is involved in getting selected? That doesn't necessarily correlate with outperforming anyone subsequently, especially if it's a matter of startupland. (Remember that New Yorker profile of Marc Andreessen, where Sam Altman basically admitted that he didn't know what he was doing in terms of selecting what to invest in? The flipside of that is being selected by Altman for an investment.)
Does anyone in this forum know the reason behind the change (beyond speculation)?
I was thinking something similar. "Queen" implies a sort of authority or social dominance which, AFAIK, is not generally present in eusocial species. The "queen" is an egg factory, not a leader, and the workers' relationship to her is more like engineers:factory than attendants:royalty.

I'm okay with "worker" as a name because it's a literal description of their behavior, but you're right that it shouldn't be interpreted as a social status.
The point is, if it is not church doctrine one follows, then how do you label them as "Christian"? As the original poster has done.
Wait... so these homeless people can't buy food but have access to the internet & twitter?
>The inflation argument is a little misleading. We have been printing money to offset historically low and increasingly declining money velocity. The money velocity is declining precisely because wealth is being aggregated in silos and not being spent. Money velocity is essential to a healthy economy. And quite frankly, we could do with a little inflation to encourage spending and not hoarding by the uber wealthy.

We have been printing money for quantitative easing, but it isn't released into circulation. The Fed sets short term interest rates directly, but once those hit zero, the only alternative is QE. QE uses Fed cash (printed if you will) to buy US Treasuries thereby increasing the demand for them and driving down long term interest rates. The goal is to avoid the contraction of credit and the deleveraging of the US economy. If that much cash was just dumped into circulation you would see inflation on a large scale.

As for the rest of it I'm going on opinion which you and I have no chance of agreeing on (which isn't the end of the world, everyone has their own opinion). Yes I think child care and self improvement are great in the long run, but it can be tricky to measure exactly how much they contribute directly to GDP (quantitative measurement). Yes I also think work to live is better for society. I think work helps people stay out of trouble and even when I was making next to nothing it felt good to make my own way.
Hey kseistrup! Thanks for the feedback!

With the editor I use (Codemirror), Firefox cannot currently paste with the middle mouse button (Issue #30 - https://github.com/VictorBjelkholm/ipfsbin/issues/30). Are you trying to use the middle mouse to paste things?
It took decades to get UNIX's reliable enough to trust for day to day operation with labor estimates in hundreds of millions to billions of dollars. Three or so people got that done in a few years with MINIX 3 using micro-kernel architecture and self-healing services. QNX and INTEGRITY RTOS's have been doing that stuff for years in the field with less resources. And QNX-based Playbook was more reliable, responsive, and fast than iPad in its first incarnation. Before that, KeyKOS outperformed IBM's monolithic stuff on their mainframes with better security and full persistence of system state.

So, they worked better and keep working better. People just use monolithic kernels for some reason. Just like they took forever to get off of C for reliable, business applications. "Worse is better."
Early Rust did attempt to elide here. The trouble is that if you left off <'c> then it wasn't obvious in those kinds of cases that Sheep is bound to a stack frame, which led to surprising errors. So lifetimes were made mandatory here.
> At this scale, two solar panels, so something like 1200 watt hours of energy per day I don't think you'll find a wind generator and tower to beat the price.

There are many small scale wind generators that produce more than enough energy to run watermakers on yachts, much more cheaply solar panels for the energy output.

This has been a solved problem for quite a few years.
absolutely spot on. Differences in distribution is only one way in which you could disprove pg. There are others. For example, different "treatment effects". If conditional on getting selected, VCs pay more attention or are more useful for women, then that would be another reason that we would get the pattern pg proposes, but is not due to bias at selection.
I've played with Kakoune a little bit not that long ago. It's actually pretty nice. By far the best feature is the popup that lists all the sub-actions for chords: imagine if, when you press "g" in Vim, it lists all keys you press after AND what they do. It makes it very easy to figure out new behavior.
The idea of working on selections is also very intuitive and works well, both in vim compatability and ease of use.

The biggest issue I had with it, that made me return to Vim instead of try and keep with Kakoune, are the lack of options. A lot of the settings appear to be hardcoded, with no way to set them even with : commands. While it does have scripting support, and a lot of the core application is implemented with it, there doesn't seem to be any docs on how it works or any community behind it.
Batman vs. Superman Movie Cast-Trailer-Release Date
This is the best thing I've read in ages. I found myself instantly realising how so many past occasions have related to it... Like the author I'll probably spend the rest of my life noticing places where this crops up.
This is an advertorial for a startup called Civil, which wants to crowdsource moderation with an app called Civil Comments.

So to answer the title's question explicitly - no. And implicitly - no. Sites have been trying various crowdsourced moderation models for years - from the extremist moderation of Stack Overflow to the "anything that won't get us arrested is fine" attitude of 4chan/8chan. I don't believe there's any secret sauce to find.
> Most of the cases where I run into this problem and end up feeling like I didn't gain much, if anything, from doing a straight C implementation are situations with deeply nested data structures.

Your feeling doesn't line up with what has been observed in practice. Empirically, people do not get the memory management right in C. They mess up, again and again and again. In Rust, however, the compiler enforces that you get it right.

> Though immediately following that I start to have dream-like fantasies where this entire static analysis stage is simply bolted onto C instead of being a whole new language.

I don't think it's really possible to bolt Rust's semantics onto C. Too much will break: in particular C code is not written with inherited mutability, which is critical to Rust. You could maybe do something like the proposed lifetime stuff in C++, which still requires lots of annotation, enough to effectively be a whole new language.

Rust has a lot better ergonomics anyway.

> Afterall you can do some pretty impressive stuff with nothing but a pile of preprocessor macros (see Objective C).

Objective-C isn't "a pile of preprocessor macros", and it would be completely impossible to implement the lifetime system using the preprocessor.
This list of web revenue models might be worth perusing:

https://hackpad.com/Web-And-Mobile-Revenue-Models-final-EgXu...
> Lifetime elision seems thoroughly broken or extremely limited in functionality

Do you have examples? Have you filed bugs?
Would I really make 48k? Wouldn't a large part of that be needed to support the basic income system? Doesn't the current welfare system address some of these problems?
We keep building spaces that we treat as public but aren't. That's a problem even if the individual actions are defensible.
Fast != scalable
I was going by Tannenbaum's claim about the original work.

"we've only been at it for a bit over a year with three people"

By now, probably a lot more. I'm only talking about original architecture and implementation that possessed the reliability features.
> Now that was a misery, but one I attribute more to the uncaring attitude of the company that wrote the STB's firmware than any inherent problem with their OS (a decade later, critical and customer-affecting race conditions are still present in their code). To be honest, their OS didn't help.

Hmmm STMicro-based? :)
...and 296% CPU for one Chrome tab whilst it is doing it, with negligible 'wait'.

Right now I am seeing how that works out for a sizeable image, I don't think I have seen such a deliberately CPU intensive thing run before in a browser. I have no idea if it is doing it or not, so a 'progress bar' could be helpful here.
Quark microkernel in MorphOS
https://en.wikipedia.org/wiki/Quark_%28kernel%29

MorphOS - quite fast and usable :)
http://www.morphos-team.net/intro

So, out with the old and in with the new.
> Google Play simply doesn't allow apps that interfere with other apps.

Or apps that play youtube videos while not having focus. There is no defense to that rule. Just trying to act the same as a desktop browser, with ads intact, is not allowed.
Forcing someone to display someone else's content is also a form of oppression and censorship.
The definition of "torture" you're using isn't a good one.

Check out https://en.wikipedia.org/wiki/Torture#Definitions

The UN Convention Against Torture, the first example in that section, doesn't make the distinction you're making.
They regularly get pulled. Wanting an app that is going to still exist in a week is not moving the goalposts. The point is that the rules have removed all good apps with those features from the store.
IIRC Darling uses GNUStep and CLANG to try and run OSX binaries.

https://www.darlinghq.org/

http://www.darlinghq.org/project-status

I tried it out before in a Lubuntu virtual machine and had to install CLANG and other stuff to compile it with GNUStep and it is very limited in what it can run.

I linked to the project status page because some of the links on the main page are 404 errors.

Here it is on Github if people want to help out:
https://github.com/darlinghq/darling

Here are the build requirements:
http://www.darlinghq.org/build-instructions
Paying prisons based on gamed recidivism rates would probably still be better than not.
And Samsung uses INTEGRITY Multivisor in KNOX.

http://www.ghs.com/products/rtos/integrity_virtualization.ht...

Multivisor is kind of a combination of the INTEGRITY RTOS and virtualization stuff.

The leader in this kind of stuff was OKL4 like in your reference, though. General Dynamics supplies their stuff now due to acquisition.
I imagine you got downvoted because this thread is neither about Chesterton nor about atheism. HN culture is generally not very tolerant of threads that deviate into things that aren't at least tangentially related to the main topic-at-hand.
There's also the fact that the effect size is huge — 63%. Most real world population differences are not weird enough to generate that large an effect without bias. The bigger questions are how much would the effect size change without removing outliers (Uber as pg mentions but presumably others too) and how significant is the result.
Another notable difference between Hurd and MINIX is that Tanenbaum got millions of funding from the EU to improve MINIX. Having the organizational backing of a research university helps, too.
You're assuming there will be a choice. A successful strategy tends to be copied. I doubt that any of the companies forcing you to agree to an arbitration clause have competitors that don't.
I tried switching to this editor permanently from vim. The selection based movements are asurdly good, I could kill for something like this in vim.

However I couldn't stick with it for two reasons. The first is when I went to figure out how to customise it, I found that the customisation is essentially vim like but weaker. Everything is hardcoded like it would be in vim but with less options. If you're used to Emacs insane customization, this is the other end of the spectrum. The stuff that IS customisable works by executing embedded bash scripts[1]!? You can only embed these in specific hooks and places, so it's really limited, and platform specific. Install this on a system missing a bash feature someone is using and who knows how it'll behave.

Basically, the features implemented are gorgeous, but past that I can't stick with it. Just going to consider trying to port the selection based movements to a vim plugin but I think it'll be a challenge.

1: https://github.com/mawww/kakoune/blob/master/rc/clang.kak
A lot of downvotes happen by accident, as on mobile it's easy to fat-finger the down arrow. No need to comment, typically people will notice the mistake and correct it with upvotes.

If the mods read this, I'd like to put in a suggestion to, on mobile, add CSS that places the down arrow on the right side of the screen, nowhere near the up arrow on the left, and make the icons bigger so you can tap them without having to zoom in. Or if that looks cluttered, make the icons as big as they normally are, but make the clickable space larger using padding rules. This is the biggest UX problem HN has, in my opinion.
> I've re-implemented Rails functionality, poorly, way too many times.

It's been a looooong time since I last touched Rails, but I never really missed it when using Sinatra, mainly because of plugins/gems... I even wrote a few. (Currently I'm mostly using Go and C#, though).

Honest question, just so I know what I'm missing: what kind of functionality did you have to reimplement yourself?