skysight-inc/HackerNews huggingface dataset:
I've had the complete opposite experience, getting someone to use Meet is easy, send them a link and they open it in their browser. Done.

Zoom it's "Download this, install it, wait for it to come up...", and forget trying to get someone to use the web version.

Disclosure: I work in Google Cloud, but not in Meet.
Honestly, taking the Pi itself (which has a very keyboard-friendly PCB layout) and using it in a custom mechanical keyboard build could be a fun little project!

In fact, this would make the perfect guts for something to feature on /r/cyberdeck!

Which, to no ones surprise, is why I see this thing has hit the top of that subreddit...
Hello,

I just saw this post that you have some openings to fill at your company. Do you have an email address contact to reach you to learn more and discsus? Thanks
So what exactly makes you think it's not possible for this car to achieve that speed? Do you think all of the publicly released stats are a lie?
It really goes either way. The IND stations are great with their trademark full-length mezzanines. Sometimes, the mezzanine wasn't needed, though; a lot of them are just flat-out abandoned on the G.

My takeaway from this is that careful planning and analysis is necessary to decide what sort of station design is required. There is no one-size-fits-all answer, as many replies suggest there is, so it's not obvious to me that the MTA screwed this up.
Thanks. I've wondered whether the Linkedin "people also viewed" could be used to predict M&A transactions.
Are you claiming that you knew exactly how powerful you needed your machines to be, before you launched? Or are your machines running at 25% utilization which AWS would charge substantially less for?
Thank you for posting this. He was in the tech industry - I feel like he may have had an account here, or known someone who does. It's a small world, it's weird his identity hasn't been tracked down yet...
Thank you very much for your reply, I really appreciate it and it resonates with me. It wasn’t so recent, but as you said things take some time to heal.

Relationships sometimes end in a sunk cost fallacy: you’ve spent so much time with someone, you think you have to fix the broken relationship at any cost, even if you’re the only one who’s still invested. And that leads to toxicity and being taken advantage of.
Same argument holds though.

If Elon decided to go run a special build Tesla with a new "Infinite Insanity" mode and did 350mph - without Guinness or FIA observers or sanctions, that'd be a thing, and sure it wouldn't qualify for any "official Guinness/FIA piece of paper", but I have no doubt Tesla Marketing would mount a magnificent press campaign with totally convincing proof of their claimed numbers.

(I totally agree that if you _want_ to make claims like that, you should abide by commonly held agreements and recognised authorities. But Elon does dumb shit all the time, and may well be the sort of guy who chooses _not_ to follow FIA rules to intentionally generate social media "engagement" and "vitality"...)
Every company I've worked for in the last ten years has needed all of the above, and I like to work for small companies (fewer than 100 people). Only in the last couple of years have I had any interest or need to branch out to the other clouds, largely because they're doing specific things really well.
Brave blocks Google Tag Manager completely and that doesn't drop any cookies at all, and Google Analytics which drops first party cookies.
I'm not particularly married to an idea here but it is 2020 and I remember exactly what happened with the Coliseum–Oakland International Airport line. It was planned and designed pre-ridesharing and instead of making $2 million in the first two years, it cost $860 million to operate.

https://www.eastbaytimes.com/2016/11/27/barts-oakland-airpor...

Now if technological progress in transportation were to completely stall, I'd agree that it likely would make sense, but the last thing I want as a taxpayer is a very expensive project that is eventually outcompeted by advances in ridesharing in the time it takes to build out the network. Given that there is no lack of public transportation boondoggles that have left taxpayers holding the bag, it's not unreasonable to ask questions and exhibit some skepticism, especially when the population density is below 8000 people per square mile.

In places like NYC, I would be in complete agreement with you as the population density would dictates that only a subway would ever make sense because you simply don't have the road system relative to population density for a ridesharing solution to ever make sense.

Lastly, I commented in good faith, but this condescension, "but it seems like you have an opinion and you're looking for a way to defend it", doesn't exactly help you garner support for what you're trying to achieve. That's also the kind of accusation that comes from someone accusing others of doing something they are guilty of. Perhaps it's you that has an opinion that you're looking for a way to defend?
I use the Fixed (6x13) bitmap font. It is good for display on screen, and they are not fuzzy like vector fonts are.
So, in addition to illegal primes, we are getting a collection of illegal random numbers?

(I wonder when illegal transcendental numbers will become a thing.)
No, I was talking about economic equality.

[As did the Civil Rights Movement concern economic equality, e.g. "We have come to our nation’s capital to cash a check."]

From: https://en.wikipedia.org/wiki/Income_inequality_in_the_Unite...

"[The United States had a] 30-year period of relatively lower [income] inequality between 1950–1980."

Records of wealth inequality pre-dating 1989 are hard to find, but wealth inequality has got consistently much worse in the US since that date.
I didn't de-google it, I still use the services but I'm no longer data-dependent on Google. My mail comes to personal domain and managed by Fastmail. Gmail is just a POP3
client for reading. My photos are synchronised via PhotoSync to my NAS and then I upload selected albums to Google Photoes for convenience of sharing. I didn't do anything similar with files and Google Drive because File Explorer on iOS can sync with my NAS. Everything is local first.

The result is that I can still enjoy the technology but I can drop it at any moment.

I don't use Chrome browser on iOS because ands blocking doesn't work there.

The plan now is to switch to android phone start supports large SD cards and install syncthing on it to be fully local-first.
> West's consumer industrial base. Not the military industrial complex

Imagine thinking those are two separate things.
SSC is not the same as Shelby American.
It's perfectly reasonable to believe that corruption exists in government. It's not reasonable to believe government is so corrupt that Tony Blair is probably a space lizard wearing a human skinsuit or that Hillary Clinton probably drinks the blood of child sex slaves.
You can condense the facts into 3 paragraphs but why don't we just go all in and present them as bullet points instead of full sentences?

When I see a five page article, I know that I'll get background information and I might discover something I didn't expect from the title. While you might only be looking for the study results, I like spending my Sunday afternoon reading long articles teaching me all kinds of interesting information I wouldn't have looked up on my own.
What if you want 10x the GPU for one month to build a model?
If you're fine with 'stupid' refinement types in the form of subset types without coercion, not only do you get them 'for free' from the core type theory without introducing another language element, I personally also think they're quite intuitive. Using a subset type of non-zero nats or providing a proof that the argument isn't zero to define a 'proper divsion' just 'makes the most sense' in my opinion, but that may just be ultimately down to personal taste.

I really do think though that no single part of dependent type theory is actually all that complex. It's not as simple as TLA+, but there's nothing really hard about it till you start proving.

And I'm not saying that all this is feasible right now, but I'm fairly certain that this is at least fundamentally possible. You can't 'truly' separate specifications from proofs in dependent type theory, but you also definitely don't need to really understand how to write actual proofs to write even complex specifications in it. All of this of course depends on stronger automation for a good subset (possibly by also integrating strongly with other provers), but I don't think that's a total pipe dream (though I am definitely personally biased on this).

>The type system in Java or Haskell cannot be used as a sound mathematical foundation, so whatever I call those things it would mean something quite different from maths functions

I'm just talking about the 'well-behaved' subset, but let me go at this from another angle.

If Lean tomorrow introduced a Sort Omega to type universes, the set of programs that you can write wouldn't change. It's essentially just a syntactic change. Would that really be enough to make you say that these are functions now while they previously weren't?

>But I wonder, in Agda, is `id id` some object even when a specific universe cannot be inferred? If so, how does Agda avoid Russel's paradox?

If you quantify over a universe, a constraint gets introduced as part of the type checker. These constraints can be viewed as a graph that is checked for cycles, so not having a specific universe isn't an issue.
> I don't know what all is in those emails, but Bobulinski certainly does

>non-partisan actor

I just saw that guy sit with Tucker Carlson for an hour and claim he has "Q level clearance". The dude is a hapless boomer QAnon type who has 0 evidence tying anything to the actual candidate, Joe Biden (as confirmed by the WSJ).

Also, here's Fox News confirming it was all bullshit: https://www.foxnews.com/politics/hunter-biden-tony-bobulinsk...

If you have trouble looking in the mirror after voting for a clearly deficient human being, look elsewhere. This blatant and desperate mud slinging against a canidate's SON (even the mafia doesn't go after your family) is sad to watch. And I don't even know you.
I can personally recommend the Vogue Carry 3 (we own one, also family of 3) https://www.voguefietsen.nl/carry
Popular is also the model TROY.
Price around 2000€ (e-bike versions).
How fast can you reset an instance on OVH?

I personally wouldn't want a server to live longer than 48 hours :)
(Unless it's a managed service)
for one it sounds like then I would have to use Firefox more often, I like the Chrome interface more although I can concede the resource hogging has gotten annoying

for two, I don't know anything about Firefox profiles, does that create a profile for my extensions too? Will multiple firefox profiles have different metamask instances segregated?
SSC have never been faithful actors.
Well, you should probably fix that, but bureaucratic facism doesn't seem particularly relevant to whether something is useful for learning.
I prefer lower devops complexity and higher software application complexity. Any day.

Microservices is higher devops complexity in exchange for lower software application complexity. A really terrible deal IMO.
Weird how the affiliate scandal didn't break their neck.
IF you've already pulled it down your origin will be from where you pulled it.

Create an empty repo else where.

With your environment do a: git remote rm origin; git remote add origin <new environment> ; git push -u origin master

You've filled up the new repo with what you have, history and all.
Another example is Velazquez in Las Meninas

https://www.museodelprado.es/en/the-collection/art-work/las-...
> weight changes with downforce

Your high school physic teacher is on line 1. Wants to talk to you about what "weight" means...
Hey this is really cool! I am a current data scientist masters student and would love to learn more about your platform! Do you have a way to contact?
I’ve always seen microservices as primarily used a trendy way to impose basic engineering discipline on projects where there isn’t the will to define interfaces between components explicitly (DNS being a crude service locator pattern, different VMs providing basic encapsulation). Unfortunately this is only a marginal improvement, as the team remains devoid of engineering discipline. :/

This article has meaningful advice but I’m not sure that it will be often applied.
Every, and I do mean EVERY, time Brave hits the front page people like to crap on them

... and yet they keep growing.

The more interesting conversation to have is if the growth is linear or early exponential.
Would you mind elaborating on the sorts of harms you're thinking of?
He said iOS, Firefox on iOS doesn't support addons unfortunately
https://londonist.com/london/food/londons-best-poutine
What are the random numbers? Commit hashes are deterministic and based on the commit contents
Its not like AWS services themselves require zero knowledge in their use (especially if you dont wanna be billed massive amounts)
In larger systems that could be a reasonable way to build things.

Keeping email addresses in the "auth" microservice which has tighter security - blocking security team code reviews, a smaller team who are allowed to modify it for example.
Case in point: https://panopticlick.eff.org/

Look for the fingerprinting result.
Yeah! The amount of toil and burden AWS removes or reduces for me across the board (security, managed services, running multiple datacentres and everything necessary to do so…) means I can work on vastly more valuable things. Which more than makes up for the price.

The cost of 1 server is not a sufficient metric of value.
I am made unspeakably happy by this article. I love you, UK regional nightmare foods
/**
* Senior Frontend Software Engineer @ Athenian
*
* @company Athenian (www.athenian.co).
* @role Senior Frontend Software Engineer (JS + React) | Full-time | REMOTE (UTC -3 to UTC +3).
*
* @link https://athenian.breezy.hr/p/39667a6eebca01-senior-software-engineer-frontend?ref=hackernews
* @author Athenian <talent@athenian.co>
*/

For full details about the company & role, including compensation, and how to apply:
https://athenian.breezy.hr/p/39667a6eebca01-senior-software-...

At Athenian we help development teams get end-to-end visibility into how software is being developed & delivered, so they can improve towards best practices and find bottlenecks. We provide a productivity & analytics web product (see live product demo) that turns software development metadata such as tickets (Jira), source code host providers (Github, etc), CI/CD tools (Github checks, Travis, etc.) and others into actionable metrics and insights.

Check a live product demo:
https://app.athenian.co/demo?ref=hiring

If we can help with any questions, reach us out at talent@athenian.co!
IMO it's not really about the build at all. It's about people and business.

One, for microservices created by the companies themselves, those bascically grow out of their org chart. It is well known that organizations ship their org chart, and this is no exception. Person A wants to become a manager to make more money and ascend the societal hierarchy. Person A's manager wants to grow their fiefdom and have more people under them (which is the only true measure of one's worth as a manager, as far longer term career is concerned), so the person A proposes to their manager that they use "best practices" and carve off a "microservice". Their manager happily obliges, because they don't know anything about distributed systems and consistency. Person A gets promoted. Now person B wants to become a manager to make more money and have their fiefdom... The end result is you have a nightmarish maze of microservices where a single simple monolithic binary would do a better job at one quarter the dev cost. You also have a very deep and branchy org chart, which is the preferred state for the management, since it lets them justify (and increase) their pay.

Two, for cloud microservices, they offer a simple way to create recurring, extremely sticky revenue.

That's not to say that microservices are useless - they are useful sometimes. It's just that "nobody ever got fired for moving to AWS", and when the incentive structure does not encourage more robust engineering and/or cost savings, your money won't be spent wisely, because nobody gives a shit about that.

As with any people problem, the only way to push back against this is by making the desired state the lowest energy state. This can be done several different ways, none of which have anything to do with engineering arguments, at least not if you want it be be effective against such very human things as greed and desire for social status.
So Russian intelligence hacks Burisma the exact same way they hacked the DNC, leaking emails to smear the democratic candidate in the exact same way, and your response is "there's no direct evidence to tie them together!"

You've provided a theory and evidence that supports a theory ("The FBI has a laptop!"), but proves nothing. This theory helps people continue their delusion that Trump isn't a criminal, or that Hillary or Biden or whomever is somehow worse. You seem to be confused that outside your Fox News cult people don't buy it.

Thank god for that.
If you need a CFO to look at your IT bill and cut costs, your problem is likely BS title inflation crowding out real work.
South Korea's approach was different from China's and relied heavily on widespread testing.
Reuters is live broadcasting..
https://www.youtube.com/watch?v=IGUcZDiDGoE
Syncari | Frontend | Remote (US only) | https://syncari.com
Syncari is an Intelligent Application Synchronization platform that enables businesses with holistic and comprehensive data management, giving each department the full benefits of their operational systems.

You will be part of a fast moving, extremely talented engineering team, working closely with the UX team.

Join our stellar engineering team https://syncari.com/careers/senior-user-interface-engineer/. Apply at jobs@syncari.com
Rain of Animals
Yeah I found it funny that most of the linked sites had "Download the app from the google play store" at the top of their page.
Roam: My New Favorite Software Product
> Unfortunately this is only a marginal improvement, as the team remains devoid of engineering discipline. :/

This strikes me as the crux here, along with this line from the article:

> There were three main reasons for the initial success of microservices as an architectural pattern for software: [...] 3) an excuse for having no architecture.

Microservices are a little bit too much of a "just so" story to me. It's a cozy non-answer to the hard problems of system design.
People keep saying it's tightly coupled, but never supply any proof for that. You can still run udev without systemd, the NTP stuff is completely optional and in separate binaries and the same is true for the network management stuff. The journal is indeed required, but any traditional syslog daemon still works, and you can trivially disable the persistent journal (I even believe that's the default on Debian).
Both New Zealand and Australia performed strict lockdowns. The US/Europe is unlikely to be able to achieve the same level of compliance needed to make those successful.
> Is it fair to assume the most hedge funds are relatively good at tracking recent information and the value is in older archives that's hard to collect?

No, like he said the most valuable data has a signal that is independent from other data sets, which generally means something proprietary, and almost always without a long history. Having a cleaned archive of standard data with a long history is valuable but already pretty well served. It would be hard to compete with CRSP.
Then why not Chrome profiles?

As with Firefox, the profiles are completely disconnected, and have different history, extensions, cookies, etc.

If you don't like Chrome's resource hogging, try something like The Great Suspender.
Apparently (according to a YouTube video I watched :P) this is how they tell combustion engine powered torpedos apart via passive sonar. Analyzing the sound gives you the number of cylinders and number of propeller blades, which can identify the given torpedo type quite reliably.
There was a recent bbc post on the divide across Scotland. https://www.bbc.co.uk/news/av/uk-scotland-51193539
Is it just me, or does this not really explain anything?
David Shor is a pollster and cannot admit that fact that polls do not tell the whole story, especially with a unpopular candidate like Hillary. Hillary, in America, is loathed by many as a pretentious Marie Antoinette who rode her husband's coat tails and looked down upon the working class. I personally know several folks who voted Democrat their whole life and voted for Trump in 2016. i.e. her infamous deplorables speech. https://time.com/4486502/hillary-clinton-basket-of-deplorabl...

Working class voters saw their manufacturing jobs shipped overseas. They were told to "retrain" to get high tech jobs. They took on a mountain of student loan debt and still could not find jobs that were as good as their manufacturing jobs. Even white collar workers are angry with what they see as corporate malfeasance. e.g. H-1B programs that make it legal to replace American citizens with low paid foreign workers. Under Title 8, of the US Code, you can be imprisoned for six months for hiring an unauthorized alien but with H1-B, the corporations can get away with it. What David Shor and other Democratic Party Elitists describe as "racist white people" are the working class who feel abandoned by the Democrats. I think the working class mostly voted out of frustration in 2016. What worries me is that the Democratic Party Elite still don't get it and will continue to foist tone-deaf candidates on us, who only know to toe the corporate line and ignore the working class who are becoming more and more desperate.
I'd find the joke funny if it actually worked.

Since as far as I can tell, Github isn't actually banning specific hashes (because they care about the content, not the hashes), and there's no sign that they're going to do so in the future, I can't say I understand the humor...
Bill Hader was on the writing team, he worked in the office during the seasons. There is a documentary that shows what its like there, 6 Days To Air. The writers room is hilarious.
Google authenticator is an interesting one given that it literally doesn't use your Google accounts at all (no sync or anything) while Authy has a recovery process for retrieving access to your 2fa secrets if you lose your phone.
Thanks, but I want more work, and it's hard to get low-level jobs remotely. I wouldn't mind working on web development or whatever, but I have no experience there, so it's only natural to ask for less money.
North/South can be pretty painful, but across Lake Washington isn't nearly as bad. I have a view of the entirety of the I-90 bridge which I see every day all day and it doesn't get nearly as bad as coming into Seattle via I-5 or Aurora.

Whether you go with roads or rail, you still have the problem of building across those geographic chokepoints. Either way, you've got the cost of building bridges/tunnels regardless of the mode of transportation.
What you said sounds correct however it’s not really as black and white as it may seem. Figuring out pmf means figuring out what make your product unique relative to your competitors which makes it a bit hard if not downright impossible to skip this step.
Don't be too proud. Many users just because it gives a false promises of free cryptos. Not because of search and replace chrome version.

Chrome+ublock is the best way.
I think it's a good idea to point out that github only mirrors Linux. The development happens over email.
Thank you! I will take a look at that.
<tin foil hat>I wonder it it was 180mph? And somebody intentionally switched the speed displays to kmh? (that'd read 288kmh...)