skysight-inc/HackerNews huggingface dataset:
Do these people also believe in a single continent called “Eurasia”? Hell those are mostly on the same plate, which can’t be said for the Americas.
are there any risc v sbcs out there that are actually available? every one i look for is out of stock. i’d love to play around with a real chip
I'm working on a JS project for a client. I can't modify the deployment procedure so I can't add a build step and ts-node is no help because it's frontend.

JSDoc comments can be checked with TSC and I get squiggly lines in VSCode. It's a major step in the right direction. Obviously tests work the same they always did, there is no runtime type checking just as there isn't in TS.
In a way, it's actually more offensive. I get that this is a joke. I don't think the author expects anybody to actually use this image, but the call is to retire the lena image not to continue it in a different fashion. I can see someone interpreting this as another man making a joke of women being offended so they step in themselves, "because men are tougher and don't get offended as easily."
In that scenario it looks like members must coordinate to identify the highest committed transaction (identifying the list of valid members) and then bootstrap from that member?

Stateful Sets were designed to standardize two hard problems: being able to identify all the valid members (pods identified by number that are running at most once on any node) and give admins the button to decide a member was never coming back (the force delete pod / force delete pv action). That was true black magic before - everyone did it their own way. So we worked with the ecosystem to enable vendors/communities/individuals to map those primitives into specific solutions, but did it somewhat deliberately as “we have to build this together”.

What I think the gap has been is that there is significant friction in between the three realms of expertise - knowing what kube is providing, knowing how to map that to a specific problem like translating the Galera runbook into operator/script logic, and then communicating that to the teams that will be accountable for reacting. Vendors have incentives to make you pay for that expertise (or may not have it), large organizations hire people to provide it (most large db on kube deployments are also large tech companies), and in between you have a lot of uncertainty and knowledge gaps that doesn’t necessarily transfer, and that is what drives “Kube isn’t great for stateful”.

It’s ironic to me because StatefulSets were intended to take advantage of those incentives to help the ecosystem scale, and the result is “worse is better” in that many more people can do state on HA DBs than were successful on VMs or metal, but it doesn’t mean they’re completely successful and when people hit the rough edges it hurts. We can do better (that’s partially my day job), but there is a lot of pain people have taken so far that was probably unnecessary. You should use managed DBs if you can - and when you don’t, Kube should be the best alternative it can be (which isn’t far - many DB SaaS uses some kube), and that’s what we need to focus on.
I mean what would increased performance mean in this case? You have to arrive at your destination at a specific time, if you go faster that is going to be a problem..
Copper costs 6x Aluminium and is much rarer + in a car you want to be as lightweight as possible. You need a good reason to avoid it.
Really some computer vision guy told she was at some conference to give out signatures.
That she likely has no legal recourse does not mean that developers and researchers cannot respect her wishes.

It's not like this specific image has an inherent property that somehow makes it the superior test image.
> [Goodhart's Law] is descriptive; it tells you of the existence of a phenomenon, but it doesn’t tell you what to do about it or how to solve it.

This is the difference between an adage and an essay. And I will say just thunking about the existence of Goodhart's Law whenever you design a system is all you really need. Any time you make a metric, put yourself in the shoes of the people who will be judged by the metric, and try to game it as hard as you can. Ask others to try to game it. And if the cheating you discover is manageable, use it. If not, get rid of it.
Poor Ayatollahs. They surely deserve to be treated better. :(

And yet regardless of how poorly it was treated or "what is fair", which is all the whining is ever about, nobody can remotely come up with a reason for why Iran getting a nuclear weapon would be a positive development for anybody.

This is a dangerous game, regardless of your politics.

Astroturfing does not necessarily imply bots, comrade.
Right, congratulations on spouting straight-down-the-line CCP/Soviet anti-American tropes, while simultaneously conflating pre- and post-20th century / WWII world orders.

Oh, and revealing yourself as a complete fool citing anythign Trump says as if it were fact. Yikes.

And trying to claim that China is not expansionist despite it's post WW-II history? Yikes againb. Just look at the ACTUAL history in Korea, Tibet Uhigurs, "9-dash-line", Hong Kong, "Belt and Road Initiative" trying to take Africa, claims on Taiwan, and more. Again mistaking lacking the capability to project global power for the will.

I never disputed that the pre-WWII order was the Age of Empire, going back to times of Alexander, and that the Americas were basically stolen from the native populations, going back to Columbus.

That does not mean that things are the same, or that the Free World is not different from the Authoritarian regimes. I note that while you seem to love all these authoritarian regimes, you don't live there. I hope you're paid well for your trolling. Have a good day.
She doesn't have any way to force people to stop, but that doesn't mean people can't take her opinion into account.
> if we were to distill this dissertation into their key
ideas, it would be these:

> Model monotonicity with modal types. Datalog can be summarized as relational algebra plus stratified recursive queries. Modulo implementation subtleties, relational algebra embeds
straightforwardly in a functional language via finite sets and set comprehensions. We have shown that stratified recursive queries also embed nicely, so long as we locate our semantics in Poset to capture compositional reasoning about monotonicity. The main difficulty is the interaction of monotone and non-monotone functions; this arises from the discreteness comonad □, and can be handled with a simple modal type system.

> To find fixed points faster, incrementalize! Finding a fixed point by iteration involves repeatedly changing a function’s input to match its changing output. Doing this naïvely is
asymptotically inefficient; to do it efficiently, we must efficiently propagate changes. This is not only the essence of seminaïve evaluation in Datalog, but an instance of a greater
problem of automatic incremental computation. Prior work on the incremental λ-calculus shows that incremental computation can be achieved in higher-order languages; we have extended it to Datafun and shown that by modifying it to consider only increasing changes,
it gives rise to seminaïve evaluation.
Agreed. However, there are much better formats than Python pickles for exchanging binary data. As it is, using PyTorch means that you force your users to also use PyTorch, which is a shame, as libtorch (which is what makes PyTorch work) offers a much more portable format (which I suspect might also be more efficient at least in terms of raw size, but I haven't checked).
By "no longer", do you mean at Amazon particularly?
Character has their own models, and anecdotally I've heard they have one of the better LM training codebases out there.
> without having to take on a whole bunch of the footguns that would come from working directly in a language like c++ or Rust.

Don't forget the footguns of working with developers who do those things. Ask them to do something simple and you get something complex and expensive after months of back and forth about what is wanted. You're likely to a framework for a one off SQL query.

I hear it being said already, "You're using software developers wrong!" Well, maybe software developers shouldn't be so hard to use?
Same here, my first programming was done on an Aquarius at around 8yo. The keyboard it had was awful, but I got to learn some BASIC. IT has been a huge part of my life since. While thankful for that path and what it has afforded my family, I've found it difficult lately to find meaning in it.
Wow, there's an 8080/8085 port now! I'll have to see if I can get it going on my 8085 SBC.
Funny concept, but the premise that the origin of the image is unethically sourced is suspect in and of itself. Can we stop with these signal-y type posts?
Income and emotional well-being: A conflict resolved
I use emacs only for org-mode.
It is completely reasonable for a model to be told their work and their likeness will be used for one purpose and for them to not be OK if it is used for another, I don't see how being a model excludes you from the right to have an agreement about releasing your creative input.
>"I have previously presented some suggestions to the Storage SIG on this topic."

Ia there any chance you might be able to provide a link to these? I would be curious to take a look.
Thanks for the detailed response, I’ve done something similar.

I’m curious about using the new ChatGPT API for this; how you’d structure the api request; and do we still need to provide the entire chat history with each prompt?
> they are always white

Might it be because they think they know best?
Futurism at your fingertips. Learn about Organoid Intelligence, energy teleportation, affordable 3D-printed homes, and a new laser technology that eliminates weeds while leaving crops untouched. Plus, learn how to bypass built-in limitations and censorship of ChatGPT.
This seems incorrect. I was recently laid off and there was 0 notice.
The more personal an artifact is, the more I think the subject's wishes should be taken into account.

https://qntm.org/mmacevedo is a much more in-depth examination...
> One of its products, Re;memory, is a virtual human service based on AI technology which recreates the clients’ late family members by recreating their persona – from their physique to their voice. The service is for those that wish to immortalize their loved one’s story of life through a virtual human.

There's so much sci-fi about this, it's pretty well charted territory. I bet reality will find a twist at haven't thought of though.
I would assume that many people here do some work on free software. If people producing free software are not able to comfortably develop free software using only free software, then we have lost something important.
I think if you’re working in computer graphics you can work out how to convert a PNG.
It is hard to believe that Python is objectively that much more productive than other languages. I know Python moderately well (with much more real world experience in C#). I like Python very much but I don't think it is significantly more productive than C#.
Amazon Pauses Construction on Second Headquarters in Virginia as It Cuts Jobs
Do USA declare their self a WTO developing country?
Do US people disappear like they do in China? Jack Ma, Peng Shua, Bao Fan...
Is there any vocational, education and training state internment camps in USA?
Is there Great Firewall in USA?

USA can be a land of opportunities, but also quite a shitty country, I would never live there, but there's still rule of law and separation of powers. In China there's Xi Jinping rule.
This is like GitHub renaming master branch to main branch in an effort to attract more Black Americans to tech. AKA a virtue signaling side show that accomplishes absolutely nothing. No one even knew it came from a Playboy magasine until this whole "retire Lena" movement.
This cracked me up. Wonderful!

I hadn't realized the original Lenna didn't want her photo used any longer. While she cannot technically force the issue as she doesn't own the photograph, the community should respect her wishes.
The risk of everyone using the same image for actual tests is overfitting.

It's not clear that continuing to use the Lena image is particularly useful. It's more of a tradition than anything else.
I initially kept that option open, yes. However, there are surprisingly few available positions in formal methods outside of academia, and Coq is very very hard: my ability to prove things with Coq is quite modest.

Probably worth noting that I did have an PhD offer earlier, to work with Coq. However, since it was in a small village in Germany, I had to turn it down.

On a more general note, I don't know if formal methods is that promising today: proof assistants are very immature, and proving even little things involves a lot of trial-and-error and is very time-consuming.

Yes, I recall interacting with you!
Pop quiz: name the world’s largest producer of lithium.

Lithium production is important but lithium is not the next oil. It’s not going to dominate the world economy. There aren’t going to be wars fought over it. And we will ultimately extract plenty of it to build EVs.
It's insane there's backroom string-pullers trying to take out words like insane.

Rick from Pawn Stars uses the word, so it's good enough for me! He often describes certain amazing facts or objects as insane. Because he likes those things. It can be positive.

Is the motivation to onboard "use this list or be on wrong side of ethics and get nasty reviews"? there's an element of that.

Microsoft 360, all that new stuff, surprised to find shiny new morality-checker sitting alongside the spellchecker. Watching over my every word. I unchecked 5000 checkboxes to disable it all. Auto-nicer-word enforcer is not for me.
1. [Ternary computers]: Base-3 is the most efficient of all integer bases; numbers are stored most economically with trits.

2. Something like a [Lisp machine] that is optimized for functional-style programming with immutable data.

[Ternary computers]: https://www.wikiwand.com/en/Ternary_computer

[Lisp machine]: https://www.wikiwand.com/en/Lisp_machine
Nope, not remotely the same as Iraq. I like how some whataboutists here are arguing that Iran was treated poorly and therefore "deserves a nuclear weapon" and at the same time that it is all a conspiracy and they aren't developing one - despite overwhelming evidence from none US sources.
Thanks! Will try to hack it up into my setup this weekend.
> Goodhart's law . . . is certainly not a law

A scientific law is a description of a common pattern. It's not a rule voted into being by the reality legislature and enforced by nature beat cops.

Goodhart's certainly is a law.

> Goodhart's law (mis)applied to discussions of machine learning pipelines, so clearly there are glaring exceptions to the utility of metrics.

How can an alleged misapplication of Goodhart's law mean that metrics are not always useful? Goodhart's law itself says metrics aren't always useful.
Automate Deployments with Renovate and GitHub Actions
The training code is not available.
Companies just want a clean break. In cases where they really need you to do a hand off, you will get a transition period. I've had that happen to me, and it's a weird feeling. I don't think its great for productivity or morale, and is more common when you are shutting an entire division down.
You're not allowed to use branding material of the RISC-V foundation to advertise your personal project. I suggest removing the logo to avoid your repo being taken down.
These brushed motors generate fine dust like a brake pad in very slight but constant use:

> We asked BMW about the life expectancy of those brushes and commutators, and what happens to the dust as they wear. While they couldn't give us a lifetime estimate for the brushes, they did reassure us that the brush modules are "in an enclosed and sealed compartment, eliminating dust contamination inside the stator/rotor wiring." Anyone who has worked with brakes or even brushed DC motors knows just how fine those dust particles are. It will be interesting to see both how long they last and just how much dust those modules will actually contain (or release).
I’ve seen replace a lot of tasks that used to be done with Excel - non-programmers programming tool of choice.
Plenty of comment necessary.

Models give up the rights to their image to be paid for the shoot.

Why is it that a century of legal and moral president needs to be thrown out because someone says they don't like it?

The only person with a leg to stand on here is the photographers whose copyright is being infringed and even that is debatable.
Utilities are huge financial organzations that have to provide secure generation and transportation over decades. Just because solar is cheaper now doesn't mean you can replace everything in just a few years. Also Solar might work great in California but Nebraska not so much.
Her opinion doesn't seem to match the articles claim:

> Lena doesn’t harbor any resentment toward Sawchuk and his imitators for how they appropriated her image; the only note of regret she expressed was that she wasn’t better compensated. In her view, the photograph is an immense accomplishment that just happened to take on a life of its own. “I’m really proud of that picture,” she said.
A hydrogen-powered airplane just made a record-setting test flight
So we're talking about two different things (and thus in a sense, both right). By non-participating you're referring to Extra Charges as opposed to what I'm thinking of, a doctor who is not accepting Medicare payment at all and is thus unencumbered by its rules.

Yes, the first case is limited by Medicare Assignment. BTW, it's not exactly 15% either. It's a strange calculation. It's pretty rare. Plan G covers it. I think Mayo, Cleveland, ... may charge it. I don't know why a doctor wouldn't charge it but it's uncommon.
one kill ring to rule them all
So there's contracts and there's intent and morality.

The argument you have presented is analogous (like, right next door; they share a side-yard, their kids go to the same school, and they co-organize the neighborhood potluck) to the argument that you and I have no right to our data not being thrown in a big hopper to generate an AI that is designed to operate directly counter to our personal interests.

After all, if you didn't want thousands of websites hoovering up your information, transferring it to a central clearinghouse, and that clearinghouse building an AI to put you out of a job... You should never have logged onto those websites, right? Those TOS clearly said they could use your data for any purpose. The contract was quite clear (had we bothered to read it).
https://archive.is/UwfOF
I was thinking of Spore Galactic Adventures specifically, which is a very early and oddly unknown crack at a "game maker game" kinda thing.
Possibly effective doodling in the design space of systems? I personally hacked at untold number of experiments with different approaches, and was doodling like mad over at least a decade. I have bookshelves full of notebooks covered with object graphs, system sketches, etc. It's not just coding.
And if they ever plan to monetize they're gonna be at the behest of payment processors and advertisers, and will censor just like everyone else.
Yes, for Deming:

Enumerative study: A statistical study in which action will be taken on the material in the frame being studied.

Analytic study: A statistical study in which action will be taken on the process or cause-system that produced the frame being studied. The aim being to improve practice in the future.

https://en.wikipedia.org/wiki/Analytic_and_enumerative_stati...
It is the IAEA that caught them red handed cheating and confirmed they are at 84% already. The head of the IEAE is over there right now:

https://duckduckgo.com/?q=iaea+iran&iar=news&ia=news
Relevant: Bloody Stupid Johnson
What sort of hussy shows her shoulders?
https://archive.is/yiBV1
https://archive.is/nkdjG
Also covered in their ecosystem overview: https://gitlab.com/bluesky-community1/decentralized-ecosyste...
Yeah, but the models exist now, and I have it on good authority that SD 1.x can be used to produce child pornography.
Had the new employee been operating in good faith, surely they’d have mentioned this limitation during the interview stage.

Given the sensitive nature of the topic, I wonder how deeply HR can actually question the request.
Where s the download link?
Colors isn’t the same as wavelengths, though. Two different colors having the same wavelength isn’t a contradiction. Similarly, different wavelength mixes can constitute the same color, because the human eye only has three color receptors.
The last link (pollution) got pasted wrong. This is the reference I wanted to use: https://ourworldindata.org/outdoor-air-pollution#share-expos...
Build Your Own Computer – Emulate RAM/ROM for a 6502 Using a Raspberry Pi Pico
Shunning community members in the "wrong countries" and refusing military contacts from the "wrong countries" seem like very different questions that could, and in my view should, have different answers.
They wouldn't be us. We will still die when our bodies fail. But maybe there will be some AI tricking our friends and family into thinking we're still there.
I didn't recognize myself intuitively or emotionally in the mirror. I had to logically deduce it was me. I felt like I was looking at a different man that wasn't me with a face I couldn't call my own. The reason was: there was no "my own" I just was. So I couldn't feel that what I saw was me. Because of this, it felt like I was looking at someone else.

To summarize, I almost failed the mirror test, lol.

There were smaller issues, but that's all they were: smaller issues. This "almost not recognizing myself in the mirror" thing that felt scary as hell and I concluded that I couldn't wield the Buddhist philosophy properly and I was developing myself towards an unknown place with unknown consequences.
Base 36
This is the funniest thing I've come across all week.

I want to see this take off for the humor value alone. His expression, his mustache... this is gold!
In 1997 and 2015.

From the picture's Wikipedia:

Lenna is so widely accepted in the image processing community that Forsén was a guest at the 50th annual Conference of the Society for Imaging Science and Technology (IS&T) in 1997.[18] In 2015, Lena Forsén was also guest of honor at the banquet of IEEE ICIP 2015.[19] After delivering a speech, she chaired the best paper award ceremony.

https://en.wikipedia.org/wiki/Lenna
>The money sucks

Is this true? I thought Major Airline Pilots could make upwards of $200k per year. Or are you doing something smaller scale?
So what is content of those various files? Does this include the full models themselves, or just the weights ?
I’ve migrated to the tidyverse for most of my EDA and plotting - I’ve found dplyr and ggplot to be noticeably more expressive. Pandas always added a ton of friction for me.

It’s still my choice for quick and non-graphical analysis when I’m on a remote.
I like fashion.
Anyone can submit a request form and enter their email address to request access to the weights. People who have a .edu email and are involved in deep learning are likely to succeed and get a download link sent to their email.
Archived: https://archive.is/lGrH8

See also: https://twitter.com/Teknium1/status/1631322496388722689
Pretty sure the Internet's want feet not finger, and yeah butts ;))
> by a single country alone, Ireland[1].

Ireland's data privacy serves as Meta's main regulator in the European Union because the company's European headquarters are in Dublin. Making it out as if Ireland's GDPR fines are "just one country" is disingenuous.