skysight-inc/HackerNews huggingface dataset:
Within this context, what is the definition of "permissively licensed"? More to the point, are the terms of licenses of the code in the training set being honored?

There's not actually anything in GPL or any other major FOSS license that prohibits using it to train an AI. The controversy stems from Microsoft refusing to follow the terms of those licenses. If they could just fulfill their obligation to propagate copyright statements and license text there would be no controversy over copilot.

Thus stating that it was trained only on "permissive" licenses doesn't actually answer the question without defining what a permissive license is.
Rust also is functional by default with clearly distinguished imperative mechanisms. In my (admittedly limited) experience, Rust hews more towards the type theory of MLs and generally encourages programming with expressions rather than statements. The syntax is definitely less lispy but not so much that it’s hard to metaprogram.
Micro payments only make sense if the intrinsic transaction costs are (near) zero. Like reaching for your wallet to pick a coin to give to a homeless person.

With trusted third parties or block chains, the transaction costs are unfortunately much, much higher, especially initially without proper scales economics.
Schumpeter pointed out that innovation is rarely the result of free market regimes but instead of monopolistic competition. A situation in which individual winners temporarily capture markets and use high surplus returns to fund fundamentally expensive innovation. In dynamic economies usually a handful of firms dominate in the medium term. They're replaced across time, they don't compete in the same space. More and more complex and developed economies naturally move towards this because progress requires immense capital.

Under conditions of extremely free markets firms profits are reduced due to competition, consumers capture immediate value, but the sectors remain stagnant. An example are many service industries.

This also applies to open source software. it is by its nature extremely competitive and as a result almost all value is captured by its users. This is great at any given point in time, but it also means that open source software is constantly underfunded, and research is in fact ironically driven by surpluses of large firms.
Mulling over it. I feel the underlying solver itself is something I've invested a fair bit of time and I'm not sure I want to open source it yet. I might marinate on it a bit and do it in the future.
Old unibody MacBooks could do that. The lack of choice now is due to a non-standard architecture, which the Mac Pro seems to confirm (not “unibody”, but still the RAM is not extensible)
Agreed. Racial discrimination preferences won’t be missed.
same, KDE has great global menu support
In other words, Stock Android still isn't great. Samsung sometimes makes it better.
Income based help is the only non discriminatory way of admissions. Colleges dont like this because then the college would overwhelmingly reflect poor white people, and they would not be able to claim "diversity". No institution of wealth exists that does not play politics.

To demonstrate this fact you will overwhelmingly see black individuals from very white and non-poverty backgrounds graduating from unis. Most don't make it their first year, the costs are insane and the culture drinks its own Kool aid.

If blues legitimately cared about people the streets would back them - they do not. It's us vs gov.
If there was a computer that performed one operation per nanosecond and it would take 100 years to do a particular problem, then that same problem would be solved in approximately 3 microseconds on a machine that could perform the operation every yoctosecond.
Good job in making it open source!
We're building this as a hosted plug & play solution for Discord & Telegram integration, feel free to check it out: https://awesomeqa.xyz
Same here. GNOME is a powerful force driving people away from Gtk and towards Qt.
Interesting take. I've been climbing for 40+ years. Climbing walls (I'm a UKian) have definitely got much better, and there is definitely a huge community of gym only climbers, but I don't get the feeling that the better climbers and harder climbers are being pushed out of the walls.

My local wall (the very wonderful Frome Boulder Rooms) has problems that top out at about V8 or V9. But you know what, I haven't heard a single complaint that there are not enough hard problems. Most of the better boulderers there are working the V7s and V8s.

I'm intrigued by the claim that competition means that walls have less and less time to make a profit. To my mind, a good wall is like a good pub - it has both an offer and a culture that makes people come back. So good varied setting, and a good culture. Get those right and people will come back again and again.
That's exactly what the UK did when the Abolitionists ended British Slavery.

They achieved this by promising to repay slave owners for the "loss of chattel".

The UK Government repaid slave owners and carried the loss forward over the next 200 years until just a few years ago.

https://www.theguardian.com/commentisfree/2018/feb/12/treasu...
Who would pay to get a job ?
Unnecessary ad hominem. Every research tank is subsidized by someone.
> I hope the author realizes that Amazfit is owned by Huami which is a sister/sibling company of Xiaomi. And as of 2021 at least, they were the 3rd largest smartwatch maker after Apple and Samsung.

For some this association might be offputting. My current phone is by Xiaomi, as was the previous one, but my next won't be. There is a pile of stuff you can't (easily) uninstall that keeps trying to run and wants all sorts of odd perms for their task, heck the default clock on this device wanted location access before letting me set an alarm! (I just installed a different app), and they get good battery life scores by being _very_ aggressive about killing apps which is a pain for some things you might want to keep running in the background.

Can these watches be used without the company's own cloud stuff, and/or an advert laden app, or is that forced on you like like the inexpensive (and sometimes not so inexpensive!) home cameras from Yi and similar manufacturers?

> I'd expect their build quality to be at least quite decent on average,

That is certainly true with the phones I've used. The hardware seems as solid as similar (usually more expensive) devices, including the cameras being pretty decent.
?

I don't understand your point. Do you think it makes any difference whether I use my laptop, or a pen, or ChatGPT to violate copyright?
Peasants in Russia (and in Poland-Lithuania before it got conquered) were effectively slaves. They had to do free work, couldn't leave without permission of the landlord. Landlords were also acting as judges.

Landlords had monopoly on producing and selling alcohol, and they extracted as much additional income from that as they could. Which meant each of them had an inn which he rented out to someone. The inn was buying landlord's alcohol and encouraging or forcing peasants to buy it.

It was a common trick to have "all you can drink" passes for farmers. There were even attempts to force peasants to buy if they didn't wanted to - by introducing quotas and they had to pay for the whole amount even if they drank less.

When it comes to Slavic countries before 20th century - think American South before civil war, just both slaves and slave owners are white.
I assumed the point of this product was to buy it in a tax deferred account, then loan against it. You’d have zero risk of a margin call ever happening. Then after you’re dead it’s a guaranteed payoff of the loan. Would be a very very cheap way to convert your tax deferred accounts into tax free liquid cash now.
"Smart toaster" was an accidental feature of some Apple products.

I used to have a MBP laptop that basically doubled as a "smart" toaster, giving me something close to a sun burn if I used it on my lap. Even lap pads would warm to uncomfortable levels after a short usage time, until I found one with aerogel insulation.
I use new pipe for downloading and ReVanced for watching
What's worse, MSVC's 32-bit x86 ABI reports an 8-byte alignment requirement (via __alignof) for 64-bit integer types, and its struct layout algorithm uses that alignment to determine padding, but those integers and structs are only aligned to 4 bytes when allocated on the stack! This has caused issues with Rust code trying to link with MSVC code [0], since Rust's standard library documentation asserts that properly aligned pointers have addresses that are always a multiple of the alignment used for struct layout.

[0] https://github.com/rust-lang/rust/issues/112480
Yeah all I'm getting is depleted assortment of cutlery, plates, and flowerpots from German and Dutch house clearances... or "flea market" is a codeword?
On that note, something that caught me off guard once is that C11 _Alignof and GCC __alignof__ can differ: for example in 32-bit x86 __alignof__(double) == 8 but _Alignof(double) == 4; however __alignof__(struct { double d; }) == 4. Apparently __alignof__ gives the preferred alignment whereas _Alignof gives the alignment required by ABI.
To be fair, unsupervised porn access isn’t great on young people, speaking from personal experience. I don’t think sex would necessarily be as damaging as porn (assuming condoms are used)
If there's a scam for it, then someone probably would. I think we'd be surprised with the amount of people from poorer countries who are desperate enough to do this. Especially when coding bootcamps are so popular now with non-technical people who are promised mountains-of-gold-level salaries.
> You are reintroducing group guilt concepts

Read my comment again, I never mentioned guilt.
All of it is directly applicable to LLMs.

Textual Inversion/Soft Prompts are not made "obsolete" at all by Loras. Textual Inversion is far faster to train, extremely effective on newer models like SDXL which have better clip encoding, and has neat properties of not messing with the general weights of the rest of the model, which is sometimes desirable.
On another topic, we can finally see the motivation behind those SRPMs.

The whole purpose of a SRPM is to take some upstream source code and repackage it into a different archive blob which has to be downloaded in its entirety and unpacked in order to determine whether any of the code is patched, or pure upstream.

If, instead of a SRPM, you have some small, declarative text file which gives upstream URLs, SHA256 digests and build config steps, then that tiny declarative text file is all that someone needs from you to clone that package in their own distro, exactly
The amount of material needed to repro your whole distro goes something like from gigabytes to megabytes.

I mean, think about it. There is such a little declarative piece there in the process: the RPM spec file. Now, normally we think about building binaries from sources. But under RPM, you "build" source packages too! It's an obfuscation step intended to make people dependent on your way of handling sources.
I just want to add on to the article a bit.

I'm a mathematical realist. I call myself a Platonist. I've done some analytics philosophy, number theory, and model theory, but I'm not a mathematician.

The history of math is tied with the history of Platonism. The article mentions it going back to Plato, but I think Plato was influenced by Pythagoras in terms of Math.

Skipping a lot of history, we know that Hilbert posed his problems. Then mathematicians decided they wanted to "reduce math down to logic." The names Frege, Russell, Whitehead, Godel, Church, and Turing should ring a bell. Until WW2 logical positivism was a thing.

Talking about "math" in terms of symbols, or what we use as humans kind of misses the point.
Sure historical Platonism focused more on the theory of forms, Justice, Beauty, Art, and all that. But it's more so about "logic" or rather "systems." The question is about how this system comes into our reality. A Realist would say something like "systems can't be self describing (in the natural world)." I'm not entirely happy with that statement, but I think it's a starting point.

If one wants a quick fun introduction to Mathematical Realism and logic, I really enjoyed "Logicomix." Or spend some time on `plato.stanford.edu`[0]. I can't recall the paper but Russell poses Platonism pretty well.
I read [1] Abraham Robinson for a presentation on this topic in a Model Theory seminar.

This is a large topic, with a large history, and it's important enough that we keep talking about it.
I realize that many don't care, but personally I find it interesting and math is more fun with it.

[0] https://plato.stanford.edu/entries/platonism-mathematics/

[1] https://en.wikipedia.org/wiki/Abraham_Robinson
You should do this before you leave for the airport. It's much more likely that your laptop is stolen or accidentally taken by another passenger.
The Google Nexus 7 is from 2012, so 11 years ago, and is still perfectly usable with a battery upgrade (possible because it's not glued/soldered) and a custom ROM (possible because the bootloader is open).
Or maybe they are extremely effective, because the purpose is for the companies who sell REAL cancer inducing chemicals to muddy the waters so they can keep doing business.
All Twitter content seems to be behind a login wall today
What exactly prevents Red Hat from adding one or more proprietary components, like a RHEL bootloader, or network manager and simply refusing to share the code for those components?

If Red Hat doesn't back down, I don't see anyway around Rocky, Oracle and Alma doing a fork.
The hyperfocus which is a symptom of ADHD helps give the tenacity needed to make progress when faced with frustrating challenges.

In engineering, tenacity is absolutely required to make any progress at all, but there are also seemingly infinite threads to pull on.

If you’re in hyperfocus mode and you’re working on something, you don’t run out of interesting side tracks or ways to keep digging down through the foundations under what you’re working on.
The fact that this is a problem is a bug in copyright law, not a shortcoming of the LLM.
the point is that the workflow was previously achieved with a single application whose design/feature set, pricing, and support policy are rarely changed or changed 5 times less often.
I have a Shelly EM on my main grid circuit and solar array and find it to be an excellent product. They have lots of other automation products too.
> Nobody owes anyone else a business model

But there is public interest in having newspapers. (A tax on large digital ad platforms to subsidise newspapers makes much more sense.)
How the great firewall of China detects and blocks fully encrypted traffic [pdf]
At least you're stocking up on ammunition for when you do find a cannon.
Correct me if I am wrong, the gravitational waves we measure have such small effect, that if we blew proton to the size of the Earth, it would get squished by distance smaller than a human hair.

Edit: from wikipedia LIGO page: "(interferometers) are capable of detecting a change of less than one ten-thousandth the charge diameter of a proton"

I dont know why I remember the human hair analogy, perhaps I am confusing it with something else?
Not me, I fully support billionaires in yachts. I think they should all have yachts and spend lots of time with the exuberant aquatic wildlife off the Iberian coast.
Moto phones have 3.5mm ports, SD cards, and officially unlockable bootloaders.
PDF and Embedded Videos
I think he means the other way around. Engineering fits for many neuro-divergent people. Especially ADHD and some types of autism.
Everything will have ads eventually. Capitalism doesn't leave money on the table.
Nations should have better laws. Nations have to respect other nation's freedoms of speech.

This idea that this amazing connected information space could be possible is under threat. By illiberal and/or partisan people who happen to have power.

If people are connecting to my servers in my country, it doesn't seem clear to me that this far off place has any jurisdictional rights. Your people left you nation & came to me. If I start to setup offices & run TV ads in your nation that changes the relationship. But conversely, it's absurd & illegitimate that countries like India force me to have an office there, as a cheap sneaky shitty hack to force jurisdictional control.
We use iPads for work. Reading music mostly, but also for a limited amount of office tasks. I have started carrying a razer huntsman mini (the silent red kind) because I can't stand typing on the touch keyboard. I also couldn't find any possibility to remap the keyboard to svdvorak so I remapped the huntsman in hardware.

With a proper keyboard it is actually almost half-decent. My colleagues mocked me until they saw I could type more than 40wpm.
You can have a lot of tricky questions with the STL only. Here are a few things I can think of: Why do you pass smart pointers, string_view or span by copy? What do you know about C++20? What do you know about C++23? Can you list some useful objects in the STL of C++23? Why should you be careful when calling a C function with a string_view?

Another fun question: Why is a range algorithm better than a regular algorithm? One answer would be that you have "projections" in the ranges algorithms and it makes code cleaner and simpler.

The answers to those questions are endless and show the extent of what you know, and if you're interested in the evolution of the language.
Nah Reddit is pretty much back to normal. The protest is over.

There are a few big subreddits like r/interestingasfuck that are still closed, but these are more like meme channels than communities. People can just get the same dozen gifs a day from r/damnthatsinteresting, r/whoadude, etc.
> At Google most of new hires are working on cloud machines now by default, with either vscode/remote or internal web-based editor.

They are doing this because Google has a gigantic monorepo, not because it’s some platonic ideal way to code.

Local development is still the gold standard, if you can do it. One obvious benefit: it works even if you’re offline or have a bad connection.
I came here to post the same. It seems Musk has finally pulled the plug...
Interesting, seems this implies you could implement enumerable alternative to WeakMaps?
The solution to racism isn't more racism.
PSD3 Is Out
Okay, but isn't Project Gutenberg the true open source library, without the risk of me misunderstanding the licensing and violating copyright?
Industries mature.

I kinda thought coding might be immune, because it's about information. But of course, you build on lower levels. Today, you can get outsized returns by applying LLMs to real problems. Also about information.
Yes, but if you download raspbian to run in on virtualbox or similar it is not there. I guess they have different licenses.
I just came back from Indiana Jones 5 (Dial of Destiny). It was ok. Whether you're excited for the new entry, or feel like the IP is dead, I feel you'd be interested in know there's been a proper 4th Indiana Jones for 30 years.

Fate of Atlantis was made by LucasFilm Games, and is considered one of the best point and click adventure games made in their Golden Era. There are no car chases here, no slapstick. It's a classic Indy adventure, with puzzles, witty dialogue and humor. It feels authentic to the franchise, directly in the lineage of 1-3. It's one of the early examples of a game with voice acting, which, thankfully, is great.

You can buy it on Steam and GoG, and it'll run on any system under the sun using ScummVM too.

Hopefully some of you will discover this and (re)experience why this IP is loved.
With a Tesla you do have that choice.

https://www.tesla.com/en_eu/legal/privacy
Probably a way to sell data to AI labs. These "free" social networks have finally found another way to make money from their users besides ads.
Why in the world would an online article not include a short gif or an embedded video showing the bowling technique? Is gq.com primarily a print medium?
>Why is it they can follow a recipe to kind of make a mint birthday cake but they can't point at a picture of a cake on a picture menu and say "that one!"

They point at the picture of the birthday cake, and they receive an apple pie and cannot figure out why. You have to read the documentation to understand that standing on one foot while pointing makes a difference.

Declarative tools are easier when you understand the domain. Otherwise, problems arise because small changes in the requirements can result in huge changes in the outcome.
Can anyone still view Twitter without having an account?
Yes! My subconscious couldn't even type it it's so obscure, it auto-corrected to a current service. Haha.
There are a lot of other factors that influence advantages and disadvantages in every aspect of life. This is of course trivial. The point is that you cannot reach a better approximation of justice by a complex rule set determined by some king makers. No, racial discrimination will inevitably worsen the situation. Also, this is by definition the most prominent and straight forward example of structural discrimination as well. It becomes structurally unfair.

Likewise a better approach to social democracy is to look at disadvantages today. It is a common mistake to create false problems. This would not be the first time. And participation in society sadly has a lot to do with economic factors and I am sure that is something social democracy would like to address. Of course there are exceptions, but you have to be careful about the metrics you choose.
The use case for AI is spam.
Is the divide black/white or rich/poor? Inequality seems a driver for badness.
Really? I feel like in most uses the stream is close to, if not slightly faster than my reading. I actually prefer that over an instant full-page response. It helps me keep my place in the text and feels like reduced cognitive load.
The promoters of "social justice" decided to penalize the Vietnamese the US harmed 1 generation ago to atone for the sins of 4 generations ago.

The real reason is because they want equity - equal outcome for all. That means penalizing the overachievers and redistributing the outcomes they deserve to the underachievers.

Race and other grievances are just excuses.
I sometimes prompt Copilot with if statements and var declarations and it actually ends up suggesting missed corner cases and fixing bugs. Definitely, there's an art and form to using it.

I wonder if this quest for the perfect prompt is dumbing me down, though.
Read his essay "Dark Enlightenment". Again, he is openly fascist, even if he says he's not. It's a meme for actual fascists to claim they aren't.

"Land disputes the similarity between his ideas and fascism, claiming that "Fascism is a mass anti-capitalist movement,"[4] whereas he prefers that "[capitalist] corporate power should become the organizing force in society."

Okay nick, you're an idiot and never actually looked at how fascist societies, like fascist italy were organized. They were "Corportist" and ruthlessly capitalistic and even hitler only included the "socialism" part of national socialism to appease the masses. Hitler and his regime were not socialist, and if he were, he never would have secured the support of big business.

See the fascist section of these articles if you don't believe me: https://en.wikipedia.org/wiki/Corporatism

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

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

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

https://en.wikipedia.org/wiki/Industrielleneingabe
Ammunition? What is this, a garbage gun?

Sound like good targets, though.
Then share your password for your bank account, please. It's accesible from internet, then it is public by your statement.
It’s also surprisingly nice for things other than documentation, such as personal notes or journals. Or even novels:

https://mdpub.github.io/cheela/
Not yet, I have to do some research with this one
The Soul of Erlang and Elixir (2019)