skysight-inc/HackerNews huggingface dataset:
> It's interesting that Europe has abjectly failed to produce anything like Google or Meta. I'm not sure what the underlying reason for that is.

There isn't a singular reason, it's a complex combination. Btw I'd like to preface this to say I'm not sure most Europeans actually want a Google or a Meta, there is aversion to "too big to fail" companies in most sectors.

* investment money - VCs bet on tons of stupid things with the hope of some of them making it. Many a crappy business model has received hundreds of millions of investments to try and make it, and companies spend years chasing growth on the back of those investments without worrying about profitability. Investment in the EU is usually more conservative and grounded in reality - a business model of "we'll give it away at a loss for 10 years to get lots of market share and then increase prices to capture the market" simply won't fly here.

* "Europe" isn't a single market in most important senses of that word. Each EU country has it's own language (okay there's some overlap like Czech and Slovak, Belgium and France/Netherlands, Ireland and UK before Brexit, but generally), laws, regulations. A single business can't just immediately serve the whole of the EU without doing due diligence, translations, checking what regulations might apply for them, etc. That means that the size of the potential market is limited from the start without extra investment. A French startup can only sell in France until they figure out what is needed to sell in the Spanish market, translate websites/products, hire support people that speak Spanish, etc. etc. etc. There are tons of good quality decently successful European startups, but most stay within one or a few countries. Exceptions are purely digital companies such as Spotify who can afford to sell all around the world with relatively few hurdles.

* Regulations and common decency/fear - over here, a business model of "we'll fake sell medical devices" or "we'll trick people into giving us all their movements/desires/internet history and sell that to whoever wants it" will hardly fly. Not that there aren't unscrupulous people here, there are, but it'd be harder to get investment and talent to work for you.

* Better... I'm going to go with social safety net, but that's only a part of it. Over here, people are generally more content and know they have things to fall back on, including retirement. FIRE (Financial Independence, Retire Early), "grind mindset", "hustle mindset" and similar are quite rare here. People prioritise other things than work, don't live to work, and don't measure themselves (only) on work. So hustling to hit big and become massive is much more rarely seen as a good or desired thing.

People often deride the EU for "lacking innovation", but IMO that's flat out wrong - those people use wrong measurements (lack of massive tech giants) to define innovation. There are tons of European startups and scaleups and mittelstands and b2b companies of all sizes that are successful and innovative. They're just not "infinite growth" global behemots, but.. do they need to be? Is that the thing that ultimately matters?
> Otherwise it would be folded into the regular operating expenses.

If you read the consent decree[1] you can see that the monetary fee is not the only thing DISH agreed to.

In section 18 you can see they agreed to implement a compliance plan. Basically they improve on their fuel tracking, and end of mission planning. This makes it more likely that this thing won't happen again, and also makes it easier to argue if it still happens that it happened wilfully.

1: https://docs.fcc.gov/public/attachments/DA-23-888A2.pdf
I always thought GRPC would be an interesting candidate for http/3 but there's been no real movement in that direction.
https://github.com/grpc/proposal/blob/master/G2-http3-protoc...
And I believe .psd is still the only "raw" common format for artistic drawing, right?

I've once seen a .psd that won't display correctly in neither Ps or CSP, supposedly because it was exported from something else. That didn't seem like a fun situation.
This comment has a real grain of truth to it: reducing request load on your users has way more bang for the buck than changing protocols.

At my company we did a test for HTTP2 and HTTP3 versus HTTP 1.1 in South America on a 4G connection. We found that Netflix loaded in less than 2 and 1/2 seconds regardless of what protocols the client supported.

We determined that if we enable the HTTP2 or 3, We would save perhaps a second or two load time, but that if we reduced the request load we could perhaps save on the order of tens of seconds.
I help fast-growing companies build winning product and design teams
Former Designer Turned Recruiter
This leaves VW/Audi the last major US EV maker that hasn't announced NACS support yet.
They pack a lot more stuff into phones now too. Better screens, multiple cameras, etc. Today's flagships are also just physically larger than the older phones for the differences that makes.
Summary: https://pdf2gpt.com/?summary=3ade1d183ee74c0aa8fff901e892dc5...
> how many companies are actually USING Krita?

Assuming a product that advertises its lack of corporate support won’t be super welcoming of commercial users.
"Red Bull DOES NOT give people wings"

about time. It's always amusing to read news stories about how this or that agency is doing all this work for "fight disinformation", over an advertisement that assures me "battery acid tastes great!" or "our stream of regurgitated propaganda and press releases is more informative than the other channel!"
Database Performance at Scale – A free book
What does this mean? You end up being governed proactively? Well?
- Welcome to FishProvider

We are earning consistent profit by trading in Foreign Exchange market (Forex) on our system using automatic and effective strategies built from market analysis, indicators, price actions, economic theories, sentiment insights and many other advanced tools.

- We offer Copy Trading Strategies

All of our trading positions are public in Copy Trading platforms for anyone to copy and gain profit together with us. While everything is public, you have full control of your account and your money to decide when to invest and exit.

- Explore now at https://www.fishprovider.com
That's actually an excellent idea you've got here. Let's make chip companies design weight loss chips, were Electron running apps are forced to run on a purposely built slow core, like your doctor prescribing going to the gym.
The low end always eats the high end, always. Intel sold StrongARM to Marvell and that is some of the Arm IP they are fighting against in hyperscaler space.

https://www.theregister.com/2006/06/27/intel_sells_xscale/

https://www.networkworld.com/article/3574013/marvell-exits-t...
I'd love that on a business card. Add a doodle of the Giant Lever, with a hand adjusting it...
This is very obviously not the case.

The odds of all 21 parts being found and them knowing same-business-day that the same part of the same supplier isn't on any of their other planes is approximately zero. The odds of even finding all of these 21 occurrences is slim although not zero.

Just logistically there were likely several days or even weeks where they knew there were fraudulent parts in the wild and didn't know whether or not any in-service planes were affected. You're not required to ground your fleet on a hunch, you are allowed to investigate to see if there is actually an issue before bankrupting your legacy airline. I'm not aware of Delta grounding its entire fleet anytime in recent history, so clearly your statement is false.
Ahhhh so that's why my teams gifs don't work. Thanks.

We use an external auth provider which makes even more complex config yeah.
> they've been completely skewed by the profit margins of the big software companies

This is correct. VC-backed companies aren’t leading base compensation gains.
Pretty much, websocket implementations usually handles the buffering part so you really only need to handle "full" events.

Easiest example is probably games, events could be things such players moving to new locations, firing a weapon, explosions.

In realtime games, as well as "request-response" scenarios, it's common to have some kind of response that acknowledges that data was received.
Molten salt heat storage [1] is used relatively widely, with the advantage that the salt is liquid and can directly work as a heat transport fluid (usually to heat water or gas that actually turns an engine).

The same geometry that allows heat to be effectively trapped also prevents its fast extraction as radiation. A fluid that can relatively easily change its volume to surface ratio could have an advantage here, too.

[1]: https://en.wikipedia.org/wiki/Thermal_energy_storage#Molten_...
The Return of a Small Universe?
>Vehicles should be fully autonomous. They should not need to drag their fuel around but rather have electricity supplied wirelessly.

Wireless electricity?

Been reading some of those nutty Tesla books again?

He was brilliant .. but not everything he wrote is feasible/smart :)
Hate defacto standards behind corporations.

M$ Windows, Photoshop, each company gets locked into their own CAD nightmare.

On the flip slide, we have Blender, Linux Server, (enough)SQL, Git, Stable Diffusion, and maybe python/python libraries if that counts.
Ask HN: How to prevent newsletters from bombarding your inbox?
Flux – a tool for keeping K8s clusters in sync with sources of configuration
to be slightly pedantic... commercial airliners are designed to operate on one engine if necessary. Engine failure does not result in dropping out of the sky.
> tons of European startups and scaleups and mittelstands and b2b companies of all sizes that are successful and innovative. They're just not "infinite growth" global behemots

If their business has no economies of scale, no. If it does, they won’t survive without subsidies.

At a certain point, subsidising a low-scale domestic replica of an efficient international option breaks due to (a) the internet and consumer choice or (b) cost.
So the claim is that it would be easier to develop an entire binary hot-patching mechanism to apply reverse-engineered optimizations than to send an email to a colleague saying “this runs pretty hot, ask them to fix it”?
Depending on the source of the data, that is not as good as an actual streaming implementation. That is, if the data is coming from a network API, waiting for it to be "in memory" before processing it still means that you have to store the whole stream on the local machine before you even start. Even if we assume that you are storing it on disk and mmapping it into memory that's still not a good idea for many use cases.

Not to mention, if the code is not explicitly designed to work with a streaming approach, even for local data, might mean that early steps accidentally end up touching the whole data (e.g. they look for a closing } in something like a 10GB json document) in unexpected places, costing orders of magnitude more than they should.
What a contrast HN provides. The top post is some really interesting detail about the QUIC protocol, the things it can do and the efficiencies it enables. Immediately followed by this rant about web pages being too big these days.

The duality of Hacker News.
About time. Advertising is usually untruthful and if reader added context counteracts advertisers' lies that seems like a good thing.
I can virtually guarantee that Ford parts have flown on Cessnas over the years (because some aircraft owners are notoriously cheap).

They absolutely fly entirely successfully (and legally) on E-AB aircraft (experimental-amateur built) using the same engine/alternator that Cessna uses.
I hate QUIC. I don't like that now there's an implementation of TCP in user space, and I find binary protocols nauseating, particularly when 90% of their value can be achieved using gzip over the wire. Not to mention corporate firewalls generally block UDP by default. UDP? Really?

The design makes a lot of sense if you're talking about a remote client because now you can update the TCP stack without regard to when the user updates Android or whatever, but like GraphQL I feel like it's a technology that bends over backwards for the client. Maybe that's necessary and I get that, but whenever possible for other services that don't need to be sensitive to rural users I prefer to use things that make sense. REST and HTTP 1.1 over TCP continue to make sense.
The tool in question isn't openly available, you have to apply to get access to it. So I don't think the arms race problem exists here.
This would likely help a little bit. We've already seen LLMs improve performance on some tasks by being instructed to "think carefully" first; presumably this biases it towards parts of the training set that are higher quality.

But security ultimately requires comprehension, which is not something LLMs have.
This is simply not true, the pause token insertion is not situation dependent. If the model could say "please run me again", that would be groundbreaking and it has been looked into. The problem is how do you train such a model? It would have to be reinforcement learning or something. Your set of allowed target sequences is infinite.

I don't understand. You have an S by S matrix. You increase S, the matrix grows quadratically. There is no way around this.
Gmail's New Email Protections
It is possible that this is not a fault of the parser or tooling. In some cases, specifically when the video file is not targeted for streaming, the moov atom is at the end of the mp4. The moov atom is required for playback.
amen, brother!
It seems pretty limiting for a cult, though. You can't count all the members he left out of it.
Krita is also sold as a paid version (store version [0]) for a one time fee (never goes on sale). So unlike most open source projects it might have a more steady income already. I don't know anything about their sales numbers but according to SteamSpy they are in the 100-200k range [1] and that's one store only not counting MS and Epic.

I was actually arguing for a long time that more open source projects should do the same. Be on digital stores and sell the application for a one time fee.

0, https://krita.org/en/download/krita-desktop/

1, https://steamspy.com/app/280680
When I moved from web dev to game dev, the second most surprising thing I found is how much this industry depends on proprietary solutions compared to web dev.

The most surprising thing is how little professional people get paid, again compared to web dev.
Artists aren't really a crowd to display childish prejudices when it comes to anything art.
Wayyy too big: https://phonesized.com/compare/#2176,1863
Altera were roadblocked by relying on Intel nodes. Their new product lines (Agilex 9/7/5/3) are excellent however, despite being 3 or 4 years too late to the market. I've been lucky enough to have early access to them. It's going to be an uphill battle for Altera to win back lost business but based on current performance, and looking at AMDs roadmaps, I wouldn't put it past Altera to take the lead again.
The Nobel Prize in Literature for 2023 is awarded to Norwegian author Jon Fosse
Long-term value that's hard to define doesn't translate well to stock price especially when any investment also helps competitors who aren't investing anything into the project.
The Age of U.S. Senators, by State
I'm not sure which worries me more

> Delta is fourth major U.S. airline to find fake jet aircraft engine parts

or

> Delta is fourth major U.S. airline to find fake jet aircraft engine parts

Is it worse that at least four major airlines have detected this problem, or, is it worse that this seems to suggest that there may be significantly higher numbers of minor airlines that have discovered this? The article itself didn't really seem to clarify on specifics, but instead outlined towards the end which other airlines have discovered the same problem.
We just assume the guys who have that zone out and work on things, we ping them when they need to be active. Easier to do with cameras off.
It's generally local events. I remember some time ago when the north pole got so warm that the polar vortex collapsed and ice cold polar weather spread south across the central US, leading to blizzards in Texas.

That may have been record cold in Texas, but it was caused by record heat on the north pole. But people experience local extremes much more than global extremes, which are generally just statistics. And more people live in Texas than on the North Pole.
What's more these people often don't know it's even happening.

In fact, the odds are extremely high that you, me, and everyone else here has been taken in by some kind of ad or ad-like rhetoric and internalized it as just being normal world-view.

If there exist those who haven't even been fooled in such a way, they must certainly have the self-awareness to nevertheless entertain doubts on the matter.
The weak link here is likely to be what the article calls "maintenance providers." Offshore maintenance, out of the reach of regulators and inspectors. They have perverse incentives for cost saving, some of which could be quite compelling if they have entered into fixed-bid contracts and the airline isn't doing anything to make up for looser oversight.
> "The relationship between math and spirituality was very strong back then!"

Seems to me this connection is having a resurgence now as people attempt to project the capabilities of computers beyond human capabilities, where the implications are necessarily bordering on spiritual.

Examples include transhumanism, Yudkowsky-style absurdly extrapolated rationalism (Basilisk etc), the simulation hypothesis, AGI salvation hopes...
The Green Revolution is a warning, not a blueprint for feeding a hungry planet
The semantics aren't too important to me, but my gut says no: What else than an extension of platonic love is it, if you can combine and the trust and affection it creates with mutual physical attraction that culminates in sexual relations?
same for news and blogs ... pay $10 per month, get paywall access, browser tracks what you read and distributes to authors. open source version of Apple news that actually supports local news and indies without extracting a giant additional vig.
How to Run Finances in a Startup
Delta CEO admits airline went too far in reducing benefits for frequent flyers
In other words: types were not a deciding factor.

Ultimately bugs cannot be prevented by having a type system. We make mistakes regardless of static or dynamic types.

We can argue it's because of the lack of types, tests, oversight and so on. I'd argue nothing can force a programmer to design a perfect system.

>The examples are bona fide type errors

I'd disagree because those are logical errors. You can represent those as different types with a type system, but you could also not use a type system and convert those values properly. Whether we represent them as different types or not is an implementation choice.

Those can be considered "type errors" (or missing types? a type of primitive obsession?) in a typed language. But it's still an issue with the implementation's logic.
efficient at boosting stock price, in the Friedman sense.

if it's not going to improve the stock price the who cares?

source: worked for a lot of very large, healthy F500 companies that were clusterfucks most of the time
Because your server is following a recipe, and if it does it wrong, it's either a problem with the recipe, or a hardware issue - which itself is also built from recipes - or something exceptional like cosmic radiation. LLMs, on the other hand, are big amorphous blobs of numbers that we throw example inputs and outputs at, hoping they'll eventually tune in on a pattern that we ourselves don't understand and can't formalize.

Statistical models are somewhere in between on this spectrum - there is a recipe implementing inaccurate model of reality; some parts of it we understand, the others we hope the model will tell us. And for those models, there are different classes of errors - the usual software and hardware errors, and separately, situations where the computation is done correctly, but results just don't match experimental evidence. This second class is more similar to LLM hallucinations.

As for personification angle, it's because LLMs are developed for text completion, and recently optimized for chat-based interface and fine-tuned to interpret instructions. I.e. the personification starts with how (and why) they're being developed.
Breaking News Alert All Targets Passed in Sep 2023

Maintainer
We're thrilled to announce that FishProvider has been consistently hitting and surpassing targets EVERY SINGLE MONTH since establishment in 2022.

Today, we celebrate our newest success - all trading strategies have seamlessly transitioned and met all targets! This accomplishment mirrors the commitment, adaptability, and innovativeness the company embodies. FishProvider has opened up new doors of prosperity for traders, providing above-average returns consistently. Our trading techniques have not only stood the test of time but have in fact exceeded expectations every step of the way since our inception.

Hold your breath as we dive deeper into success with the Ocean Series. Let's continue to ride this wave of success!

Learn more about us at https://www.fishprovider.com

Happy Trading!

#FishProvider #ConsistentSuccess #ForexTradingStrategies #OceanSeries
What everyone is talking past here is that the Babylonians discovered what engineers call a "rule of thumb", and engineering is focused on getting things done using rules of thumb. The best possible rule of thumb is a mathematical proof or a scientific discovery, but it's by no means necessary. .

Observing that something always holds and even having a formula for it is not the same thing as having a proof, and the proof is what makes it mathematics and geometry and not "just" engineering. The babylonians had a rule of thumb -- the greeks discovered the theorem -- and more than that, they seem to have invented the mathematical/geometrical proof as a concept, along with formal logic.

Without that mental framework, it's hard to say that the babylonians proved anything or had any theorems at all, only collections of rules of thumb. It's quite likely that lots of babylonians sort of independently and intuitively understood _why_ it must be true, but they don't seem to have ever written it down.

Not that there's anything wrong with having rules of thumb -- it's a huge achievement to even notice and collect and teach those things, all the stuff around you is built relying on them.

I encourage everyone to watch this series of videos.

https://www.youtube.com/watch?v=_ivqWN4L3zU
Your example highlights the issue!

Chat GPT isnt even giving "precise answers". Its just presenting the next best token.
It would do the same thing if the tokens were converted to another set of symbols instead of ASCII/UTF. The fact that the tokens happen to look like english, and that combinations of english have meaning.. not really a concern to the token generator.

Its never inaccurate - its always mathematically faithful. Its just created the next token to suffice its reward function. And No reward function can magically tell you what reality is*

We can discuss this on HN though. In reality, there are enough managers and CEOs who are planning to do silly things with Gen AI. To survive those conversations, this idea of "thinking system in a server" needs to go.

----
If some code can do that, we could just give up on science entirely and let the algorithm solve everything for us.