skysight-inc/HackerNews huggingface dataset:
That's sped up at least 5x. If you slow it down to real time, it looks no harder than Waymo videos in San Francisco. Remember that most AVs have full circle sensor coverage. They may do better than humans in situations where there's movement on all sides.
Well, that's one way to get rid of open floor layouts.
> SeL4 is safe because of its extensively verified codebase written in a language suited for verification

I think this is incorrect. It is written in C, compiled to arm assembly, and the assembly is analyzed and checked by Isabelle/HOL.
Maternal Brain: How Pregnancy Changes Mothers Brain, A one person linear study
I love both cycling and walking. But cycling is what gave me the best of all.

Riding for 7-8 hours even once a week just gave me a boost that would let me cope with everything that I had to face in daily life, and now after I've diagnosed with ADHD, I realize it was also helped me a lot to keep myself somewhat sorted. It's kinda therapy for me.

It's relaxing, and clams the racing mind so much.

Now I don't get a chance to ride anymore, but I miss it so much. And I feel ADHD affects me more now
Is there a large enterprise that exists in 2024 that doesn't already have existing software?
So far it's been unanimous. Everyone I've heard talk about it believes Strawberry is mainly just CoT. I'm not saying they didn't fine tune a model too, I'm just saying I agree with most people that clever CoT is where most of the leap in capability seems to have come from.
Usually I would think these are shadow-layoffs, but employees were already required to be in-office 3d/week, which means that employees were at least proximate to their office.
Welcome again to PTA, HN friends!

I set up the plaintextaccounting.org site in 2016,
to grow a more organised info hub and community around ledger (2003), hledger (2007), beancount (2008), and the many related apps and resources.
I'm happy to answer questions; there's also a FAQ on the site.

I don't spend as much time as I'd like making the site and docs better.
Feedback and help is always welcome.
Stability, efficiency, and longevity are all important, which is one reason it remains fairly simple.

This style of tools and workflows for bookkeeping/accounting, which I named "plain text accounting" for convenience,
but was first popularised by Ledger starting in 2003, has a number of aspects; it's not so easy to explain briefly.
I think a key one is the use of textual domain specific languages for interacting with the accounting software's internal data model.
I mean the various file formats of the PTA tools (describing data),
and also the tools' command line interfaces and related scripts and idioms (describing reports or actions).

Textual languages are more expressive and flexible, version controllable, and modular/scriptable/glueable than GUIs,
which tend to be more static in their capabilities.
Note once you have one text DSL, it's relatively easy to add more, eg custom formats that better fit your needs.
And such DSLs need not preclude GUIs; they can be an alternative (perhaps assisted by smart editors/IDEs), complementary, or a foundation.

-Simon
Their second heading is the same size as the first one, which made me think it's already the next blog post. IMHO, they're too big regardless. They're fine as a title but a (sub)heading doesn't need a 40px font.
I used to be a techno-libertarian until I outgrew Ayn Rand as an undergrad. I can understand that as an immature mindset. But it now seems to be worse. The people who were merely techno-libertarians seem to have morphed into techno-fashy authoritarians, with a side order of eugenics. Eww.
Especially the meetings which are held for the purpose of planning more meetings.
People falling in the ages old trap of antropormophizing Oracle executives.
Its the same thing as with humans, thats right. It doesn't do Logical reasoning but even the best humans stop at some level.

But if you read all the knowledge of humans, were does your reasoning start? Probably at a very high level of it.

If you look at human brains, we conduct experiments right? As a software developer, we write tests. ChatGPT can already run python code and it can write unit tests.

We do not use proofs when we develop. An AI could actually doing this. But at the end its more of a question who does it better, faster and cheaper eh?
warehouse is very different than corporate. also "watched him die instead of helping him" is a lie. More correct would be "the supervisor walked him to medical staff instead of calling medical staff".
That's a poor stats to be polite. SQL is no programming language, PL/SQL and its variants are. Without scripting languages you can't embed much logic in it.

I also wonder how they count multi users, I can easily mark 10 of those if not more.

> HTML/CSS were the most commonly used programming languages

I am sorry but that can't be taken seriously, then I know a ton of Excel developers, and wait till I get to Powerpoint ones.
But they also all use it!
How is the job market for juniors? Functional programming jobs seems to be anti-juniors when hiring.
a billion years ago I piped say and some various noise files into ffmpeg to make audios that sounded like numbers stations, I don't think it would run anymore but it was a lot of fun :D
No, it's illegal to participate in the advertising or promotion of products making false health claims in any way.
I wonder if there are any exemptions. But I am sure the best talent can easilly find work at Microsoft, Oracle and or IBM without any issues.
See you say that but I know if I had 5-day battery I'll keep forgetting about it. Happens with my airpods all the time.

But Apple Watch is part of my routine, same as with the iPhone.
I agree, you're right. I didn't think of it that way because most agile teams have a mandatory scrum meeting in the morning every day anyway. So a meeting is always literally the first thing you do...or at least it's your first interruption that comes right about the time you begin concentrating.

It's super counter-productive too because in the morning is when I'm at my most productive and a guaranteed interruption every single morning is horrible.
I didn't neccessarily mean Rust, but was curios to see how that would look.

Here's a Rust demo implementation of the seL4 root task (the first process that gets started on boot) using their Rust SDK and it doesn't look like it's using unsafe anywhere: https://github.com/seL4/rust-root-task-demo/blob/main/crates...

(I don't speak Rust so I might have missed it).

Go might be another interesting choice.

(let's not turn this thread into Rust vs Go vs whatever agaaaaaain ... we've got enough of those please).
Boeing has really gone down hill since the 2800s
Analog Devices Wiki
Amazon already required employees to be in office 3 days a week.
I’ve tried it, and since I work remotely the voice is too surprising for me.
Your comment is spot on and way richer than mine. Leave it there, please!
Anything for juniors?
EU approves $1.9B in aid for Intel's Polish assembly plant
America's Cup Charts a Course to Net Zero for Shipping Industry
iMX RT1011 Nano Kit – High-Performance Arm Cortex-M7 Board Running Up to 500 MHz
The exact details are beyond me but knowing the public key cuts the required private keys you need to test in half. Public keys are included in the transaction but normal keys have enough bits they're effectively protected even with their raw entropy cut in half. 128 bits are still more than you can effectively brute force but the 33 bits left for this challenge is far easier which let the attacker snipe the reward by exploiting the low fee offered on the original solve message sent to the transaction pool.
Agreed, and not just a remote thing generally.

This is why one big and well communicated cut is always better than round after round.

Once your company tilts into the direction of getting worse, anyone with better options leaves. You end up with a lot of adverse selection as an employer if you take the slow burn approach.
Definitely. It's a great tool, especially in a small and smart team.
Case in point, I just saw one of these bizarre advertisements for a game where they show some simplistic gameplay that is supposed to hook you, which is not at all the point of the actual game. It was about a pregnant women and her other child, freezing outside in the winter. I had to watch it to the end and it turns out the game was... Gardenscapes.
There is a material difference between the older Apple Watch (where the charging puck uses USB A) and the newer Apple Watch and/or the Ultra (where the charging puck uses USB C). Plugged into an appropriate source, the USB C puck gets much faster charging and is usually sufficient for a day's wear after about 10 minutes (depending, of course, on what the day includes).

Charging to 80% is likely to be more than enough for most uses, and topping it up with another 15% just before bed is enough for overnight (probably).

I had the Series 4 previously and the Ultra 2 now; with the older watch, I would charge it for about an hour while watching TV in the evening. With the Ultra 2, I charge it for about 20 minutes here and there depending on what I’m doing and whether I remember. I’m currently at 39% which will be just fine for my hourlong exercise ride (with GPS), and then I can toss it on the charger while I shower and it’ll probably be at 70% which is good enough for another full day.
depends on prices!

if a community values bikes more than SUVs GDP can still go up.

also it depends on the SUV, are people ditching a 20 year old thing for electric bikes or ...?

hedonistic adjustments are notoriously difficult in these calculations, but also necessary.
havent touched clojure in years, but i use FP daily, can i get an interview? :)
> as soon as I try to go to sleep I feel like I’m being smothered and my heart starts racing

You may need your pressure adjusted. You are awake so whatever pressure the machine is using is fine. Then you start falling asleep and that's when your apnea kicks in.

If you are using the standard autoset 4-20 setting it may not be enough. Ideally this would be done by a medical professional and yada yada - insert standard disclaimer here. I would suggest increasing the lower pressure (say, to 7) to see if it helps you. I was using the default for years and, while it did help me, apparently it wasn't enough. After increasing, it's been night and day.

It _could_ be an issue with your mask but given what you described, probably not.
Uh, ok?

If you're going to debate why this guy is/is not a success we can all make up our own little definitions and go on all day.

But he defined his goals in this PDF and it seems like he's reaching/making progress towards those goals.
Sure, it has to be environmental, since it has affected millions of people (and animals). The question is: which environmental change? Ultra palatable food? Ultra processed food? The demonization of fat and subsequent additional sugar? Plasticisors in the environment? Lithium in the water supply? Something else?
> jetBlue provides more legroom through all of coach, and even I as a very tall person, don't go out of my way to book them.

How tall are you? I will literally skip a family vacation if I can't get a better seat on an airplane, to the point it's caused strain in my personal life.

I agree with your overall assessment that people will (usually) buy the cheapest thing, but I find it utterly bizarre a truly tall person wouldn't even care about being physically uncomfortable for hours on end. I'm curious if we just disagree on what "very tall" means, like 6' is not that tall.
“It can't be bargained with, it can't be reasoned with. It doesn't feel pity! Or remorse or fear and it absolutely will not stop!... ever... until you are dead!”
Declarative programming has a specific meaning, which is that you declare the contents of the end state, and allow the code/run-time to compute the work necessary to reach that end state. This can include synchronizing changes, scheduling transition animations, and so on. It's about avoiding O(n^2) lines of code to manage O(n^2) possible state transitions.

The idea that "I tell the AI what I want, and it writes the code for me!" is "declarative programming" is so wrong it's almost comical... except that it's yet another instance of the LLM-idiots confusing their lack of knowledge with not needing to know or understand it. In the process the term "declarative programming" as a concept may end up flushed down the shitter.
Yes so that was one round of shaking people out, and didn't have a sufficient effect clearly.
That is also correct.

> Apple Kills the App Store Affiliate Program, and I Have No Idea What We Are Going to Do. (2018)

https://toucharcade.com/2018/08/01/apple-kills-the-app-store...
Doubt what? QT is very popular. Just look at video game launchers, Battle.net, EA Origins, all use it. VLC, teamviewer, telegram, tesla UI, etc all use it. I can list about 100 different apps without even trying.
> The speed of light is an actual hard speed limit; various sci-fi tricks like warp drive and traveling through wormholes have immense practical and theoretical barriers to being usable and I don’t think they’ll ever be overcome.

It probably is, but so what?

> Time travel into the past actually is impossible, which is why no one has ever come back to tell us about it.

And why is that significant?

> Even if we achieve speeds on the order of (say) 10% of the speed of light, which we almost certainly can’t for simple relativity reasons, traveling to potentially habitable stars will take hundreds of years; we have no reason to believe that cryofreeze/stasis/etc technologies are actually achievable; multigenerational interstellar travel is likely impossible for all the reasons Kim Stanley Robinson lays out here; we will therefore never colonize the stars and in the exceedingly unlikely event that we survive to see it, we’ll die when our sun expands to become a red giant; we might mine or colonize planets or moons in our solar system, but that won’t fundamentally change human life.

Chemical / Fission / Fusion and Antimatter rocket concepts are limited not because of relativistic effects but energy density and the capacity to handle waste heat[1]. The Helical engine concept is claimed to be limited to 0.99c taking advantage of relativistic effects instead of being limited by them[2]. All these engine concepts are theoretically possible to build. Building them is an engineering problem, not prohibited by any law of physics. Interstellar travel is hard not impossible, see a relevant episode of PBS spacetime[3]. There are over 50 stars that are closer than 20 light years[4]. The closest is only 4 light years away, at 10% light speed that's 40 years not hundreds. Not only that but as far as we can tell there probably is a planet in the stars habitable zone.

> There’s very likely other life in the universe, even intelligent life, but given that the cosmic speed limit will apply to them too, we’ll never meet with any of them physically, and given the distances involved synchronous communication is essentially impossible

That statements assumes too much of alien biology. There are organisms on earth that live hundreds of years. Tortoise live up to 150, whales up to 200, Greenland sharks between 300 and 500, there are jellyfish that are effectively immortal. For a Greenland shark a trip to Wolf 359 is between a third and a fifth of it's lifetime. There could be species out there that could live for hundreds or thousands of years as a matter of their biology.

[1] https://en.wikipedia.org/wiki/Interstellar_travel#Nuclear_fi...
[2] https://www.sciencealert.com/no-this-new-space-engine-isn-t-...
[3] https://www.youtube.com/watch?v=wdP_UDSsuro
[4] https://en.wikipedia.org/wiki/Proxima_Centauri#Habitability
a/b testing to the (local) max
Thanks for the critique. Here is how I would answer their question myself:

o1 is far more than just CoT mechanics. It relies on a specialized model or collection of models that offer new capabilities to make CoT work far better than it works with a stock LLM.

For instance, o1 can recognize and correct its own mistakes and it seems to know how to dig deeper when needed. That's not something that stock LLMs do very well.
Amazon tells workers to return to office five days a week
That's actually spelled McIntosh, which is different enough, I suppose.
Nice!

I haven't tried this yet, but I love that the functionality of Jupytext is also incorporated, so I guess you get to reproduce the whole end product and all dependencies just from a plain-text script that you can track in Git.
Replying since I can't edit it this far out:

> Acquisitions didn't use Waterfall that I ever saw

I mean, the term Waterfall. It definitely had the structure of Waterfall.
They came through those countries, not necessarily being citizens of those countries.
Here's a video titled "$1 vs $10,000,000 Job!" (https://www.youtube.com/watch?v=Wdjh81uH6FU). He then proceeds to look at a number of jobs, with a job that make basically no money ranging to an NFL player. It's clickbaity, there are a lot of easy jokes in the episode, but there's nothing fraudulent. He's not lying about anyone's salary, he pays people out in shows where they make money, and nobody is being scammed. All of his videos are like this. I'm not saying you have to like him, but fraud describes something very specific which he is not doing.

I'm sure there's some disgruntled employee complaining somewhere, but I have not seen any legitimate complaints about him. All those "Mr Beast is a fraud!?!" videos have no substance, and are just people using his name for views.
> in practice this feature seems almost useless to me

Maybe to you, assuming you don't have sleep apnea.

Far too many people have it and it goes undiagnosed. Until that person goes on to have a stroke, heart attack or sleeps at the wheel.

It's a silent killer and I suspect we have an epidemic.
It was leaked with a lot of attention being paid to the "no doesn't necessarily mean no" section in the context of abuse at the MrBeast org
Don't get me wrong, a better battery would be great. But the only time I ever run into issues with my apple watch dying is when I am traveling and my routine is messed up anyways.

Otherwise I am just in the habit of waking up, sticking it on the charger, getting ready for my day and putting it back on. Doesn't take long to get to a full charge.

I get access to all of the features and just loose it for 30 minutes to an hour.
For me the main issue with wxWidgets isn't that software made in it looks dated - that's fine, at least it's not mobile first on desktop, with huge margins and whatever those new Windows 10 date pickers are - but that the development experience feels like it's straight from the 90s.
Reminds me of an old Russian joke, whose punchline is "why think, I just have to shake harder!"
Once upon a time, ivory tower "programmers" met in a cafe or something and grandiosely produced a manifesto called Agile and unleashed merry hell for poor souls who just want to produce something that works. Instead they must listen to managers who haven't written so much as "hello world", tell them how it should be done. I don't care of the intentions, it has been coopted into corporate micromanagement and busy work for deadwood corporate lifers. Enough, the original authors need to get back in that cafe and explain where it went wrong.
That makes sense. So, how get kid outta playground?
I first heard the idea in a video where Thiel used the quote. I think it was a YC Dtartup School video on YouTube.

Here the quote for the principle hewed closer to the subject than ordinarily. Tolstoy’s “cheery white crosses” probably deserves its own principle too.
Wow Amazon must have metrics that show a big productivity increase in-office! I predict trouble for other tech giants that don't have these metric(s)!
South Park creators renovate a beloved restaurant, and find nostalgia is pricey
Yeah, Thoreau in particular didn't really "live off the land" when writing Walden; his mother came to do his laundry for him.
Right, but I assume the "breathing rate" system kicks on much less frequently and precisely than what is needed to be clinically accurate.
That’s exactly what happened. We write JSX which gets compiled down to assembly, excuse me, html5 or xhtml or whatever. Fine by me as long as we accept that writing it by hand is not what engineering time should be spent on in overwhelming majority of cases.

(I’d also like a word with yaml while we’re at it…)
I remembered as I enabled this great setting, that I am usually very quick to turn it OFF because it causes the configured sound to play when you hit backspace at a blank prompt, which I tend to do when I'm thinking of what to type, or clearing lines, I just hit backspace excessively for fun. Unfortunately the bell causes me to get penalized for that, so I will probably disable it again.
I charge when I’m in the shower each day and this works fine for me.
What do you mean by delegating upward?
Raiblocks was never hacked, an exchange was (though it could have been an inside job, and BitGrail was at the very least negligent). Very different, though yes, still damaging.

And this isn't about personal beliefs, market cap, market share, etc. The conversational point was that it's technically vastly superior to BTC, which it undeniably is. On market cap, adoption and hype, BTC wins hands down, for now, but there's no reason at all for that to always be the case.

People here love dunking on cryptocurrency for the slow times and the mining and the hacks (like this post) - yet none of that is a necessary characteristic of cryptocurrency.

Btw, Nano is very much alive. V27 is coming out soon making major improvements, regardless of like, your opinion man.
> I wonder how many years are left before Ozempic-like drugs make sleep apnea a rarity.

Obstructive sleep apnea is not caused by being obese or old, although those things don't help. In some people, losing enough weight may allow for sufficient airflow despite their airway restrictions.
https://pbs.twimg.com/media/F7H8wy4WAAAJRRV.jpg

it went down to 6-8 percent in 2016

it was not higher than 20 for a long time

you don't have to convince me that governments are doing dumb shit, but it's not because of debt. it makes sense to borrow when it's cheap. especially for a state. (because when it's cheap it means inflation is low anyway. and arguably when it's too cheap it's imperative for the state to stimulate the economy.)

a lot of things should be "illegal", but since voters don't care legislatures don't either. :/

the obvious problem is the ROI on that debt. (hence the usual opposition to financing rich folks' tax cuts with debt, or subsidizing projects that are not sustainable financially, giving money to wasteful municipalities, etc.)
Show HN: Oryx – TUI for sniffing network traffic using eBPF
Hardware development is almost exclusively Pragmatic Waterfall. It's pretty much a requirement. Lots of reasons. Too many to list here (it would probably not be useful).

As a software dev for hardware companies, most of my life, I splashed in a lot of waterfalls.
This avoid changing the definition of GET. Who knows how many middle boxes would mess with things if you did that because they “know” what GET means and so their thing is “safe”.

Until GET changes.

People aren’t using QUERY yet so that problem doesn’t exist.
I suppose this comment is inspired by the recent "Legends & Lattes", a fantasy novel winning various awards, starring a barista Orc...

https://www.amazon.com/Legends-Lattes-Novel-Fantasy-Stakes-e...

I haven't read it myself, but apparently it is big on TikTok. Perhaps for some HN readers this is the sort of thing they are looking for ;-)
The "Bus Test" Considered Harmful
Given that >80% of Americans have some form of metabolic dysfunction, it's not surprising that those drugs are having miraculous effects.