skysight-inc/HackerNews huggingface dataset:
I mean, Rust libraries can use `unsafe`...

You might (rightly!) respond that you can exclude dependencies that use `unsafe`, but then you've just displaced the problem to "now I need to find new libraries". Point being, it's going to be a schlep either way. There will always be a schlep.

Which schleps you want to deal with, and how you want to deal them is the trade-off space that different programming languages position themselves within.

As I said in another comment, Rust is great, but there's a reason it's not universal. That reason is not that people are ignorant, stupid or lack the incentive to avoid schlep. It is instead that sometimes, dealing with Rust is harder than dealing with the rest of the damn problem.

In my case, I have noticed that Go is a good solution when Rust is not. I now have two arrows in my quiver. Neither is my favorite. I think this is the right attitude, personally.
> This separate system can't be user-modifiable or field-updateable, because then malicious software could impersonate the user and disable the security chip.

I feel like I'm repeating myself after a decade or two, but this is a situation where the best answer is to a physical switch for read-only mode. (Software isn't always the answer!)

Sure, it might not protect you from a spy who sneaks into your house to physically flip it before installing undetectable deep-backdoors... but that basically never happens when compared to conventional malware and hacks over the internet.

Of course, this assumes the goal of the trusted-chip is indeed to protect the user and the community around their computer at large... as opposed to a deceptive campaign by large companies and copyright-holders to cripple your computer for their own ends.
Bananas too. They're the best when the skin starts going black, which is when a lot of people throw em out. It's once they start turning white you might wanna move em to the compost.
Agree entirely.

Let me share what revolutionized my tech experience.

#getoutside

Edit: Not being snarky, I’m totally serious. Online only goes so deep…then…nothing…
Well, I guess that I am stupid and embarrassing, then! :-) <g> :-)

You know, "I resemble that remark!" :-)

(But that doesn't change the fact that I actually like the Bjarne Stroustrup quote!) <g> :-) <g>)

Now let's understand your comment a little bit better. Your comment apparently arises from a Meme, specifically this one:

https://knowyourmeme.com/memes/we-should-improve-society-som...

While that meme is indeed entertaining(!) -- it is in no way actually relevant to the Bjarne Stroustrup quote!

It is a "Motte and Bailey" AKA, "bait-and-switch" argument/comparison.

Propagandistic agenda-driven AI chatbots seem to do this a lot -- but I'll be charitable (this time!) and assume, for the purposes of discussion, that you are human...

Perhaps we should all learn about what a "Motte and Bailey" argument/comparison/logical fallacy, is:

https://rationalwiki.org/wiki/Motte_and_bailey

>"Motte and bailey (MAB) is a combination of bait-and-switch and equivocation".

https://en.wikipedia.org/wiki/List_of_fallacies#:~:text=Equi...

https://pressbooks.ulib.csuohio.edu/eng-102/chapter/fallacie...

Phrased another way (in Billy Madison terms): "Mr. Madison... Everyone in this room is now dumber...":

https://www.imdb.com/title/tt0112508/characters/nm0235999#:~....

Incidentally, another one of my favorite Bjarne Stroustrup quotes is:

"Proof by analogy is fraud". :-)

https://www.stroustrup.com/quotes.html#:~:text=Proof%20by%20...
That's funny because no, they are wrong. We can be compelled to answer questions that incriminate ourselves and our right to speak to a lawyer isn't as strong as it is in the US. You can be interrogated even after asking for a lawyer.
S:N, S-N, signal:noise, signal-noise, S/N, SN ratio. I got way downthread before it clicked what this was. Why not abbreviate it to HSNR?
The Post Office was the prosecution! That's what makes this even worse...
Follow up to my own comment: After they announced this, they announced that filter would be excluded from the restrictions and also from counting against our billable steps. All is well!
Indeed you linked to a PDF with 25 pages of main body text, and I generally come here for the comments. I can just as well respond to your excerpt, as it is clear to me the implications of such an attitude. If you view all activism as folly and encourage others to do the same, you can be quite assured that those who do choose to influence the world will have more success in your absence.

I am happy to respond to any specific questions you have (even with excerpts) but I am not here to read a 25 page PDF. And as an aside, I see in the author's conclusion that they are wholly dismissive of Karl Marx, which I view as a serious error. I suppose the author is not familiar with the excellent work of modern Marxist intellectuals like Richard Wolff and David Harvey who have quite effectively applied Marx's original works to modern day economic analysis. If the author were familiar with their works it would be clear that modern Marxist intellectuals view the 20th century not as a complete failure of Marx's theories, but of the application of those theories in the hands of the centralized state. When applied with coercive violence those theories lose the very democratic power they had hoped to capture and give way to human greed and demand for accumulation of power. We can nonetheless learn from Marx's analysis of the problems of class-based society and the benefits of worker or community control of the means of production. As Wolff and Harvey repeatedly explain in their work, the task is not to dismiss Marx's analysis but to learn from 20th century experiments of the importance of democratic control. As a practical example, Wolff's primary takeaway from all this, informed by the desire to reduce the importance of class and expand worker based control of production, is that we should aim to move our economy to one where firms are more predominantly worker owned. That we would move from top-down managed firms to worker-managed firms is a well founded and reasonable argument that bears no resemblance to Stalin's USSR, for example. I don't know if the author balances the arguments of pro-Marxist and anti-Marxist intellectuals or simply chose only to look at one side and believe they had the full picture, but it only reinforces my belief that if someone advocates for a depoliticized society, they will simply favor the status quo.

I would encourage reading or listening to the words of people of color and other marginalized groups to ensure that any prescriptive views of society you hold take in to account the different ways that marginalized people experience the world. You mentioned you are interested in holes in Huemer's logic, and that is where you will find them.
Protip here: Do it by hand, though when you start getting tired of typing latex you can switch to IDE and let github copilot complete it(it will mostly be incorrect) and then you can go in and fix its mistakes, it still saves a bunch of time. For example:

```
The importtant thing is that the derivative needs to be computed from a number of elements
logits = h@W+b

logits = h@W+b

h =

h11 h12 h13

h21 h21 h23

W =
w11 w12

w21 w22

w31 w32

b = b1, b2 and

Logit11 = h11w11+ h12w21 + h13w31 + b1 - Eq.1

Logit12 = h11w12+ h12w22 + h13w32 + b2 - Eq.2

Logit21 = h21w11+ h22w21 + h23w31 + b1 - Eq.3

Logit22 = h21w12+ h22w22 + h23w32 + b2 - Eq.4

DL/Dh11 = DL/DLogit11 * DLogit11/Dh11 + DL/DLogit12 * DLogit12/Dh11 = DL/Dlogit11 * w11 + DL/DLogit12 * w12

DL/Dh12 = DL/DLogit11 * DLogit11/Dh12 + DL/DLogit12 * DLogit12/Dh12 = DL/Dlogit11 * w21 + DL/DLogit12 * w22

DL/Dh13 = DL/DLogit11 * DLogit11/Dh13 + DL/DLogit12 * DLogit12/Dh13 = DL/Dlogit11 * w31 + DL/DLogit12 * w32

DL/Dh21 = DL/DLogit21 * DLogit21/Dh21 + DL/DLogit22 * DLogit22/Dh21 = DL/Dlogit21 * w11 + DL/DLogit22 * w12

DL/Dh22 = DL/DLogit21 * DLogit21/Dh22 + DL/DLogit22 * DLogit22/Dh22 = DL/Dlogit21 * w21 + DL/DLogit22 * w22

DL/Dh23 = DL/DLogit21 * DLogit21/Dh23 + DL/DLogit22 * DLogit22/Dh23 = DL/Dlogit21 * w31 + DL/DLogit22 * w32

DL/Dh = [

DL/Dh11 DL/Dh12 DL/Dh13

DL/Dh21 DL/Dh22 DL/Dh23

] = [[DL/Dlogit11 DL/Dlogit12], @ [[w11 w21 w31],

[DL/Dlogit21 DL/Dlogit22]] [w12 w22 w32]]

= DL/Dlogit * W^T -------------> This is the final gradient and note that it is a matrix multiplication or a projection of the logit gradient on the Weight layer

Now lets compute DL/dW

DL/dW = DL/DLogit * DLogit/DW

DL/DW11 = DL/DLogit11 * DLogit11/DW11 + DL/Dlogit21 * Dlogit21/DW11 = DL/DLogit11 * h11 + DL/Dlogit21 * h21

DL/DW12 = DL/DLogit12 * DLogit12/DW12 + DL/Dlogit22 * Dlogit22/DW12 = DL/DLogit12 * h11 + DL/Dlogit22 * h21

DL/DW21 = DL/DLogit11 * DLogit11/DW21 + DL/Dlogit21 * Dlogit21/DW21 = DL/DLogit11 * h12 + DL/Dlogit21 * h22

DL/DW22 = DL/DLogit12 * DLogit12/DW22 + DL/Dlogit22 * Dlogit22/DW22 = DL/DLogit12 * h12 + DL/Dlogit22 * h22

DL/DW31 = DL/DLogit11 * DLogit11/DW31 + DL/Dlogit21 * Dlogit21/DW31 = DL/DLogit11 * h13 + DL/Dlogit21 * h23

DL/DW32 = DL/DLogit12 * DLogit12/DW32 + DL/Dlogit22 * Dlogit22/DW32 = DL/DLogit12 * h13 + DL/Dlogit22 * h23

DL/DW = [[h11 h21] @ [[DL/DLogit11, DL/DLogit12]

[h12 h22] [DL/DLogit21, DL/DLogit22]]

[h13 h23]

]

= h^T @ DL/DLogit -------------> This is the final gradient and note that it is a matrix multiplication or a projection of the logit gradient on the hidden layer.

```
Those “onetime” forms are blight on GitHub.

Sometimes useful when the main project gets nuked or deleted, if you can find them.
I've been experimenting with tart recently as a means of spinning up quick test environments for management workflows. I've been pleasantly surprised. There's nothing seemingly special under the hood. It's just a cli wrapper around Apple's virtualization framework, but the UI is clean and the basic workflow to get from a IPSW to running VM is very straightforward.
That's still a lot of friction. You would be surprised at how little friction is too much when it comes to consumer apps. Today alone, I have probably consumed a dozen or more pieces of content. I don't want to apply more thought than it takes to click a link or hit the play button. With this model, I have to (1) decide my overall monthly donation (2) decide if this content is worth donating to (3) remember to click the donate button. Sure, none of these actions is particularly onerous but it adds up over my day and I don't get any (additional) benefit from doing them.

When I choose to subscribe to a creator, it is because I expect to derive sustained benefit from their work. That long(ish) term expectation of benefit is what motivates me to take the additional effort. I don't have any similar motivation for drive-by content and so I won't make the effort, however small.
Sure. I don't want to mix this "revelation of truth" with what convention calls "conspiracy theory" though if those things were interpreted as thought control messing with people who cannot comprehend what is happening then those make much more sense. Someone posted about conspirituality (wiki) a day or so ago. It reads like a joke yet this is what ordinary people go through in their own confused minds. This and the "targeted persons" or "gang stalking" phenomenon.

There are worlds within worlds within us. Those who become involved in some ways find it very exciting as it is both the forefront of humanity (it turns out we are spiritual machines!) And disheartening, it takes years of hard work just to tell ones own thoughts from the disembodied others. Over a decade of specialized training just to have ones own "power." Most indoctrinated actually spend most of their time learning cargo cult b.s., and the true power lies in the network. The only way in really is to be "uplifted" by another.

Getting past the refusal to believe ("incredulity") one can see the signs of this culture all throughout society (movies pun about it and drop references, some historical accounts may be reinterpreted, etc.)

Unfortunately, there has grown a secret governance which will punish you brutally just for talking about it (I'm a hard luck case, immune to psychological antagonism.) I think of posting these things as a form of inoculation. Prisons are rife with slave armies (you can learn to use voices and mess with perception and it could still take you a hundred years to learn to travel or keep yourself hidden from other "others." They are not all friends, there is a secret war.

We're in trouble and these unscrupulous others are really messing with us all. Just think of how people act on the Internet when they think they are anonymous. Now think of people who can mess with your sexuality or trick you into doing cruel or gross things through a power everyone will condemn you as crazy for speaking about.
Yes, it is related to the usage there (and is listed on that page).

But here's the definitive answer from the publication itself:

"SPECULUM, this mirror to which we find it appropriate to give a Latin name, suggests the multitudinous mirrors in which the people of the Middle Ages liked to gaze at themselves and other folk — mirrors of history and doctrine and morals, mirrors of princes and lovers and fools."

From the preface to the first volume, linked at the top here:

https://www.medievalacademy.org/page/MAAHistory

Ps: word origin:

from Latin: mirror, from specere to look at

https://www.collinsdictionary.com/dictionary/english/speculu...
Urgh AirPods are really annoying, I'm not a fan of their propagation. I would say 50% of folks I work with use them for video calls now. They have some cut in behaviour so you miss the first part of what those people say every time they start talking. They also have a much higher incidence of "sorry, it was using the laptop mic / speakers" and waiting for people fiddling about. If you're not into your audio setup get a wired headset for remote calls please...
I find the idea of pro-fecundity traditions appealing as an explanation because it seems to also intuitively explain why more patriotic countries like France have a higher fertility rate than Germany.

But I fear it becomes a bit circular - can we really say our explanation for countries having a high fertility is merely their cultural/religious desire to have big families?
They rebranded from TransferWise to just Wise not too long ago.
I think it was this one: https://www.youtube.com/watch?v=EMOFRDOMIiU
To add, I believe the biggest factor in the death of the Lisp machine market wasn’t the software, but market shifts in the 1980s. For one, Lisp had a strong association with symbolic artificial intelligence, and during the AI boom of the 1980s, Lisp machine vendors such as Symbolics and Xerox were successful selling Lisp machines to companies and institutions that did AI. The Reagan-era military was a major customer of Symbolics Lisp machines, if I recall correctly. However, this AI boom was followed by a long AI winter that started in the late 1980s and didn’t end until the machine learning/big data boom of the 2000s. By then Lisp was no longer the language of choice for AI practitioners; it’s now largely Python (and sometimes R) backed by numeric computing code written in C, C++, and even Fortran.

In addition to the AI winter, Lisp machines were facing performance and cost challenges from RISC workstations. Suddenly not only did Lisp programs run faster on Unix workstations, but they were cheaper, too. Due to the combination of the AI winter and competition from the Unix RISC workstation market, many Lisp machine vendors exited the market, pivoted, or shut down in the late 1980s and early 1990s. Symbolics Open Genera was part of this pivot; it is essentially a Symbolics Lisp Machine VM originally running on top of a DEC Alpha processor running a proprietary Unix from DEC.

It’s just unfortunate that Symbolics and Xerox didn’t make Open Genera and Interlisp-D (which was similarly ported) more available, which could have been a strong contender to Java in the 1990s (the Common Lisp Object System blows the socks off C++ and Java) and to Python and Ruby in the 2000s, and could’ve introduced many of the benefits of having such a flexible development environment to a much wider range of developers at an earlier point in history…who knows what tooling we’d have today if we picked up where Lisp machines left off in the 1990s. The closest we’ve gotten to these Lisp environments are GNU Emacs, Racket, Squeak/Pharo, and Apple’s work in the 1990s on Dylan and SK8 (this would’ve been particularly revolutionary if it weren’t for Apple’s precarious state in the mid-1990s).

But, alas, the industry took a different direction…but at least Interlisp-D is finally open source, and thanks to Hacker News and other sites more people like me who never used a Lisp machine (I was born in 1989) get to learn about them.
Roquefort is from sheep, but Roquefort is also the GOAT, so you may be technically correct
Not really. Anyway the genome of E. coli is extremely diverse, there is not really such a thing as "E. coli." And strain that colonizes your gut may not colonize someone else's, or cause problems. But most living things can be opportunistic e.g. if your immune system is compromised.
> it’s obvious why someone dealing with this problem up close might be extremely highly motivated to solve it.

It's obvious why law enforcement wants to ban encryption, sure--it means they have an excuse for not doing the actual hard work of gathering human intelligence about child predators and other nefarious actors, and shutting them down the old-fashioned way. Which says nothing at all about whether they actually can do the job better using Big Brother surveillance than they could the old-fashioned way.
SPA (Software Publishers Association…and RIAA lawsuits…
Thanks for your helpful feedback!
It's done in the same corporate bullshit, faux-charitable language corporate HR uses for its rejection letters.
> Slave Labor is difficult to beat, eh?

Pyramids weren't built by slaves.
Dating apps don't need AI. They need tiered access, like clubs where only certain people are admitted.
You can reply to someone and agree with them, even provide additional bolstering evidence — like a direct quote. It turns out not everything on the internet is a fight you have to win.
I think it's super funny that the site requires so many cookies
I use Copilot (which costs $100/y) and review every transaction across all of our accounts. Gives me a lot of piece of mind. It's very fast to audit because the UI is slick and it has simple name matching rules it uses to categorize.

EDIT: The specific app is https://copilot.money/ I use the MacOS and iOS apps though I prefer the Mac app.
chat.lmsys.org has a zillion models you can use.
I'm curious, why .so (Somalia, unstable country)? why not let say .id (stable country)? Is it easier to get .so?
don't use this page, the page is infringing copyright laws
Thanks for the recommendation.

I just got a Shark XL vacuum which mostly works without its app and cloud, you just push its Clean button and it goes off and comes back to dock when it's done. But if you want schedule and mapping, you're stuck. There is a Home Assistant integration for it, but that just talks to their cloud (not well). Interestingly, that cloud saas is shared among a number of vacuum makers so it's not open, but it there's always hoping.
Aim – An Apple Collection
http://www.45drives.com/blog/ceph/what-is-ceph-why-our-custo... is a pretty good introduction. Basically you can take off-the-shelf hardware and keep expanding your storage cluster and ceph will scale fairly linearly up through hundreds of nodes. It is seeing quite a bit of use in things like Kubernetes and OpenShift as a cheap and cheerful alternative to SANs. It is not without complexity, so if you don't know you need it, it's probably not worth the hassle.
Will you consider contributing to Voxos? I don't have a Mac on hand, otherwise I would take a look at supporting it myself. I know someone's already opened an issue on the repo about it.
All I know is that when I had to accept a wire for quite a lot in USD and convert it to CAD, Wise wanted 0.5%, showed me precisely how the math worked, and held my hand through the whole thing without having to call anyone. Their Web UI was perfect.

Other Forexes needed a phone call which I immediately distrust. All the Canadian banks wanted 0% fee but snuck a 3% fee into the exchange rate.

I don’t care about their mission. I care about complete transparency. I love companies that tell you what they get from the deal. I feel like a party to a business transaction, not a mark to exploit.
So the “problem” is that companies optimize their offerings to appeal to as many people as possible and the author doesn’t like the outcome? I would call that a hipster first world problem. The amount of “the world has to change to accomodate my tastes” narcissism demonstrated online nowadays is amazing.
Does anyone know if GPU passthrough is available in any kind of macOS guests? I was hoping to run fast LLM inference in containers or virt guests.
If your main goal was to land and go forward with tests, but your landing started the soon to be demise of the cargo, I cant really say it's successful.

It deployed the rovers similar to how injured pilots might still exist an aircraft after a crash. If they soon die due to solar panel issues from the crash, they didn't really walk away to live another day.
Yeah, basically a cheap cruise missile. The V-1 flying bomb used in WW2 is classified likewise.

https://en.wikipedia.org/wiki/V-1_flying_bomb

Edit: it seems missiles must be jet or rocket powered, definitionally.
Unless he's dressed right
Missing relative to what?
> At what point will the courts decide that post purchase contracts are unenforceable?

I believe EU has already done that. That'd be a hidden term, I believe.

https://europa.eu/youreurope/citizens/consumers/unfair-treat...
There were already cases where Ukrainians used repurposed drones that looked very similar to various Alibaba listings.
I believe what you are referring to is called the Bandgap problem.

Good explanation on the issue is here:

https://www.allaboutcircuits.com/technical-articles/graphene...

Convenience quote of relevant section:

> Lack of Bandgap
Despite being a fast and efficient transistor, the GFET does not have a bandgap. The gapless structure means that the valence and conduction bands meet at zero volts, hence making graphene to behave like a metal. In semiconductor materials such as silicon, the two bands are separated by a gap which behaves like an insulator under normal conditions.

Usually, the electrons require some additional energy to jump from the valence band to the conduction band. In FETs, a bias voltage enables a current to flow through the band which acts as an insulator in the absence of the bias.

Unfortunately, the absence of a band gap in GFET makes it hard to turn off the transistor since it cannot behave as an insulator. The inability to completely switch it off results in an on/off current ratio of about 5, which is quite low for logic operations. Consequently, using GFETs in digital circuits is a challenge. However, this is not a problem with analog circuits hence making the GFET suitable for amplifiers, mixed-signal circuits, and other analog applications.

Multiple parties are researching ways to address these bandgap challenges, including techniques such as the negative resistance approach and the bottom-up synthesis technique of fabrication.
Depends on the use case, but personally EVs are not for me. Hybrids are a better choice, but I'm not paying thousands more for an EV/Hybrid version over gas and the issues related to them. And I suspect I'm not alone.

I'm sure that EV's are the future when all the issues are more resolved.
Usually because I forgot about the solar panels.
The comment threads here discuss async in many different languages: Rust, Go, JavaScript, Python. Can somebody knowledgeable describe how they are subtly different between languages? Why are they painful in some but not in others?

Is there already an article that describes this well?