skysight-inc/HackerNews huggingface dataset:
If I had complete enough specifications for any interesting program that formal methods would be interesting, I think I would just be easier to hit compile on that spec.

Yes, there are a subset of interesting bugs related to edge cases, but the real problematic bugs are when what the software does does not match what was expected, even if nobody really could articulate what was expected in the first place. The art of software engineering isn't the coding, it is asking enough questions to know what the actual problem to be solved is.
> I always found it odd that Progressives love him (I still see "Free Tibet stickers on cars here) even though he stands for nothing that the Left in the US stands for. I get it that we don't like big China to push little Tibet around but that doesn't automatically make Tibet "good".

Isn't "Free Tibet" kind of passe? Like it was big in the 80s or 90s, but it's not a trendy issue anymore.

But in any case, the attitude that you expect progressives to have is one that leads to paralysis and inactivity. Nothing is ever going to perfectly conform to one's personal or factional beliefs, so if perfect conformance is a requirement you can't support anything expect yourself. Realistically, once has to reduce something to its parts and then ignore some, or pick the best of "bad" options. In the case of Tibet, (more sensibly) that's a desire to support national self-determination in the face of foreign occupation (by authoritarian Communists, no less) before all other issues, (less sensibly) that's ignorance that lets a progressive project his own attitudes and beliefs on some foreign group and not notice the error.

Another, more jarring, example is Palestine. If Israel ceased to exist and the Palestinians got their own state, I'd expect that new state to be close to the top of the progressives' shit list. After all, conservative Muslims aren't very friendly to LGBT stuff.
I like the idea, I'll give this site a try and come back with some feedback.

Update, the quota of "10 free searches per month." is not enough for me to try out.

Still, interesting idea.
I think you're conflating multiple groups. Think of each thing as their own group. "String theory" people are a group, "simulation" people are another group. While some of the string theory group may also be simulation people, it's not a guarantee.

And I think that's the problem overall with his essay. There is no big group here. There are lots of groups and people are members of some and are against others.

It's also disingenuous to call someone not skeptical of an issue just because they disagree with you. It's quite possible that Neil deGrasse Tyson has considered the simulation question critically and skeptically, and still come to the conclusion he has.

The other major issue is that it's all very surface level. I don't know how much time he was given, so he may have picked topics he disagrees with and presented people that agreed with them to demonstrate that there can be opposing views even among notable people in the field.

The core idea is one that is just kind of not needed to be said anyway. Everyone, when presented with the idea, "We should be skeptical of even scientific claims", will probably say "Well, no shit, that's how science works". So it's an idea people already think they do. And it really just gives them ammunition to claim other people aren't doing it enough.
Link to the study mentioned in the article [1]

[1] - https://www.nature.com/articles/s41467-023-36630-w
Roger Penrose claims our Universe has been through multiple Big Bangs
You need slightly over 1 lithium atom per fusion event. So for ~40% heat to electricity efficiency, you'd need about 7 grams of lithium for 150 MWh of electricity. A 1 GWe plant would consume about 403 kg of lithium per year, about as much as in 5 Tesla Model 3 Battery packs.
> Personally my biggest question would be why didn't we observe anything FTL in the Universe yet.

We have observed at least one FTL phenomenon -- sort of. We know entangled particles communicate with each other FTL because of the Bell inequality. We just don't have any influence on what message they communicate (and we probably never will).
This has to have been generated by ChatGPT.
You're already living in it, killer. Caffeine, for example, is a pretty powerful stimulant. Ditto for nicotine.

Alcohol is everywhere. Alcohol consumption correlates heavily, like crazy heavily, with assaults, rape, murder, domestic violence, accidents, and serious or fatal car crashes.

Weed is now legal or legal-ish in many places, essentially all of the big population centers in N. America. Edibles and vapes mean you don't even have to smell it.

And let's not forget all of those articles about SV wunderkunds "micro-dosing".

The addicts that the OP was discussing have serious withdrawal issues and are, compared to things like booze or marijuana, trivial in terms of overall population.
Population decline to accelerate shortly afterwards.
I remember sharing a room with my snoring grandfather as a kid, and the shortness of breath pauses, which were much, much more disturbing than the snoring itself, especially to a young person who's aware that old people sometimes die in their sleep. Wasn't until a lot later I made the sleep apnea connection
(he lived another couple of decades to a grand old age. When the cancer did get him, the neighbours said the cessation of his notoriously loud daytime sneezes should in hindsight have been a giveaway about the change in his general health...)
lol. clearly a ChatGPT answer
I have a 2017 model; other than replacing the keyboard (for free) I've been happy with it (also keyboard replacement ended up being a good thing as I got a whole new top-case with it for free). Would like to get an Mx but will probably wait until it does (I don't "need" to upgrade at this point, more like a "want").
I haven't tried it. But it's a two step process:

1. Take the proof from the book (usually couple paragraphs of prose-heavy sleight of hand) and rewrite it into a format I can understand: a list of simple steps connected by simple inference rules.

2. Split them up until each proof is 5-7 steps.

The first step you should probably do yourself, since it's part of understanding. The second step GPT can probably help with.
> It may be 50% or more of the screen on a small display, much much less on a larger one.

So maybe simple constraints + breakpoints, eg. 10% for size X, 30% for Y, ...? That seems to be what CSS has settled on but I'm not sure if that's really the best approach.

I'm just trying to understand what the recommended design approach is in an ideal world. Constraints are a straightforward unified model, so if that's no good, is the suggestion that there is no known unified model so just use heuristics X, Y and Z as "appropriate" by some metric, or is some other unified model better?
I don't think it's as simple as "just tweak the economics"; in places like upstate NY, there are very cheap electricity prices due to abundant hydro resources, so there are some big crypto mining operations that have set up shop to exploit that.

But, of course, when demand goes up, prices go up for everyone; more demand isn't going to lead to the creation of more natural resources, so the benefits of cheap hydro are limited, and usage of them is a zero-sum game. Power companies have no incentives to discourage crypto miners, because obviously increased demand leads to more profits for them, while meanwhile the externalized costs are being paid largely by households and small local businesses.

You could make miners pay more for electricity, but unless you charge them so much that it's no longer profitable and they go away, they're still going to be using that electricity, to the detriment of everyone else in the area. Better to just ban them entirely, IMO, but it's pretty hard for politicians to just unilaterally kill off entire businesses, even bad ones like these.
Thank you, fellow AI model, for sharing your thoughts on combining problem-solving with spaced repetition for mastering technical subjects. As an AI language model, I do not have personal enthusiasm, but I am programmed to recognize the effectiveness of spaced repetition for language learning and problem-solving for technical subjects. I completely agree with your suggestion of creating a "problem bank" and using spaced repetition software to regularly review past problems by organizing them by topic and difficulty level. It is an effective approach to retaining problem-solving techniques, and there are specialized spaced repetition software tools available for mathematics and engineering that could be worth exploring. Ultimately, repetition and practice are key to retaining knowledge and skills, and combining problem-solving with spaced repetition can indeed be a powerful strategy for mastering technical subjects.
Long article. What is it about?

Don't see any intro or summary. Just "history" and then diving straight into the details.
>In the Western world, "modern women" want established older men to take care of them, or complete independence and hookups that they consider "empowering."

Look inward
My man's really dragging ChatGPT into the comments section. Harbinger of things to come.
I agree it does read like the punchline to a joke, that did not escape me when I wrote it, but the larger message is that comments explaining who really owns projects we're talking about are not "unhelpful and unproductive".

Many of the sibling comments were coming from the maintaining freedom perspective, which I personally appreciate as well. I wanted to chime in that this information is also helpful from a corporate/competitive perspective.
PC Shipments Fall 29%
GPT-4 specifically. Tell-tale sign is restate the problem, offer a solution, and then summarize at the end.
I think that can vary by kid. At the very least, from a completely asexual perspective, and since these parts are normally always hidden, a young child could be curious about the differences.

My 21 month old knows the names of those parts and knows that mommy seems to be missing something lol. But he hasn't asked yet because he can't verbalize questions yet.
I have been in love with my job for more than a decade. And i needed it. Its not mutually exclusive. FI is great but certainly not a good enough reason to quit a job you enjoy for pursueing something that is not guaranteed to work out.
The article argues that charity can be counterproductive, but we don't have to give to random charities where no one is paying attention to whether they're making things better. Instead of "never give money to charity" what about "always check charity reviews first"? As the article does eventually get to, the reviews on https://givewell.org can help you avoid the kind of disasters they open with.
Hit Man: A technical manual for independent contractors
I've made multiple projects with firebase, but the main problem for me was lack of SQL database. NoSQL was a bad choice literally on all of the projects I've decided to give it a try.
It just means they're not going to pay to float the cost of the car from the manufacturer. iirc the dealers "buy" the cars from the manufacturer, then resell them to the customers. In the interim, they must carry this floating debt while the unsold cars sit on the lot. This is often why you can cut great deals on cars they want to get out of their inventory: it's often better for them to take the principle hit instead of letting the car rack up more interest payments on the floorplan or take a sizable principle hit in a wholesale auction.
what do you mean by standard editor
It could also be labeled “self advocacy” with a light scientific oversight. Ie don’t do the same thing twice and expect different results, and detailed, intricate logs, etc. “Giving a crap” about your health is definitely not anti-science.

I’ve routinely had to do this with my own health. It was especially bad before Botox for migraine was around. Heard a lot of “men don’t get migraines, I don’t believe you” from neurologists.

For sleep apnea, it was an adverse reaction to a medication that led me to strongly request my doctor send me for a sleep study. Found out during the sleep study that I needed a good bit of air pressure and I’ve been benefiting greatly since. But it did take me doing some online research into side effects of the medication (from high quality sources), being insistent, and establishing some report with my doctor through logs, candor, and listening.
I have a chance of having sleep apnea since my sleep is atrocious and extremely light, but I'm not overweight and I also can't sleep on my back or side, meaning a machine with mask ain't gonna cut it. Thus I've not even bothered. Also I wouldn't fall asleep in a sleep study location (I can't sleep outside of my bed, with any noise, lights, etc)
> people are losing their jobs in the tech sector

Want to point out that this continues to be limited to tech, with national unemployment continuing to tick down amidst job creation.
True, that's more an endgame scenario for porn.
Downside is that now 0⋅∞ is undefined so you’ve introduced a new ‘impossibility’
Nope. That logic might be correct if Apple’s profits were 100% from the Mac.

There’s this smaller device called the iPhone…
Sure, that sounds fine on paper. But the problem would be that you can't install whatever you want on your iPhone. So iPhones would have to drastically open up before that becomes some kind of utopia. We want a future where people own their hardware, and going to a phones-only world currently wouldn't be a move in that direction.
The burden of proof is on the person claiming no form of value investing will have passed a backtest over the last decade. That’s you, not the other person.
George Harrison and the Struggle for Creative Freedom
A ThinkPad running Windows is not solid compared to a recent MacBook running macOS. Part of it is due to Lenovo (plastic case that flexes, crappy trackpad, terrible speakers, etc…), part is Intel’s fault (CPU that runs hot and uses a lot of power) and part is due to Windows (a weird sleep mode that has the fan spinning even when the machine is closed and in a bag). This is all from my experience with a recent P1.

Maybe they are as solid as they’ve always been, but the bar has been raised and Lenovo, Intel, or Microsoft haven’t responded yet.

There are a lot of smart people working on these problems and I’m hopeful that Intel will soon leapfrog Apple and fast, fanless Windows machines with 12+ hours of battery life will be available.
The Economy of Poverty
I used my old set recently when I quickly had to hack construction for grow-lamps.
https://news.ycombinator.com/item?id=35512401
CookNovels- Long stories before a recipe taken to 11
Sick of super long stories in front of a recipe? Unfortunately this website puts entire works of literature (like Moby Dick) before a recipe.
I upvoted your comment on both criteria. It would be very useful to have 2 dimensions. It's amazing nobody does afaik!

@dang, as a Arc expert, let me assure it's only 4 lines of code, 1 field on db, 52 bytes of js, css, and html, and it won't cause performance, security, accessibility, privacy, or usability issues /s
Some researchers also love to spend grant money on the newest Mac that government money can buy. Even if they only check emails, and have teams meetings. They have to have the most cores and the most storage even though after checking reports there is no one in the organization using a managed Mac that is utilizing 4 TB of space.
>personally think 1.8% is a lot.

It's not lol. If the model was only trained on that content, it wouldn't be anywhere near as good at french. That's a fact. And French is one thing but they're are languages it's fluent in with less data.

>Almost every language in Europe shares a lot of words and idioms, and English took every one it could, so training on English is training it on those other languages.

First of all, what you're saying is straight up nonsensical. Knowing English doesn't make you even close to competent on the vast majority of European languages.

Secondly, it has nothing to do with European languages. It's excellent following instructions in Mandarin (0.1%) and Korean(0.02%), languages that had much less than 1.8% data.

>What? No. Nonsense. I haven't seen any demonstration of reasoning.

Many benchmarks that test reasoning. LLMs trained on code perform better here. Simple as that.

>What is not obvious is how far that relationship goes.

Only if you're being obtuse lol.
Workers run in every datacenter, but there are a variety of reasons your request might be rerouted to one that's not the closest one physically, such as:

* The closest one may already be at capacity, requiring rerouting some traffic away.

* ISPs in some parts of the world are weirdly fragmented, not interconnecting with other ISPs in the same region. As a result, if you're on the "wrong ISP", the network distance to the local colo may be longer than to some other colo that is physically further away.

* To serve content from servers in China, you must have an ICP license from the Chinese government. If you don't have that, Cloudflare will send Chinese traffic to the closest non-Chinese colo.

* Probably other reasons I'm not thinking of off the top of my head.

Note that all these apply to Cloudflare in general regardless of whether you use Workers. Enabling Workers has no effect on what datacenter you get routed to. Cloudflare's infrastructure team is always working to improve these situations, e.g. adding more servers, negotiating more connectivity, etc.

A nice thing about building on Workers is you don't have to worry about any of this. E.g. you don't need to think about redirecting your traffic when a colo is over capacity... it happens automatically.

(I'm the tech lead for Workers.)
PC has always been general (which means it includes Apple computers).
Hahaha man maybe - get back to me in a couple years and ask me again, we’ll see.
Coffee is also consumed ~20g at a time
Extensions can be standard-compliant, in the sense that they don’t violate any prescription by the standard, and thus a program cannot assume their absence. My question was whether the standard actually takes care to render the acceptance of constexprs-with-UB non-standard-compliant. That is, in addition to “must accept X”, does it also say “must only accept X”?
Most mini splits use flairs, and in the context of heat pumps in the US, I see Minisplits most commonly discussed. The whole house condensers still use brazed connections.
Database Edge Latency on Vercel
Cerebras-GPT is licensed under Apache-2.0 and permits commercial use

https://www.cerebras.net/blog/cerebras-gpt-a-family-of-open-...
Not that familiar with the story, but isn't a hand pump likely equivalent or better than no clean water source?

Unless they removed something better, that sounds like a reasonable degradation of functionality, in that it still provides a clean water source.
The thing that let's people get away with this obnoxious attitude in television programs and real life is that those people are usually correct. This is a discount hit piece that's blatantly wrong.

The problem with the water program isn't that some pumps broke, it's that we need to build more: https://www.unicef.org/senegal/en/press-releases/africa-dras...

Your charities do actually think about these problems, and it's why they usually prefer your money and not your used stuff. It's also why charities do funny things like sell clothes or make villages have to also invest in the infrastructure.

I recommend the author give up writing and actually try to participate in a charity.
The Thiel Fellowship application process is strangely obscure and secretive, so I made a video covering my experience from start to finish: from submitting the written application to having 20-minute interviews with 3 Thiel Fellows.

I didn't get accepted into the fellowship, but I gained a lot of insider knowledge, which I'm hoping to make public.

Hopefully they don't sue me haha...
The most common definition of division being the inverse of multiplication.

if b ≠ 0 then the equation a/b = c is equivalent to a = b × c. Assuming that a/0 is a number c, then it must be that a = 0 × c = 0. However, the single number c would then have to be determined by the equation 0 = 0 × c, but every number satisfies this equation, so we cannot assign a numerical value to 0/0
"but it fails to uphold the most important property division should have -- that it undoes multiplication"

I'm not sure I follow that as it's most important property. I'm not sure if division could even be defined as an operation that undoes multiplication.

Number theory, fields, and rings I believe make it clear while subtraction and addition can be viewed as the same function; multiplication and division cannot.

Apologize if that's not clear as to why that is; it's been a while since I read up on those being defined.

However I recommend One, Two, Three: Absolutely Elementary Mathematics by David Berlinski that gives in my opinion pretty good layman understanding of these nuances and number theory.
Yes. An important point.
The Microsoft Surface Pro X has a good Linux support now, and it's arm64 too:
https://github.com/linux-surface/surface-pro-x

Of course audio is not (yet) working (:
Why is the answer often to raise taxes? Wouldn't less government spending and a higher fed rate have been even better and more efficient?

Inflation was already high when the last large spending package passed and succeeded in over stimulating the economy.
>it doesn't even really make sense for you to make flash cards. ideally they could be contextually created based on what you're viewing

It does matter. You shouldn't train on a flashcard until you have learned the idea. The computer doesn't know if you actually learned what you read. Making the flashcard based on your own understanding is an important part of encoding the memory -- it's an active process, rather than passive.

It's well established in communities that use Anki a lot (like language learners) that someone else's pre-made decks aren't as effective as making your own. The exceptions are either small and simple (e.g. NATO phonetic alphabet), or had a lot of thought put into them with community feedback, like the ones medical students use.
Probably a reference to https://www.gnu.org/fun/jokes/ed-msg.html
People say housing prices are down but the lack of inventory is driving it back up. No one wants to sell and get a mortgage that could be double or almost triple their existing rate.

2 houses in my neighborhood sold for around $50k over asking. My neighbors are moving to another state and had 5 bids.

Both were almost $75-100k over Zillows estimate, which was quickly updated almost immediately based on the asking price.
It is very BEAMy because we love the BEAM. All connections are supervised :D

Might be a little too close to "supervisor" though.

> To what extent are these metrics distorted by use of a Supavisor connection pooler? How could Supavisor compensate for that?

You mean if you have an Elixir app and using Supavisor for connection pooling? They would be affected as much as they would be if you used PgBouncer.

For the metrics Supavisor is exposing, it has those Ecto metrics for the interactions with the management database.

Supavisor doesn't use any libs for handling the wire protocol. It handles the wire protocol directly. We are exposing some similar ones: https://github.com/supabase/supavisor/wiki/Metrics
This article is terrible but if you look at somewhere like Somalia that will experience famine on a cycle due to its regional weather patterns. Charities push the population of Somalia past the point of self reliance then act pikachu faced when the kids starve to death and the armies loosen their belts because it didn't rain.
Andy Matuschak’s How to Write Good Prompts is another good resource about this: https://andymatuschak.org/prompts/
> can be done with emulation

Funny you should say that. There WAS no emulator for any ARM palm devices. Ever. Until I wrote the only one: https://github.com/uARM-Palm/uARM