skysight-inc/HackerNews huggingface dataset:
For me it was less about the idea of how likely you'd quickly it converges to you almost certainly outing them vs misunderstanding the idea that a zero knowledge proof is about, more or less, the "limit" of the validation behavior to an arbitrary point choosable by the tester not necessarily an actual guarantee you can finitely reach the conclusion.

Prior to this I'd only seen "proof" in math where it has meant you can absolutely guarantee there to bo no counterexample not just that it seems impossibly unlikely there could be a counterexample. E.g. the Tarry-Escott problem where we have proof there is no sets exists with n=4 and m=5 even though we haven't ever found numerical values of sets matching that description or Merten's conjecture where the smallest counterexample is estimated to be so large (~10 billion digits) we've not even been able to find the first counterexample value despite knowing it exists due to a proof. On the other side of things we have things like the Goldbach conjecture or Riemann Hypothesis where we've poured our hearts, brains, and souls into trying to find a counterexample or proof and don't claim to have either yet.

Adjusting to that definition of "proof" for the context it all makes a lot more sense now.
7yo me could not understand how people could possibly make software but I knew I wanted to be part of it. I loved my CPC 6128.
I second this. A lot of books are either directed to complete beginners, stuff like how to update packages and use common applications, or directed toward kernel developers. How Linux Works covers useful items that will serve more hands on users well.
Thanks for the explanation, it seems the definition was slightly different than I assumed it to be previously and that was my missing link to it all making sense. Thanks also for the demonstration to share this info!

Looking forward to the easter egg :)
Flambda2 Ep. 2: Loopifying Tail-Recursive Functions
If you have an API key, using Opus with a 3rd party UI like typingmind.com solves all of the problems you mentioned (disclaimer: I'm the app developer)
I more or less agree, though I could get used to just about anything.

( see also: ES modules are terrible https://news.ycombinator.com/item?id=29137663 )

To suggest deprecating CommonJS so as to reduce fragmentation seems so bizarre to me. Audacious.
> Any B2B vertical where customer ACV is less than $10k per year.

I think any may be too broad. That encompasses things like:

- SMB accounting software

- Email marketing platforms

- Project management tools

- CRM software

- Website builders

- SMB HR and payroll services

- SMB IT and security solutions

- freelance/gig platforms

- SMB marketing services

- Legal/compliance for SMBs

And each of these seems like extremely saturated verticals with just a ton of offerings and competition.

This is where I get stuck. The idea of focusing on a small vertical that isn't attractive to venture capital funding appeals to me, but then I'm at a loss for ideas beyond the most obscure niches, like a bingo card creator :P
I get an intra muscular injection of testosterone every two weeks and it's true that it's not as easy as a sub q injection would be, but it also definitely doesn't require a nurse.

there's a few good injection sites (upper arm, buttock, thigh or even pecs) and after I was shown once how it's done, I can do it myself. it's also essentially painless.
57 upvotes on a fairly obscure forum does not equate to fame
Related to the observation that the paperclip maximizer is us.

https://en.wikipedia.org/wiki/Instrumental_convergence#Paper...
I don't think you're properly accounting for the heartburn that would result from consuming that much oil... you could be turned off food for a whole day!
Security services typically don't publicize what they use, for obvious reasons.

Unless you can point out links between the Hungarian government (who announced they will re-table the directive in a few months) and such companies, I'd say Occam stays with the security services.
> Will binaries from 15 years ago run on SUSE Linux?

If it is important enough,
the government should demand ownership of the source code,
not just take some binary and call it a day.
Oh, tell me how your browser will load all files simultaneously when your dependency tree looks like A->B->C->D->E->...
> Just because it wasn’t as bad when you were young doesn’t mean it was fine then or now.

Not as bad can mean fine depending on your goals.
It's extremely difficult nowadays to not fall into the temptation of letting a touchscreen be your child's plaything, but I firmly believe the damage they do in their early development stages is so drastic that even if everyone else criticizes you as a luddite (which is hard to take at scale and recurrence), it's worth believing in your own judgement.

The difference between kids with iPads and kids with no access/extremely restricted access is wild.
Can we just ban ads for booze, smoking and prescription drugs?
Politicians are bad people.
He has tenure and hasn't done anything that would force the dean to fire him. He hasn't published in ~7 years.

IIUC he's been isolated- doesn't get any real funding from NIH, or from the university (beyond the standard salary), and doesn't have an active lab.

It would likely cost the university more in legal fees to get rid of him than keep him until he goes away.
Yes. AWS enterprise support costs a minimum of USD 15k/month. You receive a dedicated TAM and account SA for more strategic projects or problems, as well as faster live-help response through the ticket system.
> Despite numerous exceptions, an “addictive feed” is a platform where multiple pieces of media generated or shared by users are recommended, selected, or prioritized based on user-related information.

From: https://www.hinshawlaw.com/newsroom-updates-pcad-new-york-ch...
I use a BOOX Note Air as an infinite supply of paper.
In that I create general and specific "notepads" (using the BOOX built-in app). Those are basically just filled with sketches and lists.

Lists of projects I'm thinking about doing.
Lists of things to do on the current project.
Lists of bugs on a project.

Just scratch things off as I'm done. I like this method because I often want to draw a little sketch of something (like a UI element or quick flow chart) inside the list to remind myself of some aspect of the project/bug/etc. The freeform nature of pen + paper helps me remember things, having gone through a physical action of writing. I also find it much easier to go back to another project to look up something, because I remember doing it. I remember drawing something. I know, visually, what I'm looking for and every notepad I ever made is right there, immediately browsable.

"Works for me," as they say.
Linux kernel API is stable. Why wouldn’t you able to run properly written program from 2009? I’m pretty sure it’ll run just fine.
> Legislation S.7695B/A.8149A enables the New York Child Data Protection Act to prohibit online sites from collecting, using, sharing or selling personal data of anyone under the age of 18, unless they receive informed consent or unless doing so is strictly necessary for the purpose of the website.

That's a lot of "unless" there, which doesn't make me very optimistic for its impact. I haven't heard yet from a scenario where selling a minor's personal data is strictly necessary for the technical operation of a site, but I'm sure we'll discover lots of such cases very soon...

Also, as an adult, I find it interesting that the "informed consent" requirement is restricted to kids only. Sure, adults should be trusted to decide for themselves whether or not they want to share their data, but wouldn't they at least need some opportunity to decide for that?
Redis already has the data structures for a queue and stack essentially straight out of the box.
US bans Kaspersky antivirus software for alleged Russian links
The term "algorithmic" in this context is frustratingly, but obviously, not the general CS usage.

What's meant, more or less, as indicated by the "addictive", are feeds that:

1. Optimize for user engagement.

2. Are opaque to the user.

3. Are not controlled by the user.

A sort by a field does not constitute such an "algorithm".

One might argue that even having a default to sort by "most views" or "popularity" is a gray zone, but I'd say they differ per #2/3 in that the data used to order the items are completely visible to the user, and they are making an affirmative choice to sort by that data.

I would prefer the use of terminology such as "metric-driven/metric-independent", "user-opaque/user-transparent" and "user-controlled/service-controlled".

I would also prefer we refer to "predictive models" rather than algorithms, as that immediately implies the presence of some likelihood/metric being optimized for (by the service, not the user) in an almost certainly opaque or incomprehensible way.

That said, I think for now we're stuck with "algorithm" having a very overloaded lay definition and just have to play ball rather than split hairs. There's too much at stake.
Use a consistent argument structure and make a simple class or function for each provider that translates that to the specific API calls. They are very similar APIs. Maybe select the function call based on the model name.
As the article points out, the difference between frameworks for building a website vs building an LLM agent is that we have decades more industrial experience behind our website-building opinions. I’ve used heavyweight frameworks before, and would understand your defense in the context of eg complaints about Spring Boot—but Langchain isn’t Spring; it really does kinda suck, for reasons that go beyond the inherent trade offs of using any framework.
>The Linux kernel doesn't matter.

While I agree on the importance of "the history, philosophy, and purpose of the unix environment", saying that the Linux kernel doesn't matter seems a bit harsh at best. It seems to me that the Linux kernel is the most successful Unix-like kernel in the history of computing. It certainly matters for its ubiquity alone.
https://www.nature.com/articles/s41586-024-07421-0
The covid vaccine was barely a vaccine. It was more like a flu shot in its efficacy and with significant more side effects
We still emulate a typewriter that communicates over telegraph in our modern *nix OSes. Good luck removing that and keeping everything built upon it
Is there anything else besides interpretation of scripture? If so, what? I gave a few examples in this thread of passages which can be interpreted - and in some cases are actually hard not to interpret - as calls to violence in the name of islam. What is your basis for claiming these are not actually such?

Again, denying the problem exists does not make it go away and actually makes it harder for those who wish to reform islam.
I count those in the same category as birdsong. You can see, and/or feel, laughter. There's an equivalent to "voice" in every mode of communication I'm aware of (speech, sign, romantic chess, oil-on-canvas…). There's the inherent disability of not being able to access those modes of sensory experience (and I'm not belittling anybody's desire to experience them who can't) but the social impact of the impairment is incidental and avoidable.

Perhaps these things are culturally significant, above and beyond their inherent social value, but that isn't intrinsic or necessary.
For the existing HIV-preventing medications we have, such as PrEP, the treatments are much more effective in men than women. It can easily take a month for PrEP to be effective in Assigned Female At Birth folks, but I saw studies during the COVID era that a few days were plenty for Assigned Male At Birth folks. There's some logic to focusing on the cohort that usually has the lowest success rate with these kinds of medication.

The difference in efficacy has to do with the way the body is designed to absorb fluids, and its one of the few areas where hormones and surgery don't make a difference. (A trans guy on HRT with a full set of surgeries generally has male chances of cardiovascular issues, male levels of calorie consumption/muscle-building, etc.)
It's not just SUSE. It's almost everyone in the industry. No one wants to talk to you unless you can spend $5-10k per year and that just doesn't work for small owner operated businesses.

The thing people don't realize is that it's not just one company like SUSE that won't sell you anything unless you can spend $2500 / year, it's everyone with their hand out asking for a few thousand dollars.

There are several places where I could justify $100 to keep a single Linux VM running for a year, but $2500 is never going to happen. I don't expect anyone to provide support, but why not sell me access for one machine for $100?

I think the article is more like "SUSE Offers Lifeline to CentOS Users with 100+ Servers".
The law appears to be limited to feeds that are personalized based on user/device information or interactions, with various exceptions for things like explicit subscriptions, search results and more.

Based on the language, it kind of looks like it might apply to sites like Amazon though since users do upload content and there are personalized recommendations that are core to the site.

https://legislation.nysenate.gov/pdf/bills/2023/S7694A
I do wonder about these extended periods of support. Like how many eyes are they spending on comparing vulnerabilities in 18 year old versions of, to pick a random example, libdeflate. Are they backporting security fixes? If someone goes wrong, do they have expertise on how hand or are their customers just going to go bother the upstream maintainer?

I've certainly run into users expecting me to make my libraries run on old versions of Python that RHEL supports even if the PSF no longer does. Some of these users don't understand that they've paid RHEL for support and they've paid me nothing, so I have no reason to give a toss what Python version RHEL supports in LTS minus 2.
SQL has sophisticated WHERE clause support, GraphQL doesn't. It should be called GraphPickL.
Peer pressure is the biggest factor. There is probably a threshold beyond which your kids are going to give their attention away because so many of their friends are doing it. I once hosted a birthday party where after the cake was cut, all 7 kids were on their phones, barely interacting. That was one of the most dystopian thing I have experienced.
Some VCV Rack modules do physical modeling. You can also develop your own modules for VCV Rack, as it’s mostly open source.

The two that immediately come to mind are:

- the Tube Unit module from Sapphire: https://github.com/cosinekitty/sapphire/blob/main/TubeUnit.m...

…from the docs:
“Tube Unit is loosely based on a physical acoustics model of a resonant tube, but with some fanciful departures from real-world physics to make it more fun.”

And

- Elastika (also Sapphire): https://github.com/cosinekitty/sapphire/blob/main/Elastika.m...

…from the docs:
“The physics model includes a network of balls and springs connected in a hexagonal grid pattern.”

Another that comes to mind is Elements, from Mutable Instruments (called the Modal Synth, from Audible Instruments, in VCV Rack). It’s not necessarily a physical model, but more a physical imitation. You get control over bowing, blowing, and striking impulses, as well as the main structure of resonance… from the manual:

* Internally uses 64 zero-delay feedback state variable filters.

* Coarse, fine and FM frequency controls.

* Geometry: Interpolates through a collection of structures, including plates, strings, tubes, bowls.

* Brightness: Specifies the character of the material the resonating structure is made of – from wood to glass, from nylon to steel.

* Damping: Adds damping to the sound – simulates a wet material or the muting of the vibrations.

* Position: Specifies at which point the structure is excited.

* Space: Creates an increasingly rich stereo output by capturing the sound at two different points of the structure, and then adds more space through algorithmic reverberation.

https://pichenettes.github.io/mutable-instruments-documentat...
I've seen the same thing with a gaggle of boomers sitting in bar together all not talking and just drinking. No phones.
https://en.wikipedia.org/wiki/Peter_Duesberg#Consequences_of...

He was investigated but it was dropped as being protected by his academic freedom: https://www.science.org/content/article/berkeley-drops-probe...

He also, that I know of, still supports this position. To this day, you will find people getting into this particular conspiracy and rejecting treatment. It doesn't go well for them.

I do think that freedom of speech is important, and that many attempts to squash "misinformation" are misguided, but some speech has consequences. Personally I find Duesberg utterly reprehensible and morally culpable.
glibc on the other hand is very much not.
It would be double taxed in a for profit. The business would be taxed and the income would be taxed.
Great description in that "proof" in this context is more referring to the limiting behavior and being able to get to your desired level of arbitrary happiness than necessarily providing a traditional "proof" about it being a certainty within a finite amount of estimation. Thanks.
One of the first DOS PC programs I made was a MineSweeper clone. It was done as a special request for some friends who had machines that were not up to running Windows, but were addicted to minesweeper from school computers. It was a little weird trying to implement a game I hadn't seen myself, but they gave me very precise descriptions (I think most of them have Math PhDs now)

I did it in Turbo Pascal with BGI graphics. I remember having problems with recursively uncovering empty tiles in large levels where mines were sparse. Recursive algorithms turned out to be rather tricky in general when the stack segment is 64k.

I added a starting disk of various diameters which let you pick a starting location without risk of explosion, which I think was appreciated.
A brief history of Stephen Hawking's greatest equation
> and they turned out to be completely wrong.

There were a lot of assumptions that turned out to be wrong. The chief among them was launch cadence and satellite capture and return missions. When these assumptions changed the cost values changed significantly as well.

> Why should we trust that this time will be different?

Do you understand the details of this specific contract? It's limited to 10 launches. It's structured quite a bit differently than the shuttle program was.

> NASA's own Inspector General says

Yes and did you read the recommendations and follow up from that same report? Or is this just a "haha NASA is dumb" rant that's become common around here?
Your rant would have been more poignant had you gotten the ext3 and reiserfs dates right.
I think in the past, social media was seen as a subset of tech, we were naturally allies, and gave them a lot of good faith.

More recently people have come around to the idea that these are basically ad companies except much more intrusive and creepy.

Facebook is really quite bad, not in a “oh wow, annoying site full of idiots” way, but in a “incredibly powerful tool for grabbing people’s attention run by a company so negligent that they let it be used to promote ethnic cleansing.”

It also seems pretty addictive and, I haven’t really looked into it, but it sure seems like kids are getting worse and worse at focusing. I’m not sure if it should be banned entirely, but we could hit it with sin taxes.
While not a book per se, I learned a lot from the Gentoo Wiki. Trial and error could get a determined beginner through a stage 3 install, I think.

[1] https://wiki.gentoo.org/wiki/Handbook:AMD64
> One of my friends cancelled daycare for their 3 year old, thinking they'd just watch him at home while they worked.

As a parent of a toddler, I’m shocked they thought this would work. Kids that young need constant social interaction with their caregiver.

The Covid 19 situations were different since many people were forced into them by daycares and schools closing or “going remote”.
https://archive.is/VSGHP
This is a great example of all that glitters is not gold.

Chinese EV's fair about as well as you think they would. It is a race to the bottom here.

However there is this: “China used less than 40% of its maximum cell output, and cathode and anode active material installed manufacturing capacity was almost 4 and 9 times greater than global EV cell demand in 2023.”

Where the hell is the flood of batteries on the secondary market? Whole house battery at a discount anyone?
For a 90s minute, between like 93 and 96. Visual Studio 6.0's VC++ swallowed its market amazingly rapidly.
It's probably worth reflecting on some of the things Hungary considers to be child grooming and exploitation: https://en.wikipedia.org/wiki/Hungarian_anti-LGBT_law
I want to believe.

And I do.
Trying to deconstruct some relatively obvious everyday term into nothingness to somehow evade its definition seems to be the standard counter strategy of tech against any kind of regulation by now...
I love the flow of the book. Both Kernighan and Pike are great communicators.
Well, that's what I'm talking about. These web standards are not for real use, but for idealists who do not develop real products. And because of their idealistic desires, we ended up with a fragmented ecosystem and made the life of developers more difficult. Good job.
Yeah, that's another thing I don't understand: why? If they want it to be like a traditional desktop, why not just use KDE? Instead, they're trying to shoehorn unwanted (by the Gnome devs) features into Gnome and taking on a huge maintenance burden.
That's not an objective measurement of how easy he is to understand for humans.

That's a predictive score from a model trained on some set of audio recordings of how likely it would be for it to have produced that audio.

This can only possibly be construed as a "measurement" with respect to the model. It's a measure of how the model relates to the input. I'd claim that's not a good proxy for human comprehension at all.

In text, it works a good bit better as text data and grammar are far less rich than speech with intonation, accent, cadence, etc.
This is kind of unreadable because the page is full of vacuous quotes from smartly-dressed people applauding one another and saying "we applaud this safer safety safeguarding model for the tireless future of the children of the nation in the digital age," and very little mention of the implementation. Will they check age by asking? Is it essentially a law that means that if you're under 18 and want to use social media, you have to lie?
How we made the Deno language server faster
If the memory usage really matters, you would be better off replacing:

'\n'.join(gen) with '\n'.join('\n'.join(w) for w in window(gen))

where window is a function which yields sublists of some length perhaps dependent on the length of the elements.
> we will eradicate HIV within the a single generation at this rate

If there is one place socialised medicine makes so much sense that almost any argument against it is invalid, it's around contagious diseases. The prevention and treatment, inasmuch as it reduces transmission, which is true of virtually all HIV treatments, should be as effortless as possible. That starts with making it free.
> Let's now imagine that we want gay marriages or abortion rights or something minor, like the right to repair, and the proposal is rebutted by the parliament.

> Should the parliament respect an exponential backoff algorithm to propose them again?

Sure, put a cap on it of one parliamentary term if you're worried about it going to infinity.
The treasury receives 85% of it's income from individual income tax payers, 7% from business taxes, and 7% from excise taxes.

Around 50% of your taxes go to social security and medicare, and the other 50% are available for program revenue.
The Hazardous Life of an Undersea Cable [video]
zero knowledge corroboration isn't the same thing as a zero knowledge proof. If the provided evidence isn't enough, then you keep iterating until it's proven.