skysight-inc/HackerNews huggingface dataset:
Currently working on a tree-walking interpreter for a generative text language.

I'm hoping to focus on the technical side this time!
What's unscientific about falsifiability?
What is ATH?
With respect to COVID-19 transmission, it seems to me like anything that takes some potential carriers off public transportation improves the situation for the remaining passengers, whether that's privately owned cars, taxis, ride-sharing, cycling, or others deciding to walk.
They are already building their own chips. Huawei has started to use 14nm chips manufactured by Shanghai-based SMIC. They plan to replace TSMC's chips with SMIC's chips in their phones. TSMC blocking will just accelerate their plans.

https://www.gizmochina.com/2020/05/12/huawei-kirin-710a-smic...
When the dust is settled, I think HFT firms will emerge as a very minor evil compared to social media firms.
I think your source for the "game dev side" is odd-it's from 2009, a recession with markedly different characteristics than this one-and says nothing about the claim you've made about people losing jobs right now. Usually video game sales track the market, this time they're not doing that, which makes this more interesting. Do you have any links indicating that game developers have been losing jobs at an absurd pace?I haven't been able to find any.
Time without end: Physics and biology in an open universe (1979) [pdf]
Making the Best of a Post-Pandemic World
Eyeballs. It's used casually by many millions of people daily. That's all that's needed to justify price.
Even gmail and Google Maps aren’t what they used to be. On a machine that isn’t top of the line, Gmail takes ten+ seconds to load to interactivity, and then going to each email takes five or so seconds. It’s basically unusable.
I've have first hand experience with a failure or two. I'd bet the SD card failure rates depend mostly on write load.
Does Signal have enough of a userbase for Facebook to even care about? I doubt it.
I had to order a new Xbox One controller from Gamestop because my local Wal-Mart was completely sold out of all controllers other than Switch and Xbox 360. They were also completely sold out of TVs other than TCL 65".
Philosophy Will Influence Technological Development
Here’s one example. Restaurants will likely be operating at 50% capacity or below for the foreseeable future. Their business model does not work at 50% capacity. Many, many jobs are not coming back.
Was 7nm a requirement? I didn’t gather that from the thread.

Small run 22nm is certainly available. These are fabricated in the US, albeit at an Intel site.
https://www.mosis.com/pages/intel_sponsored_fab
All Time High
not https://appleple.github.io/lite-editor/
And I got to feel that I've very old.

My four year old plays almost daily with his model of Atlantis. Both his older sister saw Atlantis at the KSP museum after watching a Falcon 9 launch.
Objective-C was explicitly modelled after Smalltalk.
And for good reason; I don’t want individual web pages having access to everything that an app can do.
This is a tired and archaic take.
Shipping costs matter some when you go from being right next to the factory that makes your raw silicon wafers to having them be halfway around the world. In general it sounds like a big factor is cost - you've got to get talent that just doesn't exist (or isn't as widely available) in the US.
Hi, I am not sure does it count? My quarantine project is https://userbricks.com I've just started to bring some bricks together!
Apologies - I linked the wrong article, take a look at this survey[0] where laid-off game devs can submit their work after being laid off for COVID-related reasons

[0]https://docs.google.com/spreadsheets/u/1/d/1LiVnFpmDK29UV9xj...
No, this was intentional. The point was to see how the user base used the language before adding permanent language features.
I guess I am not alone then! I've been doing the same for my pilot friends.

www.weatheredstrip.com
React Hooks: Tutorial with Examples
FB can utilize Giphy for pixel tracking (similar to FB Like button) since these low-brow, comedic incantations appear all across the webosphere.
> What happened next was odd — and symbolic. In the last two months, courts have repeatedly frozen Modell’s bankruptcy process, citing the pandemic. The company is now a zombie, neither dead nor alive. Its status could soon proliferate across corporate America, further confusing the economic outlook.

Is there a database on companies that are zombies?
I read in this thread that Tenor is the Gif service owned by Google. I do wonder why they dont use it in the first place?
Craft CMS 3 Local Development with Lando Docker
> People who can afford cars are going to continue driving them.

Right now businesses and residential units are required by law in most cities to provide parking, take that away and the cost of owning a car goes up quite fast. If you have to pay $500/ month to park your car, it won't just be the poor who live the car-free lifestyle, lots of people with opt out of that.

In the Netherlands, almost everyone rides a bike (rich/ poor) because it's the best way to get around cities. In the US, nobody rides bikes because the infrastructure is designed for cars. In the UK and Paris (where this article is focused), they are somewhere in-between and trying to get closer to where the Netherlands is.
It is great. Rust 1.0 with the old borrow checker required knowing where to strategically place extra curly brackets, and when to add `ref` or `.as_ref()` incantations.

Now with the smarter borrow checker and ergonomic improvements most of it is unnecessary, and the error messages know how to suggest the rest.
I contribute to findthemasks.com. Maker communities, companies, and everyday people use our map to find where to donate PPE to those fighting covid.

If you have time, we need tons of help:
https://github.com/findthemasks/findthemasks
It's not total stagnation. Sometimes you need to lay back and play some mindless game. Other times it's fun to team up with friends/coworkers and play a co-op game. Or maybe you just want to play some visual novel, which can be on par with reading a book.

I definitely would love to put my focus more on something harder like a side project or blog but it can almost feel like a side job at times. I'm trying to tackle those projects by just chipping away at them. Latest has been a blog. I started with Hugo, didn't like the templates, then went for a straight HTML approach to do it bare bones. I'm starting to get ideas of just making my own personal Markdown parser since I start seeing patterns in my HTML that can be generated. I think this way will be more fun!

To each their own.
She's explaining why she doesn't think the "fundamental assumption behind evolutionary psychology" is valid - that is a wholly legitimate critique. After all, "shape of a person's skull informs his mental and emotional characteristics" is a fundamental assumption of phrenology, but we certain argue against it.
I've found this holds true for me as well. My entire view of America shift after I spent only a semester abroad in Ireland, and it was all from being able to sit back and view it from a distance.

I've also found that this holds true for smaller levels as well. My hometown is fairly rural and in a high poverty county, yet people don't want any better. Since I moved out, I realized that's because it's all they've ever known; they don't really realize there is a difference than living there, doing the same things as adults they did as high schoolers, etc. It's just a vicious cycle, as that mindset gets passed on to their kids as well, and fosters quite a bit of anti-intellectualism in the mix (which I see as a teacher there now, though I don't live there).
If you like this (and you should), I also recommend:

Gergel, M. G. (1979). Excuse me sir, would you like to buy a kilo of isopropyl bromide? Retrieved from http://library.sciencemadness.org/library/books/gergel_isopr...

We had never had such a dreadful assignment. Anyone working with this “superstink” is branded and given a wide berth. No matter how amorous his spouse may be, passion crumples despite baths, Chlorox and Dentine. For a while we made isovaleroyl chloride at Cedar Terrace. It created pandemonium among residents who first sniffed each other, came to the plant to sniff us, and then sniffled to their lawyers.
It would simply devolve into whichever nation decides to put the most money into subsidies, removing environmental protections, and facilitating slave-like labor conditions.
I think this is a cute ideal for a world in which we all live in dense cities and have no business going anywhere but other places in the city. But in reality, I have business in other cities, even states. Work-related travel as well as visiting family. The former could surely be adjusted, but not the latter.
Show HN: A global survey of when people think the pandemic will end
So you're saying we should all ignore the very, very obvious political angles here and trust that it's all about the rule of law, applied neutrally and apolitically?

Next you'll be telling us that a police officer would never lie on the stand.
Which stock markets are you referring to? I can't see any that are 15% off of all time high though I only checked half a dozen.
It is iconic but a little unfair to the rest of the world to exclude their iconic places from Unicode. If Tokyu (it's a pun; 109 => 10 = too, 9 = kyuu) gets an emoji, why not McDonalds, Burger King, Bank of America, Google, etc.

It would be nice if we could scale Unicode and let everyone have their own emoji, but we can't scale it. Think about the volumes of text that have been written over whether the gun emoji should be a handgun or a squirt gun. Now repeat that for every notable place and company in the world... and it's just not something humanity can achieve.

What we need is extensible unicode. Some way of marking up documents to say "here is the URL that defines these characters", and then people could install the "New York City emoji pack" and be able to use the Empire State Building or Grand Central Terminal in addition to Shibuya 109 or Tokyo Tower. I guess HTML is that markup language, and it turns out that you can put whatever images in the text you want. It was probably a mistake to standardize Softbank's picture SMS crap, but here we are.
I thought this too when I first read this, but I went on Giphy and did a quick search and couldn't find any.
Also, from the same show, Gavin Belson:

> I don’t want to live in a world where someone else makes the world a better place better than we do
This is a nice project, thanks for sharing :)

Here are a couple of resources related to quantity scaling and rendering, in case they're of interest and/or useful to you:

- https://www.jsward.com/cooking/style.shtml - "The Metric Kitchen: Style guide for metric recipes"

- https://github.com/ben-ng/convert-units - a nice JavaScrit library for unit conversion and 'best unit' selection
Not everyone is working on awesome stuff at an intelligence agency. They still need people to work on their 20 year old hellscape of an ERP system in hated language(java,ada,cobol, etc).
> "I realized that they're exclusively on slack"

What do you mean? https://giphy.com/search/it-works works for me.
Err, no. This is a serious underestimation of the difficulty involved in acquiring users. Networks effects are a moat. Market share can be a moat.

You don't need to just "build your own alternative to it." You need to get all the content (this is actually not as easy as you make it seem - stolen or not), then integrate that into Instagram, WhatsApp, Slack, and hundreds of other platforms across the world as the supported way of sharing gifs. Then you'll have to build a brand around the product that people remember, and whose website they actually visit when they want images and aren't using one of the hundreds of platforms that already natively integrates giphy.

And in order to do all that, you'll have to somehow manage to convince everyone out there that your gif search system is better than their gif search system that they already know, are comfortable with, and generally happy with. Your pitch will probably be that theirs is owned by Facebook, and is therefore a violation of their privacy. But you know who else is owned by Facebook? Facebook. And yet Facebook is pushing close to 2 billion daily active users.

Convenience trumps privacy in modern society most of the time. I'm sure there will be a changing of the winds - there always is - but there likely will not be significant competition for Facebook/Twitter/Instagram/Giphy/Google/(put any other company in here) until that comes. The network effects are too strong, and the convenience is too great.

There are so many posts about "(Twitter/Facebook/Giphy) clone in a (day/weekend/week/month)" and yet there's a distinct lack of commercial successes in these spaces.

Edit: a word.
Pass-keybase 0.4 is out
Online life breaks the old political order
Although I’d argue the real goal of Alyx was to entice more people to take the VR plunge. That’s bad luck with the pandemic, as I’m sure the $1k price tag (more if you need a better computer too) is hard to do for many in this climate.
Heroes in a linen wrap, mummy power!
"in a few years we’ll end up seeing a nation with a shattered economy, a pissed off populace, and the largest and most well supplied army on Earth."

I wouldn't make such a dire prediction about the future of America.
> It actually was fast tracked by the trade war. Government mandated domestic development of certain things after the US made it clear to China that they're not trustworthy trading partner. Not that China is, but kind of besides the point.

I'm not sure why that's besides the point? The U.S. for years worked to invest in China and build them as a great trading partner and the CCP continued to just steal trade secrets and do everything in their power to undermine the U.S..

And it's probably true that this development was fast tracked by the trade war... but so what? This was coming since the CCP didn't want to be a partner with the West, so why wait around to cut the ties? It's going to happen either way, why not happen on your terms?

W.r.t Trump's "bully" diplomacy - I mean, playing nice certainly didn't work. We don't need to and shouldn't be trading partners with China so long as they're acting against U.S. and western interests in general. The U.S. tried to engage and endured years of malevolent activity by the CCP only to have the actions worsen over time. So... I'm not really sure what the advantage to the U.S. is besides having a big market. Ban Chinese products in the U.S. and China can ban U.S. products. Whatever.

> Cost-wise in particular, Chinese offers for infrastructure development present more attractive propositions

Sure. For now. And if you only want to look at cost. Maybe you want to look at other factors, like maybe you're Vietnam and concerned about the Chinese ramming your fishing boats? [1]

[1] https://www.news.com.au/world/south-china-sea-tensions-at-ne...
Is the OS perhaps booting in readonly mode?
My experience with the first and second gen pi was of frequent data corruption.
I have the later models, but i have hardly used them, so cant tell.
Gardening and playing music are both timeless activities, what do you mean? Kind of unfair to jump down the throat of someone who’s only offering friendly advice.
Chaskiq: New release with video call support
A website dedicated to Int 10h?! That’s beautiful!
> Gardening, home improvements

Not if you’re living in an apartment.

> personal or side development projects

I write enough code at work, thanks.

> online courses, playing music

Sure, those are good options.

> the utter stagnation that is television and video games

The fact that you decided to lump watching television (passive) with playing video games (active, engaging, sometimes social) tells me that you have no idea what you’re talking about.
Would those same teenagers also not know that the ISS exists or that humans went to the moon 50 years ago?
If you run the domain report manually on the HIBP website you get the actual email addresses involved.
Are there any HFT firms that engage in shady data deals or startup acquisitions, or outright lie to the government about what they are doing?
Since the "upcoming legislation" is public information, wouldn't this count as simple market speculation rather than insider trading?
SaaS Pricing Models and How They Affect Valuation
Hi!
I have two projects that i'm working with django.

First, on my job, on a public institution (scientific also), i'm developing a website to control and monitoring the status of a GNSS (GPS) network, the scheme of all the network and equipment, particular status, etc.

Integrated with celery to generate periodic reports and a view in what we can se the status in real time from every station. Uses last Django version (python 3.7), celery, rabbitmq, postgresql, redis, bulma css(and pure javascript on ui).

Is not published yet because i'm working on details, and maybe only will be disposable by the internal VPN
https://gitlab.com/pineiden/dj-webo-collector

The other, is for a personal project with friends about teach technology to common people.
https://gitlab.com/pineiden/web-curso-programacion
https://www.cursodeprogramacion.cl/

And the plan is build a platform to support education plans, not only teach programming, also workshops or courses of any subjects.

So that, i learned a lot since around six years playing with django and now i think i can manage well.

BR!
> I suspect the production goes to US defense applications. Pompeo tweeting about it seems to confirm it.

It doesn't. Just because he referenced "national security" does not mean this fab will be dedicated to producing chips for DOD contractors.

The DOD has been making a shift to COTS processing hardware over the past couple decades. Part of the national security implications of this fab is preventing supply chain disruption in the event something happens with China. This serves to both guarantee the ability to supply COTS hardware to the DOD and to reduce the impact on the overall economy, making it more difficult for China to hold the US over a barrel by threatening its technology industry.
Three chars limit for keywords and some std types, e.g. `Vec`, `len`, `str`.
As someone who knows quite a bit about rockets, they really are for the most part this primitive. Just these tubes filled with fuel, with a few volts of angry pixies at the top controlling a few degrees of gimbaling at the bottom.
Awesome, I’m also volunteering in the PPE space. Check us out:

findthemasks.com

findthemakers.com
There's always Electron, Wasm, and the few smatterings of decent GUI frameworks being worked on. Also https://github.com/tauri-apps/tauri which claims to be a... Light, more native Electron?

Just depends what you want. A common pattern is essentially to build your app as a Rust library or CLI binary that your GUI wraps in whatever is most convenient for the GUI
I have been working on a new website for my ten year long music project, Sonic Multiplicities [0]. It's a real-time audio performance application for solo instrumentalists, which uses LSTM and MFCC discrimination to provide a totally contact-free improvisational musical AI.

Despite having built this and painstakingly tuning a custom linux-rt system for optimal audio, building websites seemed to always escape me. I think quarantine has finally allowed me the time to understand the conventions of making static webpages for browsers.

[0] https://multipli.city - enjoy the triangles.
Improving Csper's Page Load Speed
I totally agree with this. Writing your own csv code is the archetypal example, in computer programming, of reinventing the flat tire.

I've found that every major language has at least one reusable component / module / library / dll to to this. They're maintained by people who have lots more patience than I do.
No, it has nothing to do with source code.

The halting verifier program V never accesses itself. It takes two parameters: a program to check for halting (P) and an input to the program (I). It's job is to test whether P(I) (the program applied to the input) will halt.

To trick the halting verifier V we construct a diabolic P like this:

program P(I) {
if (V(I, I) == YES) { // if Verifier says I(I) halts
inifinite_loop(); // ... then do *not* halt
} else {
halt(); // ... otherwise halt
}
}

Like V, P is a special program that takes a program as input. It then asks the verifier: if the input program is given itself as input, does it halt? And then it behaves in the opposite manner: if the verifier says that I(I) halts, then P deliberately infinite-loops. Otherwise P halts.

Given that P, we ask the verifier the devastating question: V(P, P).

Does P halt if given itself as input; does P(P) halt?

V cannot decide. Note that if we consider P(P), then it means that in the above program, the input parameter I becomes P itself: I = P. And so the V(I, I) == YES expression is actually testing V(P, P) == YES.

But V(P, P) is the devastating question itself!

If V(P, P) yields YES (P(P) halts) P goes into an infinite loop (P(P) in fact fails to halt), and so V has calculated the wrong answer: the actual behavior of P(P) contradicts the YES answer from V(P, P), rendering V incorrect. The same problem occurs if V(P, P) yields NO.

Note that P contains no self refererence. The fact that P is applied to itself as P(P) doesn't come from P; it comes from the way P is used. P is used that way when we ask the verifier V(P, P). The verifier itself is checking what happens if P is given itself as input. P can happily accept other programs as the input I, programs which are not itself.

What P needs is a way to embed V, because it relies on it. The assumption is that whatever halting verifier V someone tries to develop, it has to be public. So that is to say, some CS researcher claims he or she has developed a universal halting verifier algorithm V and they publish it. Then, promptly, their adversary takes the algorithm V and sticks it into their program P(I) as a subroutine, and has an instant test case which defeats V.

The tricky thing is not self-reference, but the fact that P contains the verifier and turns it against itself. The self-reference is instigated from the outside by choice of inputs. In other words, the devastating question V(P, P) is what perpetrates the self-reference which breaks V.
I think I must be a simpleton compared to many people. I am able to play the same video game for years and years before getting bored with it. Currently that game is Rocket League. Before that, it was Skate, Skate 2 and Skate 3 and before that...World of Warcraft.
This was a simplified example. In real life people usually have very complex social networks and it can very easily become Senator A - Senator B- Friend's friend- Neighbors daughter and etc.
It's a data grab. Just imagine how many places Giphy has "integration" with. And the contents of a gif might be really telling, they are already very well tagged.
Heads up, found at least one match for 2019 from a dataset I'm working with.
Great work. Planning to read about it. I, and I am sure others, are continually intrigued about this space and I hold out hope that the definitive solution appears soon (along with the solution to micropayments !!).

On a slightly related note, is anyone interested in having a discussion about how to layer on top of all these "drive" systems a `HDFS` like drive that would have n block replication across different sources, and trying to interpret any given source (dropbox, hyperdrive, google drive, etc..) blocks to make sense of what is being stored there would render the person confused?

:)
Why wouldn’t they just buy the data under the table if they wanted this info instead of publicly acquiring the company? Would be less likely to cause immediate move off the service by competitors and would be cheaper?
Looks like some similar functionality to pushbullet... message syncing from Chrome to Android.

I wouldn’t be surprised if Google is preparing to roll out a message sync service of their own in the next few months.