skysight-inc/HackerNews huggingface dataset:
Can’t tell what exactly they think is in UF. Perhaps you mean the principle is in UF? That’s pretty meaningless though. The actual loan amount is converted to pesos when it’s finalized (the process can take months), and the APR is just some percentage of that.

Source: Live in Chile, have mortgage in Chile in pesos.
Checking out the video, it's amazing anyone survived that one. The construction of the planes is really impressive.
Porch Pirates Steal So Many Packages That Now You Can Get Insurance
The pilots probably should have ignored that. There’s no such thing as “denying landing clearance” to an aircraft experiencing an emergency. There’s only “get out of the way of the incoming emergency.” But I can’t blame them for not wanting to take their chances when they were just shot by local air defense.
I agree with that about 90%. The standards do not come as a single universal package. Browsers cherry pick what they want to support or what support to drop as they can release new features. The challenge there is picking features to support but ensuring they work independently and without regression. It takes testing the incumbents have spent years developing.
Well... the article goes on to say pretty much at the end...

"For what it’s worth, there are a ton of used Teslas on the Hertz Car Sales site, but anything priced this cheaply shows well over six digits on the odometer, and isn’t nearly as appealing. It’s unclear if this Redditor just got a particularly good deal, or if Hertz is just trying to sell everything not nailed down before the end of the calendar year."

I mean, if this is what the article is predicated on... seems weakly reported, lets just say.
This is absolutely the right way to think about things.

I like thinking about local reasoning in terms of (borrowing from Ed Page) "units of controversy". For example, I like using newtypes for identifiers, because "what strings are permitted to be identifiers" is a unit of controversy.
Sure. I understand why things are the way they are. But that I don't think that is a reason not to complain about the way things are. Improvement is always the product of discontent.
Is Christmas Efficient? (2013)
Sentient cat programmer: Confirmed.
From Papyrus to Preprints
I'm not sure if i'm reading this correctly or not, but the telegraph seems to report that the oxygen tank exploded? https://www.telegraph.co.uk/world-news/2024/12/25/azerbaijan...
Article title: In the Battle Against Porch Pirates, People Will Try Anything

Original source: https://www.wsj.com/personal-finance/porch-pals-package-deli...

https://archive.ph/luD4o
I'm sorry for your loss - cats can be the most loving creatures imaginable.
If you choose Ruby because it seems distinct in syntax and concept. I would recommend you to take a look at OCaml. Some keywords: immutable, functional, loop via recursion, accumulators, tail-call optimization, monads, pattern matching, type inference, ADT, etc
A small hobby project I made with it: https://stackl.remikeat.com
So do I, but not in large projects and teams that need to scale.
I’m pretty sure it’s is a shortened form of Horcasitas, from Juan Vicente de Güemes Padilla Horcasitas y Aguayo, 2nd Count of Revillagigedo, the Viceroy of New Spain who sent an exploration expedition under Francisco de Eliza to the Pacific Northwest in 1791.

https://en.wikipedia.org/wiki/Juan_Vicente_de_G%C3%BCemes,_2...
What happens when the predicate returns false for the refinement type?

Like if `(Nat 5) - (Nat 6)`. Or is subtraction disallowed?
Christmas 1999 my father's business had just gone under when the banks stopped lending after the dot com bubble. We didn't have any presents until Christmas morning when our church dropped off a bunch of presents for us. We got a Razor scooter and I spent all day riding it downstairs.
I just got my daughter a scooter and she's doing the same this year :)
Converging on something useful is implicit in the iterative approach.
I linked one example—a video on Christmas trees from a religious studies scholar. They have similar content on the date of Christmas, and there are plenty of sources on each other tradition.

Here's another one on Saturnalia from the same scholar:

https://www.youtube.com/watch?v=5lsctaPJSvo
I can't read through the paywall, but the numerous pictures of the skin with the metal folded in are a pretty dead giveaway that there was an explosion nearby that crippled the aircraft
I don’t think you understand what canon is if you think that. Canon is simply internally consistent story telling.

It’s agreeing that A follows B and C follows B, etc. It’s agreeing that “A” and “a” are two forms of the same thing, and make the same vowel sound. You run into trouble when you say “A” makes a “k” sound and the lowercase of “a” is “w”.
Ironically the only thing I use Chrome for is when I have to have a telecon with Microsoft Teams (which, at least last time I tried, had a nonfunctional Linux client and worked terribly in Firefox). Fortunately it's only when I have a call with NASA people that I have to use Teamms.
There is little reason to not use HTTP/2 these days unless you are not doing TLS. I can understand not doing HTTP/3 and QUIC, but HTTP/2?
Any fully open source tool that can store "wide events"?
The Hertz situation is in my opinion more their own fault vs Tesla. I’ve rented Teslas from them every time they were available when traveling in like 10-12 cities and all of them were poorly handled by local staff imho. As a Tesla owner from back when there was long wait lists (aka before the price cuts), I do sympathize with the insane depreciation aspect though.
The Tesla is not the kind of car I'd like to just jump into for a two day trip, but the neither the car charger or key card entry requires an app, or is particularly weird. You touch the key card to the door column to open or lock, and you plug the charger in.

But the interior build and the touchpad interface mean it'll never be a top choice. It's just awful.
Running this app, it's downloading about 1kb/s from push.lightstreamer.com, is that expected behaviour...?
Streamline Everyday Work Tasks with Microsoft Copilot
Great, appreciate it. Merry Christmas!
If it got hit over Makhachkala it’s closer to Aktau - just over the Caspian. Maybe it’s easier to land there with busted controls too
If you make refactor PRs as you go, do you end up merging redactors towards a dead end and then--once you realize it's a dead end--merging even more refractors in the other direction?

I usually wait until I have the big PR done and then merge redactors towards it because then at least I know the road I'm paving has a workable destination.
WritingTools: Open-source, cross platform, AI grammar assistant
Thanks! This is solid. Good luck with your store. Btw when I open the website, I’d expect it to show me English descriptions (ideally it recognizes my country)
It’s Jalopnik, it’s basically guaranteed to be poorly sourced and usually not supported with more evidence than a single tweet or Reddit post. Half the article is a ramble about the author never actually trying a Tesla.
With the average English-speaking consumer. You forgot the other 7 billion people, which isn't your fault as it happens here all the time.
I get that there are some people who do need that outlet. I’m just saying we don’t need to make “set aside 90% to gamble with!” the first recommendation, but maybe the last.
This was possibly an option 30+ years ago, but I think we may have sailed past that point of no return. We will need to double down on human industriousness in order to accomplish massive necessary geoengineering and/or bioengineering feats within the next couple hundred years.
It’s just big-corp tone deafness, eg Google engineers have pointed out that you can use

defaults write com.google.Chrome URLBlocklist -array-add https://example.com

to block sites without understanding that this is fundamentally different from adding this to browser UX.

A lot of Google engineers struggle with the conflict of interest where the world’s #1 advertising network — by far — is making it more difficult to block ads in the world’s #1 browser, which they just happen to own. Good job guys. /s
Have you got any source for that?
Seems like the plane was barely controllable. That may have just been the direction they were able to maintain.
Narrator: "They don't."

(Glib, but in my experience, mostly true.)
Yeah with cloudflare you need to do it every 30 seconds as the timeout is is 60 seconds
What do you mean by "aloof manner"? As far as I'm aware, snaps' updating mechanism is quite reasonable and doesn't suffer from the many update related issues that apt/debs have, especially when users want packages not included by their distribution.
Unfortunately, IMO, no.

Part of the problem with Picard is that it was for all intents and purposes a character study of Jean-Luc Picard, and what people wanted was another season of TNG. It had a lot of good ideas, particularly around the Borg, but it just wasted their potential.
If you want vertical tabs, built-in adblocker, and more generally are looking for a lightweight and free (as in free speech and as in free beer) browser, you may look at https://www.falkon.org/ (made with QTwebengine i.e. Blink)
Here is another one, but, looks like RT is ultimately the source for both the articles so... hmmmm...right...

https://www.news18.com/world/oxygen-tank-inside-azerbaijan-a...

(news18 is CNN in India https://en.wikipedia.org/wiki/CNN-News18)
Rather depends if we can trust that it's Python's "filter" or if it's another language you're making look Pythonic, and we don't know who implemented filter/2 or how.

- The first one might be an in-place filter and mutate "numbers", the second one definitely isn't.

- The first one might not be Python's filter and might be a shadowed name or a monkeypatched call, the second one definitely isn't.

- The first one isn't clear whether it filters odd numbers in, or filters them out, unless you already know filter/2; the second one is clear.

- The first one relies on you understanding first-class functions, the second one doesn't.

- The first one isn't clear whether it relies on `numbers` being a list or can work with any sequence, the second one clearly doesn't use list indexing or anything like it and works on any sequence that works in a `for` loop.

- The first one gives no hint what it will do on an empty input - throw an exception, return an error, or return an empty list. The second one is clear from the patterns of a `for` loop.

- The first one has a risk of hiding side-effects behind the call to filter, the second one has no call so can't do that.

- Neither of them have type declarations or hints, or give me a clue what will happen if "numbers" doesn't contain numbers.

- The first one isn't clear whether it returns a list or a generator, the second one explicitly uses () wrapper syntax to make a generator comprehension.

- The first one has a risk of hiding a bad algorithm - like copying "numbers", doing something "accidentally n^2" - while the second one is definitely once for each "n".

Along the lines of "code can have obviously no bugs, or no obvious bugs" the second one has less room for non-obvious bugs. Although if the reader knows and trusts Python's filter then that helps a lot.

Biggest risk of bugs is that odd(n) tests if a number is part of the OEIS sequence discovered by mathematician Arthur Odd...
Similar for me, but using F♯
Except you lose your reserved seat and end up sitting on the floor for hours, crammed in with everyone else who missed that connection.

Then you get the pleasure of arguing with DB about compensation. Of course, only possible by post.
Thanks for the real world information! Username checks out.
Looks like we (or just i?) missed this discussion on the frontpage

https://news.ycombinator.com/item?id=42502659

(Why did you call this dutch strategy, did Dijkstra use it? Ah you mean the oudekerk? Straathoertje?)
However, it shows that the AI is not self-aware enough to realize by itself that it needs to write a program to get the correct answer.
Great idea. I don't know why I didn't think of that.
I’m in the process of installing Kinoite, and the installer is awful. There are two different manual partitioning tools and one automatic one, none of which work well at all.

For some reason, immutable Linux distros seem to struggle with the idea that a single physical disk might contain both volumes owned by the distribution and persistent volumes owned by the user that are not managed by the distro. Last time I checked, Talos was basically unusable on a single-disk system if you want persistent volumes.

Sadly, most M.2 NVMe devices don’t seem to support namespaces, which would otherwise be a decent way to kludge around this problem.
I realize this is something I should probably know but I've never been able to pin down a definition nor have I used a language with this feature -- could you maybe explain what a "content addressable language" is and why that is important? It seems like it's really important but I have no idea why. You explain it here[1] but it's somewhat brief. I realize it probably should be self-evident why it's important but it's not clicking for me.

It's somewhat like when Jack Skelington is trying to explain the meaning of Christmas to the residents of Halloween Town[2] and somehow it hasn't stuck yet.

[1]: https://scrapscript.org/#ContentAddressibleEverything

[2]: https://youtu.be/l6QZUcRJw-A
Banning it from the American market is one thing, enforcing the ban is another topic altogether.
Cool to see more dancers on HN! I'm gettin into it more myself, I was wondering if you could share the software you used in some of your shorts to practice dance?
https://news.ycombinator.com/item?id=42498186
Yes, who shoots down entire civilian aircrafts?

Itavia 870 comes to mind: In the 80ies, a fighter jet was being smuggled to Gaddafi by hiding under a civilian aircraft, and the speculation is that France shot the convoy, killing 81. https://en.wikipedia.org/wiki/Itavia_Flight_870
Does the cost of letting everyone see a specialist whenever they want cancel that out?
Yet, TSLA is trading at an all time high and 127 PE.

https://finance.yahoo.com/quote/TSLA/
https://archive.ph/wE1XU
This was on a Core 2 duo, the last generation where it could be totally removed.
Maybe I want the novelty of trying out an electric car on a business trip. But far more likely I just want a bog ordinary car that I can drive from point A to point B.
Artemis II Orion Heatshield Update
Why is that baffling?

If I couldn't have fun at work (of this exact nature) - I'd quit, I'd be bored, my brain would be constantly itching.

These activities are no more a waste of time than reading up on a topic or doing a tutorial or anything that furthers your skillset. A boss that objects to that wouldn't last long with me.
Priced on the promises of Musk rather than the reality of the market.
It's highly dependent on the endpoint selection. Some providers' IP ranges are blocked while some are not.
>As an executive trying to revitalize a property where fans are complaining about lack of alignment, do you understand why you might just erase the 20% rather than create 80% more of an otherwise-failed project?

If you're an executive, you understand that the purpose of these properties is to make money. Discovery makes money. It has fans. It sells merchandise. You don't erase money because of the rancor of some pedantic nerds, most people do not care.
My issue is that this article is trying to use cognitive load in its specific, academic meaning. It says:

> The average person can hold roughly four such chunks in working memory. Once the cognitive load reaches this threshold, it becomes much harder to understand things.

This is a paraphrase of the scientific meaning. "Intrinsic" and "extrinsic" cognitive load are also terms of art coined by John Sweller in his studies of working memory in education.

I agree the article isn't designed to be peer-reviewed science. And I agree the article has real insights that resonate with working developers. But I'm also a fan of honesty in scientific communication. When we say "vaccines prevent disease", that's based on both an enormous amount of data as well as a relatively precise theory of how vaccines work biologically. But if we say "composition reduces cognitive load", that's just based on personal experience. I think it's valuable to separate out the strength of the evidence for these claims.
Because you'd be broke and freezing outside.

See, you're privileged as hell if this doesn't even cross your mind.
I agree. My PhD is technically in CS but it made heavy use of algebraic topology. Being 5 years out, having worked briefly in tech, then at a national lab as a software engineer has given me enough outsiders' perspective on pure math. You probably need to work as a professional mathematician to be at the research frontier of a given area, but otherwise the fundamentals of math are unchanging, and in my opinion, that makes it accessible to anyone who is sufficiently interested in and passionate about math.
Installing OpenWRT on an Unsupported Router
The market is anticipating large amounts of corruption

Remember when Jimmy Carter had to sell his peanut farm?
We should distinguish code that's correct using the borrowing metaphor but won't pass borrowck in current Rust (such code will inevitably exist thanks to Rice's Theorem) from code that's not correct under this metaphor but would actually work, under some other model for reference or pointer types.

Because Rust is intended for systems programming it is comfortable (in unsafe) expressing ideas which cannot be modelled at all. Miri has no idea how the MMIO registers for the GPIO controller work, so, too bad, Rust can't help you achieve assurance that your GPIO twiddling code is correct in your 1200 byte firmware. But, it can help you when you're talking about things it does have a model for, such as its own data structures, which obey Rust's rules (in this case the strict provenance rule) not "memory" that's actually a physical device register.
not update linkedin
You're confusing this with a software development process problem. It's really just good old fashioned psychological abuse.
You probably need a sputter coating machine too for most applications, and, at least in some cases, tricky consumables like liquid nitrogen.

I'm with you in wishing that they were more accessible, though. So many people want to do skydives, bungee jumps etc. that have never experienced the thrill of exploring the anatomy of tiny insects in incredible detail. They don't know what they're missing! That's before you even get onto cool stuff like WDS/WDX which I remember thinking was like science fiction when I first saw it.
Please flag. A couple of commenters damaged their displays, and a photosensitive person may have damaged themselves.
The risks outweigh the benefits of having it up for discussion.
That's not a problem; it's a feature.
Isn’t there a saying about triumph of evil and good people doing nothing?
Doubtful. The Caspian Sea is a pretty unmistakeable landmark, even from high altitude, which the pilots would have seen.

I think it was more likely that that happened to be the direction the plane was pointing when it got hit by the missile and lost control surfaces, so that is where the pilots went.
Kleptocracy is a word for a very real reason.
The spirit of this piece is excellent, and introduces some useful terms from psychology to help codify - and more importantly, explain - how to make tasks less unnecessarily demanding.

However, as someone who spends their days teaching and writing about cognitive psychology, worth clarifying that this isn’t quite correct:

Intrinsic - caused by the inherent difficulty of a task. It can't be reduced, it's at the very heart of software development.

Intrinsic load is a function of the element interactivity that results within a task (the degree to which different elements, or items, that you need to think about interact and rely upon one another), and prior knowledge.

You can’t really reduce element interactivity if you want to keep the task itself intact. However if it’s possible to break a task down into sub tasks then you can often reduce this somewhat, at the expense of efficiency.

However, you can absolutely affect the prior knowledge factor that influences intrinsic load. The author speaks of the finding from Cowan (2001) that working memory can process 4+—1 items simultaneously, but what most people neglect here is that what constitutes an “item” is wholly depending upon the schemas that a given person has embedded in their long-term memory. Example: someone with no scientific knowledge may look at O2 + C6H12O6 -> CO2 + H2O as potentially up to 18 items of information to handle (then individual characters), whereas someone with some experience of biology may instead handle this entire expression as a single unit - using their knowledge in long-term memory to “chunk” this string as a single unit - ‘the unbalanced symbol equation for respiration’.
The FUNDAMENTAL aspect and nature of ALL Software Engineering is: "Controlling Complexity" I dare say its the most important part of the "Engineering" in software engineering. 'Cognitive Load' is another way of saying this..

1. programming => wiring shit together and something happens

2. software engineering => using experience, skills and user and fellow engineer empathy to iterate toward a sustainable mass of code that makes something happen in a predictable way

It is exceedingly difficult to do this right and even when you do it right, what was right at one time becomes tomorrow's 'Chesterton's Fence' (https://thoughtbot.com/blog/chestertons-fence) , but I have worked on projects and code where this was achieved at least somewhat sustainably (usually under the vision of a single, great developer). Unfortunately the economics of modern development means we let the tools and environments handle our complexity and just scrap and rewrite code to meet deadlines..

I mean look at the state of web development these days
https://www.youtube.com/watch?v=aWfYxg-Ypm4
> It has also been quite a while since Zen+ and Zen 2. Those poured in money

Zen+ and Zen 2 were released in 2019. Their revenue in 2019 was only 2.5% higher than it was in 2011; adjusted for inflation it was still down more than 10%.

> they absolutely did not need to wait until they had more revenue than some chunk of Intel or until their debt was gone.

The premise of the comparison is that it shows the resources they have available. To make the same level of investment as a bigger company you either have to take it out of profit (not possible when your net profit has a minus sign in front of it or is only a single digit) or you have to make more money first.

And carrying high interest debt when you're now at much lower risk of default is pretty foolish. You'd be paying interest that could be going to R&D. Even if you want to borrow money in order to invest it, the thing to do is to pay back the high interest debt and then borrow the money again now that you can get better terms, which seems to be just what they did.
It's mostly in the form of ferrous oxide (Fe(+2)). Fully oxidized to rust, it goes into the ferric form (Fe(+3)).

It's very common in weathered rock to see the red color of ferric iron.

Ferrous iron occurs in common minerals like pyroxene, hornblende, pyrite, and olivine. Olivine is the most common mineral in the upper mantle.
Similar boat. Started pretty successfully in AI/programming since I've always wanted to do that. But romance is pretty bad. I also agree about the solitary hobbies vs social ones.

Started doing sports / gym this year, and will probably continue that next year. I've thought about taking a drawing art course or cooking course.
The eventual solution will probably be to replace the low wattage people with high wattage machines.
i know we do non tech news as well but this doesn’t seem notable or interesting enough to qualify. maybe an article about the history of jury nullification would be better