skysight-inc/HackerNews huggingface dataset:
> We're not on the earth to "do great things" or "achieve progress" or any of that crap. That's for people who have some special enthusiasm which the rest of us need not share, or, as Bertrand Russell says, for the elite who want us to labor for them. If one builds one's morality or sense of virtue on doing stuff one is a self-whipping slave and probably ready to become a slave driver for other people too.

Thank goodness there are people who do build their morality on "doing stuff": surgeons, cancer researchers, etc.

Some people innovate, and some (most) maintain. A healthy society needs a spectrum of endeavour.

I think our fundamental problem is that many of us do work that does not feel meaningful, and it seems that a lot of meaningful work is not respected and compensated as it should be.
How Novices Use LLM-Based Code Generators [pdf]
Is it possible they’re trying to separate out candidates who studied English literature as a matter of typical high school education vs those who studied ESL back in their home countries?
I can still vaguely remember when the web was mostly just HTML, images, css, and the occasional plugin content like Flash, Java, and RealPlayer. You could really do a lot of stuff in a tiny package. Now you have to run a pseudo-operating system to deliver bizarre bloated applications via text. Technology didn't used to make me sad...

I once shipped Dillo in a tiny memory resident distro, it was fantastic. Happy to see its return.
Module Federation 2.0
> A business, say a Walgreens, sells things. This is like the landlord. A customer buys things, this is the tenant.

When there are many thefts, shops usually rise prices to cover the cost and stay operational, or they use measures like bag search or locking certain items.

Lardlords cannot do the same because reasons.

> The other thing I want to point out in your response is "bad tenant". This term is often used to refer to someone who has had an unfortunate event, or series of events, could be medical, could be not their fault, that has resulted in them not being able to pay their rent, often for a short period of time.

Not my problem, you can't just come to Walgreens "I'm poor please give me stuff for free BTW nice cart can I take it"

> I've been a landlord, I chose to get out of the business because I wanted to do other things with my time.

I've been a British monarch, I chose to get out of the business because I wanted to do other things with my time. AMA.
This looks really cool. One thing I think would be really useful for people is some instructions / examples of how to add proofs for an existing codebase.

So maybe an example could be a bare-bones gui app with a single textbox, that does an http request to some resource (having data that is unknown at compile-time and potentially untrusted is a very common thing) and fetches an array, which is bubble-sorted and displayed in the box. The bubble sort has some intentional bug (maybe due to some off by one error, the last element remains untouched). There are unit-tests that somehow don't trigger the bug (worrying that your tests are incomplete would be a primary motivator to go for proofs). It could then show how to replace the unit tests with a proof, in the process discovering the bug and fixing it.

The example wouldn't need to go into huge detail about the proof code itself as it is potentially advanced, instead it would focus on the nitty-gritty details of adding the proof, like how the interface between proved mathematical code and non-proved io code works, what command line to run to prove&build, and finally a zip archive with all of that, that you can play around with.

Edit: Actually just reading from stdin and writing to stdout is probably good enough.
We just got regular boards from the hardware store. Part of the technique is hitting them with the grain rather than across it.
I would be an hypocrite if I pretended that I care.
I agree to an extent but I’ve realized that the benefit of retention is probably outweighed by the downside of slowing information acquisition. I’m realizing that note taking doesn’t help retention as much as I thought it did and not taking notes doesn’t hurt retention as much as a I thought. That’s why I’d like to find more of a middle ground.
Pretty neat, but is there any Windows or MacOS support planned? I wouldn't mind renting out my GPU when it's idle, but I don't really want to go through the process of dual booting etc.
Oh, I now see I was not clear. I was indeed talking about age when I said "below 50". Not speed. My bad.
I predict this is a total disaster.
Falcon has a reuse window of less than a month, 21 days in fact. And that's why you use multiple vehicles. Falcon also uses multiple vehicles which is how it achieves flights on average every 3 days so far this year. Also Falcon is inherently harder to reuse because of its fuel choice causing substantial soot buildup on the vehicle that needs to be cleaned away whenever inspections are done both inside the engines and on the vehicle itself. Its fairings also get dunked into sea water every time they're reused which needs to be cleaned off.
I assume NSAID's are still common, though opiates are stronger pain killers, antiinflammatory and fever reducers would still be helpful.

That said, I'm not arguing the official explanation is wrong, just curious if the same thing would happen at the towers.
Whenever I hear people talk about the lack of practicality of some mathematical construct, I always remember G H Hardy who worked on number theory at the turn of the century. One of his famous quotes I love is:

> I have never done anything 'useful.' No discovery of mine has made, or is likely to make, directly or indirectly, for good or ill, the least difference to the amenity of the world.

Despite his self-proclaimed focus on pure mathematics, Hardy's work, particularly in number theory, has had profound applications in cryptography and other fields.

I agree about the overhead. The costs have come down significantly already but they still remain a few orders of magnitude too large. That being said, it’s killer app is cloud compute. Right now the only way to amortize the cost of HW is to run it on someone else’s computer, which brings along with it all sorts of security and privacy risks. Well-performing ZK proofs (which we don’t know if it exists / it may be a long time before we figure out how to do it) would
let you do cloud computing securely without worrying about vulnerabilities in your cloud provider’s network. Like all cryptography, it’s a double-edged sword because the same techniques would let websites deliver code for your machine to execute that you have no knowledge of what it’s doing.
In case anyone was wondering:

Long ton = 2240 lb (1016 kg)

Short ton = 2000 lb (907 kg)

Tonne = 2205 lb (1000 kg)

Long tons are rarely used outside shipping. Short tons are what people mean when they say ton in America. Tonne is the metric ton and is what most of the rest of the world means when you hear something that sounds like ton.
Seems we're starting to pay a lot more attention to the spillover phenomena. Good.

My believe is that it's, and's ever been, very common we just didn't notice much. And the "oh shite" mode here is the tail end, which is rare but devastating... so yeah, paying more attention now, as opposed to say even 20 years ago, is even better than good.

We now have a chance to learn, and understand with due diligence.
The Devonian certainly wasnt a wood age
I think that most people just take a regular board and cut it into several lengths. Since the grain generally runs along the longer dimension of the board, that means that you break the board down the middle.
could you explain what the Bredesen Protocol is?
ZK proofs could be used to implement secure cloud computing where a total compromise of a vendor’s machines / network wouldn’t in any way compromise the customers running workloads on that network.
If a function that causes security vulnerabilities if you fail to read the documentation diligently doesn't count as a landmine to you, what does?

Please provide examples in other languages (eg rust) so that I can answer your original question properly and to your satisfaction
When a politician sues a blog to unmask its anonymous commenter
Cathinone and Psilocybin in Cicada Pathogens (2019)
100x Software Engineering (2023)
Stupid (and unthankful) question perhaps, but have you considered working on https://ladybird.dev instead? Kling and the small team seem to be making great progress.
The injury rates are about the same as construction or ship building industries. Which is what SpaceX's sites are more similar to rather than extremely clean precise cleanroom facilities like in the rest of the industry. Right now they're building office buildings and parking garages at Boca Chica.

The numbers are not extremely high nor are they "alarming".

The writer of this article is known for producing clickbait and misleading articles designed to inflame people.
It's such an eyerolling cliche in sci fi when replicated food invariably triggers some character or another to remark that it will never be as good as the original.

Synthetic food that can match or exceed the nutrition, quality, and environmental impact of regular food may or may not ever be achieved. But it's stupid to oppose the attempt at progress.
A coach that you paid money to advised you to lie during a behavioural interview?

Well, that could certainly give the prospective employers plenty of information about the way you behave.

I wonder how many lies the coach told you about themselves and their qualifications, on the belief that you'd never check on their story.
The TFA is such a nice in-depth introduction to the properties. Respect to the authors for the work they put in explaining it.
I've been on a diet this year and lost about 30 pounds, but the hardest part was getting used to being hungry. It lasted about two weeks. Now I don't feel hungry, but then I'm still confronted with the other problem of eating, which is eating because of boredom. It's a never ending struggle.
Last time I worked with RT, to do anything custom you had to script it in perl. That's a language that hasn't been popular for a couple of decades (yes I know it's still running a lot of stuff, but try to hire a Perl dev in 2024), good luck.

Maybe a case where AI could help. But not sure even AI knows about RT "scriptlets"
I don't see a completely filled in octant. What character should be used for that?
The ads know that I'm a man in my 60s.

Lots of ED ads, lots of "How to retire" ads, those weird ads with retouched old men with six-pack abs, the stupid intermittent fasting ads, etc.

I do get the occasional run of Spanish-language ads. Not sure why.
ChatControl Risks False Positives
Also check out the Newcastle Protocol by Prof. Roy Taylor, now adopted by the NHS:

https://www.ncl.ac.uk/magres/research/diabetes/reversal/#pub...
Im also interested in what the differing factor is. Would also like to see more documentation for onboarding rather than just "Ubuntu and root available".
The lunacy of rebuilding in disaster-prone areas
I would say their experience of it certainly exists yes. No one is claiming these conscience experiments are material reality.

It doesnt matter if you call them illusions or hallucinations. It's intriguing that they exist at all. If they simply did not exist there would be no discussion about this in the first place.

I mean do you believe an LLM running is equivalent to you experiencing lucid dreams? Whats the difference? Do you think the difference is simply that I say it's different? That if I added some code for the LLM to say "Yes I really do experience lucid dreams", it would be equivalent to your experience of lucid dreams? Or is there something else, entirely unexplained happening from my experiences and a computer making rudimentary calculations to string words together?
> Have users police submissions, such as with flagging and/or voting, and hope they can detect enough LLM-generated content that HQ can direct sufficient negative feedback at it.

This is a race to the bottom, as users will fight to flag each other's submissions as AI-generated. At best, you're going to have such a high false-positive rate, that it'll be useless.
The MIT link I shared mentioned Demaine studied Huffman's work but the mini and full paper make no reference. I first heard about this from Huffman when Demaine was about 16 years old. So I would hope for some reference there in.
Buuuut.... The flip side is that all these mechanisms are unreliable.

They might match your phone up with someone elses laptop and you'll see ads for stuff they searched.

They might get your location wrong by 1000 miles and suddenly all the ads are in French.

You might have clicked no to a cookie banner so now you get to see ads for ED medication despite definitely not having a use for it...

Advertising is all a numbers game, and they just aim to be mostly right most of the time.
Oh that's a great tip, I will try to remember this next time I'm touching the msgpacky parts of my app!
For a few accounts I prefer convenience, my "2FA bypass" takes half a second typing - "`1", which expands to a call to https://github.com/rsc/2fa using Typinator and puts the code inline...
It’s another name for a red panda.
Calling it a "single use upload url" would probably be a lot clearer. Describe the purpose, not the mechanism...
I agree strongly with the last two paragraphs. I think the surgeon/medical example is nice (though not they certainly don’t work for free), but a lot of the ambitious people I’ve known all sought middle management or higher in some big company, which hardly seems like a good application of human potential.
Often it comes down to how someone uses the art.

Lyoto Machida uses Sumo as part of his MMA. At our school we've found it's pushing techniques useful once your get an opponent off balance.

The locks in Aikido are useful as pain compliance techniques used by people like law enforcement or bouncers. Compared to an art like Judo, the "throws" in Aikido generally don't throw your opponent to the ground and do damage. Instead they tend to cause your opponent to stumble away from you. Therefore, they aren't very useful in competition but they are useful in self defense where they can create an opening to get a weapon or escape.
Unrealistic book where people around him were willing to change and didn't dig their heels in to protect their fiefdom.
What's the security story here?
Forgot to link the "use strong" proposal https://docs.google.com/document/d/1Qk0qC4s_XNCLemj42FqfsRLp...
There are 2.4 billion Christians on earth, so you could find correlation between "being into Jesus" and any behavior you wanted.
Exploring the enigma of database vacuuming
Rust Apps on Ox64 BL808 RISC-V SBC and Apache NuttX RTOS
I’ll describe Hwang more as delusional reckless gambler than fraudster.

As the article implies, it’s not like he cherished the high life and bought lots of assets. He seems like someone addicted to stock gambling.
Those also end at their full stops, it's not 'you can act like an interrogator as long as it's not a snarky interrogator'.
Aside from technological adaptation, the other thing that makes me hopeful is that "the world is ending" has been a meme since long before memes were a thing.

However, those old memes didn't have science, aka atmospheric chemistry, on their side.
I don't know of any, and I honestly didn't think to look before I started building a character sheet web-app for a friend.

Honestly, if it's easy to express in code, and is a brand new thing, it might be easier to write from scratch than it would be to fight assumptions a framework might have. But maybe I'm wildly wrong, and have been wasting hours writing boilerplate :P
It's so blase yet awe inspiring that we can all type into this little text box and get feedback, ideas, and help from all over the world.
AFAIK, Ladybird goal is to build an independent web browser from scratch that can render the "modern" web.

Dillo original goal[1] is to provide access to the web to places with very bad internet speed or latency as well as old or resource constrained computers.

[1]: https://dillo-browser.github.io/old/interview.html

I don't think we will ever implement JS support, as that would increase a lot the minimum requirements to run Dillo and make the attack surface on the browser much bigger.
Location and ACR may explain the ads I keep getting. But they're way off (because I'm cautious).

I happen to live in one of country with the highest GDP per capita (higher than the US) and I also spend lots of time in another country, in France, on a very famous place on the french riviera. That'd be the location part.

Then I love fast expensive sports cars. I just can't help it. Own two or three.

So what kind of ads do I get all the time? Ads for very very very rich people. Ads that want to sell me private jets flights or... Directly private jets. Yup: I'm not kidding, I keep getting ads where this insert many millions here private jets are for sale. Porsche cars: all the time.

Needless to say: I don't have anywhere what it'd take to fly private, let alone buy a private jet (even used).

But I find it funny: somehow the ad industry is thinking I'm completely ballin'.

Now of course I make sure to not only click on the ads but also pretend I'm deeply interested: for example I'll make sure to Google "Is a used Embraer better than a used Gulfstream?" : )
This is why the idea you sometimes see floated that we should be able to sell our own personal data isn't really much of a solution. One person's data doesn't have much value on its own. If you were able to sell it, it'd be worth a few cents at most. Your data is only valuable as part of a large data set. I get the appeal of using capitalism to rein it its own excesses, but I really don't see anything short of strong regulation having a shot at regaining and maintaining our privacy.
Love to see the night sky on Mars? This is what it would be like to stargaze
The robustness of some fossil leaf venation networks to simulated damage
But how long until users get tired of that and move to something else? We're already seeing it happen.

Just check out Jack Forge's viral tweet and the comments: https://x.com/TheJackForge/status/1786463653874778229

Even Elon agrees Google's a mess: https://x.com/elonmusk/status/1781100981037494538
Concept to Product: Building the Micronics Micron SLS 3D Printer [video]
I took a class for AWS certification. Even though I never ended up taking the test, it has been extremely helpful throughout my career.
I use vast.ai somewhat often. It's great!
That group has rubbed me the wrong way for a long time, ever since I saw one of their publications (ca. mid-2000s, I think?) and found it full of glossy food stylist photos, magazine-like layouts, and stock vacuous advice like eating "smaller portions" and a "varied diet". For all of its shortcomings and the undeniable political swamp it has to ford through editing and publication, I bet you'd very much get more specific, actionable, and evidence-based dietary advice from the Dietary Guidelines for Americans than from whatever that rag was.

There's a chance that I'm misremembering this or confabulating details from multiple publications from different organizations, but skimming the current website ("eatright.org", lol) has done nothing to make me doubt the general vibe.
Dance and performance has been part of almost every warrior tradition that I'm aware of. The Spartans had Gymnopaedia, Europe (along with many other areas) has numerous sword dances, the Maori have haka, Muay Thai has wai kru, modern militaries have drill, etc.

Dance appears to be a very natural and primal form of human ritual, so it's not surprising that most cultures have utilized it as a way for warriors to build confidence and demonstrate their attributes & skills.
What's the point of being alive without building monuments?
The two Santas theory.

https://en.wikipedia.org/wiki/Jude_Wanniski#The_Two_Santa_Cl...
Variations on the theme of silence
there is a typo. 2009000 should be 209000 city owned apartments
It only took 20 hours to extend the context?

Does someone have a good RAM calculator for long-context LLMs? Edit: looks like 190GB just for the context.
DIY Solar PV Hot Water System Designer
A simulator to help you hook some solar panels to the bottom element of your water heater. Can pay for itself in as little as two years if you live in an expensive power area.
Vera Rubin's primary mirror gets its first reflective coating
If you are thinking about the C runtime on Windows, you can statically link those dlls into your program via compile time options.

There are valid reasons for dlls however. The main one being symbol name collision.

For example, you can use a dll that links to version 1 of a library, while using version 2 of the library yourself without having any name collisions.

Many years ago when I did Linux development this was a main gripe of using .so files - imported names could clash with the same global names in your program and you get random runtime behaviour.
Asking people in the US seems like a sort of skewed sample; surely everyone in the Americas at least should get a vote on whether or not they want to distinguish more clearly between the continents and this one large country some of us happen to live in.

I do agree though that it is not so ambiguous really in the case of America, the Americas, North America, and South America—because there isn’t a singular “America” continent to refer to (unless we want to dip into the nightmare that is counting and naming the continents; Europe is a subcontinent, I’ll happily die on that hill). But “American” seems a little ambiguous, what else should we call somebody from the Americas, if we want to refer to them in that context? Nobody would say “An Americasian.”
You seem to be suggesting that homelessness is simply an expression of people's wish to sleep al fresco?
There is nothing "better"; I have been using Kagi, which offers far superior results. As far as I know, it uses Google as a backend.
The company behind Ubuntu desperately wants you to use snaps. They continually push them more and more into the users.
Do you have any evidence of this, or whether any locals would see major economic benefits?
This whole thread is a bit weird now rereading it. My post was pushing back on the narrower idea that past folks' ideas in subject area A should be disregarded because they may have participated in now unacceptable subject area B. Also that Americans tend lack context around the subject.
I was expecting a concrete evidence on why the story is false instead of speculations arguing that it's unimportant. For me it feels like preaching to the choir, I already feel that AI profiling isn't as powerful as people screamed, and that one story is repeated too often, but I need some real argument to say so.
What are you doing GPUs that requires Windows or Mac support?
Why would you do that? It's clear canonical wants you to use snaps, there are actually distros near identical to Ubuntu whose developers aren't hellbent on you using snaps.

Do whatever you want, it just seems bizarre to me that you would go to lengths disabling snaps when you could just use a distro without them.
There is no credit reporting bureau for business debts, so it’s not as simple as looking up a social security number.