skysight-inc/HackerNews huggingface dataset:
This is pretty much how I had things setup but it isn't ideal as getting to the Pi is a pain and it doesn't work well with any hats so it didn't last long.

My thinking for a Raspberry Pi monitor would be to have the ports in an easier to access location on the rear of the monitor so hats, etc. can be made to a standard design.

Of course the monitor will likely out last the Pi inside it but there is nothing to stop it being used as just a monitor one the Pi instead is no longer useful.
Merely believing in something false is harmless, but once in a while humans actually act on their beliefs.

Suppose a restaurant employee believes that the requirement to wash hands before returning to work is a hoax by the soap companies in order to sell more soap. If the employee believes this but never acts on it, fine. But if they stop washing their hands before returning to work, that threatens public health.
(username checks out)

Ah! I knew that this was true for the flu, but I always thought there was just a single Common Cold that you could get over and over again. Thanks!
My experience with RDS instances that had multi region failover, was that the failovers worked every time we needed them for deployments (I don’t think we ever needed them for RDS failures). The cost though was enormous. Our write db represented the lions share of our AWS cost, and doubling it for disaster mitigation increased our costs by something like 50%. It was mostly worth it from a business perspective when we were less sure about AWS uptimes, but I’m not sure I could keep justifying the cost given how little problems we had with RDS over time.
Omio (formerly GoEuro) | Senior Security Engineer | Berlin, Germany | Full-Time | ONSITE | VISA (local candidates currently preferred due to delays in Visa processing caused by Covid) | "https://www.omio.com/

Omio is one of Europe’s fastest growing travel companies backed by 20 million monthly users and the world’s leading tech investors. With Omio you can compare and book trains, buses and flights to anywhere in Europe (and soon globally) with one simple search, on mobile, app or desktop.

We are now looking for a senior security engineer to join our team and help us mature our infosec function.

For more information, including how to apply, please visit our careers page -

https://www.omio.com/jobs/#743999714395611

You can also reach out to me directly at rahul.jain@omio.com .
Thanks! It's a social networking app, it was way to general so our appeal to everyone thinking didn't appeal to anyone . Yes talking to customers would've allowed us to build a loyal following, we should have approached it as a collaboration with customers and made it clear we are trying to build something special and we need their help. We also would have had a customers ready to sign up when we launched, attempting to soft launch a social network is a bad idea.
More likely it's because 6 months have elapsed. Cellular immunity to SARS-COV-1 (2003 outbreak) is still robust 17 years later - the two coronaviruses are fairly similar.
I may not be the greatest advice for the general public, but for readers of this website, if you’re not owning the domain for your email and hosting it with a customer-oriented service provider (fastmail, protonmail etc), you’re not only exposing yourself to the whims of Google et al, you’re also contributing to email monoculture, which is bad all around.
The implication is that they had already solved these problems and redoing the stack has its own cost to consider.
> At no cost

That's so ridiculous I'm not sure how to reply or even interpret your comment.
Biden is the guy closest to Trump that the Democrats could find. Do you disagree? Democrats didn't solve any core issues in USA the last times they were elected and Biden has promised to not solve any either. Corona is a very small issue in the long run after all, USA's very short expected lifespan compared to countries with similar wealth kills way more people every single year and nobody has a solution. Instead they squabble over minor things when millions of preventable deaths happens every single year. I'd argue that any candidate who doesn't acknowledge the issue and aims to fix it is not a valid candidate. Obama at least tried even though his solution failed.
So, I point out that the title has the word "Smarphone", and I get flagged...

interesting site you have here.
Northwestern Mutual | Devops Engineers | Milwauke, New York, Remote (US) | Full-Time

At Northwestern Mutual, we are strong, innovative and growing. We invest in our people. We care and make a positive difference.

Northwestern Mutual (NM) has been helping families and businesses achieve financial security for over 161 years. Through a distinctive, whole-picture planning approach including both insurance and investments, we empower people to be financially confident. We combine the expertise of our financial professionals with a personalized digital experience and leading-edge technology to best serve our clients.

We work in a fast-paced agile environment. We embrace out-of-box thinking, bold ideas, experimentation and the eagerness to continuously learn. We are not shy about trying new technologies and challenge our own ideas. We live by concepts of fail-fast, continuously deploy and automate everything.

These job posting haven't made their way to public posting yet but candidates can already be referred, for my team and teams we work closely with, so here is the one-line summary:

Senior Systems Engineer - DevOps CI/CD - No, you won't be creating CI/CD pipelines for other teams, but working on improving what runs inside them for the whole company, as well as finding ways to optimize the build and deployment process.

Senior Kubernetes Engineer - Help maintain and expand multi-tenants clusters with 1000s of applications running concurrently

Sr. Cloud Engineer - Help maintain and expand AWS services, as well as the Terraform cloud delivery pipeline offered as a self-service.

Email me at michaelpereira@northwesternmutual.com and mention "[Hacker News] #job title#" in the subject and I will provide the complete job posting in a few days in reply.

No visa sponsorship unfortunately.
And $1,000 for the winner.
Can't wait the a pipeline between writing scripts to procedurally generated deep fake videos.
If you want to drink from the firehose, the Planets are a good option

Planet Mozilla: https://planet.mozilla.org/

Planet Webkit: https://planet.webkit.org/

On a non-Planet note, you can keep track with Edge via...

https://www.microsoftedgeinsider.com/en-us/whats-new
Also happy to help with your idea. I'll fill out the form now.
What happen if my card expires or out of balance while on an extended vacation? I should just accept that my data became public when my account got downgraded automatically?

Edit: looks like if your account expires, your data is still private, which is the right thing to do here. https://support.prezi.com/hc/en-us/articles/360003478894-Can...
Of course, that requires that your monitor have VESA mounts. It seems the big brands have segmented the market by making VESA mounts a “premium” feature. Which is ridiculous if I can get a TV with a bigger screen for the same price that comes with VESA built in to any of them.[a]

[a]: Ignoring the obvious differences between a TV-as-a-monitor and an actual monitor
I was literally looking Last night to see what an old and big mechanical (I know this isn’t mechanical) keyboard would cost and to see if a Raspberry Pi would fit in it.
DRM is indeed what it is; you need to verify a signature somewhere to ensure it hasn't been tampered or altered, which requires an internet connection to verify or download.
Yes, herd immunity does not prevent a given individual from becoming infected, it's a group measurement. Of course, as the rate of spread diminishes, the likelihood of a given individual becoming infected does go down.
My wife and I each have "partner sharing" setup in our Google Photos accounts so that we both have all of the photos in our own accounts. One could probably make a second account just for backups and setup partner sharing for this purpose. You can only have one account configured this way though, so choose your real partner or a backup account.

We also back up to Amazon Photos as well, just for extra peace of mind.
> took up programming instead because everyone has a fucking opinion when it comes to design

I'm guessing code peer-reviews aren't a think at your org.
The problem is that, in a representative democracy, voters are deciding on the person, rather than the message. If you have systems that increase the noise floor in the link between the two, you end up with an electorate that's less well-equipped to make coherent decisions.
> Obama advocating for a border wall

Would be used as evidence of how untrustworthy the Dems are.

This video of two opponents endorsing each other cropped up last year.

https://www.bbc.co.uk/news/av/technology-50381728
My point was about "best games of all time". While Colonization is a good game, Heroes is the best in TBS games.
balena.io | Simulation & Modeling Engineer, Lead Security Engineer, Open Call | Full-Time | REMOTE | https://balena.io

Balena is laser-focused on a single goal: to enable developers to succeed on the new frontier of Edge/IoT computing in building fleets of devices that work as reliably as servers in a datacenter. In the process of creating this bridge, we've had to build many and varying tools and services, from cloud services (balenaCloud) to desktop utilities (balenaEtcher), to operating systems (balenaOS), single-board computers (balenaFin), and more.

Right now, we're particularly interested in Simulation & Modeling. We strongly believe that state-of-the-art business modeling is a long way behind where it could be. A business is a system rather than a machine, nonlinear, turbulent, and dynamic in a way that cannot be expressed using traditional methods. However, the tech and mental toolkits that could allow us to capture such complexity in a model and show us where a business’ levers are and what drives its growth exist. If you’d like to help us build this model, let us know by applying here: https://apply.workable.com/balena/j/A13B328FC6/

We’re also looking for a Lead Security Engineer to guide our ongoing efforts to create a solid foundation for secure-by-default products, infrastructure, and operations. For us, security is a team effort, and we are looking for someone as passionate as we are about fostering a culture of shared responsibility for security to help us scale sustainably. If that sounds like a role you might be interested in, let us know by applying here: https://apply.workable.com/balena/j/01A0106413/

Finally, we have an Open Call (https://apply.workable.com/balena/j/2A9DEA16E5/) in case none of the above positions fit, but you are interested in leveraging your skills to help us unlock the power of physical computing.
The usual objection, which I happen to agree with, is that this is a false tradeoff. The two are inextricably linked.

In the case of second-order logic, although it seems like we're getting a precise, single semantic model, in fact all we've done is push the ambiguity to the metatheory which we use to interpret the semantics of second-order logic.

For example, there's the infamous "CH statement" of second-order logic, which has a model if and only if the Continuum Hypothesis holds in the metatheory. I mean sure that's precision if you believe that the Continuum Hypothesis has an absolute truth value (that is you can confidently say "yes CH is true/false in reality") but that's really just the same thing to me at the end of the day as choosing a particular model for a first-order theory and saying "yes that model is the one true model" (which I don't really philosophically agree with in the first place since I'm usually not a strong Platonist).

Even the choice to use full semantics instead of Henkin semantics (an example of what is essentially multi-sorted FOL as @pron refers to) is an ambiguous choice one must make in deciding second-order semantics.
SEEKING FREELANCER - We are looking for a haskell/lisp genius (with experience using effect fusion) to sharpen our layered monadic evaluator. This is core to the next version of http://www.hyperfiddle.net/, a tool for making declarative crud apps backed by Clojure. Remote, international OK, I'm in Eastern Time. dustin@hyperfiddle.net
We're a small company who avoided the hire. And we don't bother with a firewall at our office -- the only things on the office network are laptops, phones, printers, and sonos.

Basically, if you model senior eng time as $5k/week -- not even counting the opportunity cost -- you'll understand why AWS.

While I definitely think AWS is very expensive for the servers, they are not overall expensive. Again, setting up CloudWatch in an afternoon or dumping tons of heterogenous logs into S3 and querying them with Athena or spinning up full environment stacks (front end pool, back end pool, load balancers, databases, vpcs, vpns, etc) is an enormous cost savings vs finding, installing, configuring, and maintaining batches of software to do the same.

edit: pay an eng $180k. Fully loaded, you're looking at $220k plus. Add in either recruiting time or a recruiting fee that probably runs us $2k/mo amortized over the first year on the low end. Add in the fact that the first 6 weeks weren't super productive, and also absorbed tons of time from other SE to get this person up to speed. Add in PM time bringing this person up to speed on our product.

Yup, $5k/week.
Winnipegweddingphotography.com
> They might take a bit more electricity to run

But how much more? Just "a bit" or a significant amount?
Startups don't win because they save 50% on hosting costs. They win because they move fast on product development. AWS make the latter much easier due to all of the additional tooling they provide.
Subdomain Enumeration – Bug Bounty Hunting
C++ formalized two's complement already. Formalizing power-of-two word size and 8-bit bytes might come.
> is supposed to mean exactly. If your predicate makes some data invalid, it's just not representable in the refined type.

Author here. It's representable; the type checker has to prove it never happens in practice. This requires very different techniques from typechecking constructive types. Liquid Haskell shells out to Z3, which can return "unknown" as an answer in addition to "sat" or "unsat".

(There's actually a fourth option, which is that Z3 runs forever, but I think LH does a bunch of clever design to avoid that case.)

You can also `assume` that refinements are satisfied without proving them, in which case they can be violated at runtime. This would be impossible if the invalid data was unrepresentable.

Other approaches to refinement types, such as the original ML paper [0], implemented them constructively and didn't have this problem.

[0]: https://www.cs.cmu.edu/~fp/papers/pldi91.pdf
fuck I didnt realize TotalBiscuit died. I kept wondering why I hadn’t heard that fantastic voice in a while. double RIP
I wrote a lot in university. My favorite pen is the Pilot G-2 07 black. It can make the tapered points of Chinese & Japanese characters. Its only shortcoming is that the ink takes about a minute to dry.

UNI JetStream 0.7mm black has quick-drying ink and is just as smooth. But it cannot make the tapered line ends, is more expensive, and has a counterfeit problem.
Tip of the Day(Real Estate)
I'm honestly not surprised that this was the reaction coming from a leftist. Cutting off your mother for voting for Trump, even if you disagree with him, is just loathsome and disgusting. This is peak virtue signaling and cancel culture.
A lot of websites will now fail requests early based on a timeout, forcing users to refresh the page. I have to wonder if ad-based sites enjoy this behavior because it could lead to more ad impressions. Talking about you reddit.
When signing up for a service, I always sign up with <name-of-service>@<my-domain.com>, which makes it easy to see who sold my email address and to filter/block by service.
Show HN: Generate 'X vs. Y' article outlines automatically
When deciding what mechanism to employ to load shed, you should keep in mind the layer at which you are load shedding. Modern distributed systems are comprised of many layers. You can do it at the load balancer, at the OS level, or in the application logic. This becomes a trade-off. As you get closer to the core application logic, the more information you will have to make a decision. On the other hand, as you get closer, the more work you have already performed and the more cost there is to throwing away the request.

You may employ techniques more complex than a simple bucketing mechanism, such as acutely observing the degree at which clients are exceeding their baseline. However, these techniques aren’t free. The cost of simply throwing away the request can overwhelm your server - and the more steps you add before the shedding part the lower the maximum throughput you can tolerate before going to 0 availability. It’s important to understand at what point this happens when designing a system that takes advantage of this technique.

For example, If you do it at the OS level, it is a lot cheaper than leaving it to the server process. If you choose to do it in your application logic, think carefully about how much work is done for the request before it gets thrown away. Are you validating a token before you are making your decision?
Yeah you just need an accelerometer and you can find out if your damper is broken with an FFT. OEMs are just very price sensitive so only the expensive vehicles will get this, even if it's a cheap component.
KPV LAB | Front-end Engineer | Edinburgh, UK | Onsite | Fulltime | https://www.kpv-lab.co.uk/
We are building next-gen platforms and experiences to explore and visualise information and knowledge.

We are looking to expand our 3d data visualisation dev team (currently 6 people), interested in mid to senior level people. Main stack: Typescript, React, WebGL, also use node.js & GraphQL Experience with interactive graphical apps or games, or good mathematical background advantageous.

Contact us via: https://www.kpv-lab.co.uk/jobs/
I mean... I think the tweet leaves out a lot of context.

It's incendiary through omission, because the checkbox could have just as easily said something like:

"Reminder - Our free plan only supports public content. Please delete any private content you don't want made public before cancelling

[ ] - I have deleted private content I don't want shared
"

And then absolutely no one would be having this conversation at all.
Lots of little things that suggest Shor is so deep into politics he can't remember what a regular person is like. For example:

The single biggest way that highly educated people who follow politics closely are different
from everyone else is that we have much more ideological coherence in our views.

If you decided to create a survey scorecard, where on every single issue — choice, guns, unions,
health care, etc. — you gave people one point for choosing the more liberal of two policy options...

He completely misses the fact that the liberal-conservative spectrum we see in American politics is pretty arbitrary and has more to do with tribalism then ideological coherence. For example, it would be "ideologically coherent" to be both pro-life and pro-gun-control. Or concerned about climate change and pro-nuclear-power. Or anti-racism and anti-immigration. So his conclusion is wrong. Highly educated people who follow politics are not more ideologically coherent, they're more ideologically conformist.

Another example:

At some point, you have to be like, oh, actually, these people were motivated by racism. It’s just
an important fact of the world ...

Who's he talking about? Obama-Trump voters. He's looking at this sophisticated polling where they ask questions designed to probe for "racial resentment" and seeing no other way to interpret them. Ok... so why did they vote for Obama? Were they motivated by racism then? Did their motivation change between elections? These aren't rhetorical questions; I have no idea why Obama-Trump voters made those choices. But Shor is so deep in the numbers he can't see that his conclusion is nonsense.
There is a certain irony in you describing what billionaires have done but govt has not as "moon shots".

You really have no proof that the govt could not have done these things, especially as govts has funded a lot of technology which has benefitted industry enormously (DARPANET, GPS, essential parts of Wi-fi).

Could you please account for all of the negatives that billionaires have caused and show us your arithmetic for how they come out as net positive.

>Since antiquity, the advantages and disadvantages of monarchy, oligarchy and democracy have been mooted.

No idea what this means to be honest.
There have been 27 leap seconds since the start of modern UTC in 1972. One second of time corresponds to 15 arcseconds of the earth’s rotation. 27 leap seconds corresponds to nearly 7 arcminutes of rotation, which is 7 nautical miles of distance at the equator. Would you like to re-do all maps to shift them 500 yards every time there is a leap second?
Awk in C/C++
Ask HN: Would you like an Apple desktop device similar to the Raspberry Pi 400?
Today the Raspberry Pi 400 has been released. Considering that Apple is embracing ARM, I wonder if a similar device would be a successful entry-level product.
Sr. Software Engineer~Full Stack | SingleOps | 100% REMOTE (US Only) | Full-time

SingleOps is dedicated to growing companies in the green industry. In other words, our customers love us and some even say they cannot live without SingleOps. This is all thanks to our team who we believe is the core strength of SingleOps growth.

Interested in working for a company that recognize our team's contributions? Well you're in luck! We have an immediate opening for a Sr. Software Engineer (100% REMOTE). We're looking to add to the team who is comprised of smart, polyglot developers, very collaborative, like to see each other succeed, and having their contributions make a direct impact for the company's growth.

Our primary tech stack is Ruby on Rails, Javascript, & AWS, but we’re not particular. If you have that experience, great; if not, that’s fine too! Having a learner’s mentality is what stands out for us. We essentially just want someone with 2 years of experience in a diverse technical background.

So join our fun dev team as we scale and grow!

JD: https://singleops.com/careers/?gh_jid=4877551002

Reach out to me directly at taaj@singleops.com
Show HN: Productivity by actively disregarding your To-Dos
I watched a few mins of this because Peter Serafinowicz retweeted it but I completely didn't spot that they'd put Trump's face on the main guy (who I think is Peter?}. He looked vaguely familiar. And I figured I was missing something. So that means it's both very convincing and a bit too subtle for me?
Outline | Founding Engineer (Backend) | SF/Remote (US Timezones) | https://heyoutline.com

Outline is a customer engagement platform that simplifies communication and alignment between cross-functional teams and users.

We just launched this year, and we're looking to bring on someone to help shape the foundation of our product and infrastructure. We'd love to chat!

---

Tech Stack:

* Backend: Elixir, Phoenix, Postgres

* Frontend: React, Redux

* Infrastructure: AWS, CodePipeline, Docker

Benefits:

* Remote-first

* Mandatory vacation and mental health days

* Salary and equity that truly represents your value as an early employee

* Home office stipend

* Daily lunch stipend

* Design and Engineering founders

---

If Outline could be a fit now or in the future, I'd love to connect.

You can reach me (Josh, CTO/Co-founder) at josh [at] heyoutline [dot] com.
As a corollary - how many people already spread inaccurate or misleading video clips, sound bites, etc without this technology, and how many already refuse to believe real ones produced by the 'lying news media?' I think the hysteria is completely misplaced, and the extremely polarized media landscape is itself to blame.