skysight-inc/HackerNews huggingface dataset:
My experience is quite different from yours with regards to clogging.

I used a Sawyer Squeeze daily for 4 months and probably only backflushed it 2 or 3 times. It definitely slowed down, but nowhere close to the amount of time it takes to boil water and wait for it to cool down.

The Katadyn Befree is my favorite right now because it's lighter with a considerably faster flow than the Squeeze. Some reviews from thru-hikers say it clogs faster than the Squeeze but I haven't had any issues so far. (Haven't thru-hiked with it yet though...)
Currently, BOM cost is higher than that, I believe. But we can hope that with devices like the Remarkable bringing larger format e-ink that the pricing can be driven down with process improvements that come from scale.
An e-reader of that size would be much more expensive.
Is the name you are looking for "bipartite directed graph" ?

Well, specifically, a bipartite directed graph equipped with the specific partition, but if the graph is connected[1], which it should be in this case, then the partition is uniquely defined.

I guess such a graph would define another directed graph which has as vertices, the subsets of the "theorem" vertices, and a directed edge from any such subset to another which has 1 more "theorem" vertex, exactly when the "theorem" vertex has (in the original graph) an antecedent proof vertex such that all of the antecedent theorem vertices of that proof vertex are elements of the original subset of the theorem vertices.

so, if G = (V, E) is the original graph of theorems and proofs, and T \subset V is the set of theorems,

V' := \{ S \subset A \}

\forall S \in V', t \in T, (S, S \cup t) \in E' iff :

t \not\in S, and \exists p \in V s.t. (p,t) \in E, and \forall t' \in T s.t. (t',p) , it holds that t' \in S.

G' := (V', E')

G' _will_ be a directed acyclic graph, because all of the edges strictly increase the size of the set.
Then, finding "how can one learn all the prerequisite proofs in order to learn [result]"
can be rephrased as "given the current vertex of G' (which is the set of theorems one already knows), what is a path which will get to any of the vertices of G' which have as an element the desired element [result] of G ?".
The graph G' would be exponentially large in the size of T, so probably should not be represented explicitly in memory,
but it seems like some shortest path algorithms should still help with this?
There are many other properties of the graph G' which I imagine would be helpful in constructing a shortest path.

[1] in the sense that if you forgot the direction of the edges, the result is connected, not in the sense that every pair of vertices can be connected by a directed path in both directions
i would love this as an art piece.

if you were willing to make one to sell i would buy it.
One cool thing about Lean is that the next version is trying to become something like a general-purpose programming language, with the idea of "using proofs to write more efficient code."

For example, you might prove that your code never accesses a buffer out of bounds, so you can remove all your bounds checks for efficiency. Another example is implementing recursive functions with induction -- you can implement Fibonacci naively (fib 0 = 0, fib 1 = 1, fib n = (fib n-2) + (fib n-1)) and Lean will rewrite it into an efficient (non-exponential) form.

See: https://leanprover.github.io/talks/LeanPLDI.pdf
Actually, this kind of makes sense, especially if you think that the major use case of the webkit based browser in the previous models was for jailbreaking
only you can answer that

if it’s obvious that you shouldn’t spend $2300 consumer electronic being relegated to an art piece using almost none of the utility it is capable of, then dont do it

if the answer isnt so obvious then it’s still interesting and viable
Pawn shops?
Well, Three Mile Island seems to be regarded as a massive mistake despite never exposing people to more radiation than an X-ray, so it could be a good learning opportunity if people could see it as something other then some catastrophe that justifies never learning from new nuclear experiences again.
I said the Democrats were alleging "fraud or malfeasance", not just 'counting errors'; you're putting words in my mouth (or taking them out).
>Finally, Pixel smartphone users also get an out—High Quality media uploaded from Pixel phones, first through fifth generation, will continue to enjoy free unlimited storage even after June 2021.

I don't know about y'all, but this seems mighty anticompetitive to me. How is this different from bundling a browser and an OS? The net effect is the same: vendor lock-in.
I love the design of everything (web page, app screenshots, copy). I'm going to take notes for my own app. :)
Perhaps nearly everyone. I used to read it on BART before I switched to the WSJ and then quit using SF's shite public transit.
I don't know where you're getting this information from, AIDS isn't an autoimmune disorder. HIV destroys immune cells directly. The symptoms are mainly from secondary infections. Also, if your immune system realizes that your own cells are making virus particles, it will destroy them... and every other cell will survive. That's what happens when you catch a cold - every virus works that way. mRNA is even better because it probably won't cause any of your cells to get targeted for destruction. The failure mechanism you're proposing would at worst make it as bad as some other vaccines.
It'd probably get complex. Like is person X allowed to visit you, person Y is allowed to approve certain non-invasive procedures for you, and person Z is allowed to make life-altering decisions.

As a paramedic, if you're conscious you'll typically get asked upon admission, "If anyone calls are we allowed to tell them you're here, and do you have any specific desires about visitors?".

If you're unconscious or unable to elucidate these things (which often correlate to the more serious end of the spectrum), not so much.
Please keep in mind the date and that there are many things that are a bit dated in the video! I cringe a bit whenever this comes up — I’m sure others can relate :)
You're mistaken. Bannon said:

"Second term kicks off with firing Ray, firing Fauci. Now I actually want to go a step farther ... I’d actually like to go back to the old times of Tudor England. I’d put the heads on pikes. I’d put them at the two corners of the White House as a warning to federal bureaucrats"
That 'murder hornet' nest scientists found and destroyed had nearly 200 queens
Please, please, do not use something like this as the only method of monitoring a child’s safety. This sort of thing has given me honest to god nightmares.

My day job is managing development and infrastructure of internet connected cameras, with motion detection, notifications, and all the rest of it. Every now and again someone new will start on the marketing team and put together something about using them as baby monitors, swiftly followed by the engineering team descending on them to explain there’s no way we can guarantee sufficient reliability for something where the worst case failure mode is someone’s baby dying.

If you’re going to insist on something like this you need to be absolutely sure that you have sufficient monitoring in place. If it loses video from the camera, it needs to alert. If it loses its network connection, it needs to alert. If whatever is meant to be receiving alerts doesn’t receive a heartbeat from the camera, it needs to alert. In all those cases that alert needs to be obnoxious as hell, and guaranteed to fire.

And the machine learning just needs to go away, unless somehow you’ve obtained video of every way in which a child can end up seriously injured, from multiple angles, with which to train it.
About pg's memory context API:

https://www.postgresql.org/docs/current/spi-memory.html

https://web.archive.org/web/20200224083655/https://blog.pgad...
I found the title of the blog ‘Our Cyberpunk Now’..interesting. I am a long time collector of Victorian and Edwardian Erotica. There is a sub sub genre of Cyberpunk erotica.

I was reminded of this story about a madame who runs a cyberpunk pleasure house with mechanical delights and persons of various genders and combinations thereof and is taken to task by the owner of the already established whorehouse in town. And then they take each other to task and so on.

Which makes me wonder when will we have customizable Real Dolls and robot courtesans. Hand to heart, I did ask this question at a TechCrunch disrupt and I think people thought I was being ‘cute’. I wasn’t.

Sex robots as an industry is a gold mine. Why aren’t we disrupting it? It will fix the human trafficking issues, mental/physical health issues and not to mention the legal /moral issues related to exploitative prostitution.

I feel three areas need disruption: Ag, adult entertainment and geriatric tech and the tech in USA is too lazy for the first, prudish to tackle the sex robots part and apathetic about the last one.

This would of course beg the question of what is legal and what isn’t legal when it comes to sex robots. Will we extend our morality code to robots? And then we will enter a very very gray area.
Ok, I understand now. It is locked down because it is locked down.
> zero people died from radiation at Fukushima

This is false, and lower the credibility of the people that keep repeating this fake mantra again and again.
I love the physical copy of this that I got with my ticket to Brighton Ruby this year: https://www.consonance.app/blog/brighton-ruby-2020/
So... one side believes an election was stolen with no evidence beyond partisan sources, and you say that's bad, right?

The other side believes that Russia acted to influence the 2016 election (not really the same thing as "stole", but whatever, I'll grant that) based on reputable journalism, and that's... bad for the same reason?

It sounds like you're making a PRO-disinformation argument here! You're saying that sourcing and truth doesn't matter, just the opinion that it produces? Yikes.
That thought sort of crossed my mind too. It almost seemed too intentional I guess
You're misunderstanding the difference between election fraud and election interference. They aren't the same thing.

Election fraud means actual illegitimate votes were involved. Election interference means pretty much every other thing that one can do to influence an election. Most notably - disseminate false or misleading information.
You compare a lcd tv with eink....apples <--> oranges.
Fraud and malfeasance in propaganda has been a thing for hundreds of years.

But that's not what Republicans in 2020 are complaining about. They are, with a straight face, but with no proof, claiming that the election's results are illegitimate - because they feel that the votes have not been counted correctly.

This isn't a valid case of two-sidism. There is no way to bridge or alleviate or equate those concerns.
The average power consumption of The Frame is 118 W (figure provided by Samsung). The average power consumption of an e-ink display that refreshes once daily and needs a single annual recharge is effectively 0 W. Using a rough price of electricity in San Francisco of just over $0.22/kWh, The Frame costs ~$230/yr to run.

I don't know if I could, in good conscience, countenance wasting that much electricity on running a TV 24/7 to show a static image that updates once daily. Yes, you'd have to be running the e-ink display for awhile to break even on the power costs, and you could save some money on The Frame by putting it on a schedule where it turns off at night, but it still seems overly wasteful.
Funny how Google pushes the automatic syncing between partner accounts. These automatically imported images go against the storage cap, and most don't realize it.

There should be an option to filter those imported images for easier deletion. I haven't seen one.
Then how do these people receive aid from social programs, without being able to provide proof of identity?

How do they operate motor vehicles to get to or from (or at) jobs, especially in the majority of counties in the United States without substantial public transit systems?

How do these people even purchase alcohol without proof of identity? I still get carded and I've been a legal drinker for well over 20 years.
If you don't mind could you tell me what exercises exercises you use to build hand strength, or even just post a link?
Yeah minimum $1300 and you're cutting a hole in your wall.
I'd recommend using Zotero as it's designed for researchers. It can save most pages for offline viewing, but also grabs metadata, and has specialized downloaders for papers and such.

Main downside is it's not trying to plug into existing bookmarks.

https://www.zotero.org/
Keeping up with JS library upgrades is a massive pain, and TS makes it a lot easier
Once upon a time the cool thing to do was to build RAIDs out of USB sticks. Or SD cards. Or floppy disk drives.

Raspberry Pi isn't as laughable as that, but the fact is that what you are getting out of this is a learning opportunity, not a reliable or high-capacity computing platform.

And even there, 4 Pi4Bs with 8GB will cost you $400 and more, once you add in power supplies and SD cards and desiderata. The first hit on Craigslist just now was a $200 4 core i7 with 8GB of RAM (upgradable) and a 256GB SSD in a nice small case. Two of those will get you better overall performance and leave room for expansion.
can - which leaves lots of room for doesn't
With Slack, Discord, Spotify, Postman and Code I don’t think I’d have room for another excruciatingly slow/sluggish Electron app on this 2014 MBP with its mere 16GB of RAM
And further, these same locations make it difficult for those with working-class jobs to acquire IDs. Not everyone can drive long distances, wait in line for several hours during the work day, and/or pay the cost of a government ID.

If we allow voting by mail—which doesn't require a photo ID—then we can allow voting at the polls without one either.
Enjoy your downvotes, we don't need that kind of "perspective" around here.
... A nice demonstration that messaging is the problem.
It may sound harsh, but that's a good thing for the planet.

There are far too many humans in the world at present. The Earth needs to reduce that number to sustainable levels. By humans disregarding the problems of global warming, there will be global famines which will reduce human numbers markedly.

Climate change is merely a symptom of TOO MANY HUMANS. It's pointless trying to reduce climate change without trying to reduce human numbers.

We have a choice: reduce human numbers ourselves down to around 1-2 billion (possibly with a 'One child per woman' policy which would do the task without trauma) or have the number reduced forcibly (perhaps via the global famines or water-wars which will occur when climate change causes droughts and low water supplies).

Being humans, we'll do nothing and be forced to undergo the trauma of having our numbers reduced forcibly.
I’m ignoring it because it’s widely known that Russia and perhaps other countries tried to influence US voters. What’s your point? The only person claiming election fraud in 2016 was Donald J Trump. While HRC called him “illegitimate”, she accepted the election results.
First off, I'd like to thank you for responding thoughtfully and directly.

I'm not saying both are equal, I am saying the situation is ridiculous. I think you're about right in your assessment, though I do think each side has shifted its emphasis to whatever points were most convenient.
_why was at the FOSCON at FreeGeek 10+ years ago. I walked up to him, and he looked at me and said "You look familiar."

Looking back, I'm sure we had never met. I just think he probably did that to build connection with anyone he met, and I loved that moment with him. There was amazing intimacy that he created everywhere.
Do you have a recommendation for someone on Linux interested in producing EDM/House that has zero prior experience/equipment?

I have Reaper and Ardour, but a friend suggested Bitwig.
You didn't say "fraud or malfeasance" though. You said "fraud and malfeasance".
I was in the mall just a few minutes ago, and while I was waiting for a coffee I was standing next to one of those movie-poster billboard things that have TV in them. Every few seconds a poster for a movie, or cleaning product, or some store would pop up, each had some subtle animation. They were really high res, 4k perhaps. Really nice and crisp.

Anyhow, I was thinking how great the images on them were.
I think its well past time to investigate why people are so drawn to this content, why they believe it wholeheartedly and where the money funding it comes from. I think it goes much deeper than internet ad dollars personally.

The more important questions are why people are consuming what amounts to fake news and conspiratorial worldviews. Trust in institutions is at an all-time low, censorship and surveillance are at all time highs leading people to seek the outsiders and outlets that agree and tell them "They are lying. They hate your guts and want to destroy everything you love". This basic message resonates as true for so many because everything around them is being destroyed and no one (else) is even offering to fix it.

This has nothing to do with being right-wing IMO, in fact I think right wing outlets are the only ones doing this because the American government crushed the far left so thoroughly its impossible for them to seek funding to build any such movement.
So all these poor undocumented people lack an ID to buy alcohol?

Or perhaps a better argument is that millions of foreign undocumented people vote a certain way...
So you're admitting the fraud part of the claim is inaccurate?
> Then how do these people receive aid from social programs, without being able to provide proof of identity?

Many of them don't.

I would however like to call out your extremely offensive implicit assertion that anyone who doesn't have ID is likely to be a social aid recipient.

> How do they operate motor vehicles to get to or from (or at) jobs, especially in the majority of counties in the United States without substantial public transit systems?

Many of them don't.

It's extremely common to get rides from friends, family, and/or coworkers.

> How do these people even purchase alcohol without proof of identity? I still get carded and I've been a legal drinker for well over 20 years.

Many of them don't.

And this is locale-dependent. I was carded 100% of the time during a trip to Colorado last year, but I haven't been carded except a handful of times since living in California. I'm 35.
I clicked the link and I struggle to understand what Cadence is. I found my way to the docs, and came cross reams of text bemoaning how difficult it is to describe Cadence... not helpful?

I get it's something related to workflows, beyond that I have no clue what problem it aims to solve or where or why I'd use it.
So you're concerned about people who weren't born in the USA not being able to vote because of a ID mandate? If they weren't born in the USA but have become citizens entitling them to a vote I assure you they would need documentation of their birth in order to become citizens.
sops is a great tool for version-controlled secrets - plaintext keys and encrypted values using remote KMS to do the encryption.
https://github.com/mozilla/sops
Props for the Lapierre Morgon!
If you sleep with Google prepare to get fucked.
No, he was pretty clear that it was due to needing to use that solver due to it being the only one that works on ARM right now. The dual licensing was only relevant in that the client would have to pay for the commercial license (due to the GPL restrictions).

> MKL has faster routines and is completely free, but it won't work on ARM
My anecdote: I tweaked my back 3 times in 18 months (like bedridden/WFH/swearing like a sailor for a week). Then I started going to a 1hour yoga class 1-2 times a week, and it's now been another 18 months without any issues. (Since covid I've been using DownDog app and doing 10-15 min sessions)
Yo even though it’s just an MVP right now this idea slaps
why would anyone want to talk to you on any day.

what an awful comment to something so beautiful.
They take the prospect of international socialism a lot more seriously.
How can we not self-host? For lots of these you can if you want. I mean, I host docker images and various packages that folks source from our infrastructure. I don't see DNS or IPv4 as a blocker
so if I'm viewing http://example.com/foo/bar.html I might want to cache not just /foo/bar.html but everything underneath /foo/ path
And it uses a few hundreds bucks of electricity per year to run it 24/7, depending on your electricity cost anyway (I'm using CA here).
The winner hasn't been decided yet dummy!
Damn, electricity is expensive in SF.
This was the original ”fake news”. News mills in places like North Macedonia creating clickbait fake news for ad clicks. Breitbart’s are more sophisticated. They are whitewashing lies by having a look of authenticity. Doesn’t help that your president regularly links to it. He might have lost the election but he took a big win in the information war. American journalism is fighting for its dear life because you elected a person who is immune to facts. Now it’s a party that’s immune to it. Soon it’s the voters.
I was actually somewhat careful about my wording, here is what I said about Democratic allegations (unedited):

"From 2016-2020, the Democratic partisans insisted that there had been some sort of fraud or malfeasance"
The famous example of this is the Homebrew guy failing the Google interview because of inverting a tree. So, we at least know you need to be more elite than the guy who made Homebrew. Probably not too many coders clear that bar.

Anyway, I would wager that the answer is “no” in the sense that if you get a job without going through this you’re probably past the point of coding for a living. So VPs, CTOs, manager of managers, those sort of roles
Because you are likely a classic liberal.

We live in a time where those who claim to be conservative or liberal are anything but.
I can see an argument for this for Tesla, because of the capital costs. I can see an argument for this for Uber, because of the network effects. But I cannot see an argument for this for Google Photos, because the network effects are not that strong, and the capital costs are directly proportional to how many users you have. (You don't need to scale our your datacenter/cloud until you actually have users to justify doing so.)

So while I agree this can be an issue in general, I'm not seeing the argument for it here. I think it would actually be relatively easy for a competitor to get started in this space.
What I hear often from Republicans is they rail against “elitist” attitudes. Liberals need to frame their information as being subversive and stop trying to just slap more credentials onto everything. Half of America doesn’t care at all if you’re a respected scientist in your field, in fact it makes them distrust you even more! A very interesting situation.