skysight-inc/HackerNews huggingface dataset:
You’re both right. It’s true the practical aspects many it hard to change laws, but I still appreciate OP’s starting from first principles.

It’s easy to get caught up in debates over how to interpret current laws and conflate what’s legal with what’s (a) ethical (b) conducive to progress. However, we shouldn’t lose sight of the fact that these laws are merely social contracts and subject to change with enough impetus and savvy.
Could you link to something that sets this out? From what I am seeing (just reading in response to your comment, I don’t use pgo myself), both the container and pgo repos have an apache license.
Sorry, but not good. Too many statements on one line. By indenting the functions, you lose too much space at left of the screen. If I had to work with this code, the first thing I would do would be to completely reformat it.

However, if you are the only person maintaining this code, chacun à son goût!
> professionalism

One short story about how I got a rude email one morning at work saying we need to change all our connection strings in production (internal applications) because machinename1234.corporation.lan doesn't work anymore so they moved it to a new machine machinename1235.corporation.lan

I still don't know how someone at one of the top five Internet providers in the nation thought it was acceptable to do that instead of renaming the new machine to the old one. It isn't like we were pinning certificates or something fancy. I am pretty sure the certificates were self signed, which is ok for on prem.

> How many companies don't even have visibility of the 1000s of web servers that have been accumulated over the years of merges and divisions etc?

I wish we had thousands of web servers. At one place I worked at it was the same set of few windows server boxes for everyone and everyone keeps tripping on one another's toes leading people to say well QA and preproduction are broken it will be fine once we are on production.
:(

I'll try to get to that.
I have known dozens of people who would gladly pay $20 a month to have a platform where they can freely share their writings and discuss with like-minded people -- small clubs, if you will.

Some still use Facebook and complain about limitations to this day. Though as much as I'll never like Facebook, they do a good job and have the functionality; where they lose people is starting to shove irrelevant seemingly outrageous posts to make people click on more stuff.

Medium and Twitter have a real thing going on where they absolutely can monetize part of their user base. Have 50k people pay $20 a month, you got $1M monthly revenue. Easier said than done of course but it's achievable. There are a lot of book and art nerds out there and not all of them count pennies.

The internet business models largely missed out on such opportunities. They are myopic and laser-focus on what SEEMS to be the biggest earning strategy to them. They completely miss the fact that people still love to gather and discuss with like-minded people.

Finally, of course there are other services doing this for free so the value proposition might be hard -- but again, it's achievable. Remove trackers, minimize telemetry (as a dev I understand you can't do without 100% of it), remove ads for paid users, make the site fast. People will hear about it and come.

But of course, somebody in the board says "we need more engagement and more ad revenue next month" and all mid- and long-term strategies get thrown in the bin right there and then. A kinda sorta tragedy of the commons thing in internet creator monetization businesses.
> Exploring the impact of code style in identifying good programmers

Perhaps the paper should be re-titled "Exploring the impact of code style in identifying programmers who can configure their IDE"

Modern IDEs have hundreds of knobs and dials you can tweak so that your code can confirm to any style you fancy.

Therefore if you are identifying programmers by coding style, what you are most likely doing is identifying people who can correctly configure an IDE.

Or, in other words, identifying people who can RTFM. ;-)
Anyone have recommendations for how to get a code mentor? Aside from people at work. I work for myself, by myself now.

I want to write better quality code: less fragile, easier to change. Which is something I haven’t really done for one reason or another. Now, to level up my development skills, I just finished reading Philosophy of Software Design, Clean Architecture, and Design Patterns. I guess Stackoverflow is a good place for me to get most questions answered. But I like the idea of an “in-person” mentor who can help me discover things I don’t know I don’t know. Things about the general “art” of being a good developer that seems to encompass much more than just knowledge about what good code is like.
Sure, the subset of people mentioning any trait is more likely to want that trait than the subset who doesn't mention it. But that doesn't mean the individual is accurately self evaluating what they want, especially when it comes to intangible things like open-mindedness. I assume preferenced on physical/tangible traits are more consistent between stated preference and reality.
Create a scalable node pool just for databases. Each node with the right amount of memory (125% of what the a database instance will use) and CPU (db + 1 for kubernetes' infra).

Taint the node pool so that only the database can tolerate it.

Presto. Now when you scale up N instances, N new nodes are created.
So because the type system is far far far far less polymorphic than the underlying code, we're to monomorphize the code manually?

Angry rant: maybe mypy (and its PEPs) can be designed well? Maybe tacking java on top of python was a terrible idea, and python is much better than this awful type system.

cf. the syntactical catastrophe that is "protocols". Consider that to type `+` correctly, you're writing >dozen lines of python.

This is mad, and the type system shouldnt have been designed by people this inexperienced with type systems.
For me biggest killer feature in Gentoo would be decoupling building and installing process. eg. I run emerge on my low power laptop and it contacts my server to build binary packages with exact cflags and use flags requested by client. something jak distcc but on package level.
If an artists work is used in training an AI model without a license, should it be legal to distribute the images generated by that AI model?

What about distributing the AI model itself?

Would you use an online service if the Terms and Conditions stated that "You agree that content uploaded to this service may be used in training AI models without compensation, rights or acknowledgement"?
It seems to me that the author isn't comfortable with static typing. The obvious solution (which might be impossible in MyPy?) is to have a two-parameter type class (protocol in MyPy?) of the lhs and rhs, and have the output be of an associated type. That should cover almost all cases.
I used to think like that, stored everything in Pinboard, tagged properly. I also used to use nvalt (https://brettterpstra.com/projects/nvalt/) for that as it had good search and I didn't have to switch to other tabs to search Pinboard.

It felt good to "catalog" all this knowledge but in reality I never went back to it, just like bookmarks and I realized that if something is important enough I'll always be able to re-find or re-download almost everything I ever found.

Not feeling like you have to catalog and store everything in personal knowledge management apps is very liberating.
> Everyone knows that the term machine learning doesn't actually have anything to do with human learning, right

Unfortunately the answer is definitely no. People have heard the terms “learning” and “train” in this context and have anthropomorphized weak AI.

The level of ignorance on display is sad to witness.
The most interesting thing to me is how these systems are text-based. Before you could pick up a mouse/pencil and draw directly. Now we're describing art. Same thing will happen to code. This will increase attention to language, which tends to increase social cohesion, not to mention productivity gains. Maybe even one day advanced mathematical theories will be abstracted away from numbers.
Right or no right, I would rather not make my smartphone the focus of police attention at any stage.

I don't know how it is with other OS/phones, but my phone can take photos/video without unlocking. It's dangerous enough to stick a camera in a cop's face, but if you stick an unlocked phone in their face then I wouldn't really blame them for doing a little "asset forfeiture" on the spot. And then your active, locked or unlocked phone is in the custody of police.

If I had advance notice of a police confrontation, I'd be putting my phone in lockdown/shutdown mode. And if I were going to a rally/protest/riot/anything political, I'd be removing my sdcard and probably SIM card too, to leave them at home, and show up with a phone that's as empty as possible.

This whole bit about waving QR codes as event tickets or mobile transit passes bugs me. There is now even electronic driver's license and ID cards. Because the more we're accustomed to waving around our unlocked phones in busy, public areas, the more risk we face from cops, criminals, or whoever wants to seize that unlocked phone and do some real damage with open access to our accounts.

I'm perfectly OK with handing over a physical driver's license or passport to law enforcement in order to prove my identity. It's a whole other ball of wax to present an unlocked smartphone for that purpose, but that's the way we're heading.
> Farmers are their Amazon warehouse workforce, not trained to understand anything, but to execute protocols to the letter, or else.

That's wildly inaccurate
I worked with a guy ten+ years ago that used so much whitespace it was unreasonable.

Literal full screen worth of newlines between thoughts. Indentation the reasoning behind only he knew - if there even were any.

I've never seen anything like it before or since.

I'd say otherwise he was a pretty average programmer.

Interesting job, that. We all had our own projects fully ours unless we went on vacation, it made weird formating choices like that largely not a problem.
You do understand that this reasoning cuts both ways. It is much more likely (and mainstream) for the man in the relationship to not tolerate views from their partner that could invalidate or compete with his position, to paraphrase your words.

As an example, respectful disagreement with the man in a relationship is explicitly discouraged by conservative Christianity. Women are encouraged to have "loving submission" to their husbands. Just Google "biblical meaning of submission in marriage" if you want a citation.
Until then, we shouldn't just assert that it's false either.

GPT-3 is coming quite close to being able to write novel convincing research papers. With GPT-4 and GPT-5 on the horizon I don't see why language models couldn't be significantly involved in winning a Nobel prize in the future. At least I wouldn't categorically exclude that possibility.
This might add value to art that machines can't do yet, like oil painting. A painter could film themselves creating the art. You could go and see them painting.
Americans (younger ones anyways), simply don't seem to know how to date to put it bluntly. I've been on Tinder in the US and to a lesser extent Canada, and everyone is hyper demanding and -- particularly women lately -- demand that the other person "proves" this or that (how cool they are, or how worthy of being paid attention to, etc). For hookups Tinder isn't bad, but for relationships it should be avoided at all costs, especially if you are somewhat docile. :P

Badoo and OKCupid are somehwhat better.

In other countries (Europe and Asia say), people date more normally - or as you would expect. "You seem nice, want to meet for coffee?" / "Sure."
Analogy time:

Arguing if a new tech is legal is like saying the Earth is flat.

Arguing that we can create and alter the laws and should therefore be discussing if we want this tech to be legal, that's like saying the Earth is a sphere.

Both are wrong, but treating them as equivalent is even more wrong than both of them.

> You can't make any law you want, and keep a free society. You can't tell people they can't train neural nets with publicly available data. You can't tell people they can't run something like stable diffusion without getting output approved by some approved entity.

Depends what you count as "a free society".

There are things which I'm not allowed to take photographs of or record videos of, such as the screen of a cinema while it's playing the latest superhero film.

There are communications I am not allowed to make, such as the sequence of bits required to recreate even an approximation of the new song from that famous pop singer everyone likes.

There is data I'm not allowed to be given or store, like a random stranger's medical records.

You're allowed to be an anarchist and say those things should be legal, but most people don't really care very much about any of that — closest we get is people campaigning to "keep memes legal".

Hmm.

I'm no lawyer, but there's probably one here: what even is the legal status of companies selling the service of searchable archives of screenshots with text on them and short video clips? Is that "fair use" or "probably copyright infringement but nobody cares" or "they all need to be licensed, there was a court case"? (I assume it varies by jurisdiction, an answer in any will do).
Gentoo rocks. Installing Gentoo is a wonderful learning experience and it's the most flexible distro out there -- especially if you need to run a patched userland.

Not mentioned: Gentoo Prefix project is useful for managing a Gentoo installation that is at a path other than /. We use it for building our Linux development environment.

See [1] to give it a try. Warning! It will compile almost everything so it's going to take a bit of time!

[1]: https://wiki.gentoo.org/wiki/Project:Prefix/Bootstrap#Perfor...
> I don't see how any corporation should be able to consume someone's copyrighted work without their permission and make something of it.

I'm not quite sure where I stand yet on this issue. I wonder, though, if an individual artist studies another long-dead artist's work, practices that style of painting/drawing/whatever, and then produces something in that same vein that is clearly inspired by the artist...is there a copyright issue? My instinct would be to answer 'no' as this is what art and inspiration has always been about. No one had to pay to look at Da Vinci's work or study a Renoir - the art was publicly available.

Now, with OpenAI, the capacity to 'study' an artist and produce something in their style is available to all. If the work is publicly available, is a machine studying/learning from it any different to an art student in a museum? And if OpenAI generates an image in the style of Da Vinci, should it be paying someone for doing so?

Again, my instinct is 'no'. I can understand why an artist working today might see things very differently but unless the source material was locked up or otherwise not available for people to see, study and learn from, I am not yet convinced there is a big difference between thousands of humans studying and imitating a master artist and a machine studying and imitating a master artist.
I really loved Gentoo as my main distro around 2005 or so. It was so nicely customizable and (comparatively) bleeding-edge. But then compiling everything seemed so wasteful in terms of CPU time and power in the end. X.org or GCC updates had to run overnight because the computer was pretty much unusable while that happened. So I eventually switched to boring old Debian, which is so nice and simple.

Still, good to see that it's still around, and there's an active community! I might even install it on some box I've got lying around.
> make Jobs more efficient

The important thing here is not if jobs are getting more efficient or not, it's that everyone gets the same boost. All companies will get the same AI, and that makes people the differentiating factor. Let's stop with the theories of job loss by AI automation, competition will have humans+AI and beat your company that uses AI alone.

The early Google for example was also an AI. But it was open to everyone, nobody got exclusive Google access. So we all benefited equally and there were no overall job losses.
Building a successful relationship is way more about friendship than sex.
> disallowing the developer from adding any value via formatting

formatting doesn't add value. no one formatting is going to please everyone, so it follows that any formatting is going to piss someone off. So I think the point from the Go team is to remove that distraction and let people focus on whats actually important, the code itself.
For those interested in PKM, that's also how I manage mine but I follow something closer to Tiago Forte's "Building a second brain" method.

I use Logseq, and I have a sandbox for the particular day. Using Tagging, I can have a #inbox #interest - or any sort of sorting, and then create queries for pages where I process that reading when it's tied to a project. A lot of them never end up being read, and as they go further down the list, they become less important to me.
Trying to pretend LAION has any culpability is how you know this is bunk.

It's a list of links to publically available content. The metadata is the alt-text of the linked images.

No one has the ability to demand they not be linked to, because otherwise the simple solution is "stop hosting" or "add authentication" and the ramifications of any other conclusion break the internet (EU right-to-forget would apply, but that compels action after a request, it doesn't imply linking is illegal).
I know somebody who made a small fortune by matchmaking her own brides catalogue. Like, not just organizing the get-togethers and technicalities, but actually working to know both sides and, well, match them on the person level. So by my 1-sized sample I would say human touch can still beat algorithms.
Actually both.

Let's say that on desired page, you have three components with dates somewhere - date of article, dates of comments below and date of last login in the header.

After some user action, you navigate to this page. In Elm terms that mean your Model updates and then your rendering functions will run.

Only then you can see that you need to format dates - your rendering function should be responsible for formatting.

Rendering function should be synchronous - so you need to return some string for date - "loading state" or default format. So user gets "flash of unformatted date".

Now, you should somehow communicate with Port - that mean, send asynchronous message "format this date for me". (And sending messages in render function is not something really supported out of the box in Elm)

Then Port comes back with response, you need to put this formatted value in your global Model (some kind of Dict from unformatted to formatted dates?) and that triggers another render with formatted value.

In summary:
- you have multiple render loops where one would be enough
- you pollute your global Model with junk that could be easily derived
- you introduce latency in rendering because Ports are asynchronous

Ports are great for interaction - user clicks something, you can send command and wait for response and update your model. But there are a lot of cases where you want use synchronous, pure function from Javascript like Intl API.
There could be differences in definition between two groups, such as who considers themselves to be in a committed relationship. However, I agree that it appears they have some sampling problems. Also, the methodology is not apparent aside from sample size and I couldn't find it anywhere.
> Dynamically typed languages can have strong type systems, eg Haskell, some parts of Rust can be inferred.

To be strictly accurate, Rust and Haskell both have strict type systems. It's just that like you mentioned, the types are often inferred at compile time via type inference rules.

This differs from dynamically typed languages as inferred types always have a statically known type while dynamic types have a type which is interpreted at runtime and which can be reinterpreted.
I’ve written quite a bit of elm professionally and it was an issue for me and was a contributing factor (but not sole factor) to leaving Elm behind.

A viable solution to my problem in professional contexts would have been private packages, which I believe Gren supports, so perhaps Gren would be a solution today, but I’ve moved on. That said, what’s happening with Gren is interesting and I applaud it.
As someone who frequently recompiles ungoogled chrommium on arch, I hate to even imagine the pain of Gentoo.
Yep! That was one plan for deploying cr-sqlite to "the cloud."

D1, unfortunately, doesn't support loading extensions into SQLite.

fly.io, and their sqlite solution, does however!

I've been using fly.io to run cr-sqlite in the cloud and act as a sync server for non peer to peer use cases. Eventually I'll have finished up a re-write of strut.io[1] atop vlcn/cr-sqlite which'll serve as a good end to end example of how to make applications with this sort of architecture.

Some discussion about this setup on the fly.io forums: https://community.fly.io/t/litefs-many-tens-to-hundreds-of-t...

[1] https://github.com/tantaman/strut
Both MS and Google are evil. Therefore, there is no reason for VS code to enable this tracking; the same goes for Golang and Google. What next? Adblocker/tracker blocker extension for IDEs and compilers?
For those looking to find this specifically, it's about 79% of the way to the bottom with sub-heading:

> Bluetooth Support for Pico W (BETA)
The support is currently available as a beta. More details will be forthcoming with the actual release.
In the meantime, there are examples in pico-examples.
They pretty much ripped out everything, no ads/shop/telemetry/updates. It will be stable and not shutdown for updates during work but still, secure looks different. Could work well, if you only allow JavaScript selectively (main threat vector nowadays) and know how to handle email attachments from strangers proposing the deal of your lifetime etc.
I saw that top for the number of single men vs single women, especially considering that women account for 51% of the population. I wonder if there was selection bias, or even if there could be some participants lying due to embarrassment of being single. Although your same-sex and multi relationship thing could be worth looking into. I don't know the numbers, but anecdotally I know way more lesbian women than gay men. And it's a trope that couple look for unicorns (indicating demand).
Actually, the limited precision is the default (caused by the numerator as well as the denominator having to fit in a 64-bit integer).

By default, when it not longer fits, it will convert to floating point (called Num in Raku). But this behaviour can be set: another alternative is for the numerator and denominator both being big integers. This gives you infinite precision rational numbers, at the expense of potentially needing infinite CPU and/or RAM.