skysight-inc/HackerNews huggingface dataset:
A database connection would operate either in IO (the generic "i am now talking to an unreliable outside world") monad, or some more specific monad.

In this case you can think of a monad a bit like a computational context. If one is not present, you simply cannot[^1] instruct a Haskell program to perform those operations in a type safe way even if you give it a valid database connection identifier.

[1] Well, you can, but if you do you're explicitly taking away all the safeguards that Haskell introduces, and it would never pass code review.
I do not see how GPT-3 could solve the basic architectural problem that the parent comment quotes, namely, that "driven as it is by information that is ultimately about language use, rather than directly about the real world, it roams untethered to the truth".

As an experiment I used a GPT-3-powered website [1] to see what GPT-3 has to say about bears, and the first answer was:

> "Weird that every day, there are so many cute/funny/entertaining bears to enjoy online but hardly any on the ground."

When asked about beards, the first answer has no relation with beards at all:

> "If a person doesn’t constantly outwit, outplay, outlast, others, the strong eat the weak."

And then there's that time when GPT-3 told someone to kill themselves [2].

While funny and (mostly) grammatically correct, these "thoughts" are nonsense and no amount of extra parameters is going to solve the disconnection between GPT-3 and reality. I imagine you could condition GPT-3 to generate text for a specific piece of data in such a way that guarantees the correctness of its output, but at that point you might as well throw GPT-3 away and write a rule-based system.

[1] https://thoughts.sushant-kumar.com/bears

[2] https://www.nabla.com/blog/gpt-3/
Plus the D-sub connectors were standard, but anything regarding their wiring was handled by different standards. So just putting connectors where they fit wasn't enough to be sure that it would actually work and could even fry one or both ends of the connection.

With USB, as long as the both ends and the cable are built to spec, it's safe to mix and match. You'll just end up with the lowest common denominator of functionality.
Considering their current market cap, it surprises me that Tesla or Space X didn’t pick up BD. Seems like a natural acquisition for a rather low price.
All I meant was that this is significantly better than other programs. I've seen similar bugs pay out in the hundreds.
Fascism can’t be the answer to the broken political system though.

https://en.wikipedia.org/wiki/Paradox_of_tolerance
Exactly... If anything, this "test" will disenfranchise the claimed "uninformed" "Trump supporters".
A new way to get weight loss
Damn it, thanks for letting me know. one spelling mistake and everything is doomed. Fixing it right now.
Considering how oil industry executives became élite wealth and moved into senior government positions globally, it is no wonder they did not make solar energy research illegal.
The left champions the weak and downtrodden even if it means chaos.

The right values order and stability even if at the expense of those at the bottom.

I don't think either side is against compromise but first each side has to see where each other is coming from and that there is some value in the opposite view.

Demonizing and miscaracterizing the opposite view, and failing to actually see why they think how they do, is a big problem right now.
South Korea is also very advanced in using automated weaponry for their military:

https://en.wikipedia.org/wiki/SGR-A1

Soon they may not only have sentry guns, but frickin' bots with frickin lasers attached to their back patrolling the DMZ.
Is everything predictable given enough data and powerful algorithms? [pdf]
Build and Program FPGA-Based Designs Quickly with Python (2019)
I see your point about being explicit. I think ideally the specification would be precise enough for the user to conclude: "If this is a specification conforming Scheme implementation, then this must be a tail call." I was under the impression, that this is the case with the Scheme specification, but I might be wrong, as I am not very knowledgeable in terms of the specification. If it is not so specific about what exactly becomes a tail call, then I would say, that it would be great to have an explicit way to tell the interpreter or compiler, that you want something to definitely be a tail call.
Boston dynamics might indeed advance the state of the art but not be able to capture the value ther advancements bring. Also, how big is their competitive moat? Does, say Uber care if their deliveries are done via Boston Dynamics robots or via some competitor? What if in 10 years some research group makes a new company that can deliver the same dancing robots that Boston Dynamics can?

The concept of how moats work in the context of a social app vs how to monetize it is well understood.

Also I'm not saying that the price of Slack was fair. It's entirely possible that the purchase will be a regretful one for salesforce, similar to the regrets that Tumblr's buyer must have felt.
There is value in Boston Dynamics, but will take long time till they create mass market products. They will have specialized products for special areas, but those will be small series, where running production is expensive and a high margin isn't possible. (If a human is cheaper than the machine there is little reason to buy the machine)

Value for WhatsApp comes from the fact that it threatened Facebook's business model. If people use other than their products they have an issue. There is also an option for revenue growth (not only ads, but also payment processing etc.) Question is how that will play out with current outcry regarding Terms of service changes ... whether that will have an impact. But for Facebook certainly valuable decision.

Slack and Salesforce is more interesting. There is of course the market - others tried to acquire Slack as well, driving the price up. How much it will bring Salesforce (also in Cross-Sales "hey, want some CRM which integrates well with Slack? We have something!") is to be seen ...
If I block a road an autonomous truck is expecting to drive along, will it automatically reroute to another road? If it does, then these trucks are going to be very easy to rob simply by corralling them in to a quiet location..
Looks like we disagree on what's a bug and what's a feature in a file picker. But the mirrors on a car are mandated by law, so the equivalent for that would be a missing Cancel button (which forces you to always open a file). If I had to pick a car part equivalent to the file thumbnails, it would probably be seat heating or a built-in navigation system - it's nice to have (for some, others never use it), but you can use the car without problems if it's broken or not installed.

I'm not saying that it's not a nice feature to have, but it's also definitely non-trivial - it's not only thumbnails for images, if you do that people will also demand thumbnails for videos (including, of course, all ancient formats), PDF files, Word/Excel/PowerPoint documents, HTML pages etc. etc. etc.
So this is just an example where this ridiculous "meet in the middle" between far-right extremists and center-right democrates leads to.

Fauci is one of the most qualified and well respected scientist in the field - who had worked for democrat and republican presidents alike.

Which scientist who is both "more scientific" and "less political" would qualify in your view? How would you assess this?
Parler Hacked
An Early Look at the Parler Online Social Network [pdf]
Considering that American big tech has now conquered the world, they (the US govt) probably don’t want to appear nationalistic.
I think Clubhouse will be dead when Twitter Spaces gets launched. For one, it won't halt user intake.
Ok, so you make pure functions and turn them dirty, so to speak. Makes sense.

In our case, almost all core code depends on various parameters, which come from the database.

For example, GB recently left the EU so everything involving GB is now processed under different rules, except old stuff which has to be processed under the old rules. Thus being part of EU or not is a date-dependent database query (it already was, not the first time a country's EU status has changed).

So if I get your explanation correctly, I'd code the core logic as if these parameters were pure, side-effect free, which would make the core logic side-effect free. In the case above, I'd pass a function which maps a (pure) date and string into a (pure) bool, to test for EU membership.

I'd then turn that whole thing dirty via the IO thingy, passing "IO parameters" and receiving "IO results", so I can pass it my EU test function which does a database query.

edit: And I presume my "dirty" database-connecting function can also mutate things, so it can do caching. Don't want to hit that database too often.
I have no idea whether Hyundai made a good deal for itself, but I think it's healthy to approach any acquisition or valuation with skepticism.

Corporate M&A seems especially affected by misperception and bad incentives. Executives often want to expand their kingdoms, even at the expense of shareholders. They also suffer from "shiny new object" syndrome - buying whatever's sexy.

Potentially worse, there's the "winner's curse" in auctions. About 7 years ago, Joseph A. Bank tried to buy its larger competitor, Men's Wearhouse. Men's Wearhouse then surprised Bank's execs by making a counter-offer. They got into a bidding war against each other, neither side wanting to "lose," with Men's Wearhouse "winning" by buying its smaller competitor for $1.8B. And we know, even pre-pandemic, how that story turned out!

Point is: don't weigh too heavily what other people will pay for a company today... weigh more what your analysis suggests the company will produce in the future (not what other people will pay in the future).
How exactly? You mean something like a self riding horse?
Life Saving Therapy Inhibition by Phones Containing Magnets
In response to right wing terrorism en masse attacking the Governor in Michigan and the US Capitol _one_ right wing podcast host with a history of calling for violence was deplatformed. Hardly an all out war.

Many right wing folks have strongly benefited from YouTube and these platforms - including Trump. Dave Rubin, Ben Shapiro, Jordan Peterson, Prager U, Alex Jones...

All conservatives aren’t banned. This is a straw man. Bannon has called for violence many times - and violence has happened. No company is obligated to support this. He has his website Breitbart to continue his action.

If this were an “all out war” the others wouldn’t be benefiting from the YouTube algorithm of Twitter. It doesn’t seem like banning the open calling for violence is a feature of a dystopia.
This gave me a good chuckle
Despite internationalization, I still see this as a trivial issue. Just use a map:

const plurals = {'en': { 'message': 'messages' }, 'de': { 'Nachricht': 'Nachrichten' };

You can add grammatical cases to the map to handle different plural forms. It's not like you'll need a big list/map since you're likely to use it in only a few places.
Usually big cities try things like bicycle lanes. This has moderate success for brave bicycle riders but probably is not a safe for less brave riders around cars that aren't used to bicycles.

I keep trying to point my local government, since they've already taken my money anyway, towards the Bentonville model. Instead of building bike lanes, build single track that runs through the town. This has been incredibly successful for them. Instead of building sidewalks they build dirt paths.

The other option is streamway buffer trails which completely remove bikes from traffic and provide shortcuts without red lights through the city.
I wonder if there is any connection - is there some use apple cars could get out of boston dynamics technology?
>This has somehow gotten worse in recent years

I used to contribute bugfixes to Gnome2 in months before Gnome 3 was released. I observed product plan for Gnome 3 and was joking Gnome 3 will be just a red button that farts.

So many functionalities removed, slower response time, regressions and defects everywhere, broken user experience worse than what Window 10 gave us later. I moved to XFCE and then to Plasma.
Magnitude depends on a combination of both prior and current circumstance, personal assumptions, learned experience perceived or real. There might also be some genetic element involved, but I digress. Because of this, tolerance (or quanta of tolerance) is subject to an iterative prisoner's dilemma subject to the sometimes irrational form of pattern matching. Even if we all used the same coordinate system for tolerance, the quadrants for tolerable and intolerable will differ in both scope and magnitude.
Gateau, Simple Ghost Theme
Gateau, simple ghost theme
Hour-by-hour multi-year simulations show the US grid can be ran with 90% clean power with current technology. "Clean" being the current nuke and hydro fleet plus a massive expansion of wind, solar and storage.

The latest such simulation I've seen is the 2035 Report from Berkeley, I wrote a summary of it here: https://climate.davis-hansson.com/p/90percent-grid/

You can read the full report here: https://www.2035report.com/
I wonder if it would be possible to have something like qubes or maybe like docker that could run a full-fledged, sandboxed Android instance for a single app, while running FOSS like a sane person as your primary ecosystem.
Prouduct Help Me Sexual Health in 3 Weeks
The Complete Python Development Guide
Dave Troy: “So, let's talk about Parler... Alina is from Kazan, Russia.” (2020)
I appreciate that you wrote that you "feel" more productive with python. I 100% agree with this feeling at most scales of code size, and the feeling matches reality at the small scale. However, I've found that this feeling of productivity doesn't match reality in the large. I use Haskell for programming in the large despite this feeling of unproductivity, because in fact, I am way more productive.
Do you know who your Mayor is? Do you think others do?
>Now we have half the software, no manual and often it still confuses users :-)

I was going through the contents of a storage unit and came across one of those old digital executive day planner things from the 80's, still bundled with the manual.

I cannot describe the sudden surge of childlike happiness. I loved reading about how to use things as a kid, and the little fold out pamphlets giving you a roadmap into efficiently using a device/software filled me with many hours of happiness and confidence as a child.

I now do my best to WTFM (Write The Frigging Manual) where I work. It's amazing how quick something can be picked up with a little bit of guidance.
All the key influencers and thought leaders who have been bemoaning the outsized influence of social media are now clamoring to join an app that lets you literally scream at people.

Keyboard Warriors are so 2020...we've upgraded to Scream Mobs!
MIUI also allows you to sort apps by installation time
There are plenty of people that have never used the internet, so quitting the internet depends on what dependencies you have added to it. Cut those dependencies and you can hit the power switch.
Let's Bring Spacer GIFs Back (React.js)
> No one was planning the looting of a store three weeks in advance

The nightly riots in Portland and other cities were planned and organized in advance through messaging and social apps as well as with physical posters. You can find the screen caps and photos online if you look. There were also several instances where groups of people were arrested after crossing state lines to attend riots. Both sides have bad actors and no one is absolved. The main contention here seems to be that many people rightly want the law applied equally to both sides but there is a clear bias evidenced by the amnesia or blindness that people seem to be suffering regarding the last year.
Would the corollary be that autonomous cars should have a certification for self-driving, similar to the FAA certification? Possibly an extension of their car safety rating?
I Will Help You to Sexual Health in 7 Days
Hang on a second, something is fishy here. I had an issue that the mirrors what was happening on the zxing reviews. I was getting a full page ad every 15 minutes or so after unlocking my phone.

The rub? It wasn't this app. It was another one that was also called barcode scanner. It was also beginning to garner negative reviews, which the developer (had a Ukranian email address) had begun responding to saying the app was perfectly legal because it was serving ads only inside the app itself.

I'm wondering if that deluge of bad reviews is directed at the wrong app? I'll look to see if I can still find the google play page for the one I had.

Also, I had that app for a LONG time before it started displaying this kind of behavior just last month, which also corresponds to the bad reviews starting on the zxing app.
The Pinephone comes with a USB gadget driver that presents the phone as a NIC. Plug it into a laptop, and the laptop can then be used as a terminal for the phone simply by sshing into it. X forwarding works, so you can practically run desktop programs that would be cumbersome to run with a touchscreen.

You could probably do the same with a Raspberry Pi, but it might be trickier to do with an Android phone. A phone that supports Termux or UserLAnd would work well if you used adb port forwarding.
Lilly Alzheimer’s Drug Helped Patients in Small Trial
Donanemab slowed cognitive and functional decline of patients with mild Alzheimer’s by 32% compared with placebo

Link to press release: https://www.prnewswire.com/news-releases/lillys-donanemab-sl...
> How can this ever be read as "find the votes that existed that you shred"? Especially considering that he goes on to claim he won by "hundreds of thousands" of votes. Shouldn't he be interested in uncovering that massive fraud, therefore supporting his assertions that it actually happened?

Your unconscious bias against Trump is what is defining your interpretation of that exchange. A person not trying to find something wrong with everything he says will interpret it the way I did. Using your same logic, if he won by hundreds of thousands then why does 11,780 matter enough to commit a felony?

> Come on, Fox News has been doing this since the 90s. They literally posted an article suggesting their base drive their trucks into protestors[1].

And many have moved on from Fox News as a result. But the same can't be said for the left and CNN. Further, your still not tending to the divide, just jumping onto the problem and saying "me too".

> Those poor, innocent, conservatives being attacked by the thugs in the mainstream liberal media.

Great job
> Here’s a compilation of liberal protesters getting pushed out of the way by cars and trucks,” wrote the article’s author. “Study the technique; it may prove useful in the next four years.

Isn't this promoting violence? Why was the author not banned from the world?

> Note that Fox and Trump have pushed these people so far that even Fox has lost control of them, and are now branded "traitors" for anything other than tacit support of their worst behaviour. They were literally calling to hang their own Vice President just last week.

Quit pointing fingers. You want to blame Fox (again with Fox) and ignore the yelling and screaming the left did over the last 4 years. You want to ignore the forced conversions (that have always historically failed). You want to ignore cancel culture. And again, the left wants to take statements and twist them to make some outlandish point. It's only going to divide us more.
any eta on when twitter spaces launches to the public?
Another typical US approach to public opinion: cleanse the news channel of annoying opinion bearers instead of educating the masses to apply critical thinking and getting them acquainted with a larger spectrum of ideas.

How funny to have this coming from a country that advertises freedom of speech as its core values.

People with radical ideas and from the extreme ends of any spectrum deserve the be maintained in the conversation and deserve a voice. Always. The issue isn't they have a voice therefore banning them cannot be an acceptable solution. The large number of people that resonate with those extreme ideas are either in deer life conditions or massively uneducated. Why not start debugging the problem there?

Silencing voices is never a good idea. It's also quite a shame you allow Google/Youtube/Twitter/FB and other big commercial tech companies to decide on your behalf what is socially acceptable and what is not. These are the same companies training your brain with their apps to respond to their commercial interests.

Also, there is a gigantic space between demanding people to take any type of action and becoming violent. Maybe you should stop all Hollywood productions that involve people threatening/killing/inciting each other to commit acts of any sort of violence too.

Lastly, the American society, does cultivate from early days fanaticism. As a European that lived in US for the last 12 years you cannot not see this. Fanatical support for your local sports team, high school team, university, political party and/or faction, city and country is something that is being cultivated and developed from the youngest age. People take pride in bearing a label for generations the label being anything from political affiliation to sport team fans. Continuing the tradition is being perceived as more important than the ideals/ideas one stands for under that particular label.
https://webcache.googleusercontent.com/search?q=cache:https%...
Http4k v4: 17 platforms and counting
>grocery store checkout-lane Lightning charging cable

is how you burn your Tristar in the best case scenario, and a House if you are unlucky

https://www.goodmorningamerica.com/living/story/gma-investig...

https://www.vice.com/en/article/bj34z5/why-counterfeit-light...

'Jessa Jones, owner of iPad Rehab in Honeoye Falls' cited above is a legend https://www.youtube.com/c/Mendonipadrehab/videos
This is stupid pedantry.
I'm not sure what linking to this blog adds - here's a direct link to the article it relates to.

https://distractionware.com/blog/2021/01/featured-vvvvvv-lev...