skysight-inc/HackerNews huggingface dataset:
I tried something along those lines with a language called "radian", which was explicitly inspired by the Appel paper. I let the domain expire a while ago so all the design discussion is gone, but you can see the remnants of the project here: http://www.github.com/marssaxman/radian.git

It was not a strict subset of anything, but it was heavily inspired by Python. The goal was to constrain the language such that every for-loop could be decomposed into a map-reduce over an lazy iterator, so that the runtime could transparently schedule computation across all available cores.

It all worked out well enough, and nothing feels more natural than coding in a language designed precisely to suit one's individual taste; but the idiosyncratic requirements of the memory and processor model meant there was very little opportunity to reuse existing library code, and I wound up spending most of my time on yak-shaving expeditions and getting very little done.

I got around the mutable containers problem by not having any; the language included, as primitives, an ordered container based on finger trees and an associative container based on... hm... AVL trees maybe? It's been a while.
Ember is still used (and should be) though it's not on the hype train these days for a few reasons:

- It is a fully considered (if not well-considered) framework which is great for large teams

- It keeps up with other libraries and best practices by adapting

Unfortunately, the best thing about Ember is also the worst thing -- changes can happen so fast that it becomes necessarily hard to update if you stop keeping up with it.

Ember's only competitor in my mind is Angular in the current landscape -- assuming people do not want to bolt together a vue+vuex+vue-router setup.
The article seems to be transparent at first glance with giving lots of numbers about salaries and so on. Why no numbers on profit and what the owners take home?

Also, there is no mention of trying to raise the prices of their products in order to pay their employees a living wage. I guess that could mean you go out of business if your competition offers a similar product but doesn't raise prices. But I would personally be ok with that. Otherwise what's the service you're really providing? Guilt free eating for your customers who you shield from what those prices are paying the welfare dependent cook? I'm ok with not being in that business.
I came across the "overlay an OS GUI on your vision" ideia in a series I watched some years ago. I've been trying to google the title for an hour but I can't seem to find it anywhere.

It was about successful "neuralink" implants that did the whole brain-computer interface work but one day there was a glitch/virus/broken update and anyone with the chip who got into contact with the internet would update, fry their brains and die so I remember people hiding in what I think was an underground garage.

Does anyone remember this one?

Edit: It was called H+
https://www.youtube.com/watch?v=ZedLgAF9aEg
This is where "parallel construction" comes into play.

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

The entity using the information works backwards to construct a plausible fake chain of events which is acceptable to a court and hides the true source of the information.
I recommend this interview with Camille Paglia related to this: https://m.youtube.com/watch?v=v-hIVnmUdXM
Apple’s new services strategy. Apple is commoditizing (some) of its complements
Sadly, I don't recall off the bat, and I don't have access to those files anymore.

IIRC Aerospike would be faster initially because it keep a lot in RAM, but they'd be about the same once the DB fills up you can't get away with that. In the end, either network or disk would be the bottleneck for the workload I tried it with.
I've used Ember in a large non-tech organization. Ember's particular way of doing things, being opinionated, allowed us to focus on building the logic out instead of worry about secondary decisions: file structure, routing, data stores, build pipelines, etc.

Personally, I feel Ember is best suited for the enterprise world. It's a slower moving framework focused on backwards compatibility that remains relatively similar over the years. I feel slightly insulated from the rapid changes in the front end world which allows me and my team the ability to focus on the business. Of course, I push my team to understand what's going on outside of Ember. I've definitely taken things away from React and Redux.

But having to maintain dozens of apps (and growing), I couldn't imagine the technical debt we'd have if we chose a different framework. Our repos would be scattered with the latest and hottest fad and changing standards.
From a normal investor’s standpoint, the hash power is an implementation detail. Trust has to be in the integrity of the blockchain.
My understanding is that Tor is not a permissioned network. This means that anyone can run a node without asking for anyone’s approval. If this is the case, a trivial amount of money in terms of the USA defense budget ($100mil - $1 bil) could be spent to selectively reveal entities that the gov finds worthy of arrest.

Everyone be careful, nothing is as simple as it seems. Notice how I’m responding to an anonymous user. This is expected.
From my other comment:

As the author stated, the goal was to:

> "to study, understand, and expose the reality of grievance studies, which is corrupting academic research"

"study" being the operative word, there.
They did mention a planned model with a 50 ton capacity.
1992 or 93. It was fun, exciting, nothing like anything we've experienced before on a computer. You surfed the net back then. A lot of centred text and DIY design aesthetics. Text was king, animated GIFs were used for rotating skulls and flames, and e-books (text files really) like the Anarchist Cookbook were the thing to read. IRC was where we talked to each other. Email was magic. I printed every single email I received during my first year or so. There was no spam.
At a certain point Internet Explorer was actually ok if you can believe it. But before that Netscape was king. Yahoo was where things where organised. It was the "index", The Directory. Search engines made the directory obsolete. Google made search engines obsolete.

During our first session I asked my friend if he thinks anyone will ever make money off this thing. We both answered with a "naaah" and kept on "surfing".

I think today is better in many ways (and less so in some), but it would take a lot to impress old me now, while back then it was all just gobsmacking awesome.
Excellent work!

My only complaint would be the too low snare volume.

I almost stopped making any music after I switched to a laptop and lost daily access to an old SoundBlaster card which only supported some obscure sound font format. One of the fonts supplied with the driver CD was named "eapci8m.ecw" and had some of the best sounding instruments I ever heard - and all that squeezed into an 8MB file!

Regarding the snare: here's a piece I did for my friend's acting-school-entry-exam-dance-routine back in 2007:

With Fatboy:

http://node.tade0.usermd.net/crook-fatboy.mp3

Original(caution: much louder):

http://node.tade0.usermd.net/crook.mp3
Is there any PoC, or end-to-end description supporting your claim that this is possible?

I'm quite sure WhatsApp uses transport security, too. You can't just MitM then.
Hey, we all get pwned by Poe's Law, sometimes. Especially when it's about something that's important to us. So no blame.

And I apologize for going off-topic, but Poe's Law arguably underlies much of the recent drama about online censorship. Twitter, Mastodon, Patreon, etc. That is, many who feel strongly about various sorts of hate speech have zero tolerance for stuff that parodies and satirizes that hate speech. But of course, there are also lots of trolls out there, whose only goal is upsetting people and generating lulzy reactions. So confusion is understandable.

And that's how it is with Poe's Law. When you see and hear (for example) Lenny Bruce, Dave Chappelle, Bill Hicks, Richard Pryor or Chris Rock, you know that it's parody and satire. But when you read stuff online, there's no context.

Anyway, it's sad.
Tor already "pads" to cell size. There is ongoing work towards better padding. Look at WTF-PAD for more. It is surprisingly difficult to improve padding effectively, and you just can't add delays to TCP streams. Tor is not "refusing to add" either of those things.

A more recent and thorough real world analysis of the traffic correlation problem is https://www.freehaven.net/anonbib/#ccs2013-usersrouted . In general, that site has a lot of great papers on these topics.
Kubernetes has a few good storage solutions that are built on well-known technology...

https://rook.io (built on ceph)

https://www.openebs.io (built on Jiva/cStor)

The distributed storage problem is difficult on it's own, this isn't a kubernetes specific issue. IMO Kubernetes is improving on the state of the art by dealing with both the distributed storage problem and dynamic provisioning, and that's why it might seem somewhat flustered.

What isn't shown here is how effortless it feels when you do have a solution like rook or openEBS in place -- we've never seen ergonomics like this before for deploying applications. Also, the CSI (Container Storage Interface) that they're building and refining as they go will be extremely valuable to the community going forward.

BTW, if you want to do things in a static provisioning sense, support for local volumes (and hostPaths) have been around for a very long time -- just use those and handle your storage how you would have handled it before kubernetes existed.

Shameless plug I've also written about this on a fair number of occasions:

https://vadosware.io/post/kicking-the-tires-on-openebs-for-c...

https://vadosware.io/post/disassembling-raid-on-hetzner-with...

I've gone from a hostPath -> Rook (Ceph) -> hostPath (undoing RAID had issues) -> OpenEBS, and now I have easy to spin up, dynamic storage & resiliency on my tiny kubernetes cluster.

All of this being capable as someone who is not a sysadmin by trade, should not be understated. The bar is being lowered -- I learned enough about ceph to be dangerous, enough about openebs to be dangerous, and got resiliency and ease of use/integration from kubernetes.
With alcohol it's not that much cheaper than somewhere like Boulevard or Gary Danko, so unless he were to rack up some Michelin stars, I think the answer is probably no.
Maybe we have yet to fully explore the potential of that idea? https://en.wikipedia.org/wiki/5D_optical_data_storage
I pretty much only have old C64 music running non-stop in my headphones at work. If it was remastered to not sound like a SID-chip I wouldn't get my fix.
ACLU has had some interesting re-alignments recently, so it doesn't come out quite as tongue in cheek as perhaps intended.

https://www.vox.com/2017/8/20/16167870/aclu-hate-speech-nazi...

and this happened specifically because it was pressed to do so by people who, for the most part, subscribe to the same ideology as the editorial board of "Gender, Place and Culture" (author is a "Critical Race Studies fellow at the U.C.L.A. School of Law"):

https://www.nytimes.com/2017/08/17/opinion/aclu-first-amendm...

Then you have activist students actually shutting down ACLU presenters on the campus because “liberalism is white supremacy”:

http://flathatnews.com/2017/10/02/black-lives-matter-protest...

So yes, it's definitely affecting things.
I've read many comments here about not finding these sites anymore or that the 90`s web is gone. It's not the case. Remember directories and Dmoz in particular? It's closed now, but it was the gateway for many. It was so influential that it had a huge impact on your Google ranking if your site get listed there because of its crazy high PageRank.

Anyways, here's a backup with 3,573,022 sites

http://dmozlive.com/
If the performance art:

1) Qualifies as research, and

2) Is directly or indirectly funded by a federal research grant

then yes, it would.

I doubt much performance art qualifies, though.
A composer specifies which instruments play what, as a general rule.

We call it an ‘arrangement’ when a piece of music is reinterpreted with different instruments.
It wasn't some test of the unknown. He knew the emperor had no clothes and set out to prove it. The people who are pleased also know the emperor had no clothes and of course would have been disappointed if the fields were some how impervious.

.
Incredible! I've always been fascinated when driving by the Sylmar station (many times in my life) and never knew that I was driving by connecting infrastructure when on PCH in that area.

And even more interesting is they are replacing/replaced it! https://www.circlingthenews.com/terminus-of-sylmar-ground-re...
LQG and big bounce requires big bang and expansion being followed with contraction of the universe ending with big crunch at the end.

Pernroses CCC (conformal cyclic cosmology) is a big bang followed by an infinite future expansion and timelike infinity.
Subsidized Electric Scooter Startup Takes Aim at Bird, Lime
I think a mechanism that, first of all, promotes some kind of interaction between fields and helps counterbalance the hyper-specialization our academies currently promote.

It is very unlikely that "the academic fields in question demonstrably have no interest in whether things are true or not". More likely is that people from hyper-specialized fields use different criterion for the validity and veridicality of statements and that their incredibly hermetic jargon and deep reliance on interlocking field-specific concepts prevents them from communicating with other academics from other disciplines in meaningful ways—thus resulting in a great sense of misunderstanding and misjudgment between members of the fields. In some sense, our pursuits are so hyper-specialized at this point that they are incommensurable—there's an incredible lack of 'generalists' able to act as liaisons and to produce the appropriate meta-criticisms for each field of study.

That, I think, is a much more reasonable assumption than one that assumes a cohort of people who "don't have interest in the truth" have somehow slipped their way into academia and are using it as nothing more than a vehicle for their political motives—that's a rather conspiratorial hypothesis and would need much more evidence to support it than the publication of a couple of papers in a couple of journals.

If we were to solve the hyper-specialization problem to a degree, I think it would promote greater academic health and collaboration overall.
Around the wall through the empty portions.
https://www.usatoday.com/border-wall/us-mexico-interactive-b...
Political support of universities is decreasing due to it, Pew has studied it.
>These days you might run across some hiccups in getting it to work in your browser of choice.

Never experienced any problems whatsoever across FF/Chrome/etc

I just generate a new HTML file with changes for saving.

Requires remembering to do something to save changes, but I come from the time where autosaving wasn't the norm anyway :)
Where does Tor claim to do more than it can? Can you point at any specific statement?

Compared to anything else in that space, I always liked how Tor does not promise magic, but is actually pretty open about its weaknesses. Most of what comes up as "new discovery of a weakness" is actually already covered in the original design paper and FAQ.
Very interesting reading the obstacles faced by the black market drug trade and how they're overcoming them. It seems like the producer layer is most susceptible to penetration as it is essentially identical to most gangs. It's entirely glossed over here but procuring the product seems like a difficult problem for an anonymized distributor: How do you make sure the product gets to your support layers?

As interesting as it all is, it's also very concerning for Law Enforcement. While petty things like drugs don't really worry me much, the advances in the anonymized distributed networks like this do mean that things that previously required big budgets of national intelligence agencies become easier for common malcontents to use. The article essentially describes a quintessential terror cell structure, but with the added benefit of 0 direct interaction. The separation of layers has always existed with limits (IE you had to have some form of communication) but this potentially allows for goods and services to easily be passed from fully anonymized layers to others without every having any interaction at all.
But they do notice a phone that is slow and unresponsive. The Moto G was supposedly one of the better midrange Android phones. I got one for my son last year. It was slow compared to my iPhone 6s - that was 3 years older.

When I got my iPhone 8 Plus, I gave him my 6S, he couldn’t be happier. When will a midrange Android phone finally catch up to the performance of a discontinued iPhone 6s from 2015?
Do you have any sources to back that up? I can't imagine what (beside altruistic) benefits would be received by donating time, energy, and money for the benefit of people who don't have it?
KRust looks like the rv-match for Rust: https://news.ycombinator.com/item?id=16970050

But comparing Rust to C is difficult. On the one hand they compile down to the same thing, on the other when not using unsafe, the type system itself allows you to express strong proofs, especially with state machines.

I don’t generally need to make use of these tools, I would point you to the ring project, where they are very interested in formal proofs: https://github.com/briansmith/ring they might have some interesting options and a few of the people over there are very capable in answering these questions.

> I don't know where it's at currently on various types of races, deadlocks, and livelocks.

For dataraces, there is a very strong story. In terms of deadlocks, I’m not aware of anything here. For livelocks, I think it’s generally possible define the state of a system such that you can make sure you aren’t in conflict with other threads, so better, but not fundamentally different than other threaded languages. In other words, if you define cross thread state in an appropriate way, you can prove that you can’t get into a livelock situation.
Feedback on Growth
I realized that nearly every tech job I had in Israel, came with perks that included Free lunches / food. We would often get meals catered in and it was something to look forward to regularly and it seemed to energize our teams and bring everyone together. I started to learn that companies that genuinely invested in their people whether through training, free-food, etc... seemed to grow much faster. After all, a company is nothing more than a collective of people working towards a shared mission, and achievable (but difficult) short term goals / milestones, and so using food to bring people closer together [like a family], and keep them productive made sense.
I decided to take everything that I learned in Israel and bring it back home to Toronto, and so I launched JustBooked.com which is an office catering company. I did some research in the space before entering and was aware that there are two other main players in the space platterz and foodee. I figured we could put our own unique spin on our technology [which we're developing now] and compete and better yet innovate on the model. To date we have 40+ restaurants on JustBooked.com that you can order from in the Toronto, Downtown core. [To see our results, enter address, 181 Bay Street, Toronto, ON, Canada]

HOWEVER, I'm finding it difficult to get these office managers / admins to order on a regular basis. E.g. I've been able to get them to order a few times but what I am really looking for to truly sustain this business is at least 5 clients / customers that order regularly [1-2 times a week minimum]. Does this exist?

I was thinking we can sell companies on ordering more frequently for the tax break they can get on meals for their employees, or something along these lines..

Any help on getting more frequency and consistent orders would be greatly appreciated guys!
Science is about doing it right, business is about doing just enough to get the job done.
It is one of the most commonly used framework in serious industry projects. For example in New Zealand so many important websites and services built with Ember. General Election system, nation wide Social Service tool, major banks web apps, main television website, second largest city public transport website, etc.
> and bring the country to a grinding halt.

And if it didn't come to a grinding halt? They risk demonstrating how worthless their jobs are.
What rights people have and how those should be applied to real-life situations is a massive ongoing question. Does a woman have a right to an abortion? Does an unborn baby have the right not to be killed? Does a responsible adult have the right to be armed? What about with a pistol or an automatic weapon? Do religious people have the right not to have their beliefs disparaged? What about Christians vs "piss christ"? What about Muslims versus Mohammed cartoons? What about micro-religions of 100 people? Or Scientology?? Do people have the right to free speech? Does the right to free speech mean only the goverment can't persecute you directly, or does it include a situation where a cartel of infrastructure companies (credit cards, website hosts) decide to do everything to remove you from the Internet? Do people have the right to health care, and how do we square that when resources are scarce? Does it mean doctors are slaves?

The UNHRD is nothing like universally accepted. For example, Muslim countries considered that it violates their idea of what human rights are, so they made their own Islam-friendly human rights declaration [0]. That's like 1/4 of the world population rejecting your universal human rights at the outset.

[0] https://en.wikipedia.org/wiki/Cairo_Declaration_on_Human_Rig...
Middle schooler in the mid 90's, sitting in the backseat of the car while parents drove around town on errands. 2 meter ham radio antenna on the roof, with a packet radio modem and black and white power book laptop running off the cigarette lighter jack. The local university had a packet radio - UNIX gateway with which you got a shell prompt via something akin to telnet. Fond memories of wireless browing the web over lynx and talking to people on IRC before anyone I knew had a cellphone.

Also, the special treat of getting to go to the parent's lab from time to time and using this new fangled Netscape Navigator Beta on a blazing fast Macintosh II CI with more than 8 bit color! The fish cam was still one of the featured links on the browser homepage, and browsing NASA's site and being blown away at being able to see monitor-filling celestial objects in seconds.
Coral – A gradually-typed, optimizing mini-Python compiler written in OCaml
Thank you very much. Great points. I concede.
Hey everyone! This was a 3 month student project and doesn't include classes or several other major features of Python. However it can speed up Python programs that don't rely on these features by several orders of magnitude. See examples in the "demos" folder on the project Github.
Judging by his first message https://groups.google.com/forum/#!original/alt.fan.pratchett... , connectivity was via demon so I'm guessing from the date (Demon launched on the 1st July 92) he was one the first tenner a month subscribers. I seem to remember that his cix account had something along the lines of "Yes I am that Terry Pratchett" in the equivalent to the finger command.

Sadly demon as a brand has been killed by it's current owners https://www.theregister.co.uk/2019/01/11/vodafone_to_shutter... .

I think I got on the internet properly a year or so later, although I had access via various means early than that.