skysight-inc/HackerNews huggingface dataset:
This really brings me back to my days in college, when this was the exact sort of stuff that ML classes focused on. You could have an entire course on various interpretations and extensions of kernel based methods. I wonder how much these insights are worth anymore in the age of LLMs, deep neural networks. I havent kept up too much with the NTK literature but it seems like the theoretical understanding of kernel based methods, gaussian processes does not confer you any advantage in being a better modern ML (specifically working on LLMs) engineer, where the skill set is more heavily geared towards systems engineering and/or devops for babysitting all your experiments.
But they are not real alternatives as they still have to use WebKit, as far as I know
Ask HN: Evaluating Electron vs. Tauri for building a desktop app
I tested Electron and Tauri for building a desktop app. Electron bundles Nodejs runtime but has a 230MB+ bundle size. Tauri is ~15x smaller but requires Rust services or Nodejs hacks. Here's a comparison of the tradeoffs.
There is probably no single factor that totally explains the trend, but rather a multitude of contributing factors that will be extremely difficult to disentangle. Most of the world’s big headline problems are similar - most have no single smoking-gun root cause, but a whole bunch of factors that come together and interact in complex ways. We seek simple narratives, but that’s just not the way the world at large works.

Accordingly, I think “social media causes depression” and “social media doesn’t cause depression” could be equally bogus takes.
At least that fatal error comes at 60 fps. Failing fast!
Sort of like wrapping yourself in the flag.

Of Einstein.
Don’t forget you can’t call emergency services if you had Microsoft Teams installed.

Also you still can’t call emergency services due to some other bug?

One year they forgot December existed in the Contacts app.

Also wasn’t their permission model terrible from the start vs. iOS’ fine grained prompts?
Here is the detailed comment,

https://github.com/firecamp-dev/firecamp/issues/62#issuecomm...
I think the 'key' moment is when something non-routine and expensive breaks because then the sums start to move away from your favour. A water pump is maybe not in this category but anything bigger/costlier would be, in my opinion.
Phones and other high performance systems are one of the intended use cases, so Linux is implied. Support for the X2 is already upstreamed as well.
From memory it's something like Device Data Channel / Control Interface.

It's a very simple and I2C protocol for controlling devices (monitors normally but not always). Two of the wires in HDMI are literally just an I2C bus.

You can control things like brightness, switch inputs, turn the screen on/off, etc.

Unfortunately it's ancient, incredibly badly documented, and rarely implemented well by monitors.

A previous Dell monitor I had flickered terribly when you change the brightness (it did work though).

My current very expensive LG monitor has a bug with input switching. It clearly is meant to work because when you tell it to switch inputs it blanks the screen but then just returns to the same input.

I was intended to use that with a USB KVM switch so I didn't have to get a very expensive HDMI KVM switch. Unfortunately it doesn't work... so I got a HDMI KVM switch.

Unfortunately the switch I got ignores DDC/CI brightness commands so now my hardware brightness knob doesn't work. You can't win. :-(

Current plan is to implement a MitM DDC/CI device that inserts sneaky commands. Unfortunately DDC/CI is also the channel used for HDCP. It sends a message every two seconds and there's a required response latency, which means it's a bit tricky to avoid interfering with it.
Child: Dad, can we have non Safari browser?

Tim Cook: No, we have non Safari browser at home.

[Non Safari browser at home: WebKit logo wearing a wig]
I once spent a week doing this, deliberate boredom. I only permitted myself stimuli in the form of work, and any chores I might get the urge to do (I do not usually have the slightest urge to do chores). Besides that, I sat around waiting for food or sleep.

I remember making the decision, and going through with it, but somewhat unsettlingly I do not remember hardly anything from the week itself. Maybe that is because there are no memorable moments on which to look back on.
But there are specific PWA bugs where Apple refuses to release fixes.

New wake lock api works in safari but when it is added to home screen. Then it fails silently…

Webkit team said that they fixed it 6months ago but Safari team does not accept fix.
> When Israel invaded Gaza in 2014 they killed 2,310 people. 70% were civilians. In return they lost only 67 soldiers. They also destroyed 7-10k homes and damaged 87k other homes.

You say "in return" 67 soldiers died. That's not how any of this works. In conflict, you try to kill as many of the enemy soldiers as you can, while getting the least amount of death on your side as possible. You're not trading some number of kills until everyone is even.

More Palestinian civilians die because the Israeli military is far stronger than the Palestinian's "soldiers", and because Hamas uses human shields.

> Now in the span of just a few days Israel has killed over 7k more Palestinians. This isn't "retribution". This is an ongoing genocide

Please, I've asked this of many people - in what sense is this a genocide? Provide some definition of genocide that this falls under. There is none, because this isn't a genocide. Israel's goal is not the eradication of Palestinians. It never has been. The way we know this is that the Palestinian population has basically doubled in the last 50 years.

And despite the terrible, terrible civilian cost on the Palestinian side (which is horrible, and which any decent person should be appalled at), the amount of dead in Palestine is basically a tiny blip compared to any other conflict in the world, including several going on right now.

Any dead civilian is too much, but the amount of dead in Palestine is just the opposite of indicating a genocide.

But like I asked, if you have a different way of thinking about this, please, tell me what you mean when you say there's an ongoing genocide.
It amazes me that the rituals that were obvious in the past are now considered a desire. Thanks to technological advancements
If you only ever say ridiculous things eventually it stops being interesting.
Just a nitpicking, but calling an Altra system "the fastest ARM desktop" is misleading. The CPU does have a huge flops number, but nothing "desktop" can saturate that many cores, especially when the system comes with a GPU. Altra is design for cloud workloads, and might be useful for some specialized tasks, but high core count (>8) has little-to-no impact in the "desktop" context. Single-core performance is more important because it can improve response time without performing peculiar synchronization dances.
For example you could set cookies before visiting another website. This is currently impossible in an iframe but possible in a browser.
I've wanted to do this to automatically login users on some external websites.
A remote control that controls humans (2005)
My new wise card doesn't work with contactless. Every time it says over limit, even if the amount is only a pound and well under the the limit in the app.

Support just tells me that contactless works in theory and maybe there's been some specific issue with every time I've tried it so far and so I should just keep trying.
Yikes.

I've had nothing but good experiences, but this has been enough for me to reconsider our exposure.
Understanding the techniques that make general purpose programming in prolog easy is one of the easiest parts of learning prolog, such that even beginners shouldn't have trouble with it. Learning to use prolog the way it was meant to be used is actually much harder, and you'll certainly have a good grasp of general-purpose programming in prolog long before you become "really good" at prolog.
I'd say that in times of war, the goal is to win. The war continuing longer would cause far more deaths than ending the war quickly. More importantly for the US, the war ending in victory is more important than basically any other consideration, given what would happen if they lost.

That doesn't mean dropping those bombs was the right thing to do, neither militarily or morally. But at the end of the day, that's what war is, and people thinking differnetly is why Germany was able to conquery several countries in WW2 and trigger a war that caused 50million deaths.
Windows is the dominant desktop OS though. So that would be abusing their market position on the desktop.

It’s about locking competitors out via owning the leading market in other parts of the dependant ecosystem. If MS didn’t lead the market in desktop operating systems then it wouldn’t matter what search engine they defaulted too.
The switch from A to X is really just marketing. They call them X-series cores but they're just larger and more powerful application processors. It's 100% intended to run full operating systems, it implements the ARMv9-A ISA :)
Google has actively become catastrophically bad to the point that it will ignore the only special keyterm I deliberately looking for for more general dumb results.. like it is literally unusable - I used to be able to find that very specific stackoverflow answer I have read years ago, or some barely read blogpost, and now I’m happy if it actually finds the website if I search for the domain name..

GPT would be good as a search engine, but who would want a search engine that stopped indexing a few years back? Also, it is not good at ultra niche topics, which would be the whole point of a search engine.
Helicopter parenting was not (a very widespread?) thing til the age of smartphones (not meaning any causation), which started 2006, realistically for the masses 2010, or was it? Only learned or heard this term 2015-2020ish..
I think it's much more likely to be accidental but its easy to imagine that if someone had a beef with this particular organisation they could easily falsely report many of their mails as spam/malware. After a certain number of unrelated reports the filter is likely automated.
>No, I don't want a map that needs a data connection.

Google Maps has had the ability to download maps for offline use as long as I can remember -- at least since 2013.

>This does not support your argument, because that's a service that is free, and does not display ads.

All Google services are ad-supported, at least indirectly. That's because Google pays for their development and upkeep, and Google's primary income stream is ads.
It’s actually quite easy to live without android or windows these days. Of course, you are firmly in an apple world at that point, so pick your poison.
Traveler: A Korg Retrospective [video]
>Overall the temperature of the balloon will stay pretty constant if it stays on a fixed orbit around the sun.

OK, so you just ruled out 99% of use cases. The world only has a handful of satellites in heliocentric orbits.
Per Wikipedia Germany's legal system doesn't have the concept of binding precedent. (And even if it did in no country is the decision of a trial court binding precedent).
Quality software deserves your hard‑earned cash
Hotels and airlines have been making hotel and airline wifi networks difficult. iOS 14 has been out for years, they could’ve adjusted their networks by now.
Not sure on a bigger scale, but ARM flavoured options have appeared in many VPS providers (e.g. Hetzner). A client of mine recently completed their transition to ARM for server components, and they seem happy.
It's surprising how fast that can change. Look how quickly hotels rolled out WiFi. It would be difficult to find one without any connectivity now.
"Unlike lithium, sodium is cheap and abundant"

Lithium is the 25th most common element on Earth, the key issue is distribution (where it is located) and extraction cost (low density deposits). Additionally sodium-ion batteries operate more efficiently at lower temperature than Lithium-ion, with obvious benefits for vehicles and machinery in colder climates
>People in developing countries don't like ads any more than anyone else.

Almost no one likes ads. What many people do like is the trade-off of some ads for access to high quality services that would otherwise cost them money.
Sorry everyone, but I think if Apple do what they here say ‘bad’, I’d rather believe Apple. Their sales prove their design decisions, with very low content density.
This is incredibly US-centric, the line between manufacturer and carrier is much clearer just about everywhere else in the world.
> I love to fly but it is hard to fly them unless you have a lot of money.

I have a comfortable amount of money, and I have been certified to fly some small airplanes, including one turbojet model, yet helicopters still elude me - it's just so much harder. Much respect to you sir.
Wait, doesn't TCP have automatic throttling too?
I think it's true, to some extent, that only Gazans have the power to stop the conflict. (I say Gazans and not Gaza citizen, because I think it's Hamas that has the power, not the actual citizens, which is part of the reason we're in this mess.)

Israel does a lot of bad things, like the settlements in the West Bank. No question about that. But if Israel were to stop with those tomorrow, I honestly don't think it will make a difference. See e.g. what Israel did with Gaza - it forcibly removed its own citizens, left Gaza entirely, and what we got in return was Hamas.

On the other hand, if the Palestinians agreed to a peace treaty whereby they get some land and give up their right to destroy all of Israel, the war would be over. Period. This was offered to the Palestinians several times, and they refused several times.

I'm not saying Israel is faultless, far from it. But at the end of the day, Israel is in a situation where the other side wants something that Israel can't agree to - they want Israel gone. That's the heart of this conflict and something you just can't negotiate around.
He wasn't making one.
I'm not using Google Authenticator or anything like that but when my old phone dropped somewhere at the bottom of a river all my banking apps, which do 2FA, had a way to let me start again on my new phone. Services that don't assist their users in a disaster recover scenario are severely lacking.
Physicists get a first glimpse of the elusive isotope nitrogen-9
Perhaps not for a powered aircraft cert, but it's hours towards a license.
I know that quote. The thing is, I don't have more time, and a lot of blog post are just never written because of that.
Well yeah, the comment I was replying to was about the US :D
This is not right. This is a desktop and I use it to write programs which implies invoking a compiler. Having a snappy UI is important but short compile times can be importanter(!) once a baseline latency has been achieved.
Let's not forget IRC channels can be split between servers too - don't wanna complicate the backup system too much but this is in the original design of IRC.
What should Israel do differently? Israel disengaged from Gaza in 2005. They immediately elected Hamas and started shooting at Israel.

What specifically should Israel do to "not treat Gaza like a prison"? Allow more goods in, which would specifically mean that Hamas gets even more weapons? What other steps would you want Israel to take, given that they left Gaza and gave it into Palestinian hands to run?
https://issuetracker.google.com/issues/242755161

They broke half a market of BLE devices in 2022 and never bothered with investigation or fix. P1, btw. Most manufacturers now just revert some commits (and they identified them in a month!), and some BLE manufacturers pushed firmware updates - after 6 months of broken equipment.

Those two stories is all what you need to know about "7 years of updates are important".
Not to the driver/microphone, but you do need to mod the circuitry it was attached to. And amplifier isn’t magically pre-amp.
Past 2 weeks in KDE: Wayland color management, the desktop cube returns
Paper: https://www.nature.com/articles/s41586-023-06550-2 (not open access)

"50 trillionth of a second" (50x10^-12s) are 0.05 ns by the way.
The prompt on an old device is just one of the MFA options you can use. You can also use a security key (e.g. Yubikey, Solokey, etc.).
'The Spider-Man of Paris' on Netflix, a Documentary About an Art Museum Heist
For home-use this is a reasonable tradeoff. Imagine my non tech-savvy wife for some reason has to get access to the data when one of the NAS has malfunctioned because the zfs pool encryption was badly configured. Explaining "zfs receive" or let alone what zfs, linux and ssh is going to be grounds for divorce. Heck, i don't even want to read man pages about zfs myself on weekends, i have enough such problems at work. Besides, you still want 2 physical locations.

It's going to be less optimal and less professional. That's ok, for something as important as backups, keep it boring. Simply starting up the second box is simple, stupid and has well-understood failure modes. Maybe someone like me should just buy an off-the shelf NAS.
Sooo… like a notebook?
You still don’t give an obvious use case for cryptocurrencies (beyond the math being interesting). You are right that most technologies are not inherently evil but the same holds for „traditional“ banking including credit. There are plenty of customer-owned banks and there is no reason a transparent, fair and secure alternative to visa couldn’t exist if someone bothered to build it instead of some power hungry crypto scam.
I would argue that it only helps in very beginner questions as it is beyond useless on anything more complex.

Like if the answer is not a leetcode/CRUD code sample you can easily find on the internet either way, it can’t do anything useful. Like, my problems mostly constitute things like reasoning about the correctness of a given change in the context of the whole codebase, its threading model, etc. It will at best regurgitate some bullshit like “race conditions can be this and that” here, not helping at all.
That's actually very impressive. mIRCscript is absolutely awful.
My feeling is that proof assistants are much closer to general purpose programming than logic programming such as prolog.
Are there any viable ARM Servers available in a homelab price range? Every time I look I only see the 2000$ enterprise 2U servers. I have outgrown the Raspberry Pis but still love the idea of moving my homelab to ARM
Gensler can please just exit the way he came from and take his corruption with him.
I've used it to brainstorm a presentation while being out on a run. It does work quite well, the latency could be just a little lowe, but it does feel very natural. It's also finally fulfilling the promise of a truly conversational voice assistant, one that can actually hold a conversation and not just like thr glorified state machines that are Siri, Alexa et al.

If they add some memory persistence a la MemGPT and lower the latency slightly I think OpenAI has a huge hit on their hand.
Sounds a bit like CoDel to me.

https://en.m.wikipedia.org/wiki/CoDel
It's already done. In Ukraine. Remember the dispute with SpaceX
Yes, Pydantic does: https://docs.pydantic.dev/latest/api/standard_library_types/...
If you're feeling game you could try for a cattle station job where I grew up ..

https://www.youtube.com/watch?v=8B-zWxDJOZU
The article seems to skip the direct and continuous blood pressure measurement used by intensive care units. They will typically measure blood pressure via an invasive arterial cannulation. This enables them to get accurate measurements in real time. But as an invasive procedure it’s not without risks. At least it allowed me to sleep without nurses waking me up all the time for measurements via arm cuff.
A Deep Dive into Machine Learning Algorithms
Well, it's called JuPyteR (my capitalisation), and originally supported Julia, Python and R. The exact provenance of the name is a bit unclear, but it's either deliberate or a happy coincidence.

Pluto.jl is also 'like Jupyter', but better and more popular among Julia users, as far as I know.
> almost 900 hours of combined helicopter and airplane flight time

If I were in the market for a helicopter pilot, I would be very keen to know what the breakdown is!
"Move fast and break things". Kids...

This is what happens when the company management does not care about clients. Nobody thought it is a problem. They just saw the immediate benefit for themselves in making the change quick and uncomplicated.

Of course it will cost them more in lost trust but that is a lesson that takes time and self reflection to learn (people like that tend to ignore what other people including their clients say).
Not quite a goatherd, but Ramanujan's father was a clerk in a sari shop. Ramanujan himself had little formal training in mathematics and was entirely self taught, and his research was in isolation until he sent an unsolicited letter to G.H. Hardy.

It's as if you trained an LLM on children's books and it converged to Terence Tao.
No way I'm giving Twitter my financial informations
I am absolutely not an expert at either of them, but I believe TLA+ is interested mostly about all the possible ordering of “code”, that models your program, verifying the absence of concurrency bugs.

Do correct me if I’m wrong, but Lean is more about total functions/FP code, not sure how well does it handle threading, if at all. It might be more related to the correctness of the actual implementation of a serial algorithm.
> and stop participating in online society?

The parts of it that try to force ads on me, sure.

> Are you going to stop buying from ecommerce sites, viewing youtube, and reading your gmail?

I would, yeah. I've already stopped using all google services to whatever extent possible and deleted my google account long ago. I do sometimes watch a youtube video (in an external player) if one is linked to me, but I don't think I'd particularly miss youtube if it were gone altogether.

I would hope that there will remain at least one e-commerce site that doesn't try to force ads on me. But if there isn't, I'll drive to the store.
Fwiw I think JavaScript is quite good. Also I think TypeScript is the best programming language I’ve ever used (and I’ve used a lot of them).
Something I'm actively looking for is something to manage the connections to AI API.

Say I'm making an app that lets you chat with Freddy Krueger via a mix of GPT-4 qnd 3.5. I want my API keys on a server so users can't decompile it. While I'm doing that, I might as well hide all my prompts on the server.

Then I'd like to track which users are using it the most and bill them accordingly. A typical arrangement is to maybe allow the player to reload $10 on Google/App Store and charge them $0.06 for using some functions, and track that credit amount in a database. Or I might charge $1 for a bunch of uses, like a single playthrough.

Can I build this? Sure, but it'll take a few days and I want to focus my energy on just doing the front end stuff, the game, or whatever service.

Since I could build it, I wouldn't pay too much for it. And eventually I want to migrate off it to save money.

It's useful for scaffolding early on, as I try to make $5000/month and know whether it's worth investing more energy into. If it's cheap, fast, and reliable, I may never move off it, just like how I'm stuck on Heroku. It's just cheaper than hiring someone to handle this. If I'm worried about vendor lock in, I'll migrate sooner than later.

Early on, I'll be making $0 and so I'd be willing to pay very little. That's where many similar options fail, they charge you $50 per month or so regardless of how many tokens you use, which is a total waste when I'm using less than $1.