skysight-inc/HackerNews huggingface dataset:
Yes, at least one of the teams I worked with--where admittedly most people were remote--had a pre-COVID policy whereby if anyone was calling in remote, everyone had to use their own screen. No calling in from a conference room.
PostgREST is great.

Also

- written in Haskell

- a major building block for YC funded startup supabase.io (https://news.ycombinator.com/item?id=23319901)
Do you draw? Are you visual? I ask because I love using a pencil to brainstorm on a sheet of paper (or a marker; I hate pens). I tend to write broad ideas or mindmaps, though, and wonder if people sketch ideas instead.
It basically took a needless stab at everything awesome that survived from the second movie.

I even agree with everything said above. It is nicely dark and gritty. Matches the setting really really well, all told. It gained nothing from being a continuation of the previous one, though. And killed a lot of emotional enjoyment you could have by rewatching the previous one.
You can request different mime/types and postgrest will send you, for example CSV of the results instead of json.
> When I joined Debian, I was still studying, i.e. I had luxurious amounts of spare time.

I felt so busy in college, what a tragedy! If only I know what it mean later in life.

The best part about college for me is I could disappear for the summer, going somewhere and doing what I wanted, knowing that my life would wait for me until Fall.
I'm 40 and for the last year have been seriously studying Chinese. I had a few classes before when living in China 3 years ago, but with the Pandemic and the local community college offering the classes online, I felt like it was a good time.
Ask HN: What do you think of when you hear Webrupt?
I'm looking for a startup name for a new venture and trying to figure out the best option. What do you think of the first time when you hear Webrupt? What would you expect a company named like this to do?
Not strictly related, but I was thinking about this the other day: how long will it be before some group or company creates a truly new operating system that takes off?

I mean, the windows kernel is going on 20 years old. the Mac OS kernel is based on unix, which is even older. Linux is also based on unix. As are Android and ios.

The more we add to these operating systems, the harder it becomes to walk away from them because we have so much invested in them.

Does this mean that in 200 years we'll still be using the descendants of these early operating systems? Under what circumstances would someone decide to start something truly new? And what would it take to ever reach a feature parity with the existing options?

And to be clear, I'm not saying there's a reason to walk away from these. I'm not an operating system programmer, I don't even really know that much about it. I'm just wondering if it will always make sense to just keep adding to what we already have.
Show HN: Free podcast player for iOS, Android,Windows10,macOS,web with data sync
Wouldn't LetsEncrypt have to revoke that certificate according to the rules?

And I wonder, is having the private key sufficient to eavesdrop on a SSL connection? If that was the case, this wouldn't help against attackers.
"No Meetings Weeks."
That's exactly like it sounds: Weeks where there are no meetings scheduled.
Curious about the battery life. Ive long wanted a Tandy Model 100 equivalent for today.
That seems to be a GraphQL thing so not a direct alternative.
What's more depressing is that this official has GMail open. How ridiculous is that? Which defense minister outside of the USA uses Google Mail? After Snowden, really?

I want to facepalm so hard right now.
Yes, that's what I try to do. Unfortunately in France we are limited to a disc of 1km radius around our homes, which is a purely urban area in my case.
Stereotypically, these “I got rich early, anyone can do it, all you need is grit” blog posts have an unstated “...and wealthy parents.” This one seems to be no exception; the author’s parents had a family business that could casually loan him $20,000 to record an album <https://sive.rs/mistake>. Eating peanut butter sandwiches for three meals a day is a lot easier if you have that kind of safety net to fall back on.
I was having the exact same thoughts this week. Now that the vaccines are almost here, and there seems to be an end in sight to this pandemic, I feel like my mind started get antsy for life to go back to normal.
Sorry but I disagree, PostgREST is REST. For example URLs map to resources and it uses HTTP verbs. GraphQL does not.
>there's a chance companies might cut back on offices or force bullshit like hot desking.

That seems inevitable at any company where a lot of people aren't using their space most of the time. A company isn't going to indefinitely maintain dedicated space at 25% utilization. Not to say they can't maintain some dedicated space for people who do want to come in 80% of the time. But I expect post-COVID, many offices will look very different although I don't expect many companies to go fully remote.
(Note - it was pre-covid).

Martial arts, strength training, social dancing (I also gave lessons occasionally), reading fiction, going out to concerts/pubs, dates with my GF, video games, watching tv shows/youtube, hacker news.

Daytime coffee dates with friends - if both don't have to work those can easily stretch to 2-3 enjoyable hours. Lot of sleeping (9 hours/day, sometimes more). Weekend hiking trips - much better if you don't have to wake up for work on Friday and Monday.

Travel would have been great, but I didn't want to overspend since I didn't have any income. If all of that got boring I would have tried to join an amateur band (used to play guitar long time ago).

I guess I'm just describing a student life without the classes, lol.
So, you're writer! I remember reading an article by Peter Drucker[1] a while back about how different people think differently (obviously) and one that resonated with me was people who write -- i.e., sit down and write your thoughts and structure them to develop an idea or POV. I am 100% this, versus say a visual or auditory brainstormer.

Do you delete it all because you're worried about keeping it? I keep my notes but rarely return to them.

[1] https://signallake.com/innovation/managing_oneself.pdf
The journalist was laughing, but the foreign policy chief just got painted as an emperor without clothes.

And the foreign policy chief was laughing, but I bet he was asking himself "who do I send over there to stop them" while trying to maintain the laughing face.
But won't trackers start ignoring these cues?

Here is Brave's take: https://brave.com/brave-fingerprinting-and-privacy-budgets/
I'm not an IDE person myself (I'm a neovim person), but I'd love to see someone integrate such an approach into an IDE! The algorithm is free available and the implementation in Rust (grmtools) the same. If you wanted to reuse the Rust code, and it needs some tweaks, then I'm sure that we can find a way to support both batch and IDE-ish use cases well.
Fun Facts: Twitter vs. Facebook
Key Performance Indicator:
- Twitter: Daily Active Users
- Facebook: Daily Active Users

Investment in Research and Development in 2019:
- Twitter: 0,6bn
- Facebook: 13,6bn

Senate Judiciary Committee: can social media platforms be addictive?
- Jack Dorsey: yes
- Mark Zuckerberg: research is "inconclusive"

https://www.businessinsider.com/twitter-jack-dorsey-social-media-can-be-addictive-2020-11
Thanks for the keywords — looks like some tooling already exists for this (https://ankiweb.net/shared/info/935264945), though it’s mostly focused on articles. Gotta do some more research on this.
HOL is typed, but not a dependent type theory. HOL is also a classical logic. HOL is essentially Alonzo Church's simply typed lambda-calculus [1] from 1940. Classical, rather than constructive logic tends to give shorter proofs.

[1] A. Church, A Formulation of the Simple Theory of Types. https://pdfs.semanticscholar.org/28bf/123690205ae5bbd9f8c84b...
Clearly there is a palpable difference between the sociopolitical climate of today and the sociopolitical climate 20 years ago. There were other times in history where it was similar to this, but not in most of our lifetimes.
This is going off-topic. I highlighted something factual - this is not personal.

Whether they choose to update the materials and reference existing work is up to them.
Postgraphile and PostgREST can be used side by side, they provide different interfaces but can talk to the same database. Two for the price of one!
Mighty (Faster Chrome Streamed from the Cloud) Is Hiring Engineers
Proof by Infinite Descent
I am wondering are many of those not available in Costco?
It is true that programming involves a lot of symbols, so touch typing doesn't make as much difference for programming as it does for, say, typing a novel. But spending more time looking at the screen, not the keyboard helps. And even a few percent improvement in productivity adds up over time.

Also, even as a programmer, you are probably writing quite a lot of prose in the form of documentation, emails etc.

I hardly ever do any text entry on my phone.
Viruses cannot reproduce independently, they need our help. And our immune system makes this very hard, as aptly explained in this excellent xkcd comic:

I feel like that really is a terrible take on what that comic shows. Based on those two lines, I was expecting the comic to be about how viruses take over a cell and use its own internal structures to turn it into a virus manufacturing plant until it finally explodes and dies, releasing these invaders into the system.

It doesn't show that and it also doesn't really show much about the immune system. It mostly talks about how hand washing and social isolation are effective barriers to the spread of disease, which is something I'm a big believer in but has nothing to do with how our immune system works.

Also also (a thing I said some hours ago elsewhere on HN):

... "the immune system" doesn't really mean a specific set of organs like "the circulatory system" or "the digestive system" means a specific set of organs. It's just kind of a catch phrase for "how the body protects itself" and it's not really that well understood or explained exactly that happens.

https://news.ycombinator.com/item?id=25167263
It's more likely for these systems to slowly evolve into something new rather than being replaced entirely.

MacOS and Linux, at some level, are already very, very different than earlier unix systems. The BSD's are more conservative, but there's still systems being reworked across all of them (HAMMER in Dragonfly, pledge/unveil in openbsd, etc.). The ideas of unix will probably be with us forever, but the precise details of implementation are transient.
This is not a good idea at all. One of the main point of a REST API is to abstract away your internal data structures for the clients that makes sense. Also refactoring and database migrations should NOT change the public API of any software, especially not a REST API. Now, when using something like this, even the most basic change will have a ripple effect on your whole infrastructure and break every client.
Artificial Intelligence Wiki
Thanks, that's exactly the sort of explanation I was looking for.
There story is later in life he got really rich, but if people ask him about it he gets into guru mode and claims he was rich before. Mildly interesting for the arrogance.
Don't do this for any published software. If you want to build your own in-house systems this way knock yourself out, but for anything published this is not at all safe as I explain in the linked LWN comments.

If anybody other than the subscriber has the private key they can (and should) revoke the certificate. With Let's Encrypt you can even trivially automate this, fetch the new build, extract the private key, do the ACME revocation call with the signature from that key as proof and the certificate is revoked.

This is also a violation of the subscriber agreement for any public CA, it's unlikely they'll do anything about that beyond revoking the certificate, but they might, especially if you keep doing this after being told not to.
Well, it's free to use GitLab's hosted runners. You have to pay for your own build server if you want to host your own...
Hasura provides a similar service for graphql along with many many other features along with a enterprise tier. Worth a look if you are considering tools like this.
Repressive Tolerance by Herbert Marcuse
Thanks for those pointers. Fortunately, or unfortunately, I have greatly slowed down my woodworking operation. The table saw mainly serves as a horizontal surface. But in addition to what you mention, I've always followed some extra rules: First, I don't design things that need dangerous saw cuts in the first place. Second, my fingers stay away from the blade because I don't cut anything that small. This produces more scrap. Third, I plan and visualize the entire cut before I turn on the saw, and if it's not going according to plan, I just shut it down.
Past 40 years.
I think the answer to that lies in the past: what made us walk away from the OSes of the 70s/80s and move to new things? And in some cases, what made us stay?

Application inertia is hard to overcome. You really need a killer feature and developer adoption to have a chance.
I've got mixed opinions on this one––I feel like we often wrongly conflate "the elite" and "those with a college degree". The real losers if we cancel student loan debt is probably decamillionaires+ due to taxes.

That said, I'm not in favor of immediate student loan cancellation. I think we need a sustainable solution to prevent a rebuild-up of student loans first, and I think we also need to aim to implement the same solutions for those in trade school for the same reason the author mentions. If we're in favor of public funding for secondary schools, why not post-secondary where folks actually tend to learn to critically think and learn their skills for the job market?
Opinions like this are why we can't have nice things in the USA. People look at some subgroup getting a benefit and are encouraged to think "Why should they get this thing when I get nothing? These people don't deserve it" and so they block the new benefit, and we fall farther and farther behind countries like the Nordics, where this is somehow not a problem.
Yeah, they're not designed to look good, they're designed to sell.
How do you add logs, tracing monitoring to this since everything is baked into the DB? I still think this is a terrible idea.
From my experience, w/r/t meetings, I've worked from home going on 6 years now. A few years back we were acquired by a large company that had several divisions that worked entirely in office. When everyone started working from home, those divisions would initiate meetings significantly more often. I'm not sure if it's like a subconscious desire for more human interaction for those people that would usually get a bunch throughout the day, or a need to micromanage from some people, or just them thinking that they needed extra communication to make up for the remote working, but it was significantly jarring on our team for the first few months until everyone else sort of found their groove.

That's counter to our team, where we basically have the "policy" of less disruptions is better. Any discussion item is pushed into an e-mail or chat unless absolutely necessary. If there are items that are deemed to need a voice meeting that are remotely similar then we'll move them up or push them back to combine them to reduce the need to be on a call. 99% of our communication is done via e-mail or a group chat room, and the expectation is that an e-mail can go without a response for 24 hours, and a chat room message can go without a response for at least 1 hour. Anything urgent goes through a direct message, and the expectation is that you check the receivers status to make sure they're aren't in a "do-not-disturb" status before hand. Only time that is ignored is if something mission critical is occurring, like a systems outage. When you can limit 99% of your distractions to something you can check real quick once every hour or so, your productivity goes way up.

I can also say from experience that having your own space, and good equipment, is severely overlooked by people. I used to work entirely in my office, but we rescued a Belgian Malinois a few months before the lockdowns started so I had been working from a chair in my living room since the office is where our cats hang out for most of the day, and I wanted to give them time to adjust to the puppy as well. Even outside of the new puppy distraction, it's really easy to just sink into your "comfort" area and get distracted or stop working. Once she was housebroken, I started working out of our dining room instead so I could keep an eye on her but still not invade the office until she was better trained, and I noticed a significant productivity boost. GCP Grey has a great video on this ("Lockdown Productivity: Spaceship You"), and the idea is that even though the dining room isn't a dedicated office, it's still a place that you don't subconsciously associate with relaxing, so you still treat it like an office.

I don't have kids or a work from home spouse, so I don't have any advice there.
PostgREST is great and really reduces the boilerplate around building REST APIs. They recommend implementing access rules and extra business logic using PostgreSQL-native features (row level security, functions etc) but once you get your head around that, it really speeds things up!

If you're interested in playing around with a PostgREST-backed API, we run a fork of PostgREST internally at Splitgraph to generate read-only APIs for every dataset on the platform. It's OpenAPI-compatible too, so you get code and UI generators out of the box (example [0]):

$ curl -s "https://data.splitgraph.com/splitgraph/oxcovid19/latest/-/rest/epidemiology?and=countrycode.eq.GBR,adm_area_3.eq.Oxford)&limit=1&order=date.desc"
[{"source":"GBR_PHE","date":"2020-11-20", "country":"United Kingdom", "countrycode":"GBR", "adm_area_1":"England", "adm_area_2":"Oxfordshire", "adm_area_3":"Oxford", "tested":null, "confirmed":3079, "recovered":null, "dead":41, "hospitalised":null, "hospitalised_icu":null, "quarantined":null, "gid":["GBR.1.69.2_1"]}]

[0] https://www.splitgraph.com/splitgraph/oxcovid19/latest/-/api...
> what made us walk away from the OSes of the 70s/80s and move to new things

We never really did.
Sydney Powell Saying Federal Lawsuits Will Drop Before Thanksgiving
I’ve had good success with Oblique Strategies:

https://en.wikipedia.org/wiki/Oblique_Strategies?wprov=sfti1
Agree, a balance has to be found, I would say most of Europe is in balance. Cake could be (practically) unbounded, since (real) value can increase with actually less consumption of resources.
The kernels are a small part in the overall picture. Userspace apps today are abstracted under layers upon layers of runtimes and libraries, to the point your interaction with the OS is minimal if any.
There’s simply no incentive to upend the current order; and to do that, you either need to control your hardware stack completely or get buy-in from vendors to develop drivers.
Kriegsjahre [War Years]
Yeah, and how many mainlander Europeans read the BBC in English?
it's not focused on TLS certificates, but the Autonomic Network and Integrated Model and Approach (ANIMA) work group[1] has a sizable % of their Documents and Drafts dedicated to shipping or setting up devices with pre-set certificates. Most of this related to their Bootstrapping Remote Secure Keys Infrastructure (BRSKI) work[2]. I'll let BRSKI descibe itself in it's own words, with the start of their abstract:

> This document specifies automated bootstrapping of an Autonomic Control Plane. To do this a Secure Key Infrastructure is bootstrapped. This is done using manufacturer-installed X.509 certificates, in combination with a manufacturer's authorizing service, both online and offline. We call this process the Bootstrapping Remote Secure Key Infrastructure (BRSKI) protocol. Bootstrapping a new device can occur using a routable address and a cloud service, or using only link-local connectivity, or on limited/ disconnected networks.

The BRSKI document does quite an robust imo job outlaying the environments & challenges & constraints folks like OpenWRT face in trying to set up devices.

BRSKI presents a specific approach, which no, does not immediately seem super useful/simple enough for openwrt. A devices (Pledge) contact a Manufacturer Authorized Signing Authority (MASA) Service. The MASA returns a Voucher that points it to a Join Registrar (& Coordinator), which the device uses for Enrollmemt to the domain & Imprinting of the Domain's material & exchange of Local Identity. The standard also includes ways for the MASA to collect Domain information (so you can register your registrar) and to provide optional Ownership Tracking of devices.

Openwrt could become a MASA, users could host Join Registrar's for their Domains, & nodes could securely go get the root trust key they ought to from that Join Registrar. Since the Domain generated that key, if the device were to present it's https interface with that key or one derived from it, HTTPS ought work.

[1] https://datatracker.ietf.org/group/anima/documents/

[2] https://datatracker.ietf.org/doc/draft-ietf-anima-bootstrapp...
Can anyone provide the modern 2020 blog youtube pinterest or whatever platform equivalent of the 70s/80s "Computer Recreations" or "Amateur Scientist" columns from Scientific American magazine from that era?

I mean yeah its interesting to look at state of the art for the time "Game of Life" and building tic tac toe AI "computers" out of match boxes and human power, but I'm curious where you find that kind of stuff in 2020?

Recently here on HN, like this morning, there was an interesting discussion of modern pseudorandom number generation and that seems like the kind of topic that could have been turned into a "Computer Recreations" column or modern media equivalent.

The closest answer I can come up with is some of the language koan sites or maybe project euler or rosalind.info project.

If you like doing EE hardware/firmware but only 4 times per year I guess there's the Adafruit box program. I have them all and they were all pretty fun, but only for a couple hours per quarter...

I guess the experience I'm trying to replicate is like a lot of gen-x computer people I once got a copy of SciAm magazine in the mail and two hours later I'm writing a very slow but working mandelbrot fractal program in interpreted basic on an 80s home computer, not because the execution speed was fast but because the development time was fast and it was a fun and exciting experiment.

There must be something like that today?
Student loans should be discharable in bankruptcy court. It's insane that they aren't already.

Simple solution, anyone in financial trouble gets relief, and people who can pay their debt off should do so. (edit: phrasing)
Interesting! Do you use them regularly (e.g. weekly, monthly) or is this a strategy you apply when you have a specific problem and you're stuck?
Create X number of bad ideas. Volume works wonders. Keep a notebook and write things down.
I would expect it to be a web company that goes bankrupt within a few months
Checkout XgeneCloud for instant REST APIs on

- MySQL / MariaDB

- SQL Server / MSSQL

- SQLite

- and Postgres

https://github.com/xgenecloud/xgenecloud/

We do support instant GraphQL as well!

(Full disclosure : Im the creator)
Having a private key is only sufficient to passively eavesdrop TLS 1.2 (and earlier) RSA kex which is not going to happen with any halfway modern browser.

You could actively MITM passthrough with the private key on any version, because in this and most cases HTTPS is not mutually authenticated, so the OpenWrt server doesn't know it is talking to your eavesdropping system rather than the web client.