skysight-inc/HackerNews huggingface dataset:
So Linux/GNU is a great dev environment and Electron is the standard for building apps.

Tell me how exactly you think this means Windows is a healthy platform?
The memes on memegen if you want to be accurate
>I'd take an art class

I've always found finding things like this difficult. Red Ed classes are generally geared for young kids, to expose them to some new hobby, or for old retired people looking for something to do. I've tried a couple and felt very out of place.

There are community colleges, but that seems like a more involved sign up than I'd like (although I did it once in my mid-20s after graducating from university).

Other than that, I struggle to find in-person places to learn things. Art, cooking, gymnastics, etc. There seems to be a big gap in the market for adults looking to learn things without doing it all on their own. Is there something else out there I'm not aware of?
> This is how greatness fades away and a nation becomes uselessly sclerotic and irrelevant.

It's also how stability is maintained and a nation remains safe and trustworthy.
> It frustrates the shit out of me that grocery stores will move product to fill in empty space rather than make it obvious something is sold out

I work in the grocery industry. Shelf facings are set centrally by category managers and, although store management does have some discretion, if staff is willy nilly moving items just to cover up out-of-stocks that's absolutely against the rules. Not that this fact helps anyone, I guess.

I'd definitely complain to management if you see that kind of behavior.
This is misinformation, the USB-C connector is designed to outlast it's cables. A common problem with USB-C is that the connector get's filled with "stuff", and rather than picking it out they just jam their cable in harder til it's packed full.

The Lightning port has less of this problem because it's smaller but I've seen my colleague use a SIM-card removal tool to pick things out of his iPhone connector too.

The reason "USB-C is bad" is because you're comparing some of the highest quality manufacturing (Apple) with others. Apples USB-C on the Macbook is really solid.
I presume you're talking about the J1772/CCS1 adapter that comes for free with every Tesla. This adapter is occasionally handy but it does not allow fast ("super") DC charging. It's strictly a Level 2 AC adapter, which means it takes a few hours to charge your car fully.

The CCS adapter that allows you to supercharge a Tesla at non-Tesla DC superchargers is not (yet) available in the US [0]. Tesla does make them and you can buy them in South Korea, but not in the US.

[0] Except for a dodgy Chinese gizmo which I won't link to because it's reputed not to work reliably.
Veridise Inc | Security Software Engineer | Full Time | US/Europe/China/Remote | veridise.com
Veridise Inc | Software Engineer, Compiler | Full Time | US/Europe/China/Remote
Veridise is a new security auditing company for DeFi applications. Veridise technology is based on cutting edge formal verification research and can provide formal correctness and security guarantees in a cost- effective way. We are a 100% remote company offering competitive salaries and amazing benefits! To learn more about Veridise, watch our online demos or apply by visiting www.veridise.com/careers. Direct application https://forms.gle/No4251seNS3Eovf28
No. He was working on the photoelectric effect because "the field" already existed. And he was working on it from a classical physics standpoint. What makes quantum physics revolutionary is it's non-classical nature. That's what einstein was against - quantum physics as we know it today. Einstein was a life long classic physicist. His relativity was grounded on classical physics. It's why many are working towards a quantum theory of gravity.
the performance is too bad
> Now, pretty much everything is either USB or Lightning. This is good! What problem is the EU solving here?

It makes charging more user friendly.
e.g. just an hour ago my wife asked if she can charge her iPhone with the charger that I use for my laptop and Pixel 4. I had to say "no" - and that's the case even when Apple has USB-C in their laptops, why the odd iPhone (and airpods)?

It is quite pleasing to be able to charge laptop and mobile (and wireless headphones or ebooks) with the same charger.
Bring down wage growth, not the wages.

Basically manufacturing is at an all time low, and rebooting post-pandemic will be harder with higher wages given how strong the U.S. dollar is. Of course, wage stagnation is finally being corrected so there may be little to control that.
Like Tomovo above already said; your workflow would benefit from using an intermediate format that is faster to encode. You can then automate the conversion to the output format to occur unattended at a more convenient time.

The use of intermediate formats is a well proven technique in video editing where encoding real time to AVC/HEVC at high quality is not possible. Codecs like ProRes are used that are much easier to encode to at the expense of storage space.
So this is where my grandmother learned all this! It seems that years later, she still remembered how to make them.

I spent a lot of time sitting next to her doodling while she did chores around the house. I was always amazed at how she started with triangles, squares and circles and then came up with amazing animals.

They are so identical to her drawings (which we no longer have) that they bring tears to my eyes.
> The claim was never "Target's financials are going to go great," it was about return to normalcy.

I guess I don't quite understand what is happening in this conversation :)

From my perspective, OP explained why the outlook is negative for target and you asked "why wouldn't i [whimsicalism] be optimistic about [lower inflation]?". To which the answer is, "well, you aren't target... you can be optimistic about that, that's prefectly ok, but it's also sort of immaterial to OP's post which was about Target's current situation."

OP wasn't analyzing whimsicalism's financial situation; they were analyze Target's financial situation. It's possible that you should be optimistic and target should be pessimistic.

I'm either wildly misinterpreting the flow of ideas here or your responses just don't make any sense at all. I'm not sure which.
A blockchain could have a mechanism for the domain name to expire unless renewed. For example Handshake [0] does have exactly that.

[0] https://handshake.org/
Not sure about startup but -- I'm unable to retain minutia in my brain for long (weeks, months, years) periods but the industry I work in requires it. Examples include:

How many queues does X have?
How many are write-only queues?
How many can be reconfigured to become wider queues?
What are the protocols supported by Y?
Which version of the protocols are supported?

I would like a tool,
- accessible at my fingertips (through a keystroke), regardless of which Window on my Windows (or Linux) desktop has focus
- Allows me to search/add/delete for "Facts" which are associated with "Values"
- Will show me results in real-time (as I type, auto-suggest etc)
- Easily dismissed by ESC once I've looked it up
- Able to add/delete on the fly (through a keystroke); will take input as text and as CTRL+V from clipboard. Text, images, paths, etc supported
- Scales to 500K+ items
- Is able to bring up suggestions fast (<=100ms)
- Able to export to common (CSV, XLS, etc) formats

Bonus points for:
- Being able to extract this information automatically from PDFs, JPGs etc

If something like this exists, let me know!
I'm... not sure I'm following most of what you're saying (in this and your other comment).

> Why is 1 + 1 = 2? This isn't really a mathematics problem

Umm, so first of all, depending on what you mean, "why is 1+1=2" is definitely a maths problem. It's exactly in the foundations of math, as you said. Or rather, it makes more sense to think of it as "what is our system for deriving true statements, that lets us do things like 1+1=2?".

> (I know about axiomatic systems, they were invented relatively late in the timeline of mathematical history, invented as a fiction to avoid getting to the bottom of the messier things, i.e. the social context of how mathematics was actually invented and is used)

That's not really why axiomatic systems were developed. It was part of trying to give better foundations to math, because mathematicians ran into a lot of actual problems, mostly beginning with calculus. They managed to reach paradoxes, weird conclusions, etc, and wanted to start being more rigorous in how they treated everything in math, which has led to lots of flourishing in maths, so it was probably a good idea.

> [...] 1+1=2 presumes a reductionist and somewhat capitalist view of the world...

This I don't understand at all. What does this have to do with capitalism? The rest of your comment is equally weird to me. Mathematicians like to invent concepts and play with them, sure, I'm fine with that description, but how does this have anything to do with the capitalist system?

> [From your other comment] I mean, to cite a specific example, while the exercise is probably entertaining to some, anyone seriously believing 2+2=4 requires thousands of lines of "proof" is probably not very good at getting to the bottom of things in a general sense. (ref: http://us.metamath.org/mpegif/mmset.html#trivia )

I think you're confusing two things here. For the most part, most mathematicians don't need to bother with "foundations" questions, or reach a point where they're proving 1+1=2. It can be helpful to "peak under the hood" of various definitions to understand how they are defined rigorously, and more importantly, it can be fun. But most mathematicians use numbers as a black box, never needing the detailed definition of how numbers work.

As for taking 2000 lines to prove this, that's probably only when you want to rigorously use a computer proof or something from first first principles. Given a set of axioms (e.g. Peano), I'm pretty sure it's easy to prove 1+1=2 in only a few steps. And again, this is mostly of interest to people who actually want to work on this kind of foundational thing, not the average mathematician I wouldn't think.
Yes, it's easy to read this as an "Oh no, our economy!" article, but it's not. It's an "Oh no, our sector!" article for people in shipping and consumer goods.

If you look at charts of consumer spending, the pandemic caused an explosion in spending on goods, while spending on services "dropped off a cliff". Now stuff is going back down to pre-pandemic levels. What are services doing? Climbing back to pre-pandemic levels: https://www.statista.com/chart/23574/consumer-spending-on-go...

Obviously, we "should" be about two years of growth higher than pre-pandemic levels, and I'm not saying the economy is 100% fine and dandy, but this article needs to be understood as being about a sector of the economy, not the economy as a whole.
CSI: $LOCALE, NYPD Blue, Brooklin 99, Law & Order, Homicide: Life in the Streets, COPS, etc are basically "copaganda". This shit goes all the way back to Dragnet and FBI-glorifying movies like The Untouchables.

https://en.wikipedia.org/wiki/Copaganda

> Copaganda, a portmanteau of cop and propaganda, is a phenomenon described by critics of law enforcement in which news media and other social institutions promote celebratory portrayals of police officers with the intent of swaying public opinion for the benefit of police departments and law enforcement...

Movies like Top Gun: Maverick that are made with the cooperation of the DOD should be called what they are: propaganda. When Hollywood makes movies that glorify the military, they are part of the military-industrial complex. When they make movies critical of the military, they are part of capitalism commodifying resistance and selling it to people.
You are being pedantic. The expression "multiple points of failure" is commonly used to refer to a single system that can be disrupted in multiple ways. They are are clearly referring to multiple independent systems where each system has its own singular point of failure.
That's funny if it wasn't true.

"I have to get out of the meeting as I need to work on a task."

A task? Ok, so you can stay?

It fits right into "wow, jealous of your agenda"...when it has some blank spots. The spots you actually do work, but somehow are regarded as slack.
Because given enough time all encryption will fall or become very affordable to crack, so it's not in my interest to have it scraped and stored somewhere forever.
America was very different in 1941. The culture and demography have completely changed.
My take would be:

Your 3a is certainly necessary in order for each individual monad to be useful, but it is not general (i.e it depends on the monad how you do it). Therefore, it's not part of the criteria of what it means to be a monad.

Examples:

- Async: Block and wait for your Async<T> to finish or fail. (Note that Async<T> can still be useful without that if you can simply register a final continuation callback with side effects)

- Option: Check if there is a value and unwrap it if that's the case. Or, maybe more idiomatic: Some way to write a `match` statement ("if there's a value, do A. Otherwise do B. Both have to return the same result type")

- List: Provide ways to check the length and access each individual value in the list.

- Stream: Provide a way to wait for the next value.

…and so on and so forth.

Your 3b is implementable in terms of `bind` and `return` (and, in case your monad is also a functor, even in terms of `map`).

Edit: To drive the point about 3a home a bit more:

The reason why monads (and functors) as a pattern are interesting is that they provide the formalistic means to write "imperative" code by writing pure functional "in between" code:

Do A
…and then do B
…and then do C

Different monads essentially only influence what "and then" means. A lot of languages have syntactic sugar for this kind of "and then" lists, for example:

Haskell: do notation

F#: Computation expressions (e.g. `async` or `seq` blocks)

Python, C#, Javascript: Async methods and functions

C#: Inline SQL with LINQ

Rust: `try` and `async` blocks

You'll note that each of these notations return the final monad instance without unwrapping it. That's because "unwrapping" is either not general enough for the notation or not always desirable. I.e. an `async` method in C# returns a `Task<T>`, you'll have to block for the result yourself.

So, the "Monad" pattern is only concerned with how you can compose operations, not with how you can get to the resulting value.
Both globalization and deglobalization can become fashionable herd mentalities. As long as the populist isolationists can be held at bay in the US and most of Europe, a sane balance should return.
Absolute numbers. Which means we should be able to add even more capacity, faster than they did then, by a large multiple over a similar time period, thanks to productivity increases. Which, again, might be needed because demand is far higher than it was then (population's far higher, standard of living in material terms is higher) but kinda like how we can now produce more food than we need with low-single-digits percentages of the population working in food production, we can produce more with far fewer manufacturing workers than we had back then.

How much more productive are we? US employment in manufacturing peaked, in absolute numbers of workers, in 1979. In 2009, we produced about 50% more than in 1979, despite being well on our way to dropping to 1941 levels of people-in-manufacturing (sheer count, not percentage of pop) by that time.

My point with the comparison to 1941 is that we should have plenty of expertise around to increase production at a rate similar to the increases in the 6-12 months after Pearl Harbor, if we really needed to. IOW, at least a 50% increase inside a year, or probably about double our 1979 domestic manufacturing output (total, after the increase), and 1979 was solidly in the "the US is a manufacturing titan" phase of US history.

Again, however, certain specialized high-tech manufacturing might be an exception (chip fabs, for example). Supply of raw materials might also become a problem. Ability to build or restore/refit normal, industrial factories is not a place I'd expect us to be lacking in know-how, though, because we still do tons of manufacturing.
Spot on. I've worked govt adjacent. It's basically a "can't do" mentality vs a "can do" mentality. Politically same issue. Endless politicians "outraged" and "offended" by various things - so keeping your head down, doing it the same way you've done it before is seen as the safest internally. Now layer in a ton of non-performance or deliverables oriented goals and things just grind down to a total halt.
Why spend 5 minutes manually toiling on a task, when you can spend 6 hours failing to automate it?
HTTP/3 is a proposed standard
Yes. In the past users did start by reporting bugs to their distro, and the distro package maintainer then forwarded it to upstream if necessary. But lately users have become more savvy about talking to upstream directly. Probably because upstream source control has become more standardized and well-known (GitHub, etc) and easier to work with (don't have to futz with mailing lists and etiquette, just click the "New Issue" button).

It's not even specific to Bottles or Flatpaks or whatever; it happens with regular Linux software too. In the systemd tracker you'll find people complaining about issues that have been fixed in systemd's git repo, but because the people are running distros with older versions they think the issue hasn't been fixed yet.
Yes, that exactly is what many cops are doing.

https://www.sfchronicle.com/sf/bayarea/heatherknight/article...

Some overlap with the prior one: https://www.sfchronicle.com/sf/bayarea/heatherknight/article...

https://www.sfchronicle.com/sf/bayarea/heatherknight/article...

There was also a video of cops pulling up and watching a dispensary get robbed

There was another account on next door of a neighbor pursuing a robber after a home invasion and had to pleas with the police to even approach the guy, and they basically just got him his stuff back and tainted all the evidence so no DA would be able to actually prosecute. Not even sure if they actually arrested that guy.

And then there is the fairly recent examples of extreme racism of some of the officers that tainted criminal cases leading them to be dismissed. https://www.latimes.com/local/lanow/la-me-ln-sfpd-racist-tex...
Does the aggregate organism of all humans acting together lack a frontal cortex? [pdf]
If we all act in our own self interest, that should seem to include taking care of our host planet. But what I see and call out in this Ethics and Software Manifesto is that, in the aggregate, the giant organism of all humans acting together in this world, resembles a giant tapeworm. What do you say?
I do not understand your remark.

> do the computation faster than anyone can stream the data into the chip. The more interesting problem is data movement, as usual.

Is that not the selling point of integrated photonic circuits? You got photonic chips/components that are connected by photonic waveguides. So essentially photons replace electrons for all intents and purposes and the data moves at close to the speed of light.
39/47 regretting brexit is not a solid majority. https://www.statista.com/statistics/987347/brexit-opinion-po...
Not said with snark, but do you think you're the first person to think the system should be simplified? Do you understand that part of the reason the other systems are more simple is because they effectively rely on the U.S. healthcare system for things like R&D? It's pretty easy to create a simpler system when you can ignore certain aspects because someone else will pick up the slack.

The problem with the "simple" solutions is they often assume we start from a blank slate. Acknowledging we're not starting from a clean slate where do you propose we simplify first? And before you reply can you think about 1) how will it be done, including the political aspect and 2) what is the potential unintended blowback from that change?
But are they susceptible to changes in ocean temperature (either up, or down)?
Yeah man... I don't know. That's kind of a just-so story you have there.

But Joe Rogan would love it!
It's good, but also worth mentioning that they're just now proposing to end the subventioned airplane fuel, and in that proposal they still want an exception for private business aircraft. Keep the pressure on your EU MEP.
From https://en.wikipedia.org/wiki/Carbon_dioxide#Below_1%

> A study of humans exposed in 2.5 hour sessions demonstrated significant negative effects on cognitive abilities at concentrations as low as 0.1% (1000 ppm) CO2 likely due to CO2 induced increases in cerebral blood flow. Another study observed a decline in basic activity level and information usage at 1000 ppm, when compared to 500 ppm.

With some caveats about the quality of those studies.
OpenBSD Frequently Asked Questions
Is there a "common lisp - the good parts" style thing that a decent percentage of users agree on?

(I've done scheme and a few others with great enjoyment and repeatedly bounced off common lisp, so I'm very much aware of the extent to which "lisp users agreeing on things" is a substantial ask, but it seemed worth a try even so ;)
Still fireflies out here in Vermont. Please visit and/or move here full time with your family! We need more full time families out here.

The fireflies really are spectacular.
Just because they failed to implement doesn't mean the effort is dismissed. They indicate Washington's intent.
We did debate this, but decided to stick with same size notes for a couple reasons -- (1) they're easier to produce in low volume and (2) there is a bit of sensation from the raised print on the large "1", "2", "5" and "10" numbers.
Historically this has not been true. The more ossified the bureaucracy becomes the less able it is to adapt and innovate which eventually leads to replacement or revolution.
S&P 500 is down 14% from its high at the end of last year, Dow is down 10%, NASDAQ is down 25%. Those are significant drops over a 6 month period.
I am ok with unionization (even though it is price fixing, which is ultimately not a good thing to see), as long as noone is forced into that scheme.
…which wastes energy and reduces battery life. Great innovation.
If the solution would be to use a lot of random adapters then we should simply standardize from the start.

If 35% of ICE had square gas sockets and we had to keep around square-to-circle adapters the situation would not be better.

An EV charging port is handful of metal rods with a handle.
"Remote work: We’ll also offer opportunities for you to apply for completely remote work (away from your team or office) based on your role and team needs. Before the pandemic, we had thousands of people working in locations separate from their core teams. I fully expect those numbers to increase in the coming months as we develop more remote roles, including fully all-remote sub teams. You’ll be able to apply for remote work within your product area or function. As with location transfers, your leads will evaluate whether remote work can support the goals of the team and business. Whether you choose to transfer to a different office or opt for completely remote work, your compensation will be adjusted according to your new location. "

Pretty weak sauce. It's up to your boss, who is encouraged to say no by his superiors. The number approved is a miniscule percentage of the workforce. You'll get a pay cut.
> Opus became the definitive codec for lossy compression for the web.

never heard of Opus for images... must have been sleeping