skysight-inc/HackerNews huggingface dataset:
You know more than me. That is certain.

However, my understanding is that the incompleteness results apply to only recursively enumerable axiomatic systems. I can find references for this. If I take the standard model of ZFC and collect all true statements in the one model of PA_2 and make that my axiomatic system then I have an axiomatic system that is not recursively enumerable and contains PA_1. It’s not a nice set of axioms. It’s not computable. But it shows that one can have an axiomatic system that contains PA_1 for which the Incompleteness theorems don’t apply.

Andreas wrote “meaningless” not “nonsensical”. I’m not a pedant but the former term evokes in me the idea of “does not apply in this situation becausethe hypotheses of the incompleteness theorem are not satisfied”.

From a mathematical logic book is the following. It’s the set up for the Incompleteness theorems.

Suppose that A is a collection of axioms in the language of number theory such that A is consistent and is simple enough so that we can decide whether or not a given formula is an element of A.

PA_2 is not such a system and as such the Incompleteness Theorems don’t apply. Maybe we are talking past each other. You know more than me.
Definitely more 3% than 2.
WCs are not flashy, have an iffy DX, they are a compromise through-and-through, compared to modern frameworks. Is that compromise worth making?

AKA - web components: the Toyota Corolla of webdev. Not shiny, but it will outlast your framework. For better or worse.
Significant chunks of the c++ community also compile with exceptions disabled, turning them into asserts.

Handling some errors in band is simply not useful in modern programs. While kernels and embedded use cases benefit from in band allocation failures, most applications would do better to receive an out of band signal that they are close to memory thresholds and to perhaps shed load by doing things like stop accepting new sockets connections, shrink some caches, etc. I really used to think otherwise but too much software has been written to assume they will never experience a memory failure in band.

Also to clarify, I don't think an exception is out of band. They have a significant cost to program size and performance even if they are never used.
I don't think that post is entirely true. It's overly simplistic and I don't think any of my friends or family that work at Google would agree wholeheartedly with that characterization.

You may still have a broader point that's worth considering but I don't think it negates my characterization of their issues entirely.
The striking thing about this is how widespread a problem constipation was and how desperate people were to solve it. What were people eating in Victorian England? Gristle and paste, sprinkled with arsenic?
Not quite a dupe because Techdirt typically adds details and background to these stories.

Karl Bode in particular has been writing about bad ISP behavior for longer - and more persistently - than most anyone. He brings it to the table.

I've been reading him for 20y. Over and over he's been the sole source of sunshine on certain dark telecom corners.
The minimal design is beautiful. I’ll second others that you need some candid simple non marketing hype howto videos of actually using the equipment, as well as reviews to get people to place orders. The cropped photos, e.g. not showing what is connected to the tubes seem potentially misleading. Look at Seattle Coffee Gear for some good video styles- they would also be an example of experts whose reviews I would trust, however they don't seem to be very into simple non-automatic machines.
Well it does imply that they did value it at $200 so I'm not sure what you aren't getting because it's very plain.
Yes, insurance companies deny claims, but this is mostly because they don't have the money to pay for things most of their money is spent on care in the first place: they're forced to optimize and people get hurt in the process. Providers do far more damage.

UHCs profit margins are only 6%, their operating costs are extremely low[0], and if you look across G7 insurers in the US pay more than the government does in every country but France![1] Compare this to HCA which makes an average margin of 10% with far higher administrative costs. The CEO of HCA makes $20M, Brian Thompson made $10M by contrast.

This is not to say we (and insurance companies) don't spend astronomically more than other countries: providers are to blame for this, and I have seen their nonsense first hand:

- They keep people alive overnight to charge insurance more

- Some hospitals use ML (!) to optimize ICD codes for billing. Most do this by hand: there's literally a job and training to be an ICD coder.

- They allow people to deteriorate (e.g. dialysis) to charge more (no preventative care.) I have seen a hospital only provide preemptive care to patients at risk of dialysis because they were part of their own insurance pool

- Their administraive expenses are far higher.

- They test and provide unnecessary care.

- Physician shortage is in part caused by limited residency spots, a dumb bachelors requirement, and high tuition costs. These barriers to entry are imposed by physicians.

- Uneccesary tech and equipment upgrades (e.g. we need to replace your knee with a new knee)

- Having to deal with tons of different insurance companies: not their fault but they don't know how to handle this efficiently.

[0]: https://www.reddit.com/r/dataisbeautiful/comments/194wucn/oc...

[1]: https://substackcdn.com/image/fetch/f_auto,q_auto:good,fl_pr...
That's the thing with high powered guns, you don't need to get near enough to be electrocuted. Snipers are even better but take more skilled attackers and are harder to explain away in a random traffic spot.
As far as I can tell, the target market for steaming hot water taps is office kitchens.

When a kitchen serves 100+ people things like limescale will inevitably be a problem. If the steaming hot water tap is plumbed in, with replaceable water filters and a regular service contract - that's an advantage, not a disadvantage.

Steaming hot water taps can supply lots of hot water fast, so even if a load of people are making drinks at the same time in between meetings, they can keep up.

There's also a safety argument that if you've got a kettle and a mug, that's two things of boiling water you could drop, and eliminating one of the two makes things safer. And because the steaming hot water tap is directly above a drain, the impact of a spill is much reduced. And a lot of these taps make water that is steaming but somewhat below boiling, which might be safer or something?

Not sure why you'd want one for home though.
Take it slow, do some studying first. Watch a corny movie called Twist of the Wrist to deeply understand how steering works. Pay close attention to who can see you.

That's a nice bike!
Aren't we paying for Result types every time it's used? A result of a 64 bit value wouldn't fit into $eax for example (I understand there are exceptions to this rule through invalid bit pattern optimizations)
5G networks need wired infrastructure to send internet data to towers within a few miles of the customer; fiber is the best option for those wires. And for the last few miles, fiber still has throughput and latency advantages over 5G [1].

[1] https://www.eff.org/wp/case-fiber-home-today-why-fiber-super...
I think we're confusing general anesthesia (not generally used for colonoscopies in the US) with sedation with something like propofol which is pretty common.
now exclude world population who is not using computers with separate keyboards in the first place. and maybe everyone who would not bother with firmware. in that context it's sorta popular. maybe even very.
Sorry meant 1200nm*
In December 2021, the American Hospital Association issued the following statement regarding United Healthcare's plans to closely scrutinize medical claims for ER visits. [0]

UHC subsequently reversed itself and delayed the plan for 6 months. That was in 2021-2022. It's now 2024-2025.

Around that time many insurers, not just UHC, began implementing AI-assisted claims adjudication. It was a bumpy ride with a steep learning curve and probably took a couple of years to fine-tune the algorithms and learning models.

Especially as the Covid-19 claims tsunami subsides.

No matter tho', every claim paid is considered a loss by insurers. Every claim denied is considered a small step towards mitigating those losses.

In the U.S., medical reimbursement is a push and shove, shove and push battle fought inch by inch with high-speed data systems. It has been that way for a long time.

[0] https://www.aha.org/special-bulletin/2021-12-29-aha-expresse...
And guilt isn't a single bucket or item to be handed out to one person. Most if not all moral systems and laws admit of varying degrees of responsibility and culpability and work within that framework (see situations where a bank robbery goes wrong and one robber kills someone and the getaway driver is also charged as an accessory to the killing).
There's a distinct snobbery to some of the architectural commentary, particularly in lamenting the sameness of stick-built "blocky, forgettable mid-rises" providing apartments for the masses. It is a critique that could only be written by someone who has no trouble affording their rent. Austin, for one place, has had some success in bringing down rents by building tons of blocky, forgettable mid-rises, and I'll take it, thank you.

One must have a certain amount of wealth just to be able to travel to enough different places in the world to notice that they are all kind of similar. I think the world's smallest violin plays for the moneyed tourist, disappointed that he's not finding enough variety in his travels.

Furthermore, as one who is fortunate enough to have been able to do some traveling like that, in southern France, Croatia, and Greece, I'll point out that the architecture in quaint villages around the mediterranean is also all kind of similar: narrow streets lined with small homes with terra cotta tile roofs and stuccoed stone walls are everywhere. To the extent that there are distinct regional motifs, they are only discernible to the trained architectural eye.

As it turns out, in every age, people are less concerned with asserting their identity than with having housing that can be built with available resources and is not too expensive. In an era of global shipping and industrial production, "available resources" doesn't mean local materials any more, though.

EDIT: Of course, one can look at pictures of places to which one hasn't traveled and notice that they're similar, but that complaint seems, if anything, even less important.
Academic papers aren't for mass consumption. You can't replace the depth of consideration and knowledge needed to write an academic paper with hosting a podcast or self-publishing a book. Writing for an audience of leading experts is inherently different from writing for consumption by non-experts.

And you can't just equate societal value with "how many people consume it". An academic paper is often as valuable as a tool for crystalizing thoughts in the mind of the author as it is a tool for communicating to the reader.

I kind of feel like you are missing the point of academia.
I don't see that as a good analogy. There's very limited space for this functionality to be used legitimately / legally - anyone permitted to scrape content is likely able to access the data without the protection measures in the way.

I'm fairly sure circumvention is a (prosecuted!) crime in several countries - curious if you're across that angle, and/or have legal advice/direction you can share?
Don't hate it but it feels like the Origami language should just be a typescript library. I'm not a fan of DSLs in general though.
Trademarks are categorical so just because Blender is an English word does not make it generic.

Two entirely different companies can even have the same trademark in two different areas of business.
So, no portfolio performance backtesting, and non-certified non-licensed financial planners creating index funds?
Apologies, I mean $rax
As someone who’s aunt just committed suicide by firearm yesterday, I do wish she had more dignified options.
Edit: Sorry, I missed the earlier comment! I can totally understand why steps would be important in that case.

Do you think braille indicators around the ring that you could feel would work? Or are actual clicks the best option

I'm going to brainstorm ways to have a toggle-able step feature..
That website crashes my browser on iOS (Orion fwiw). I recall this being an issue the last time I checked it out 6-12 months ago.

Hard pressed to think of any other sites that I’ve seen this issue with, super curious about what is actually happening there.
If you are interested in alternative lithium chemistries, Ouros is developing and commercializing one:

https://ouros.energy/
> The reproducibility crisis is present in almost all fields, though social sciences are definitely a place where it pops up often

Seeing this sentiment popping up a lot in this thread, but yet planes still fly, solar and batteries are improving like crazy...

We are seeing real tangible results that come from the output of other fields

We cannot really say the same of the softer sciences
I think the concern is more about sweeping black-and-white decisions about funding than funding decisions per se?

Also, discussions about "living within your means" almost always lead to questions about "who?" and "what is really leaving within your means?"
Thank you! I will inform myself about this.
https://archive.is/smYjr
A QEMU question regarding user mode networking
Of course the hyperreal doesn’t exist — that’s inherent to the concept! That’s the entire point: representations of ostensible reality have become ungrounded in any physical truth, but cannot be said to have lost meaning because meaning in the world is primarily formed by social consensus. When that consensus breaks with any directly observable facts, weird stuff happens (like Gain-scented Febreeze, or cryptocurrency, or meme stocks): but these things cannot be dismissed as “meaningless” because they have the meaning imbued to them by social structures!

On to Deluze: A body without organs is an excellent frame through which to understand a modern corporation (dendritic) or a hippie commune (ideally rhizomatic). That’s the point — it’s an organization operating without biological structures. Is this useful? Well, the primary goal of any organism is to continue existing…

Biopolitics is how politics affect biology: abortion and forced sterilization and healthcare. It obviously has some effect: is analyzing politics through this lens useful? Depends on your goals.

Smooth vs striation is the effects rigid schedules have on us. They have some effect, or vacations wouldn’t feel nice! Worth restructuring society over? I’m not ready to dismiss it out-of-hand.

…area studies are looking at what’s going on in your neighbourhood?

And moreover, I feel like you’re missing the point of analytic philosophy, despite having studied it: it does not derive absolute truth, but offers frameworks through which events and phenomena can be analyzed! These frameworks can be anywhere from fully explanatory to having no value at all for a given scenario, but their importance is through their engagement — and refutation is equally as important! Philosophy, more than any other field of study, is a continual dialogue about problems that can never be solved, hopefully finding new tools and perspectives along the way.
How I Made My Own iPhone from a Block of Aluminum [video]
> Cool concept, but hard to make a decision with so little information.

It sounds like it is not hard to make the decision. I made my decision and it is a no. This is a cool thing for people who want to try the latest concepts but don't worry about it being an already polished and integrated whole product.

It is how some people kit build their Rutan Long-EZ to fly with, and some people just buy tickets from an airline. They are both flying but they are not the same class of thing. This is more towards the kit built airplane end of the scale for me than what I would be comfortable with.
Finally! A new word we can use to throw, when we get tired of saying "Occam's Razor"! Exciting times ahead!
I would say you have to be careful and specific - as "murder" is usually the domain of the law and "ethically justified* is the domain of ethics.

It's quite easy to come up with situations where the law declares a killing as unequivocally murder yet everyone agrees it was ethically justified. The opposite can happen too.
Also mind you when that “risk” comes knocking it results in mass layoffs. So who really took on that risk? The csuites or the wage workers?
It is correct, because when you press Ctrl+D on an empty line, the OS will return an EOF. It's not a complete answer, but neither's yours, because you didn't consider what happens when the OOM killer reaps cat. However, it's not intended to be a complete description, because it's describing a UI convention.
It's not solely about the inner voice. Abstract concepts, symbol manipulation, mathematical logic and reasoning are for the most part "linguistic" constructs.
I think part of the problem is it's still difficult to find a $200 or even $1000 radio that has those features. There's a bunch of KISS TNC integration starting to happen at that price point but it's still rare and for that money you should just be able to get an IQ IO stream over USB because it's available on the uC most of the time.
Out of curiosity, have you tried running extremely light roast/dense beans through your grinder? How does it perform with them?
LangChain vs. OpenAI API: When Simplicity Meets Scalability
IIRC the Clean Water Act violation was discharge of potable water from the deluge system, which, while technically a violation, is a little absurd given the exact same effect would occur when it rains.

The debris from flight 1 you’re referring to did not reach any towns, and they have since added the above mentioned deluge system to prevent pad damage.
Echoing roadrunner's sibling comment, there's a temptation to translate your time concept into whatever time classes and libraries you are using. This works well for timestamps (a specific date and time, with or without time zone), but trying to make "10:00 am Central time" (no date) fit that just doesn't work. Peoples' interaction with calendars and time is done by sentient beings, so it's much more flexible and sloppier. But you don't have a choice - you have to meet users/business/customers where they are. It's much better to write even a thin wrapper that gives you the interface you need, than try to shoehorn the real world need into an incompatible type.
I just found out I can do it on iphone thanks to your comment. Wow.
It makes sense, I guess. Why would something natural want to interact with both chiralities of a target? Usually there's a reason for one... and the other is unrelated.
> and that the second order axioms are not computably enumerable

He says that true sentences in second order logic aren't computably enumerable, he's not talking about the axioms.

> Don’t know if computably enumerable is the same as recursively enumerable

I've only ever seen them used as synonyms.

> Collect all true statements in this model of PA_2. Call that Super PA. That’s now my axiomatic system. I now have an axiomatic system that proves all true statements of arithmetic. Surely this set of axioms is not recursively enumerable.

What you call "Super PA" is called "the theory of PA". Its axioms are indeed not computably enumerable. That doesn't mean that the axioms of PA themselves aren't computably enumerable. And this much is true both for first and second order logic.

(edit: in fact, the set of Peano axioms isn't just computably enumerable, it's decidable - otherwise, it would be impossible to decide whether a proof is valid. This is at least true for FOL, but I do think it's also valid for SOL)
I have no problem with people interviewing them. It doesn't cost that much money to do so. The people who are interested in learning more about that particular group can interview and self-publish books. The government is there to help a society do important things to most or all of society that are impractical to do individually. (e.g. road or rail networks, national defense, space program, paying for retirement of workers, medical care in most places, etc). Interviewing 12 youths about their feelings about gender and writing about it is neither impractical to conduct with one person's time and funds, nor is it something that more than a small fraction of the people are asking for.
Isn't silicone a type of plastic?
I have mixed experiences with the "chat" portion of Cursor AI. The "composer" has been much, much better, albeit on greenfield projects. I haven't explored it too much with existing monoliths, but I suspect it might not fair as well.

I'm currently using it to build an iOS mobile game, using Swift. I've never coded in Swift, or used SpriteKit, but it's going surprising well. When it does produce invalid code, I just copy the error directly out of xCode into Cursor Composer and 9 times out of 10, it fixes the issue first try.
> Exceptions are not meant to replace error codes

Just to state the obvious, this is a design philosophy (one of many) and not something imposed by the language. And reasonable people can disagree about whether it's a good one.

I think where a lot of engineers go wrong is where they go crazy baking exception-throwing into their logic and error handling code, leaving a beautiful "happy path" in their code, but they are not disciplined about actually catching and handling the exceptions. If you're going to go all in on throwing, then you need to go all in on catching. Otherwise your product is just going to be full of unhandled crashing. A couple projects worth of this, and a developer will start to think "hmm, exceptions are bad, I agree we shouldn't use them!" Which is how we get blanket company policies against using any exceptions at all.
Or avoid ambiguity and remove the default random().

- randomWeak()
- randomSecure()
I was assigned a Compaq portable with a plasma screen in the early 1990s at my first job. "Portable" was relative to the era; the thing was the size of a small suitcase.