skysight-inc/HackerNews huggingface dataset:
Culture starts at the top... Since criminal charges are probably a no-go (and under what law?) maybe an appropriate punishment would be to have every board member and exec pay back all profits and compensation they earned from Boeing dating back to 2005-ish (whenever financialization took hold). And it can't go away by declaring bankruptcy, they all need to pay back every penny starting immediately.
AI Chair 1.1: Llamafiles and Mistral
AMD's AI Strategy
How I prepare a talk for a tech conference (2022)
Commits are by geohot, so it looks like George himself.
Is there a good alternative to postman. I recently tried Bruno and liked it but it was lacking in so many little ways I had to revert to postman. And not for the first time either, I’ve tried other solutions. Postman seems so heavy and annoying now but everything else seems lacking somewhere
We don't use inheritance anymore. In all the years building small and hughe software solutions with small and larger teams I've never experience any real scaling, maintenance or resilience benefit. Even for documentation it is more a pain for new devs onboarded than an advance. Patterns,DRY, DI, IOC, MS, ES, IO are best to build with these scopes in head.
We're not talking about a vanity Mars visit, we're talking about building an X-ray observatory. The JWST has already been phenomenal, it feels like it's delivering an almost daily barrage of discoveries, many of which are already affecting long standing understandings of the universe. The benefit of these projects is that they actually help us to answer the basic questions of existence in a way nothing else does.
MSG in Chinese restaurants isn't unhealthy (2020)
If it prompts them (i.e. if they use --full-gen-key) . --quick-gen-key and --gen-key just assume the user wants both
science is just a spinoff of philosophy which was religiously motivated. what kind of drug-induced state do you have to be in to think that the Romans would have been flying around the Earth if only everyone thousands of years prior was magically a self-absorbed nihilist
Great to see a local project at the top of HN! Good work guys.
Indeed, at some point the metric becomes very subject to stochastic uncertainty.

IQ tests administered by psychologists admit that there is a cutoff beyond which they fail, and so presumably the same situation exists with standardized tests.
afaik 4090 doesn’t support 5.0 so you are limited to 4.0 speeds. Still an improvement.
Formal specification means building up this specification from theory, and building proofs along the way.

Of course, there can always be errors in specification, but this is supposed to be the first place we implement SAT solvers or proof assistants. During Dijkstra's time, such technologies were not yet available as they are now.

There is work to be done until this is all practical and the overhead to do this is within the current overhead of software engineering, but we are quickly reaching that point in time.
Chatbots isn't "robotics".
What details. I read the opening sentence and the linked ones.

It makes a high level claim that doesn't have corresponding numbers with it.
Huh. There's bound to be some weird constraint there.

E: Looking at the sibling comments, I'm disregarding negative numbers here. Probably that breaks the line of thought here.

For example, a sequence made up of all numbers from 1 to n is unsolvable. A sequence of [1, 2, ..., n-1, n+1] for n >= 3 also seems to be unsolvable, since no number up to n-1 can split into a smaller number (they are all in the list) and n+1 also cannot split, because 1 is in there.

So it seems that there would be an unsolvable class of lists along the lines of [1, 2, ..., k, ..., n-1, n+k] by that argument, because the n+k cannot split ever, because all numbers up to k are in that list.

And I guess for any unsolvable list with a max value of M, you can add any number below M into the unsolvable list, because that just removes moves.

Ah. Nerdsniped :)
You may be correct, but what else can I do other than avoid flying completely?
They were a UK electronics retailer. There's a wiki article with some info: https://en.wikipedia.org/wiki/Rumbelows

Sadly, it doesn't touch on the symbols of the logo
Writing down your feelings on paper then getting rid of it reduces anger
> It's trivial. For example, most macOS apps can already get these permissions. Apple can grant special permissions for Siri quite easily.

Of course it's not trivial if you think for more than a second about it.

LLMs produce output in exactly three ways:

- text

- images

- video

What you think is trivial is to convert that output into an arbitrary function call for any arbitrary OS-level API. And that is _before_ we start thinking about things like "what do we do with incomplete LLM output" and "what to do when LLM hallucinates".

You can literally try and implement this yourself, today, to see how trivial it is. You already have access to tens of thousands OS APIs, so you can try and implement a very small subset of what you're thinking about.

BTW, if your answer is "but function calls", they are not function calls. They are structured JSON responses that you have to manually convert to actual function calls.
I very seldom write prose or long texts. 90% of my time is spent juggling emails, Excel tables or presentations. My right hand is on the mouse, the left one close to Shift, Ctrl, etc.
> but the infrastructure will survive

What infrastructure? Massively inefficient corporate rent-seeking attempts aren't infrastructure.

There is no AI "Linux" in 2024, all AI tools are closed-source and proprietary.
Every decent meeting has a clear agenda communicated with related documents well in advance, a chairperson (usually the one booking the meeting) responsible for shutting down any distractions from the current issue in the agenda, and a secretary that takes notes regarding decisions that will be sent to the participants afterwards.

Every good meeting has all of the above and lasts less than thirty minutes.

In practice it guarantees that stakeholders and participants clear things up and does the thinking and deciding before the meeting and don't waste time doing it in public, and the meeting turns into a quick formal event where majorities or consensus is documented.

People who want to have vague discussions about this and that in meetings should probably be offered therapy or some kind of educational course.
Great! Really enjoyed that, thanks
The Mediawiki environment became increasingly hostile to "the external world" though.

I am making a research project on grammatical gender in French, that I host on Wikiversity (there is a dedicated research space there). Lately I get an increasingly large number of rejection of saving my contributions, because some sites are considered "unreliable sources". But in my project, I am looking to document what people use in practice in their written exchanges. That they express lies or try to spread disinformation is irrelevant from the linguistic perspective I’m conducting this project. But due to this software enforced policy, I get prevented from documenting my sources from time to time.
it would be nice if there was some way, like a map of what concepts you needed to know, that you could follow, so if you did want to get into this you could ram up from nothing (or at least high school maths)
I wish I could play the ray-traced version in my humble linux laptop (｡•́︿•̀｡)
Also the "not scanning because you are not holding it right" should be a very different error from the "this did scan and no, you are at the wrong gate".
It's clearly a picture of a mouse with a missing front leg.
My point is that nearly any mainstream source will be better than this article, it's that bad.
This isn't as sketchy as it sounds. There is an official procedure for "in flight replanning" that's pre-approved by local aviation authorities.

It can be used to stretch the range of a fight in case of good weather while having options for worst case weather. For example you can plan Tel Aviv to Antwerp, while selling Tel Aviv to Amsterdam (this is on the edge for maximum range of a 737 with full capacity), then re-plan to Amsterdam if all conditions meet the rules.

There are two parts of fuel planning that make this work. The first is that you need for example 5% of the trip fuel for contingency. That's 5% of the full 8 hour trip on takeoff but that becomes 5% of the 1 hour (past Antwerp to Amsterdam) at the re-planning moment.

The second is diversion fuel to fly to an alternate airport in case you cannot land at the destination. At the departure moment weather for the destination is more uncertain (because it's still 8 hours into the future). That means your chances of diverting are higher and if it's a big storm system you can't be diverting to a very nearby airport (Rotterdam is 10 min flight away and fine for a 737). So you need to plan for holding and a diversion to something an hour away.

Now in flight you get near Antwerp, you're only an hour from Amsterdam (where you really want to go), you have accurate destination weather and you re-plan that one hour. With Rotterdam as an alternate (in case the airport closes for a non-weather related reason). Contingency is 5% of that 1 hour, and typically you will have saved some fuel in the first 7 hours due to shortcuts because it's "plan for the worst" at departure time but reality is more favourable. Now your calculations for the 1 hour extra all meet the rules, so you go there.

Maybe 1% of the cases with very bad weather and exceptional circumstances you may end up in Antwerp instead of Amsterdam. Then you re-fuel there and make the short hop to Amsterdam afterwards. An hour or 2 delay on a bad weather day isn't really unheard of for passengers.
I remember taltking to some of my friends about who has it better. When I ask "would you like to work like me?" typical answer is "Sitting 8h staring at a screen? I couldn't do that!". When I was summer-working at home construction 8-19, I was tired after a day of work, but pretty happy. Now when I'm sitting so long programming, I have headache and feel tired constantly. There is something about moving all day which makes us a little happier than sitting or lying.
fyi should work on most 40xx[1]

[1] https://github.com/pytorch/pytorch/issues/119638#issuecommen...
I haven't dug into the code, but it's clear that the Golang library has had a ton of optimization work put into it by very knowledgeable people. Techniques like object pooling are highly error prone, and certainly not "out of the box" Golang.

The Rust code and the blog post, on the other hand, seem to be written by someone less familiar with Rust and high-performance parsing. I think they would have avoided all their problems if they just used lifetimes to safely avoid copying from the start, instead of relying on increasingly elaborate workarounds like the `Bytes` crate. Apart from one "forces one to deal with the contagion of lifetimes" comment in the conclusion, they never mention why they didn't do this, even though it's clearly the idiomatic Rust solution. Maybe they had technical reasons for not doing lifetimes, but to me it just seems like unfamiliarity with Rust.
I came within a cat's whisker of being flown from Molde, Norway to Oslo rather than to my intended destination of Bergen when I was a teen.

Molde Airport is a very small affair, a handful of flights every day, and no such fancy thing as boarding tunnels; rather, you were just passed through at the gate and let onto the apron, where a plane would be waiting.

Only on that day, there were TWO planes waiting, one hidden from view behind a hangar - but both were from then national flag carrier Braathens.

So, I get out from my gate as the very last passenger, having bought a standby ticket, so no pax to follow, lemmings style, to my plane.

Walking over to single plane in view, I board and find my seat on the nearly empty flight, door closes, pre-departure briefing, taxiing towards runway.

And then they announce that estimated flight time to Oslo will be 45 minutes. Uh, Oslo?

So, I call for a stewardess, who suggests that whatever I may need, just wait until we're airborne. 'Uh, that's kind of the point - I am going to BERGEN, not Oslo.'

She runs off to alert the captain, and a minute or two later, a truck with boarding stairs come zipping alongside, I disembark, get driven over to the plane to Bergen and as I board the correct plane, a guy is getting off the Bergen-bound plane and is driven over to the plane I had just left.

As we both had stumbled onto the wrong plane, the tally matched the expected numbers and all seemed normal - until they'd announced where we were actually going, that is.
Should be at least twice the speed of the M3 Max, as the M3 CPU or GPU only get about half the memory bandwidth available to the package each. M3 Max can't take full advantage of it's memory bandwidth unless CPU, GPU, and NPU are all working at the same time.
I wrote the comment as someone who doesn't use social media. I still, for example, miss out on important life updates from my friends because media has taught us that it's easier to post a story than to manually select all 10-50 people who might be interested and send it individually.

Your good friends and friendships will survive that, no doubt, but you do lose out on opportunities to make additional or deeper connections.
Lost in terminology.

These may all be interesting trains of thought, but they have little to do with the state treaties and processes at hand, which are based on agreed terminology (insofar as human language allows such a thing at all) and which are the reference for the assessment of the case at hand. If you are interested in the subject, you should study the works of established state theorists. Wikipedia is a rather dubious source for a scientific discussion of a topic.
Delivery app takes away health insurance when workers don't meet quotas
Only one way to find out :-)
Using GPUs for neural network inference is inefficient and makes no sense, unless there's some hype bubble propping it all up.

Maybe sometime in the future a commodity manufacturer of massively parallel CPUs for stupidly parallel tasks appears, but Nvidia ain't it.
Matrix only recently started adopting an (as of now) experimental protocol that allows purging older parts of the append-only data set that constitutes a channel.
Nobody is getting executed by having a few gr of weed on them, one needs to actively distributing it and in large amount (500 gr). Singapore is very strict but they’re not executing their citizens for consuming drugs.
Just for fun - would this work as an European as well?
I also thought there was a decent chance the entire product would just die irrecoverably, and that hasn't happened (although of course there might have been near misses we don't know about). I must admit I'm surprised how well it still seems to run, on the whole.

I think it's still an open question whether the business is damaged irrecoverably. I guess now they don't have the same reporting requirements, as a private company, but everything I've read suggests they're losing as much money as ever.

Although... you can certainly imagine a world where they both avoided infrastructure-death and managed to sustain the business (not pissing off advertisers, not pissing off power users, no pointless rebrands, etc).
I find the Python community Stockholm syndrome over dependency management kind of charming, it feels like one of the old internet holy wars.

It's absolutely nuts that you'd repeatedly meet the same criticism, independently arrived at all over the place, and just conclude it's some statistical anomaly of bigotry and fools.

"Well, I don't have these problems, I just {{500 word article}}"
If we end up with a compute governance model of AI control [1], this sort of thing could get your door kicked in by the CEA (Compute Enforcement Agency).

[1] https://podcasts.apple.com/us/podcast/ai-safety-fundamentals...
I think paying for twitter (or any social media for that matter) would be frowned upon even before Elon bought it. At least by normal people who don't use it for business.
They could have used lifetimes. Instead they used elaborate workarounds, which turned out to be slower.
That's a half truth as well because the APIs that Message is using are open source and documented. You can recreate a third-party Message app and that's what is used in some of the android distributions.
I don’t know if it’s just bad management or they want to stay out any possible antitrust case. Because with their weight Google could easily make this a multi million “small” business.

Either way, it’s good they leave some for the next guy to earn. ( not because the goodness of their heart I’m sure )
Heat pumps _are_ amazing! The power of physics at play: spend 1 unit of energy to gain 4.

Some naysayers will say that it doesn't work the 3 days of the year where it's -15°C outside, without talking about the other 100+ days where it's not that cold and where the heat pump is amazing.

Disclaimer: I self installed one for my house (13kWth) and I'm very glad I did
Google One VPN to Shut Down Later This Year
Real question is does it prevent freezing? Like 100%. After all, the human body is quite resilient … above freezing.

I am thinking in Nome, Alaska where such heat pump could prove its versatility as an anti-freezing component of living quarters or even maintenance shed.
I thought the game was cool so I built a little version of it here:

https://blaise.gg/number_game/index.html
The Go code is already hyper-optimized by experts, just not by the blog authors, so you don't read about it here. As someone who has tried to write high-performance Go code on occasion, I can assure you that a ton of digging would have been required on that side as well.
Also, even if you just look at bugs, they will level off at some equilibrium level if the software is being changed (beyond fixing bugs), since change introduces bugs.
Agreed. It’s also not even close to what I said but yeah sure
The thumbprint is optional at Trondheim I think. You can use your credit card instead. It's just a convenience for the traveller. There are no boarding passes.
Looks like we're only a few years away from a bona fide cyberpunk dystopia, in which only governments and megacorps are allowed to use AI, and hackers working on their own hardware face regular raids from the authorities.
If 'Alexa, open my curtains' already works for you, then creating a routine containing the same command to be triggered daily at the needed time should solve your problem.
What were the major things that caused TCP/IP to become the standard protocol?
You mean the Turing Police [1]

[1] https://williamgibson.fandom.com/wiki/Turing_Police
Introduction to Advanced Bash Usage – James Pannacciulli @ Oscon 2014 [video]
https://twitter.com/killedbygoogle/status/177857627171655725...
Are your programs fighting for Russian or Ukrainian needs?
Laws against adultery create an incentive to catch people who otherwise bothered no one.

Same way that laws against homosexual behavior used to lead to police regularly raiding gay bars, etc.

The famous NYC Stonewall riot that launched the gay pride movement happened because patrons at the Stonewall bar got fed up with police harassment.

People are free to believe that gay bars, adultery, eating pork, etc. are immoral behavior. But there’s no justification for criminalization.
A lot of these are UK based systems which are installed by installers with Heat Geek[0] training.

They're an interesting company who's trying to fill in the lack of training that traditional gas heating installers have to properly install air-to-water heat pumps in the UK. They also do homeowner training courses and a guarantee scheme on their certified installers (they'll fix the system for free if the SCOP is below a designed level).

They did a series of videos with Skill Builder[1] (who's a bit of a heat pump sceptic) where they fixed a badly installed heat pump that was causing a lot of issues. That install is currently 7th on the linked website[2] with a SCOP of 4.5 (450% efficient). Obviously a bit of a sale pitch from them, but there's loads of interesting information about WHY they're making the changes that they are.

[0] https://www.heatgeek.com

[1] https://www.youtube.com/watch?v=BesfqnHPxLU

[2] https://heatpumpmonitor.org/system/view?id=196
I've learned to just skip paragraphs online with extreme prejudice, and it makes it hard for me to read text that's online and feels like an article, but is actually very educational (like recently the HTML version of The Rust Programming Language).
Does auto format work in vscode?
That's a dispatch screw-up before departure, not a pilot.

That plane will have been on a valid flight plan but to the wrong place, there is no way for the flight crew to go to a completely different place than the flight plan. Because the air traffic control computers also have the flight plan. So their instructions are going towards the filed destination. Any discrepancy would be noticed on both sides very quickly because you get instructions that don't fit the plan.

The one thing the crew can screw up during the flight is landing at an airport right next to the destination when on a visual approach. By visually confusing the two airports. There are procedures to avoid it, but it still happens.
I've never seen any value for me in the Amazon spy devices. They listen to your home and play ads. Amazon profits, not me. For me, device has less utility than an electric can opener.
The first step is to separate system tools from userland tools. For example if system tools depend on python then they should be using their own isolate python and not the one that gets run when a user types 'python' on the command line. This way you can upgrade /usr/bin/python to 3.12 while /sbin/python (or whatever) can be locked at 3.8 to make sure important OS tools don't break. /sbin/python is not in the path of any user and only gets upgraded as part os a major OS upgrade.
It’s simple. You ignore fire as a bad thing and don’t even consider that as equivalent comparison to a knife. But someone who was affected by arson probably will say “why include fire in a blog post?!” . My point is, it is not on the author to think about all these effect when they write/speak. As a mature society, we should learn to not expect every source to filter their thoughts and rather expect the consumer to filter out what they don’t want.

By not valuing fire/arson at the same level of concern as Knife(important to you), you just validated the core of the problem.
I'm moving to jsdelivr to sort this issue now and then will be moving to self hosting key files.

https://www.jsdelivr.com/unpkg
Plus, not everyone has a cell phone. You need to support the paper based boarding passes.
Its ridiculous to have a free market decide whether we want to have PFAS or not. Free markets are premised on rational agents making decisions for themselves. But I can't decide to live in a PFAS-free world by myself. I can't de-risk my son from autism, cancer and whatnot by just not buying PFAS products even if I would have a reasonable choice to do so. PFAS is everywhere, its in the rain, in our food, in the soil, in the air we breathe, and it will be there for thousands of years. From next to 3M's factories to Antarctica, there is no spot on earth that isn't polluted by PFAS.

I'd say lets have a vote. Do you want to risk autism, cancer, infertility and whatnot for nonstick pans and all the other wonders of PFAS? If the majority doesn't, it will get a global ban.
Oh wow, nice! Just a question, how do you manage memory for the OS? I thought operating systems needed whole control of the MMU.