skysight-inc/HackerNews huggingface dataset:
> On track to having sold less than 15% of their Y1 target (400,000 vs 3 MM)

This is a fictitious number. Apple never had the manufacturing capacity to reach that so-called target.

> the reported shareholder near-revolts

Citation needed.
…assuming that the functions used in the closed-form expression can be efficiently computed to arbitrary precision.

What constitutes a closed-form expression depends on context/is up for debate:

- https://en.wikipedia.org/wiki/Closed-form_expression#Alterna...:

“Changing the definition of "well known" to include additional functions can change the set of equations with closed-form solutions. Many cumulative distribution functions cannot be expressed in closed form, unless one considers special functions such as the error function or gamma function to be well known. It is possible to solve the quintic equation if general hypergeometric functions are included, although the solution is far too complicated algebraically to be useful. For many practical computer applications, it is entirely reasonable to assume that the gamma function and other special functions are well known since numerical implementations are widely available.”

- https://mathworld.wolfram.com/Closed-FormSolution.html:

“For example, an infinite sum would generally not be considered closed-form. However, the choice of what to call closed-form and what not is rather arbitrary since a new "closed-form" function could simply be defined in terms of the infinite sum.”

so that’s not a given.
I'd read it primarily as censorship risk. If a CA is under a government that wants your website taken down, they can just lean on the CA to stop renewing any certificates for it, as opposed to futzing around with ISPs or DNS providers that can only have a local impact. Or alternatively, the CAs in the future might directly use their monopoly to decide who's good and evil (especially on "integrity of the network" grounds against those judged to be spammers et al.).

At least perceived censorship risk is why the archive.is guy always uses HTTP links and not HTTPS links for his site, iirc.
No, “everybody” in healthcare does not know this. I have learned to be skeptical and not to assume any particular level of statistical competence in the healthcare field.
That is true. Exact solutions have further advantages: they are expressed in terms of parameters (integration constants) which means that one can get deep insights into a system's behavior under changing parameters. In a numerical approach replicating such studies can be very cumbersome.

But the irony is that in the broad scheme of things "interesting" exact solutions are very rare, almost freakish. The only systems we can reliably solve are linear :-). So while numerical approaches have weaknesses, they are the de-facto available tool in most cases.
When you get to that stage, software engineering has failed fundamentally.

This is akin to having a boat that isn't seaworthy, so the suggestion is to have a rowing team and a bucket team.
One rows, and the other scoops the water out.
While missing the actual issue at hand.
Instead, focus on creating a better boat. In this case, that would mean investing in testing: unit tests, integration tests, and QA tests.

Have staff engineers guide the teams and make their KPI reducing incidents.
Increase the quality and reduce the bugs, and there will be fewer outages and issues.
OpenZFS 2.3-Rc2 Brings CPU Pinning and Optimized Kernel Same-Page Merging
Post Office Horizon inquiry: former IT chief saw only 'minor bugs and glitches'
I wondered about the same thing. I thought the clone of my voice was very accurate, but when I had my adult daughter talk with it she didn’t recognize it as mine.
Sure, if that is the only program, but it is not. This kind of thinking drains batteries faster than necessary, drains the cache, and reduces CPU efficiency.
sleep() is a wasteful system call, a kludge at best, and is never the correct solution to a synchronization problem.
The UK has a similar distinction. "Hackney carriages" (the classic "black cab") are allowed to pick-up passengers on the street, while private hire vehicles (often called "minicabs") can only be used by pre-booking. The former are more regulated than the latter. Ubers are minicabs.

(Black cabs don't have to be black, but usually are. As to why they're called "Hackney carriages" - the last person to know the reason probably died in 1863.)
Show HN: Network-isolate a reverse-proxied contained service with compose
And why is dental insurance in the USA picking up the bill? I haven’t directly paid my dentist for these annual exams in quite a long time.

The X-rays I can probably avoid the next time, but I feel the cleanings do really help. I used to have bad plaque build up on my incisors but keeping up with the cleanings and improving flossing technique keeps it at bay.
you can pack your mouth with cotton balls before going to sleep! very effective at producing a dry mouth.
Show HN: Open-Source Real-Time Location Tracking and Sharing Project in Flutter
Hey everyone!

I’m thrilled to announce GroupTrack, an open-source project built with Flutter for real-time location tracking and sharing among users. Whether you’re keeping your family connected or ensuring safety among friends, GroupTrack offers a flexible solution for location-based features.

What is GroupTrack?

GroupTrack is a Flutter-based application designed to demonstrate effective real-time location tracking and sharing. It showcases how to manage continuous location updates in the foreground and background, implement geofencing, and customize maps to create an enhanced location-based experience.

GroupTrack is more than just a location-based open-source project. It also demonstrates best practices for building location-based services.

Key Features:

Real-time Location Tracking: Provides continuous and reliable location updates, whether the app is running in the foreground or background, ensuring users are always up to date on each other’s locations.

Background Location Fetching: Efficiently manages location tracking in the background for both Android and iOS, optimizing battery life while keeping tracking active.

Map Customization: Easily customize map elements like markers, routes, and points of interest. Tailor the map visuals to enhance the user experience.

State Management: Leverages flutter_riverpod for smooth, real-time updates to user locations and map data, ensuring a responsive UI and efficient performance.

Geofencing Integration: Set up geofences and handle events like entering or exiting zones. The app demonstrates how to integrate native geofencing code into a Flutter project, allowing seamless communication between Android/iOS native code and Flutter.

Explore More: https://medium.com/@kaushik.s_95382/developer-centric-soluti...
I honestly don’t agree with a lot of this. I don’t think it’s a good thing at all for people to stop publicly and freely sharing knowledge. I’ve always found the US library system to be an example of how foundational and important knowledge is: so important that it should be free to everybody.
TIL: iTerm2 has custom status bars
One should distinguish between one instance and a mechanism/process for producing them. We could take randomness and entropy as an analogy: Shannon entropy quantifies randomness of a sequence generator, not the randomness/complexity of individual instances (which would be more akin to Kolmogorov complexity).

Similarly, the real interesting stuff regards the reliability and predictive power of knowledge-producing mechanisms, not individual pieces produced by it.

Another analogy is confidence intervals, which are defined through a collective property, a confidence interval is an interval produced by a confidence process and the meat of the definition concerns the confidence process, not its output.

I always found the Gettier problems unimpressive and mainly a distraction and a language game. Watching out for smoke-like things to infer whether there is a fire is a good survival tool in the woods and advisable behavior. Neither it nor anything else is a 100% surefire way to obtain bulletproof capital-letter Truth. We are never 100% justified ("what if you're in a simulation?", "you might be a Boltzmann brain!"). Even stuff like math is uncertain and we may make a mistake when mentally adding 7454+8635, we may even have a brainfart when adding 2+2, it's just much less likely, but I'm quite certain that at least one human manages to mess up 2+2 in real life every day.

It's a dull and uninteresting question whether it's knowledge. What do you want to use the fact of it being knowledge or not for? Will you trust stuff that you determine to be knowledge and not other things? Or is it about deciding legal court cases? Because then it's better to cut the middle man and directly try to determine whether it's good to punish something or not, without reference to terms like "having knowledge".
I was going to say, I don’t even understand how the second example in this post is a gettier. He thought one event caused the issue to start, but a different event did instead. And they happened around the same time. Ok? This doesn’t seem very philosophical to me.
Reddit is a pretty obvious example. While not a “traditional forum” it certainly fills that role for hundreds of millions of people. Discord is also making questionable decisions but the relative autonomy people have gives them more tolerance for it.
You know, conkers is exactly the sort of sport that makes a good anime. Everyman protagonist finds the world's hardest conker, takes on a series of increasingly absurd super-conkerists, Baki the Grappler style, with frequent informational asides about the art and science of conkers, and eventually faces the mysterious Conker Lord ... who turns out to be his long lost older brother!
I don't see "playht 3.0 mini" on there, only play.ht 2.0 (released in august of 2023)
No idea why that should be a blocker. Just pick a distro you like and install steam on it, its been supported for a decade at this point.
Mamba is also much more efficient, watt-wise, to run.
Quote:

The former head of IT at the Post Office named by the ex-chief executive Paula Vennells as one of five people responsible for the Horizon scandal has said he still has not seen evidence of a “fundamental flaw” in the IT system.

Mike Young, who worked at the Post Office from 2008-2012 when the legacy Horizon was moved to an online system, was giving evidence to the public inquiry into the scandal on Tuesday, months after it was told “he could not be found” to add him to the witness list.

He told the hearing: “I did not see anything fundamentally wrong with Horizon, or its IT code, at the time, other than minor bugs and glitches that would normally be expected in a pilot.

“Still, to this day, I am unaware of an identified part of Horizon code that someone can point to show that Horizon is fundamentally flawed. I understand Horizon Online is still used today.”
I wouldn't put so much stock in these kinds of historic anecdotes about "self-made" or rags-to-riches people. Most of them are rose tinted recollections given by the person themselves in an interview with a journalist writing a puff piece without actual background checking.

It's really easy to hide privilege and connections by leveraging people's bias. For example, this guys' wiki says his parents were "dairy farmers" which immediately evokes some kind of small family subsistence farm. But maybe what it actually was is they owned half a State's worth of mechanized dairy farms and were multi-millionaires who had never milked a cow in their life.

People love to say the same thing about Bill Gates, how he was this rags to riches story even though his family was both well off enough to put him into one of the few high schools in the country to have computers at the time and his mother worked on the Seattle health board and handled IBMs contracts for computing.

Don't put stock into these propaganda pieces.
Show HN: I 3D scanned the tunnels inside the Maya Pyramid Temples at Copan
With these 3d captures, you can explore the 4km tunnel system that archaeologists created inside the temples at Copan that are closed to the public. The tunnels are often flooded by hurricanes and damaged by other natural forces--and collapsed on me and my Matterport scanner more than once--so this is a permanent record of how they appeared in 2022-23.

Unlike Egyptian pyramids, the Maya built their temples layer by layer outward, so to understand them, researchers tunneled into the structures to understand the earlier phases of construction. I arranged the guided versions of the virtual tours in a rough chronology, moving from the highest to the lowest and oldest areas: the hieroglyphic stairway composing the largest Maya inscription anywhere, the Rosalila temple that was buried fully intact, and finally the tomb of the Founder of the city, Yax Kʼukʼ Moʼ.

I've been working to build on top of the Matterport SDK with Three.js--and then reusing the data in Unreal for a desktop experience or rendering for film (coming soon to PBS).

Blog about process: https://blog.mused.com/what-lies-beneath-digitally-recording...

Major thanks to the Matterport team for providing support with data alignment and merging tunnels while I was living in the village near site.
> If you compute P(AllPossibleModels|AllSensoryInput) you end up never learning anything.

...whoa. That makes complete sense.

So you're saying that there must be some form of meta-rationality that gives cues to our attempts at Bayesian reasoning, directing those attempts how to make selections from each set (the set of all possible models and the set of all sensory inputs) in order to produce results that constitute actual learning.

And you're suggesting that in animals and humans at least, the feedback loop of our embodied experience is at least some part of that meta-rationality.

That's an incredible one-liner.
> What Pumpkin will not

> Be a drop-in replacement for vanilla or other servers

It seems to me that unless it's a drop-in replacement its not a Minecraft server? Akin to how say an Uno deck isn't a drop-in replacement for a Hearts deck but still both card games but not both Uno decks.

Or is it just meaning that Pumpkin (besides the network) do things differently than vanilla and so you might not be able to open a vanilla created world using Pumpkin?
Cool! Would be interesting to understand how to multithreading works? Is it just the "easy" parts or actual operations related to the world as well?
Musk did say the vehicles were fully autonomous. He didn't say that for the robots.

I kind of expected them not to have human like robot AI or driving yet but the robo taxi surprised me by not seeming very practical. Would you want to be in an machine learning controlled vehicle where the doors rise up and probably can't be opened without computer assistance? Driven by software known for crashing into fire trucks and the like? At least Waymos have proper doors and backup lidar/radar to stop them hitting things.
The short answer is that there is nothing magic about these numbers. Having somewhat standard sizes in the different ranges (7B for smaller models, for example) makes comparing the different architecture and training techniques more straightforward. It's more of a priority for some teams than others.

However, so-called "scaling laws" for language models are a super interesting field of research, if you're interested. I'd recommend OpenAI's 2020 paper as a good start: https://openai.com/index/scaling-laws-for-neural-language-mo...
Even grifters seem to run out of new ideas...
> Over the summer, Jim incorporated Airship Industries. He hired a team of cracked ex-SpaceX engineers. And he raised a large pre-seed round...

This typo is perfect.
Hard agree. I left a local office that was staffed by a variety of dentists, and opted for one that had one specialist per procedure - one regular dentist, one implant specialist, etc.

Not only do you actually get to see the same person on every visit, they're not as likely to do this sort of thing.
A public company couldn't get away with the creative accounting needed to get these headlines...
Startups and incubators are actually ruining everything while telling everyone they're improving everything.

I think it's kinda true, but govt regulations should have prevented it, which is not happening anytime soon because politicians act like startups and lobbies act like incubators.
i assume it would do video over the usb-c port like the pinephone and librem.
Fusion has made leaps recently and is no longer looking as unviable as you suggest.
The click of death was transferrable via a disk having been damaged by a drive with the c-o-d, that's why 'replacing the drive' wasn't really a solution, you'd need to also throw all your zip disks and buy new.

Basically, it was a hardware virus.
Fluoride rinses on plan are not covered and cost $25 out of pocket. I did it once and didn’t feel it added anything to the cleaning.
> And it is then, perhaps, that a subtle truth begins to emerge: the only thing we truly possess, the only thing we might, with enough care, exert some mastery over, is our mind.

This essay is taking a philosophical tack, but what came to my mind was a practical reality of my favorite hobby: road cycling.

You can wear all the safety gear, cover your bike in flashing lights and your body in high vis, but the only thing really keeping you safe is your own focus on the road and the other vehicles.
Agreed. I'm not much of a reader but the flash forward to the destruction of the ship opened up so many questions going forward and back... how did this come about? Who are these people? What happened next? How do we even know these details? I couldn't stop. And the writing really conveys the events and the mood of the crew.
> The only accurate measurements are direct measurements through an arterial catheter which is a very invasive procedure.

No. Accuracy isn’t all or nothing.

If one means “most accurate” then just say that.
Have you tried mouth tape?
When accessing this site I’m seeing a request to https://www.virustotal.com/gui/domain/e97b1e25-0407-48a5-988... which is getting blocked by my firewall.
> "But for air freight service, end-to-end delivery takes a week or more, involving multiple parties: in addition to the air carrier and freight forwarder, at both the origin and destination, there is a trucking company, a warehouse, a customs broker, and an airport. Each touchpoint adds cost, delay, and the risk of theft or breakage."

How does an airship solve any of those problems? Its still got to go through customs and such, and still go through local truck delivery
My (admittedly aged) experience with XBRL is that each company was able to define its own fields/format within that spec, and that most didn't agree on common names for common fields. Parsing it wasn't fun.
TikTok Ad Spy Tool
I released my TikTok Advertisements tool in August to help brands and pitchers discover hot material and hot items in the marketplace, and it's already had some success;
and a third place finish on Product Hunt.
What should I do next? Welcome to the experience!
In the U.S., a shipping company that is also a registered “Importer/Exporter of Record” can move stuff directly.

I ran a tugboat business and we had all of the required paperwork to file directly with U.S. Customs.

In many cases, we moved cargo too big to be transferred at a port or terminal.
I wonder if CCC would also explain the Fermi paradox: We're alone because physical laws are exactly right for life only here, even the smallest change reduces the probability of intelligent life significantly
The rationale is that you can have a GUI in one of those limited containers and not spy on all your other windows.
The paper under discussion: https://iopscience.iop.org/article/10.3847/1538-4357/ad1bc6
Similar projects:

- Feather (Rust, abandoned) https://github.com/feather-rs/feather

- Valence (Rust) https://github.com/valence-rs/valence

- Cuberite (C++) https://github.com/cuberite/cuberite
I would like to introduce you to my six year old.

Mind you, it's much more likely the two phones involved would be mine and my wife's.
It raises my heartrate as well. I know my bladder is full many times due to the heartrate rather than feeling my bladder. I'm not sure if others notice this. I assumed without looking at the anatomy that the arteries to the lower extremities are under pressure from the bladder.
> They are missing out on a golden opportunity, North Carolina disaster could be where they shine and show the world what they can do

They currently are showing the world what cargo airships can do (ie nothing). The world just perpetually doesn't want to listen.
I'm aware, I follow it closely. It's still not viable tho. I'll be thrilled if it ever becomes viable.
Hi! Yeah I know the concept from non-arc ObjC times but trying to understand the point in this context.
> a daemon, not the Devil.

Many years ago, I was working in some Islamic countries where getting literature through customs was very hit and miss, depending on the religious sensibilities of the inspecting agent. I actually called the FreeBSD office and explained to someone that it would make my life easier if I could get copies of their material without their devil logo. The person I talked to was completely unsympathetic. "Just explain to them that it's a daemon, not a demon."
Honest question from a non-economist: where is the distinction drawn between "value extraction" and "rent seeking"?

Even the canonical example of lobbyists can make some ambiguously defensible position that they add some value; e.g., "We make sure constituents have a conduit to their representative"
I strongly disagree. Chat gpt seems to be a great argument against that.
Love the idea. Especially as a learning example. Always fun to learn a language by implementing a popular game.

Am confused by these two lines. Maybe it is just difference between the 'goal' and the 'current state'.

Goal:

"Compatibility: Supports the latest Minecraft server version and adheres to vanilla game mechanics.
"

But NOT:

"Be a drop-in replacement for vanilla or other servers
"

Will it be a replacement for Vanilla or not?
I'd love to find an in-wall microwave with that UI. I had an '80s Amana Radarange as a kid, and it too had a knob for time, a knob for power, and buttons for start/stop. Every microwave I've used since then has been a disappointment.

The Electrolux I have today not only has a bad UI, but it has to be periodically rebooted because the display stops working.
i feel that this finding is not particular to a specific century.
U.S. Judge Asked to Collect $1.4M Moldovan Judgment Against Cloudflare
>> If anyone is going to make self driving work, the odds are stacked in Tesla's favor.
>
> How disconnected from reality are you to make this statement?

I suppose we all live in our own bubbles. I've not been to SF in many years. I've never seen a Waymo on the street. However, I've sat in a Tesla myself and watched it navigate the roads in my hometown. As have many others across the US. And so I feel rather connected with reality in that small, tangible way.

I should have been more precise with my words. By 'make self-driving work', I meant deploy that technology cheaply and widely. But retroactively I understand my clarification appears like I'm moving the goal posts. I alluded to that though: 'They have more data and distribution than any of their competitors.'

>> I feel similarly excited for Tesla when they demonstrate robots with incredible dexterity.
>
> Did you never hear about Boston dynamics?

I have, and I am also excited for them. I believe you missed my point about being happy for people trying to do difficult things.
for a more patchable experience check out the projects from slightlynasty.com