skysight-inc/HackerNews huggingface dataset:
> As an example, the often-talked-about dependency management problem, is also NP-Complete and thus translates into SAT[2][3], and SAT could be translated into dependency manager.

This reminds me of make[0] and of being made aware that make[0] is a SAT solver. I think it was when I attended a conference. Unfortunately I cannot find an authoritative source to quote, so will rely on, and be grateful to, the HN community to correct me should this be wrong.

0 - https://www.gnu.org/software/make/
Are you sure those are Nintendo AES keys? The comments above suggest they're not:

// Dolphin does not use the same "default" values as IOS does, as we do not emulate unblown
// scenario.

If they're Nintendo's keys, why would they DMCA a Steam page but not a GitHub repository that's distributing the keys?
Did you have an prior experience with FIRST or other robotics competitions?
The "free lunch" was sold in a form of the hybrid cloud orchestrator. These pretended to make all clouds look the same, but were more shallow layers of abstraction that didn't add much value.
Here's my problem with what the professor did, and my problem whenever a professor tries to get "clever" to catch a whole class cheating -- it's selective enforcement.

My problem is that the incentives at school mostly encourage students to cheat. They have learned, class after class, semester after semester, that cheating is widespread and that therefore the only way to get a fair reward-to-effort ratio is to cheat.

Then, they happen to get unlucky by taking a particular class a particular semester, they get caught, and get punished. Yet 99% of the other students at the institution never get caught.

That's not fair. That's not just. What isn't right here is for a professor to go on a private crusade that isn't aligned with the university's enforcement policies generally.

I'm all for it if the university wants to stamp out cheating completely, so anti-cheating measures are utilized in every class, so 85% of cheaters ultimately get caught, and students overwhelmingly stop cheating. Then it's a level playing field again.

But a situation where the university's official policies are against cheating yet their minimal and lax actions allow it to flourish, and then one professor decides to punish just a tiny number who get bad luck... there's nothing fair, just, or ethical about that.

EDIT: there seems to be some deep misinterpretation of what I said in some replies. Perhaps this analogy will help: there's a 55 mph speed limit in a state, but everybody knows that everywhere in the state cops don't stop you unless you're going over 65. Except for one village where the cops ticket everyone going just 56, and because locals know but nobody else does, all town revenue comes from speeding fines and the locals pay zero local taxes. Does anybody here this that is fair? Think that is just?

The principle here is that it's unethical to enforce policy/laws to such a small extent that they fail to deter behavior in general, but still punish a small group of people who are simply unlucky. Either strengthen enforcement so it deters, or don't enforce it at all. Because sporadic enforcement that fails to deter is the worst of all possible outcomes. There's nothing just about it whatsoever.
A LLM is a form of input like a keyboard. If they put it in front of something like siri and used it as input instead of a processor then you could make siri actually functional.

It’s very good at understanding text but by itself it can’t think. Turning text into commands it knows is doable.
Refuse to quote by the hour. Day rate is like a law firm rate.

Contract per client or project. I stage the work, each deliverable is clearly specified, priced and delivery date. Client has to pay in full before next stage is commenced. Stages are 2-4 weeks.

Small variations and meetings are pro-rata the day rate. Billed monthly, due 7 days. Large variations negotiated to be a staged unit of work, with spec, etc.

No special admin software. Just templated letters, a couple of spreadsheets. Typically have 2-3 concurrent clients. Refuse to commit full-time. I manage my time and deliverables.

The hardest part is resisting pleas for more time to pay. Have been burnt in the past by clients who demand extra work while not paying past-due invoices. If they need credit for their cash-flow, then they can talk to their bank. I'm not licensed as a bank.
>maybe someday, "regular people" will use Linux. On a tablet or something. It'll all be tablets

We already do, it's called Android.
> found myself using them for medical advice (for pets so far, not yet for humans)

Which model did you use?
See Clojure maps, Fennel tables and Janet structs/tables.

https://clojure.org/guides/learn/hashed_colls#_maps

https://fennel-lang.org/tutorial#tables

https://janet-lang.org/docs/data_structures/structs.html
TOTP is a good choice, and helps a lot on keeping everyone's account safe! Thanks a lot for taking the time to investigate your options

I do feel want to mention though (largely because I think it's pretty cool), that those security devices are using a private/public key system under the covers, and they're actually designed to be privacy friendly and phishing resistant. One of the problems with TOTP based 2FA is that since it's asking users to type the TOTP code into the website, they can be phished and tricked into typing their password and TOTP code into an attacker's website, who then quickly go and use it to sign onto their account.

Those hardware tokens prevent that phishing from happening. They basically create, on the fly, a public/private key pair that is bound to the domain name of the site in question, and then give the public key of that to the site. When you come back to log in again, the site tells the hardware token what public key it has, the token looks a the site's domain and determines if it has that key for that domain, and if it does it uses a signature to prove ownership of the private key.

It all ends up working really well, since the domain name (actually the protocol, domain name, and port) is part of the identify of the key pair, it is impossible for it to get entered on the wrong site, so it completely eliminates phishing. Then since every single site gets it's own brand new keypair generated for it, there's no way to determine that the hardware token used on Site A is the same as the hardware token used on Site B. So it's entirely privacy preserving as well!

The protocol is obviously a bit more complicated then that, but that's the general idea of it.
It won't play out this way, but what if Musk's cheapness costs DeSantis the election? And tips it to Trump?
Easy, managers will have to do what they usually told their useless subordinates to do. “Write a report on this thing that no one will ever read anyway”. Then even if the higher ups actually read it, they will ask for another LLM to provide a summary. There’s no shortage of useless jobs out there. Cashiers for one.
You can check the Awwwards (https://www.awwwards.com/websites/nominees/) for some ideas about current web design.

Personally, I have no hard feelings about anything in particular since I mostly reminisce of old web trends, although, for example, I like some new websites that attempt brutalism (https://brutalistwebsites.com/)
Of course not. There are some powerful options like CDK and others.

An additional goal seems to be to create a simplified language that doesn't have the surface area and dependency issues another language might have. While I understand the reasoning, I've been in tech long enough to know that usually doesn't work, and just creates another real world example of XKCD 927 (https://xkcd.com/927/)
There's untold billions of tokens of Minecraft related content on the web - the controlling LLM personally has memorized every Minecraft strategy guide ever written.
also Parler https://www.dailymail.co.uk/news/article-9132371/How-liberta...
"the use of ALGOL-like notation for LISP S-expressions"
Because the test can't reasonably cover all of the course material in depth. The idea is that the test takes a representative sample of the course material, so your understanding of the material on the test is indicative of your understanding of the course material overall. Specifically studying the material you know is on the test invalidates this premise, and by extension the results of the test
And the luggage carousels were immediately after your arrival gate, no convoluted pathways to the baggage hall, off the plane, straight to pick-up.

But yeah I flew through it a few years before it closed, and you could tell that they were struggling to handle the flight workload of the 2010s in an airport built for an earlier, lower flight frequency (and pax per flight) time.
San Francisco’s Financial Crisis
Yes, though what such things are called varies by domain, audits of various types are popular terminology. In engineering independent technical reviews can have significant legal implications.
All true Scotsmen are always online.
> My take is that the RPi foundation wants PlatformIO to do support work for RPi for free.

How did you arrive at this take when the original code and the PR aren’t related to the Raspberry Pi foundation at all? This is a community contribution, not something the Raspberry Pi foundation tried to push throug.

> At no point do I see the RPi foundation saying "Hey, we'll allocate programmers and resources to maintain this code for our chip."

They didn’t write this code, and this isn’t what PlatformIO is asking for. PlatformIO wanted the Raspberry Pi foundation to pay substantial recurring fees so PlatformIO could merge this PR by someone else.

> Don't like it? Shut your piehole and roll up your sleeves. Quit bitching, fork the PlatformIO stuff and do the work yourself.

That’s quite literally what they did. This was developed by someone in a fork. That person didn’t even submit this PR. None of the people involved appear to be related to the Raspberry Pi foundation, but PlatformIO tried to bill Raspberry Pi for it anyway.
(Bug reporter here)

I don't know exactly what anyone else experienced. What I experienced is: I was away from my computer and noticed that my Syncthing[0] folders were out of date, so I used KDE Connect[1] to make sure Syncthing was running on my PC, which opens a tab connecting to Syncthing on the local machine in the default browser - Firefox in my case. Some time later, I unlocked my PC and found the advertisement on top of my Syncthing admin page.

So yes, it popped something up while I was AFK, though I can't guess whether it would have done so if I hadn't remotely triggered a new tab. Needless to say, I was very surprised to see that behavior from Firefox, and even more surprised that despite posts to reddit and HN complaining, I didn't find a report in Bugzilla.

[0] https://syncthing.net/

[1] https://kdeconnect.kde.org/
Those services are underpriced.
Did you read the article?

“ By the time it was found, the phone was too water-logged to work”
Given how many YouTubers brazenly use dolphin on steam decks and say you can get free games, I’m surprised it didn’t happen sooner.
That is even worse.

But ever since the Rust Foundation was formed there was no 'community', only corporate interests, so actions like this is typical of them.

Either way, it seems that the 'Rust foundation' is taking everyone involved downhill. Perhaps the Rust core team are realising very late on the way that the structure of the foundation being a big problem as I said before. [0]

Focusing more on 'code' than on the problems with the governance structure which is the reason why they are now finally realising that they have created the same problems which has been seen before in the Linux foundation.

After all, both are 501(c)6 orgs and serve the interests of corporations more than the community and if they were a community then it should have been set up as a 501(c)3 instead.

[0] https://news.ycombinator.com/item?id=35592650
Your LESS_TERMCAP_us is the issue here; it's literally putting "In" wherever an underline is supposed to start.
But is it the same at all? You design a solar panel and try one and make prototypes and then install thousands and it’s about the same and it scales. A nuclear reactor on the other hand…
We could bribe them with locations that contain more fish and fewer people.
As nacs said, this is a really bad idea - you should take it offline or prevent network access ASAP.

I just ran a couple of Python scripts that grabbed the ec2 instance metadata and the HN front page.
Yes, they are Nintendo's private keys. I believe the comment is referring to the early factory programming stage of the console, though I'm not 100% sure. PCGamer.com also confirmed the DMCA notice says it's about encryption keys [0]

> The DCMA letter sent to Valve cites the anti-circumvention language of the DMCA and specifically claims that "the Dolphin emulator operates by incorporating these cryptographic keys without Nintendo’s authorization and decrypting the ROMs at or immediately before runtime. Thus, use of the Dolphin emulator unlawfully 'circumvent[s] a technological measure that effectively controls access to a work protected under' the Copyright Act."

> If they're Nintendo's keys, why would they DMCA a Steam page but not a GitHub repository that's distributing the keys?

Because Nintendo's legal department is not dumb and makes very specific takedown requests that they know they can win, as opposed to taking down more gray-area things like source code.

Grabbing an emulator from dolphin-emu.org or GitHub is not the same thing as grabbing an emulator from a well-moderated public storefront where a good number of your third-party partners also publish their games.

Nintendo does not publish their games on Steam as of right now, but for an analogy, imagine how happy Sony would be if a PS4 emulator showed up on Steam recommended right next to their other PC games.

This was always playing with fire.

[0] https://www.pcgamer.com/nintendo-sends-valve-dmca-notice-to-...
I guess preferences vary but to me [x**2 for x in range(10)] is a lot easier to read at a glance than range(10).map(x -> x**2).
Birds I bet. Parrots can kind of, sort of, talk to humans. And besides that, I bet many species of birds can effectively communicate with others. There are dozens of species of crow, I bet many if not all of them can understand at least some of what the others are saying.
Voxel builder tool in React based on Glmatrix library
https://arxiv.org/abs/2305.15717
To say it in more plain words, "spreading activation" describes the activity through a weighted graph, that could be a good, old-fashioned, semantic network (but with weights) or a neural net.

It's fundamental and foundational connectionist stuff and for once I'm not using the term dismissively. It seems like spreading activation goes to the heart of connectionist ideas about storing knowledge in a graph, what used to be known as a Parallel Distributed Process model, apparently.
You are correct, you are entrenched in your beliefs about animal products, and you even admit to being unwilling to discuss them, wanting to change the subject, and (likely unintentionally) misrepresenting facts by comparing animal agriculture to camping and board games.

The fact is though that board games and gas stoves are nothing in comparison to animal husbandry.

"Animal agriculture produces 65% of the world's nitrous oxide emissions which has a global warming impact 296 times greater than carbon dioxide.

Raising livestock for human consumption generates nearly 15% of total global greenhouse gas emissions, which is greater than all the transportation emissions combined. It also uses nearly 70% of agricultural land which leads to being the major contributor to deforestation, biodiversity loss, and water pollution.

Ending our meat and dairy production could pause the growth of greenhouse gas emissions for 30 years, new study suggests."

https://www.colorado.edu/ecenter/2022/03/15/it-may-be-uncomf...
what marvell product is related to AI?
What you’re saying isn’t true, I was up there a few weeks ago and they were super friendly, and let me explore the whole town on my own, except for the building with the main mine shaft and the ones that were active living quarters for people working there.

I also think the video you linked is nonsense and totally unfair. If you look at the history of CG and how big the town used to be, it would have been losing several buildings a year on average consistently for the last century! Losing only one in the last 3 years is incredible luck, and this frames it as fraud with zero evidence.
This was incredible feedback, thanks so much for taking the time to write it out. I've implemented 2, 3 and 4. You can now directly link to pages[0] and it'll auto-expand all boxes. The icons are intended to show whether the sequence has a code submission attached. There's now a popover attached to them to explain this.

1 will take some design work, and I've only got an hour or so to work on it now. I definitely agree however that a 'submit' button on a search is essential.

[0] https://oeis.femto.dev/A000045
Spellcraft/UI: Use AI to style HTML elements from natural language descriptions
How does ChatGPT write limericks?
An error message from ChatGPT (not a session of mine, but ostensibly generated as a response to a prompt):

"Write a limerick about the status of ChatGPT.

ChatGPT is surely the best
But its servers are put to the test
With so many users chatting
It's no wonder they're lagging
But they'll fix it soon, no need to fret!"

Not being a limerick expert, something seems off besides the final rhyme. And the confusing use of "they".

"Lines one, two, and five have three feet, that is to say three stressed syllables, while lines three and four have two stressed syllables. The number and placement of the unstressed syllables is rather flexible. There is at least one unstressed syllable between the stresses but there may be more – as long as there are not so many as to make it impossible to keep the equal spacing of the stresses."

https://en.wikipedia.org/wiki/Limerick_(poetry)
That's great!

While we strive to make PyPI useful for everyone we totally understand that sometimes the trade offs we have to make just don't work for everyone so we try really hard to enable folks like yourself to be able to set up their own repositories. I'm glad that it's working out for you and that you've got a setup you like.

I do want to mention two things:

We've got a PEP (PEP 708) going through the works that will tighten the security model around multiple repositories down some more. If I understand your uses well enough you should be able to add a line or two of HTML to your repository and not have any interruptions or warnings. That PEP isn't accepted yet or implemented or anything, but something to keep in the back of your mind at least.

While we don't make any sort of raw download logs available, we do publish what is essentially a query-able database of download events that have been parsed already to make it easy to see those stats. We do have a little bit of redaction on those events, primarily to avoid leaking PII like IP addresses and such, where instead of an IP address we log broad geographical area (country I think?).

If anyone is curious to see that, it's hosted in Google BigQuery (sorry, it does require a Google account) and there's a guide at https://packaging.python.org/en/latest/guides/analyzing-pypi... that tells you more about it.
Someone should invent a device that is part of a phone that if it gets wet, it inflates so the phone floats.
Sure. With evergreen browsers. For anyone using old devices with outdated hardware--tough luck! They can, I guess, go buzz off and leave you in peace to write Modern JS. After all, that's the most important thing.
“Smart Gun” that uses biometrics to authenticate
You had all that knowledge before too, free from the internet. It’s just easier and common thing to do to live within the system with all the other people. But this is changing also with the changing world conditions.
Uhhh I feel like rocket makers are obsessed with efficiency. A modest half a percent makes a huge difference in fuel fraction & lift capabilities.

Rockets may be broadly inefficient but they are as efficient as we can make them.
Don’t? But maybe also don’t gratuitously trash someone’s work?
Doesn't the DMCA's interoperability exception cover this?

(1)Notwithstanding the provisions of subsection (a)(1)(A), a person who has lawfully obtained the right to use a copy of a computer program may circumvent a technological measure that effectively controls access to a particular portion of that program for the sole purpose of identifying and analyzing those elements of the program that are necessary to achieve interoperability of an independently created computer program with other programs, and that have not previously been readily available to the person engaging in the circumvention, to the extent any such acts of identification and analysis do not constitute infringement under this title.

(2)Notwithstanding the provisions of subsections (a)(2) and (b), a person may develop and employ technological means to circumvent a technological measure, or to circumvent protection afforded by a technological measure, in order to enable the identification and analysis under paragraph (1), or for the purpose of enabling interoperability of an independently created computer program with other programs, if such means are necessary to achieve such interoperability, to the extent that doing so does not constitute infringement under this title.

(3)The information acquired through the acts permitted under paragraph (1), and the means permitted under paragraph (2), may be made available to others if the person referred to in paragraph (1) or (2), as the case may be, provides such information or means solely for the purpose of enabling interoperability of an independently created computer program with other programs, and to the extent that doing so does not constitute infringement under this title or violate applicable law other than this section.
AI is quickly becoming the new crypto.

Mention those two letters and stocks skyrocket by unbelievable amounts.

Watch out for the crypto charlatan bros to invade the AI space next.
You can have multiple accounts associated with a single project, so each person can have their own account and you just add them all as owners to the projects.

That can be annoying to keep in sync if you have a lot of projects, but we're rolling out organization support to make that easier for people.
Yeah I think having some a few more methods on some types would be nicer than having global functions like `map`

for example, imagine if your example could be written as:

range(10).map(lambda x: x*2).list()

but as a list comprehension it's slightly shorter, but autocomplete isn't as good:

[x*2 for x in range(10)]

Also some historical context, Python's list comprehension are based on Haskell's
Of course, even after it's massive decline, it was still up big due to the crypto market. I think crypto shows how mountains can be moved and worlds terraformed via distributed processing power, and AI is just another set of problems to be solved. There's likely many applications that we haven't even dreamed up yet (likely in the biotech space)
.io is similarly problematic. Although at this point I think the best solution would be to retroactively set .io to mean Input/Output and give the Chagossians a new TLD.

https://tamouse.github.io/blog/politics/2019/10/02/why-is-th...

EDIT: it could also be argued that this controversy is beneficial for the Chagossians I guess. I didn't know anything about them until I purchased a .io domain a few years ago.
I just tell my spouse. They love to plan.
>My take is that the RPi foundation wants PlatformIO to do support work for RPi for free.

A third party (the committer - maxgerhardt) wants PlatformIO to do support work (on someone else’s code - Earle Philhower) for people who want to use the Arduino toolset on RPi for free.

I think it’s fine that PlatformIO and RPi don’t want to fund this.