skysight-inc/HackerNews huggingface dataset:
1. No I do not have a paper. I thought a lot about publishing a paper first but then decided against it, because I think that good code and tests and demos are more valuable.

2. EventReduce is mostly useful for realtime applications. I myself use it in a NoSQL database (RxDB). There you stream data and events and a single document write is the most atomic 'transaction' you can do. If you need transactional serial writes and reads that depend on each other, you would not use EventReduce for that.

3. EventReduce is just the algorithm that merges oldResults+Event. It assumes that you feed in the events in the correct order. Mostly this is meant to be used with databases that provide a changeStream where you can be sure that the order is correct.

4. Sort order matters because EventReduce promises you to always return the same results as a fresh query over the database would have returned. When the sort order is not predictable, the returned rows from a query depend on how the data is stored in the database. This order cannot be predicted by EventReduce which means it will then return a wrong result set.

PS: BDDs are awesome :)
Sooo...Materialized/Indexed Views?
They're running free screening/testing centers[0]. They're collaborating with Apple on a contact tracing approach (which, personally, I'm leery of, but is probably largely responsible for SK, China, and Singapore's success at containing it). They were also one of the first large corporations to institute mandatory work from home.

[0] https://www.projectbaseline.com/study/covid-19/
It's quite simple, really. Herman Miller's use of mesh surfaces allows flatulence to pass right through the seat, at which point flow is dictated by thermal convection.

Unlike chairs that use a foam pad, the Aeron allows free airflow and never clings to hints of last night's burritos.
We are striving to fix most of the big problems before releasing version 2.1 (hopefully this year). Please report the bugs/crashes. Only in this way we can improve it.
Sorry but this is wishful thinking at best, self delusion at worst; 17 million unemployment claims say otherwise.
This has little to do with dynamically typed languages, "JS" in the name notwithstanding. JSON is a serialisation format that is used in both statically & dynamically-typed languages. It makes as much sense to call XML validators bizarre as it does to pin this project as a weird byproduct of dynamically typed languages.

If your program produces or consumes JSON _and_ you think it would be a good idea to ensure said JSON is what you are/a client is expecting, then you need something like this in any implementation language.
No, see the FAQ in the readme:

Materialized views solve a similar problem but in a different way with different trade-offs. When you have many users, all subscribing to different queries, you cannot create that many views because they are all recalculated on each write access to the database. EventReduce however has a better scalability because I does not affect write performance and the calculation is done when the fresh query results are requested not beforehand.
The Truth about Recessions and Business
This has already been said in the nested comments, but why not “?” for optional? Coming from Typescript, Swift, etc “!” feels more like an assertion of non-nullity (is that a word?). It’s also easy to read as “not <key>”.
This is also the biggest problem I have with Emacs. When I used it I spent too much time configuring things, something which distracted me from solving real problems. Now I use a much simpler editor which is not so configurable so I can focus on other things.
Ensign authorization code nine five Wiktor Wiktor two.

https://www.youtube.com/watch?v=qeekblLkx4g
The Importance of Respiratory Rate Tracking During the Covid-19 Pandemic
The calls to open the economy will get louder.

We watch the world, seeing what others are doing and what works. Interesting times.
Correct me if I'm wrong, but Materialized Views have the limitation that you need to refresh the entire view! Often you know which rows will change based on the data you receive.
Great README. I like these projects where the documentation clearly shows the passion and expertise involved.
Do you have any source showing global apps usage to support your claims?

Just by guessing, I would say whatsapp/FB/instagram/Snapchat/youtube are the most browsed apps. All those apps use Neural Networks in the background, for text translation, automatic subtitles, picture and video filters, encoding, decoding, upscaling video, ...

Neural networks will run constantly in the background to analyze phone sensors data and adjust the device energy usage, infer location, etc

Even games will use them massively (see the RTX application from Nvdia)

A performant single threaded CPU can probably run those AI applications fine, but an AI coprocessor (or neural processor or DSP or whatever the marketing named it) runs those applications by using 10 times less energy (easily)

I recommend to everyone to take a look at http://ai-benchmark.com/ . The improvement in this domain is massive, like an order magnitude bigger over the last 2 years, to the contrary of CPU and single threaded performance

Edit : oh I also forgot mandatory usage of NN for facial recognition and pose recognition. Regarding sensor, the new radar in the Pixel cannot work without neural network : https://ai.googleblog.com/2020/03/soli-radar-based-perceptio...
Not sure about nuances in English language but in Swedish there is a very important distinction. You are fired for stealing at work, hitting your manager or neglecting safety precautions etc. You are laid off for economical reasons, when the company can not afford to keep you around. The former reflects bad on you, the latter is not due to you. I think it is important to maintain the distinction.
Ok, all the movies are back there now! Might have been user error on them some temporary issue.

The music is also there but it just switches your user so you have to re-login with the correct user after going to the music menu...
Sometimes, but often I think it’s fairly clear that someone is underperforming.
Yes that helps but brings in other problems. For example many many security problems in the thousands of used npm packages of meteor and its dependencies.
> Then there are the more complete netmap...

My bad. Netmap is a "kernel-network-stack bypass" mechanism [0]. Usually a userland TCP/IP implementation is used in conjunction with it [1].

Then there's NetStack for gVisor [2] in golang.

[0] https://news.ycombinator.com/item?id=10365731

[1] https://news.ycombinator.com/item?id=15630088

[2] https://news.ycombinator.com/item?id=15556398
What HoneyComb LX2K 16-Core Arm Workstation Looks Like
> The GP didn't claim that Amazon could keep up with demand.

That's true, but GP seems to think that we need Amazon to solve a problem which Amazon doesn't solve.

> Their general point is the whole supply chain is straining, and shutting down Amazon is going to exacerbate the issue. Maybe that's the right thing to do, and maybe it isn't, but the broad consequences are clear.

I don't think it's clear at all that shutting down Amazon will exacerbate the issue, because I don't think "the whole supply chain" is the issue. Specifically with medical supplies, the problem isn't that online retailers can't get stock to customers quickly enough. The problem is that stock doesn't exist. Unless Amazon decides to pivot into medical manufacturing, Amazon isn't the solution to this problem.

The reason Amazon is restocked on toilet paper is that toilet paper manufacture is fairly simple, so manufacturers have already pivoted to manufacture toilet paper. This is a credit to manufacturers, not Amazon.

> Between COVID-19 and the US-China trade war, I hope we're all taking a long hard look at supply chain diversity going foreword.

This we can agree on, at least.
Yeah I mean of course I’d like to make 250k and have huge stock options I’m just not that caliber of developer yet. But for devs that are and live in Germany (this has come up with my former German colleagues— whom I still consider friends) they are cognizant of the salaries of their American counterparts but the benefits of healthcare and the transit system and the access to all the good food and other European countries I think is a big win for them. I might be projecting but they could move their families to the states and take jobs with any of the big tech companies, my former teammates could, but they won’t. There’s such a thing as good enough income, and given that a lot is provided for here I understand that now, too.
It’s not just you. Larger companies with cash reserves, stronger financial/accounting practices and leadership, and services and products that people can continue to use during this situation can weather the storm. Public companies become more predictable business with forecasting. Of course this situation is hard to forecast/imagine.
Not seeing a whole lot of value of SfEDI over just writing a StringBuilder if you want to treat EDI like a CSV file. http://www.X12.org (once their servers are back online) provide XSD schemas that you can generate (http://www.liquid-technologies.com/online-xsd-to-cs-generato...) classes from that would provide full validation of an EDI document. Those classes would then allow you to serialize/deserialize from POCO to XML which most EDI providers (http://www.spscommerce.com) support. The validation piece of that is key to making sure your documents are valid for the EDI translators that will be checking your documents prior to them getting to the supplier/customer.
I think it's because most of their fleet of robots was focused on serving campuses.
Now I understand why almost no one uses encrypted email
Great question!

Firstly, and very importantly, the agent is open source (https://github.com/boxci/boxci) so you can see exactly what it does and even build it from source if you want. I should mention Box CI isn't launched yet, everything is still in beta including the agent.

The Box CI service doesn't have any way to send requests to or send commands to agents - the requests are one-way, agent to service only, with agents polling the service for build jobs to run, running them, and sending logs and results to the service.

Build scripts and configuration are all in your source code. This is a tradeoff, because it definitely means you have to trust your source (and everyone committing to it) if you're going to be running agents on your dev machine for instance.

There are obviously mitigations to this though, like running the agents on a dedicated Cloud VM with nothing on the filesystem and internet access locked down to package manager and cloud provider hosts. A future plan is to provide pre-configured VMs for various cloud providers so this can be set up in a few clicks for low cost ($20 a month or whatever a reasonable build machine VM would cost).

The real security point of the the agents though, the other side of these tradeoffs, is that your code and your production secrets never leave hardware you control - the CI service never has access to them. That's a massive security advantage Vs centralised CI services which do have full read access to your source and effectively full write access to your production infrastructure via keys you give them - compared to what I've described above this is a massively bigger and more dangerous potential security hole.

You can probably tell by the length of this comment I'm super interested in this aspect (along with dev experience I see it as the key advantage of the model and one of the reasons I'm building it) there's a lot more depth to this and if you'd like to discuss further, I'd love to :-) Email's in my profile.
Exactly! And now they’re going to reinflate the bubble and make the problem worse instead of the deleveraging, wealth redistribution, and regulation that we need to move forward.
I wonder how the government will deal (or make provision for) with small business that are "furloughing" their staff while asking them to work from home.

From the beginning, it was quite clear that this was bound to happen. Just like for the the stay at home order, I think the government is mishandling the response by being vague and noncommittal. This will simply make things worst in the long run.
Is it better than TexStudio??
You're assuming that there are still reporters out there. Most media companies have transitioned to click-bait. Who's still doing real journalism these days?
Synchronous vs. Asynchronous Replication Strategy
Having the license drive the max sales price is a little tricky. I can't tell what you would be allowed to do if you sold them (fully or partially) populated and assembled with the right chips and components.
Not as frequent as you might expect! Most regex engines in common use don't use an automata based implementation, and instead use backtracking. This lets them implement additional non-regular features such as backreferences and recursion.

Even automata based regex engines don't usually build up a full DFA, since the size of the DFA may be exponential in the size of the regex. Instead, an NFA similation might be used, or a hybrid NFA/DFA that builds the DFA during match time, but typically doesn't build out the full DFA.
> Since there are not dead asses all over the place, the philosophers took this as evidence that free will exists, even in asses.

That falls apart as soon as you consider how frequently the precise scenario is expected to occur. I hope no philosopher made an ass of himself by vigorously defending this particular form of the argument.

That response is similar to the point made by one reviewer of an early version of the paper discussed here, that if this were a problem (in practice), it would have come to everyone's attention by now.

The Dining Philosophers problem is similar to Buridan's Ass, in that you have hyper-rational actors at risk of starvation in the presence of food, but the critical difference that makes this a model of something that could happen in practice is that it involves each actor having to make two temporally-separated decisions, thus avoiding a singularity in time (though such singularities appear when you apply a locking solution.)
Dupe https://news.ycombinator.com/item?id=22879361
He didn't say which developers though. Arguably, Office and enterprise developers have been served fairly well even during his tenure. As long as you colored between the lines, the experience was alright.
BDDs you are using, are they zero-supressed decision diagrams or it was not necessary to do these kinds of optimizations?
My answer is to embrace the challenge of learning Emacs Lisp and using it. Personally I think Emacs makes most sense for those who think learning and using some elisp sounds fun/interesting. What I’m not sure about is what to recommend for learning it. I remember finding it non-obvious how to learn it.
The less-developed countries have generally been that way since their independence from colonialism.

The argument that the regulatory burden on small businesses can be bad for economic growth does have some real validity - the great work on this is Hernando De Soto's The Other Path on Peru. However, that's an argument for making the tradeoff in an informed way and exempting small businesses (something the EU is extremely bad at!), while being against severance pay in its entirety is just a profit-before-humans talking point.
Extra Crunch Live: Join Aileen Lee, Ted Wang for Q&A on 4/20 at 10:30am
As with any new technology, I'd start using it in new non-critical projects as risk is low and it makes it easy to convince the stakeholders.

To clarify, Pulumi can coexist with Terraform and other tools in the same stack, see https://www.pulumi.com/docs/guides/adopting/#coexistence
Judging from first scan, this book seems to be a very good book. Thanks for the link!
You can also ssh in via Emacs with Tramp, and use your highly customised Emacs to edit remotely.
Good luck. I recently went through the google interview process and it took months. The lockdowns were starting and the economy was melting down around me, and then I myself got sick with covid-19. It was a stressful time.

I had a strong preference for a position in NYC, but I decided to accept a team match in mountain view to get the offer signed asap just in case google announced a hiring freeze. Thankfully I'm very happy with the team I'm starting with.

Google's process is designed for people who already work at other big tech companies who have months to kill and lots of spare cash in case it doesn't work out. It was nerve wracking for me, who had just been laid off from my job and gotten sick. I don't know what they can change about it, but I will note that the interview process at Facebook is significantly less confusing and much shorter.
Snappy Video Ads – mobile-first video ads improve return on ad-spend
If you're a Teams user, there's Microsoft Planner.
The Weirdness of Water
Pff. Every country has people breaking the law. I never said Australians universally follow laws they expect to be enforced, but for that to be a big deal you would have to demonstrate people universally following laws they don't expect to be enforced in some other place. I tell you, it doesn't happen.

Leadership in the early days of the crisis made a huge difference. The early days of the crisis now are passed us, so whatever happens next it is about perseverance - a completely different matter and something a country does not excel at if it goes through prime minister faster than a pub goes through sixpacks.
Coronavirus: Ventilator built by Airbus and F1 approved
> It's very easy for native English speakers to say English should be the only language

It's also very easy to assume that everyone advocating for using a common language is a native English speaker.
>> the physical servers hosting them are indeed randomly affected by several stability issues

this may cast a shadow on ARM64 servers credibility.

they used to design their first generation of arm servers in-house. it looked like a blade server with slottable cpu(or was it the whole system on a micro-board?). check the video from 2014(at the end) for some glimple on a physical machine https://blog.scaleway.com/2014/online-labs-public-preview/?f...
I really remember these the most.
Yeah, it's tedious if you do it the long way around because you, for some reason, have arbitrarily restricted yourself to only doing it via command line...

Just get an email client that has PGP capability built in.
I always wanted to do a theme for AfterDark involving spinning mummies unwrapping as they floated across the screen.
This sounds like (a simpler version of?) Lambda Architecture [1, 2]

[1] https://en.wikipedia.org/wiki/Lambda_architecture
[2] https://www.manning.com/books/big-data
Online BCS Event: LoRaWAN: Long Range Wireless for the Internet of Things
How to Lower the Mobile App Front End Maintenance Cost?
.. but that doesn't exempt the parties from performing obligations! You can't, say, order a meal at a restaurant and then "withdraw your consent" from paying for it.

This is just a bad-faith attempt at using the language for sexual and interpersonal consent to pretend that businesses and workers are on an equal footing and have no obligations to their staff.
It would probably be a good idea to write a paper at some point; it's simply easier to read a document explaining the algorithm with some pseudocode than to dig through an actual codebase with all the messy language-details in between the parts that actually matter.
Is the Social Credit System the Future of the Next Generation Society?
Yes, this is much more hassle than just buying flour at the store, but in our experience right now that's not an option.
Yes the BDD is minimized with the two rules (reduction and elimination).
Also the sorting of the boolean functions is optimized via plain brute forcing.

The was no good JavaScript implementation for BDDs so I had to create my own one https://github.com/pubkey/binary-decision-diagram
It heavily depends on the country. There are only a hand full of countries where iOS and Android almost have the same market share (US, UK, SE for example).
In most countries this is not the case. Android share is still very dominant world wide (~80% vs ~20%).

Switching to another OS / ecosystem is not something done easily. When you are an Android user and everyone around you is why switch to iOS? There are plenty of good Android devices available for $400-$750. Also: in a lot of countries people just prefer a very big screen size.

So I think your comment is a little over the top. Yes it might attract some customers but I don't believe it will mean an exodus of Android users.
Hey, sad to hear that healthIT is not getting a better safety net. I am in healthtech startup and some sales were let go but the business is still up so development goes on.
I was hoping that hospitals would get better funding after such a crisis and especially things like electronic or personal medical records for telehealth could get a strong support...but not the case as it seems.
Jeff Bezos' 2019 Letter to Shareholders
'Staggering' is an exaggeration? In cities of a million, a hundred people is maybe expected? Those pictures might qualify as a 'heatmap', meaning they reflect total population more than anything.

And imagine those lines if they were just people. Wouldn't look like much.

Further, what were the lines like two months ago? Has it changed much? 1.5X? 2X? Is that the expected fraction of people with fragile economic situations?
Yea, but that’s only half the story. Military pilots get training for free, which is vastly more and has massively suppressed airline pilot salaries. There are a few other approaches that can similarly reduce costs, but sticker shock is huge.
Where did they define the symbols `_binary_quine_c_start` and `_binary_quine_c_end`? I would expect that the symbol names would need to be passed to the command that produced the object file from the binary file:

ld -r -b binary quine.c -o myself.o -m elf_amd64
Open and gratis are two different things. This piece of hardware seems completely open to me, barring of course the unknown innards of Commodore's custom chips.
Yeah, when I worked at thousand-person companies it was like this:

CEO -> SVP -> VP -> Eng manager -> IC

Or, alternatively,

CEO -> Director -> Manager of managers -> Manager -> IC

I didn't feel like either needed more middle management (each had about ~2k employees), but in the case of the latter some reorganization would have helped (some managers had 50+ reports).
I do not think this has many in common. Lambda is used for stream processing much data. EventReduce is used for optimizing the latency of much (repeating) queries.
...out of half a million. During a time of disruption of services.

Note: all those people could afford gas. So its not just about poverty. Its about timing, shortages etc. Maybe they were all hoping for toilet paper...
Makes a better picture. That many people standing in line wouldn't look like much.
WaPo edits the url when loaded to prevent you from pasting into outline
ProtonMail is hiring. A lot: https://careers.protonmail.com/
Thanks for the recommendation of Cosmic Justice, I was not aware of that book of his. Will definitely have a look!
My vaguely similar thing - https://wryun.github.io/yajsonschema/
I don't think you understand static typing and you might be confusing dynamic typing with duck typing or other concepts. The presence of types doesn't mean static typing. Python, for example, is strongly typed, but it's dynamic because the type of any object can't be determined until run time. But you can still check types!
Even if startups don't fade away, uncertain times means people look for stability. Unless a startup is in one of the sectors benefiting from the lockdown, top talent is likely looking to leave for stability at one of the big players. Which will just accelerate the fall of marginal startups or those struggling.