skysight-inc/HackerNews huggingface dataset:
oss? none that i'm aware of that use a SAT/SMT solver for the term rewriting (like i'm suggesting). closed source, my strong intuition is both mathematica and magma work this way.
I'd just like to point out that killing chickens for food is a very recent development. Chickens are usually egg factories. Only the (evil) modern industrial practices made chicken meat an viable food source.
This is just an opinion, but I think that in the long term, we will discover that both these type of trade sanctions and the weaponizing of the US dollar will hurt us.

I understand what our government is trying to do, and why, but I think in this case they are making the wrong decisions.
> We have not run out of any mineral ever and I don't believe we ever will.

Is mineral not a finite resource? I don't understand your source of optimism here.
I expect once they finish iterating on the boca launch site and infrastructure and it works perfectly, they will then have their template they can duplicate anywhere in the world. Like starship itself, it will be complex, but easy to mass produce
Not sure where you got the Chinese 8% number, that seems to be the percent for USA imports on that page. For Chinese exports, the number is almost twice as much (14%). That means at a per-capita level if you account for manufacturing the average Chinese person emits 0.86x10.1=8.7 tons of CO2 while the average American emits 17.6x1.08=19 tons. Thus the American lifestyle causes 2.2x the pollution of the Chinese lifestyle.

However, based on that article it seems the US has also decreased emissions even when adjusted for imports. It is still higher that almost everywhere else but offshoring isn’t the only cause of the decline.
> It's just a choice most people don't want to make

Buddy, in California, you need $208K of income to just QUALIFY for a mortgage for a median house. [1] No matter how much frugality people live in, most people won’t even come close to that number on a single income. Average car payments are $700+ a month and $500+ on used one. [2] Average cost of a 4 year attendance in a public college is $100k and for a private college it is $200k [3]. Average monthly premium for non subsidized health insurance for a family of 4 is around $1700, which drops to $500-$800/month with employer or state sponsored subsidies. [4] It’s very convenient to blame things on lifestyle, but the reality is that even the basics are way out of reach of a median household on single income. It ain’t the 50s anymore for a reason.

[1] https://www.ocregister.com/2023/08/11/only-16-of-californian...

[2] https://www.nerdwallet.com/article/loans/auto-loans/average-....

[3] https://educationdata.org/average-cost-of-college

[4] https://www.anthem.com/individual-and-family/insurance-basic....
I mean that the reason you'd need semaglutide is that you can't keep to a diet. If you could keep to keto IF, you wouldn't need the drug in the first place. It's not option A or option B. It's "if A fails, fall back to B".
well, slow down, there's always tradeoffs.

deepfake child porn means that any prosecution or attempt to help the victims now has to go through an additional "was the victim a real human being?" phase, which adds both confusion and expense.

add the fact that any system which can generate just one realistic image can also generate 10 million of them, and you get a deluge of deepfakes which could allow the real stuff — the kind that also functions as criminal evidence — to hide in plain sight.
So you can forget it all by drugging yourself.
Indeed. Same thoughts. I think you need business & product smarts here not raw engineering smarts.
> Widewine and similar DRM schemes successfully achieved this

Do you have any references to back that statement up? Software-only DRMs are ultimately always either plain obfuscation or some variant of white-box cryptography, which is also anything but proven to actually work.
I suspect most of that figure is in machine time, but otherwise they pay engineers a lot and Apple likewise occupies a non-trivial % of all the commercial real estate in Cupertino, employees security guards, other staff, etc.

These numbers seem right to me.
So CivitAI is a library where people upload custom models, LoRA etc... But no training data; custom model are full Stable Diffusion model finetuned on something, LoRAs are also weights but they are not the full checkpoint, with LoRA you are able to add knowledge to the model that do not required the entire model to be finetuned (for example adding a character).

If a character is popular there will be already many LoRA trained on them (like the characters of Konosuba)

>So the advertiser probably just downloaded (base model) + community-sourced LoRA of the Konosuba anime, and then used a prompt to create the advertisement?

Yes.
Cheering for your metaverse app. Hope to hear more about it. I suspected you might be doing gamedev but this is the first time you’ve shown extensive work.

One challenge with rust is that (for better or worse) most gamedev talent is C++. If you ever open source it I’d be interested in contributing, though I’m not sure how effective the contributions would be.

Good luck!
Burning man was always the 'somewhat wealthy' at very least. The people I worked with that went to it in 95 and 96 certainly had multiple millions to their names.

Maybe it was more grassroots in the 80s, but I bet you have to go back to when it was just a handful of people who knew each other or Larry Harvey personally.
It enables users to process string at compile time. You can implement a constexpr getRFC3339DateString(int year, int month, int day) -> string and then construct a constexpr string list.
What do I know. I just see someone who has an anecdote about it working and being downvoted just based on that (what else can the downvotes be about?).

Mostly though I care about what works. Not obsessing over whether the “true way” would have worked for them as well. Have they achieved their goals? Great, done.

> Just admit that you want a shortcut, there's nothing wrong with that.

If this is so inconsequential and all of that... then why are you obsessing over it? Literally what does it matter, lol? They did something that worked so their work is done. But, what, their next task is to do a confessional about their laziness or whatever to some random strangers?

This is so entitled that it has become farcical.

> Look at this thread. Everyone taking these drugs has some metabolic condition?

Are you surprised that a thread about X has a disproportionate amount of anecdotes about X? Threads on X don't attract a uniform sampling of the population.
Cute :)

Any sufficiently advanced type system is indistinguishable from an interpreter!
X “unfit” for banking because of complicity in Saudi spying, lawyers argue
It's not just that it is a small percentage of their market cap. You're completely leaving out all of the effort and resources they commit to being environmentally responsible¹.

1. https://www.apple.com/environment/
I think you're missing the point.

People from other countries might well not know it's a place.

2 of these are places, 2 are not. Without Googling, which are which?

Taumata whakatangi hangakoauau o tamatea turi pukakapiki maunga horo nuku pokai whenua kitanatahu.

Traa dy Liooar.

Krung Thep Mahanakhon Amon Rattanakosin Mahinthara Ayuthaya Mahadilok Phop Noppharat Ratchathani Burirom Udomratchaniwet Mahasathan Amon Piman Awatan Sathit Sakkathattiya Witsanukam Prasit.

Zaglabor astragard Hootrimansion Bambriar.
I made a point to follow Solid Energy Systems many years ago, to see how one such battery technology panned out. They went dark in public media for a while. But they’ve recently gotten more publicity again.

Turns out they got some industrial customers for their battery cells in some demanding niche. Since they didn’t need to attract investors anymore, and I guess they had enough customers to fill the capacity they had in that period, they had no reason to publicise their activities.

Now they’re out there again with interviews and such. I suppose they’re looking to scale up.

Feels like there’s a lot of companies like that these days. Ones that you might heard about as a breakthrough 5-10 years ago and then nothing.. while they’re busy using the investments they got figuring out manufacturing at scale. That’s just the time it takes. Many of them now seem to have pilot/demonstration manufacturing plants up and running now.

In another 3-6 years I think we’ll start to see several of these chemistries in consumer products.
The final rule:

pass in quick on $ATTACKER_IF inet6 label "Allow the rest of IPv6"

should probably be

pass in quick on $VICTIM_IF inet6 label "Allow the rest of IPv6"

right?
Ease of playing the piece vs ease of sight reading the music is different though

5 flats is easier to play mechanically, imo, because hitting black keys is often easier
Looks like it gets quite quickly to logical plans and the actual business of query engines. The surface representation of a query is almost immaterial to the topic of the book.
Higher-resolution ones definitely do. That's why you only get Widevine L3 on PCs and Macs, which most content providers limit to 720p or below.

You need something else (like Apple's FairPlay or Microsoft PlayReady) beyond that, and these definitely check your HDCP version. I believe 4k output commonly requires HDCP 2.2.

FairPlay on macOS might be based on obfuscation still (there was an interesting article on that here some days ago), but high-resolution playback on Windows definitely does involve the GPU driver somehow.
Curious why you think that? IPv4 + ARP + DHCP + NAT has a lot more baggage. IPv6 and a stateful firewall gets the job done quite well, without the address exhaustion.
I'm saying that EU is again lagging in providing new effective treatment - just like they were with COVID vaccine because of beurocratic penny pinching.

So I'm praising the US fast adoption of an effective treatment.
I would support this, assuming ratio is ~1:1.

It’s much bette than the alternative today where people pump oil and don’t put anything back.

Quote from your link > “The project is expected to inject a net 18 million ton CO2“
One of the features discussed in the keynote for this new app's announcement is that they are adding iCloud syncing as an option, and that all relevant new features coming to Procreate Dreams will also be added to Procreate. To me that sounds like there's a good chance they'll add iCloud sync to Procreate soon!
1.9999% of android users would form the 19th largest country in the world by population. It’s absolutely worth clarifying a difference of that scale when you’re talking about something niche.
SSRIs being over prescribe is a dangerous myth that should not be repeated; it puts people at risk. The vast majority of people get on SSRIs as a last resort to save their lives.
You see this in any internet discussion, such as about gun violence - “well knives can kill people too and we’re not outlawing those.”
NYC Kneecapped Airbnb. Private property being treated as city's housing stock
no more metal cups, all got replaced by disposable plastic ones
Interestingly, every interaction I had with it has led me further and further away as it's clearly limited. People treat like it's a mind, while it's more like pachinko with words.
> D-RTM + Secure Boot is good. If Microsoft would give us this before shoving TPM down our throats, it would be good

D-RTM requires TPM.
But it's still a valid complain.

Look how fast HIV switched from death sentence to you-can-live-with-it
Math.Round opens the browser print dialog (2019)
Relative of a FreeTaxUSA employee here.

> The name sounds super sketchy, but they're legit.

I've told them to change their name, and my relative has told them to change their name.

Their marketing department is...dumb, IMO. (My relative told me about a semi-recent marketing campaign, and it was laughable.) But quite frankly, I prefer a company where the marketing department is the only incompetent one.
Oh, interesting. I'd seen it pop up on YouTube before, but the versions I saw were all pretty bad DVD rips. Some of the old threads mention that the versions were uploaded by Boondoggle Media, the film's producer and the same uploader here. So maybe the producer took down the old versions and replaced them with a high-quality version, or maybe the official high-quality version was available before and I just never discovered it.
It is always the thing you forget to unit test that causes the issue. Or the one code path that rarely runs, and causes a mysterious error once a month.
It's interesting that discussions of this process don't mention the potential to combine the carbon sequestration with, say, nuclear power generation. This process basically requires a lot of heat. So, maybe build high temperature gas cooled reactors to provide process heat for this process (which is inherently highly interruptible), used to offset continued use of petroleum in applications where electricity just doesn't work (commercial aviation, e.g.), with the option to switch to electrical generation when renewables fall short.
Eh, who knows really? Having something in the lab that works and getting a product team to understand how to make it useful to customers aren’t the same problem.

In some sense I’ve always thought Apple is focused so much on reliability and deterministic approaches that wrapping their heads around probabilistic outcomes is harder than for other companies.
It's an open question if the parasite (plasmodium) causes the infection because of a virus.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6953888/
>> Also, AFAIK these drugs always need to be taken continuously, if people stop taking them they return to whatever was their baseline levels. This can not be seriously be seen as a good thing.

I don't think it's true. Obesity increase hunger, prevent you to walk and/or exercise for long stretch of time (chaffed thighs, you don't want to experience it), and disturb your sleep which in turn increase your hunger.

It's easy to become obese when you're overweight and have bad eating habits, and it's very rare for people like me that were in very good shape at 18 to be clinically obese at 27 (it took a heart issue, then a badly broken ankle (4 years of rehab) to do it).

If the drug fix your food issues for 2 years, you're set imho.
its some kind of dead sea cucumber
Thanks for reading and for the correction! I've updated the post.
Carmakers can collect – and sell – too much data about you
No. Your whole argument hinges on pointing out that a lot of women don't fit the mold of being Peak Attractive. I pointed out how that is irrelevant since it's not like we're talking about 90% of women to begin with.
I don't see the logical connection between my comment and yours.

Yes, ads make people buy more stuff.

Is that a good thing? My comment doesn't say anything about that.

But anyway, my guess is no, because it leads to overconsumption, and exhaustion of natural resources.

Also:

> 96% of US users opted out of IDFA sharing

Meaning that users really do not want to be tracked.
Better privacy might be running Llama2 locally, offline.

If somebody hasn't tried running LLMs yet, here are some lines that do the job in Google Colab or locally. The !s are for Colab, remove them for local terminal. The script downloads the ca. 8GB model, but Llama.cpp can run offline afterwards.

! git clone https://github.com/ggerganov/llama.cpp.git

! wget "https://huggingface.co/TheBloke/CodeLlama-7B-GGUF/resolve/main/codellama-7b.Q8_0.gguf" -P llama.cpp/models

! cd llama.cpp && make

! ./llama.cpp/main -m ./llama.cpp/models/codellama-7b.Q8_0.gguf --color --ctx_size 2048 -n -1 -ins -b 256 --top_k 10000 --temp 0.2 --repeat_penalty 1.1 -t 8
"No, do evil!"
Quite contrary to the above take I find the article quite bad and uninteresting. Most of it is bad takes spinning rather mundane things in the most nefarious light possible. The only part of the entire article that was actually potentially damning was the accusation that children can be gambling for real money that they can cash out of the game. That is so damning that I find it hard to believe but would want the entire game shut down and prison sentences if it’s true.
Yes you can set up your LUKS to require both. Have a look at systemd-cryptenroll.
Actually, teachers are human beings and they're allowed to have preferences, likes and dislikes. It's okay that not every teacher is for every student 100% of the time. Something can be a bad student/teacher fit without it being a negative value judgment ("sad", "gatekeeping", "drop").
This is awesome. I was working on something similar (but got distracted) except my strategy was evolutionary. The idea was that the LLM had to figure out what it’s optimizing for itself.

I find that as soon as an LLM has an explicit definition of what it’s doing, the exploration/exploitation ratio swerves into exploitation and it gets stuck
One of my favorite 'reinterpretations' of the piece is by Meganeko, link here:

https://soundcloud.com/meganeko/beethoven-moonlight-sonata-3...
I don't have anything recorded from the past few years. Here's an old video:

https://youtu.be/L7XIFC2SawY?si=qN7TNxZi-P05uXVa

It's basically a custom 3D multithreaded OSM renderer, and the assets are a custom binary format. Uses very little network bandwidth.

Hoping to have an update this year that shows the updated graphics. I wrote a UI framework to improve my productivity (live hot reloading of UI components written with HTML with one way data binding. I had to do this because the game is gonna have so many UIs and I got tired of writing them in Java 8 style Java. Soon I can resume work on the game after sidewaysdata.com is doneish (also using the UI library to build the desktop/mobile timing application).
Not everyone knows of the potential metabolic benefits of keto IF including many practicing doctors. Some people might just opt for semaglutide if they hear of that first, which seems likely since Ozempic is trending in popular culture. What would be wrong with a study comparing the two exactly?
Sure, but this boom has been really driven by them. No one's clamoring for UHC/UBI, in contrast to cheap capital.
I am an overthinker and overreactive, probably undiagnosed autism and ADHD.

If it works for you, keep doing what you're doing.

But don't forget to get in touch with nature: go for walks, go for swims, go for bike rides.

Being diagnosed with something doesn't change who you are, only confirms who you are, and that's part of who you are now, only legally diagnosed.
Lua comes with this sort of thing. OCaml, Python, and C have libraries providing this sort of thing in decreasing order of adoption.

Python also comes with 2 features that seem to be stackless coroutines with attached syntax ceremonies, but one of those 2 features is commonly used with a hefty runtime instead of being used for control flow. JavaScript comes with 2 features named similarly to those of Python, but only one of them seems to be "runtime-free" stackless coroutines.
What trend? The ignorant trend where a niche group of dev thinks Windows support should be second class, even though it ranks highest used by personal and professional developers year after year?

I use all 3 OSes and this superiority complex is tiresome
Why go pin less? I like the fact that the TPM can restrict retry counts and I do not need a rediculously long password.

The only thing I do not get is why this is not done by a simple SIM card like in any mobile phone. Then one could choose a TPM. Even more: I do not get why I cannot encrypt my android phone with my SIM card.
> Come on. That's myth that beggars belief.

Hardly.

> Did you somehow independently arrive at science by yourself as a rational mind? Of course not.

Actually, yes. I was raised in a religious household and rejected religion, and absolutely 'discovered' science.

> It's a set of values and habits of mind that you absorbed and where explicitly taught from childhood (e.g. were indoctrinated into).

That's simply not true. These attempts to equate science with a religion are always so disingenuous and show a fundamental misunderstanding.

> And religion is (frequently) the understanding that gods should be worshiped in a certain way, which is also totally rational within that understanding.

It's the faith in gods based on absolutely nothing which is irrational. Come on.

> You're taking my statement too literally.

No, I got what you were saying, I was just making a point to refute your false equivalence.
> If I want a string literal constant, I use string_view which can be constexp

That assumes your API accepts string views. How do you pass a string_view (safely) to fopen, or CreateFile (on windows)?
Clearly FreeBSD takes security so seriously that they have a time machine used solely for verifying security disclosures.
They still using Wasabi (inhouse programming language based on VB) ???.
Introducing The Amazing Compact Disc (1982) [video]
> or building slender towers supported on intricate networks of arches without engineering calculations or even Newtonian physics.

In fact engineering solutions came long before Newtonian physics. Bill Hammack aka engineerguy has a good video about this: https://www.youtube.com/watch?v=_ivqWN4L3zU
It was a joy to work with you as well :)

It's a bit harsh but I always feel like Fog Creek might be the cautionary tale in "what happens if you over hire for capability vs. your requirements?" I think that a less capable team would have never landed on the "let's maintain our own programming language" approach w.r.t. Wasabi.

As an aside, I do think that targeting Mono was the right thing to do for the universe, as it butterfly-effected tedu into writing weird and wonderful technical blog posts for the next ten years :p
America does have an obesity problem and you think it's willpower. Does that make sense? 41% of the population just can't will their way to a healthy BMI? You say my sibling has a "rare condition" while admitting America has an obesity problem? Does that sound rare?

I absolutely believe these drugs are a solution for genetic predisposition and a society that has engineered people into unhealthy lifestyles. Remember this comment when the next Pepsi semi trailer rolls by.

> This is no different than half the population having ADHD and being on stimulants. Or Quaaludes. Or whatever. It happens over and over.

I think we have different ideas of genetics and brain chemistry leading to outcomes.
Interesting Post about Binance
One could argue that state schools should not do this. It should be noted that MIT and other tech schools boost women, and that there are a number of women's colleges that exclude men entirely.

Colleges with too high a ratio of females to males become less attractive to females.
> You can look at the data on NDE. The aware studies are interesting.

If it's possible and testable and reproducible, then it falls under the umbrella of science. So I don't see how it's special in any way. The dragon example consciously resists any attempt to test it at every turn, which is not true of NDE.
Agreed. Here's what I've noticed:

> I get a little of this feeling when I watch Americans argue about climate change; the discussions seem stuck back in 2010

This article itself feels like a throwback to 2010. He acts like solar + batteries solves the entire problem. It doesn't. In fact, it barely scratches the surface. We have much larger needs such as industrial, heavy transportation, agriculture, etc. Writing an outdated article about the rapidly dropping price of solar power while handwaving all other problems doesn't solve the problem. The author is basically just now catching up to 2010. He is in reality still stuck in 2010 despite what he thinks.