skysight-inc/HackerNews huggingface dataset:
Whatever frustration I feel at some of the actions of some environmentalists, pales in comparison to the frustration I feel when I read about the inaction and iniquities of so-called leaders, the wealthy, and those with influence.

What a strange and tiresome article.
Most subscription services are too expensive for the average user. They're great for B2B but as a user I rarely get enough value out of them to subscribe, with some exceptions.
I think tsoding has the wrong idea here. Most mathematicians are not working on GHC or Haskell standards or even using Haskell. Most are still doing mathematics on pen and paper. Many use packages like Sage or Wolfram alpha. Few are using interactive theorem provers like Lean.

Haskell is a poor language to be doing mathematics in.

I’d say the majority of people working GHC are software developers and CS researchers. They’re a friendly bunch.

What’s holding back tooling is that the developers of the de-facto compiler for Haskell are spread out amongst several organizations and there isn’t tens of millions of dollars funding their efforts. It’s mostly run by volunteers. And not the volume of “volunteers” you get on GCC or the like either.

That makes GHC and Haskell quite impressive in my books.

There are other factors of course but the tooling is improving bit by bit.

The whole “Haskell is for research” meme needs to go into the dustbin.
Python's pandas library essentially does this when creating a DataFrame object from a CSV file. Of course, it's not always correct, but may be a starting point for your use case.
He shouldn’t be be a pedo creep and they wouldn’t have.
Its also a big problem for me because I want a super cheap phone plan, I dont need a good or fast service, I dont really need a phone number, but I need reliable and secure account for stuff like this. Can't wait for SMS 2FA to disappear.
Supervillains? Toddlers? These are nonviolent protestors attempting to draw attention to the imminent, massive threat to our planet’s biological systems. If you find their methods annoying or childish: (a) good, at least we’re now talking about it, (b) do you have a better idea?
Tom-Tom is worse than Google map for direction, and also dash unit is always not up to date, no traffic... But I really like open streetmap, and in my area it is better than google map. I hope they will be able to innovate against google.
Your carrier can not track you nearly as detailed as google can. Your carrier doesn't know which sites you visit (only the IPs) and they especially don't know how long you look at what, what you're buying, etc. Their location tracking is only exact to a few hundred meters whereas google can locate you with very high accuracy.

Personally, I have two reasons to avoid Google and other tech monopolies:
1. I don't want the government to be able to subpoena my data
2. I don't want to be cut off from my digital life just because some employee clicks a button. That means I'm self hosting as much as possible.
So if I put my location on twitter to Burundi, then request a blue checkmark, I'd get it for $0.80/month? Or would they have a team of people verifying that I'm from the country I say I am? Oh, wait.

Point being: this whole thing was terribly poorly thought out, a lot of details left uncovered, in a niche where exactly those details are of crucial importance.
The psychology of architecture and the architecture of psychology
How is this fundamentally different than something like KeyBase other than the aspect of centralizing issuance control into the hands of large entities?
What domain out of curiosity?
I solved that particular issue by using this in my .bashrc

#write to history file at each shell prompt

export PROMPT_COMMAND="history -a; history -c; history -r; $PROMPT_COMMAND"

(Unless I read your comment wrong.)
Apparently the president of Turkey is convinced that it’s high rates that cause inflation. They’re cutting rates as inflation runs at 83%.
It's not really a double dip. It's more like a triple dip, as they charge the designers for the physical samples, then they charge the designers in order to reference those physical samples in their Photoshop designs, and then they charge the printers in order to produce the output that the Photoshop files are referencing.
Have you checked out Elixir?

- Can be deployed to Heroku or Fly.io without much effort

- Well designed tools like mix

- There is a thriving community

- "basic open source libraries" highly depends on the context, but yes there are not as many as for more popular languages (yet)
https://archive.ph/gLOZa
"Has no choice but to pay for it" != "doesn't mind paying for it."

Lots of graphic designers, "employed" as contractors, have to pay for photoshop.

One of the reasons Adobe moved to this "cloud" shit is because lot of large companies tended to delay upgrading for quite some time...not because they couldn't afford it, but because most of their bargain-basement labor force couldn't.
Yeah, that's my experience too. Google doesn't like new domains, but at least accepts mail and delivers to spam (or to the inbox once the domain is old enough). Microsoft just refuses all mail if you host on a VPS whenever someone else on the block (NOT the same IP) misbehaves (or is accused of misbehaving, not sure).
Which headless system are you using? Build it yourself, a tech-forward option like medusa or elastic path?
That's literally what WSLg is.
Here’s the link: https://consumercomplaints.fcc.gov/hc/en-us/requests/new?tic...
You can always pin your package versions (or image hash) to whatever is in RHEL. So far, all my CentOS stream boxes have been remarkably stable.

And that's for my pets. The cattle is blissfully unaware of anything different.
The risk from handshakes (or other surfaces) is considered pretty low: https://www.cdc.gov/coronavirus/2019-ncov/more/science-and-r...

Of course the risk-averse would not be satisfied with "pretty low risk" and can still refuse handshakes. I remember reading that for someone to give you Covid through a handshake, they'd have to cough into their hand, shake your hand, and you'd have to put your hand close to your mouth/nose soon after that.

The Chinese government were reporting virus samples found on surfaces after 3 days, but these were tiny samples, tiny viral loads won't harm us.

Indoor masking is also not 100%, you can't smell Covid but you can smell cigarette smoke, I think an appropriate analogy is, if someone's been exhaling their cigarette-smoke-laden breath into a room for 30 minutes, and you walked into that room, would you smell the cigarette? Even with a Covid mask?
Only if you update everything blindly.
Fun fact: because of tkinter, Python embeds a TCL interpreter:

>>> import tkinter as tk
>>> tk.Tcl().eval('puts {hello, world}')
hello, world
''

So you could technically use TCL to query your DB if you cared.

But honestly, DB queries in real life is spread on threads, but then multiple processes, then a connection pool like pg bouncer, so you will unlikely see the difference most of the time. Not to mention the DB choice, the schema, the query quality, the DB configuration, the hardware and how complicated your request are all going to be more likely to affect the speed of request.

Still, interesting. Exploiting all those CPU in Python would cost a lot of RAM given how many processes you would have to spawn.

I would love to see the comparison using asyncio on uvloop to check the CPU are really the bottleneck though.
Google maps is fantastic. It beats literally everything else I can think of.

But that’s scary. I want a competitor that offers at least roughly similar quality, but Google is so far ahead that it’s no contest.
There's also a film by the same name about racing, so there might be some confusion https://en.wikipedia.org/wiki/Redline_(2009_film).
You can find knockoff of very good quality for a few bucks. I think they can control it better through Adobe licensing.
The overly simplified explanation is that the AI models see patterns in the training data that we do not.

Feed a system a series of pictures of stop signs, and humans might key on things like the red color, or the shape, or even the word "STOP". An AI model might also recognize that they commonly have 2 bolts, and are attached to a post, and have a contrasting border.

Typical machine vision systems can only classify what they have been trained on, they are ignorant to other objects. Train a system on a bunch of STOP signs, and then show it a SPEED LIMIT sign with morning sun giving the sign an amber glow, and the AI system might call it a STOP sign.

Again, this is an overly simplified explanation, but we can explain how AI works, we just can't always explain or know what parameters in the training data it keyed on.
>How would you react if someone came in and said "there is no real gravity; it's just that the earth loves us very much"? Or "there are no viruses and bacteria; we get sick from bad air and evil spirits"?

Gravity can be measured more objectively than social science (such as psychology) concept such as introvert/extrovert, which is determined by committees such as DSM IV or maybe now V. Introversion and extraversion are just one thing that is measured within a certain context.
It’s normally a good idea to understand something you are criticising. Pantone do not ‘claim’ colours. They provide exact colour mixes for a variety of differing substrates and materials that guarantees exact replication. For that vast majority of brands, publishers and manufacturers, this is very important and worth paying for.
There's this clip showing some experiments for the benefit of schoolchildren: https://reddit.com/comments/y2kjmi

I'm guessing this is an ongoing thing, and since the clip popped up on Reddit it seems at least ‘social media’ pick up on such output.
Same with macports. I ended up downloading the 14.1 Release Candidate to update for Ventura.
That's about 0.018% of total twitter user base (assuming total user base = 396.5 Million, 0.018 = 100*70K/396.5M). In relative numbers that's very little.
It may be possible to cram more neutrons into nuclei than previously thought
https://wiki.openstreetmap.org/wiki/Unreal_Engine
(removes diaper,. revealing two sub-diapers ) Shall we continue?
15M requests per month for a side project is difficult
> AI experts and researchers are warning developers to take a step back and focus more on how and why a system produces certain results than the fact that the system can accurately and rapidly produce them.

We need to find a way to incentivize that otherwise it’s not going to happen. Perhaps looking how the security industry works with “buy bounties” is a place to borrow ideas from?
Major retailer accepting Bitcoin payments in South Africa
It’s not really, you wouldn’t choose these colors from RGB/CMYK you’d use a sample book. It’s more the tool within PS to tell the printers easily which pantones you want to use.

You could of course not subscribe and communicate that manually, but I bet that’s frustrating if you’re an agency working on many brands not a in-house team.

$15 a month is a heavy subscription for the convenience though.
I sort of do this now...well, not trueNas...but a regular (though solidly running) PC...which has been on xubuntu for years, and i simply have a neat set of samba shares. I guess i was looking for something smaller, quieter, but mostly less power-sucking. Sure, i guess i can try and cobble something together out of NUCs, or somesuch small form factor PC...but was thinking about a dedicated NAS...but yeah, hardware concerns are a thing for me. But, right now, i still am leaning towards researching a dedicated, purpose-built NAS device.
The people whose problem the app solves would be organic users.

If the app doesn't solve a problem someone has, that's a problem.

If you can't find people with the problem the app solves, that's also a problem, but a different one.

If you built something but aren't sure it solves anyone's problem, that's a third type of problem.

Anyway, the best way to get organic users is to talk to people about their actual problems and build something that solves them.

Good luck.
Evolutionary-scale prediction of atomic protein structure with a language model
I have lots of things to hide.
Star Labs is in UK, but they claim to ship worldwide.

https://starlabs.systems/
What Is a Square?
Windows Subsystem for Android is now considered stable
Timing wise, ISS is at end of life, and replacement plans are a decade off. So, in a way this produces needed overlap (from a humanity standpoint).
I think he counts academic computer scientists more as mathematicians than developers.
American football players are often stereotyped as big and dumb but... football is complicated. Often needlessly so. It takes extensive knowledge of the rules of the game in order just to figure out what's going on.
Any change to an already running system requires careful consideration, small scale testing, gradual rollout, the ability to roll back if bugs appear, etc. This is basic stuff for most of us here.

Taking an example protest from the article, and reducing it to absurdity: we "just stop oil" right now, today. What happens? For one the majority of the human population which is concentrated in cities cannot feed itself. It's genocide.

So why do we keep hearing these over simplified solutions for political, social and moral problems (which I would argue are more complex systems than a software project)? I am genuinely interested in what causes this and it can be solved, as I see it as a rising problem which eats up valuable time and energy in our societies.
SiFive Announces New Cores, Bifurcates Line into Performance, Efficiency Cores
I wish that were true. Unfortunately, functional composition breaks down when functions have multiple return values, as is the case for everything that returns an `err, res` pair. So even with generics added, Go is still hostile to functional programming.

If Go gets a Result<T> generic type similar to the one in Rust to replace (err, res) that would work. That seems highly unlikely, however. The node.js community went through a similar migration from (err, res) callbacks to promises and it was quite painful, I think its highly unlikely this will happen in Go.
There is no free lunch. Its more like you expect some idealized absolutism in market economy from people who need to eat and pay their mortgages. Its uncommon to meet an adult with such expectations, its mostly reserved for children up to certain age.
Yes but they're not the only ones that play the lotto, not by a long shot.

The point is that going out of your way to say that poor people are the only ones dumb enough to buy lotto tickets is unnecessary.

Nobody calls sports betting a tax on the middle class.
Imagining a Better Internet
Andriod ftw
Trading is not exactly zero sum. Trading is price discovery + arbitrage, both of which are useful even if imperfect.
I doubt so. Mutation is incredibly powerful. Problem is that we don't understand it.
I think it's still comparable if you view it as "Generative AI is to CGI what CGI was to practical effects".

- CGI can be automated, practical effects required a lot of human work

- CGI content requires less skill. You had to train a lot to become good at sculpting / painting / makeup / carpentry / stunts / whatever to become good at practical effects. We already see people getting $MODELLING_PROGRAM proficient in a few weeks.

- producing practical effects required a lot of hardware, material and tools but with CGI you just need a powerful computer. CGI will soon be available to anybody as computers become cheaper

Your last two points are probably only true for AI generated content but there are still some barriers to people setting up their own AI models (technical know how, hardware) and there are certainly limitations on what type of content can be produced (you need a big and reliable dataset of examples).

Overall I think this will have a similar impact but probably more widely distributed in both terms of access and impact.
Looks like our environments are different. The environment we use is a descendant of Scientific Linux, so we always worked in (RHEL-1) environments. So pinning to RHEL is not helping us, again.
I feel like if people truly cared about what you had to say they would seek you out regardless of the platform. Follower numbers are glorified internet points meant to keep you engaged/chained to the platform.
Mastodon is a not for profit project ran by many community members in a federated fashion. What do they have to gain by „juicing“ their growth figures?
The most important quality I hear people are looking for in a replacement for Twitter is "Everyone else is on it" so they're all stuck in a catch 22. I don't think this energy to get off Twitter is going to go anywhere.
The first text sums it up:

It’s hard to learn

Which is refreshing to see just stated up front: FP is for smart people who have some motivation to learn something hard, even when there's a whole world of alternatives that are not "hard" to learn. in this writer's case, it appears to be they own a company and they've mandated everything be written in Haskell or PureScript, which will select for employees that are willing / able to do that, etc.

as long as humans are employed to write the code directly, "hard to learn" is a non starter for being the "future".
This is not a problem for labor, but for Capital and institutions used to obtaining labor on their terms.

If you need labor trained in your industry, train them. If you can’t attract labor, you will have to pay them more. Not you specifically, but in general.

[redacted broad statement on immigration and working conditions, as it is a complex topic and not all jobs and situations are the same]

https://www.epi.org/productivity-pay-gap/

https://www.hcamag.com/asia/news/general/american-workers-fa...

https://www.rand.org/education-and-labor/projects/american-w...

(Great blog post btw, here’s one that expands on it: https://archive.ph/2022.10.27-015740/https://www.businessins...)
Good for him. Collaborating with the CCP regime is not in the best interest of the US or other Western countries, and in fact, US policy would be better served in the long run by isolating and decoupling from China even more.
I'm looking forward to clients and services built around the at protocol
https://atproto.com/
>what, these are exactly the sites where you need aria tags, because they all have buttons and workflows the context and usage of which are totally obvious to anyone who can see and completely opaque otherwise.

The authors point was that you should rely first on the information you can communicate in the actual content, ie, a button with the content of 'submit', when it's inside a form element, is enough to communicate what it does to every user. But if you have multiple buttons that all say 'submit', and you can't consider changing the content to be more explicit, that's when you may want aria-label. The authors point was that this latter scenario is actually less common though, and I agree with them.
If a human looked at her art and then made new illustrations in the same style would that be ok? If so, why is it not ok for a computer to do it?
To me the problem of AI is not how it works but how reliable it works.

Do we have a way to test AI to prevent corner cases which could lead to catastrophic results?
If you have a problem with specific quest types, you can disable them in the settings.

If you feel like the question / answer should be improved, check the StreetComplete issue tracker for existing issues / discussions and if there isn't any matching, create a new one.
You may be using different software version, maybe they fixed it. It was very popular model, I really doubt if it had such serious issues it would not be fixed.

I found guy reporting it as software issue:
https://www.reddit.com/r/galaxys10/comments/bzv9oq/proximity...

though other says it's faulty design
https://www.reddit.com/r/galaxys10/comments/d94ob7/proximity...

Samsung recommended to return the phone, some people had luck with changing Touch sensitivity settings and Accidental touch protection
https://piunikaweb.com/2019/03/18/samsung-galaxy-s10-proximi...

possible to test it here to see whether it's hardware or software issue
https://forum.xda-developers.com/t/the-proximity-sensor-is-n...

But considering not all people have this problem it's either software error, software setting or some batches had hardware issue or they fixed the design.
If you have “Allow Multi-Device” enabled, your keys are stored on Authy’s servers. You simply download Authy on a new device, sign into your account and you are done.
Andy Warhol did something very similar to this with Avril Harrison's computer illustration of Venus. He just used the clone tool to add a third eye then called the result his own work. It even still had her signature on it.
They're not refuting the point or providing counterarguments, they're just questioning the lack of sources, which is valid.

It's down to the person making a claim to provide evidence. If someone points out that there is no evidence provided, that someone doesn't need to provide evidence themselves.

I mean yeah it's snarky, but it's a comment section on the internet.
Hmm, I wonder do they mean mastodon.social, or the whole network. I was trying to find network-wide stats and couldn't (it's a difficult problem, I suppose, in that it's not _really_ a single network).
And then you'd probably not get what you expect since your CMYK printer isn't calibrated like the print shop's printer is, despite having the same kind of paint.
You're using USAtoday facecheckers against a CDC director?

Do you feel this will be a convincing argument?
Free Twitter Spaces Downloader
UFS File-Based Optimization Patches for Linux “Complete and Utter Madness”
"He is of the generation that believed that design should last and that it shouldn’t be replaced every year,” says Sudjic

I'm still using a 27" 2012 iMac that, to me, looks as good as anything new they've produced. Ten years for a desktop machine sounds like a "win" for for both design and longevity.
Well, quite :) I don't see how the thing is supposed to work, given that people get other people's phone numbers when they change number. The only way to actually fix it is to stop uploading a user's contacts to their servers in the first place.
Lets take `map` for example. Before generics, you would have to reimplement map for every type combination. Each implementation would be done with a for loop. Now, while I'm willing to look over having one `map` implementation being done in imperative code and then everything else using that, I'm not exactly comfortable calling reimplementing map with imperative code for every type combination functional programming.
No one at the top cares about the creative tools part of the company whatsoever. They only bought Macromedia because Flash was the video player of the web. Think they all just care more about corporate PDF integrations than any of their creative tools.

All the dev team talent left or was outsourced and the only changes that seem to be able to ship consistently is web view based welcome screens.
While I agree it's a bad idea, there are nicer ways to communicate it to the person proposing the changes.
I’ll be interested to see if they also end legacy admissions, or only affirmative action. I expect the latter.
The idea behind my statement was that you won't get Linux any other way.
Let’s Declare a Pandemic Amnesty
Doesn't matter much, if most refer to them by ProtonMail, by their main product.

Same way people would refer to "Facebook" meaning the whole of Meta