skysight-inc/HackerNews huggingface dataset:
Well aside from weight lifting I mostly use the stair machine because I feel that it best matches the activity that I do like to do sometimes (hiking).

I was defining zone 2 mainly by how it feels. Not too hard and where I can breathe fairly normally and easily have a conversation. But also by the heartrate being in the 65-75% range, so for age 36 I was keeping it around 125-130. My resting heart rate is 52 but not sure if that matters. It's always been that even when I was more than a decade of sedentary.

Another reason I was doing all zone 2 is because I thought that I had some sort of aerobic deficiency syndrome thing from being sedentary for so long. Basically my heart rate would shoot up into zone 3 with pretty minimal exercise, and I read that the only way to fix this was to do lots and lots of long zone 2 exercise for months.

I'm sure if I did more fun things it would be easier to be enthusiastic about it, but I am not even sure what active activity I would like. Sure I like hiking, but that's something I like to do on a trip somewhere exotic like a state or national park, not something I can easily do regularly locally.

My energy levels honestly feel somewhat more depleted when I am working out. Like I just want to take a nap after a workout and I feel like nodding off. Not like instantly, but maybe like an hour after or so.

I just haven't been able to understand or feel the connection people find with exercise. Like I said, I never felt any issue or lacking in my energy levels or mood, or sleep or focus when I was more or less completely sedentary, and I always watched what I ate so I was healthy in that regard (perfect scores on biometric blood tests), normal weight, etc.

So exercise just feels like a time waster, just an uncomfortable time sweating etc and overall possibly a little more tired and drained because of it.

My only motivation for keeping doing it is the prospect that it will help prevent some sort of future complications and health issues, and I guess that's good enough for me to convince myself to keep going.

Hating it is maybe too strong of a word, but I definitely don't look forward to it in any way and I just want to get it over with for the day so I can move onto something that I actually enjoy. It just feels like a chore. Something that we need to do to live a good life, so we do it.
So why is their software still being sold in the US?
This has very little to do with capitalism and has a lot more to do with politics and bribes and money. Ask yourself when do we finally realize that unsupervised elected officials does not work
Factorio Diminishing Beacons
Deadly nitrogen is being dumped into our atmosphere!
CBMC also powers Kani <3
Good to look at Keno and what the vega-lite team has done to "standardize" on a format and use that. (for graphs)

That's what we did. We really should consider open sourcing our stuff, it's just too ugly at the moment.
Fire Phone was largely outsourced I’ve been told. Was big regrets all the way to the top about that decision. Lesson learned.
Historians like to name things after weapons technology eras
I used it at one company, that company switched to Jira.

I miss RT, it was ugly but good.
It’s interesting how burial rituals change over time. Now, we’re talking about composting our bodies, which in some sense returns the remaining minerals back to where they came from in the earth.
I see this as a compliment to Firefox.
> Yes -- and companies or governments don't want to be _contacted_ by you.

For a company to make a sale, there needs to be a way for the client to contact them, a way to make a purchase. Having crap contact forms makes as much sense as having restaurant waiters spit clients in the face to greet them. With the world we're living in that might become the norm in a few years or months.
It's been two years since the UK's poop-engulfed beaches became a scandal
This other blog post has some interesting details about how Figma wrote a custom TypeScript DSL + compiler to solve security problems (permissions).

https://www.figma.com/blog/how-we-rolled-out-our-own-permiss...
Same here. After going through different formats (Zim, Markdown, org-mode) I settled on org-mode and haven't looked back. I think that other note-taking systems only exist because whoever wrote them hasn't tried org-mode.

I also use vdirsyncer with DavX to sync my phone's calendar and contacts to my notes directory, so that is backed up as well - all in the same syncing script.

#!/usr/bin/env bash
cp -a ~/.vdirsyncer/calendars/ ~/Notes/pim/
cp -a ~/.vdirsyncer/contacts/ ~/Notes/pim/
git add \*
git commit -am "$(hostname)"
git pull
git push
echo ''
git status
This is achieved by latching on to rustc, and then compiling to gotoc, which is then used with CBMC.

Removed due to my misunderstanding:

~~I don't think Kani counts as a "formal" verification tool, emphasis on "formal", but it is a verification tool for rust code and is powered by CBMC.~~
I want to note the lithium there is not from the Salton Sea itself, but from geothermal brines in the rock under the sea. The area is a place of active volcanism so the brines are quite hot and have dissolved many interesting minerals.
> I think etcd is basically a k8s only project now

I hate etcd with the best of them, but etcd is used in a lot more places than just kubernetes:

https://github.com/apache/apisix/blob/master/docs/en/latest/...

https://github.com/traefik/traefik#:~:text=Etcd,

https://github.com/zalando/patroni#patroni-a-template-for-po...

https://github.com/purpleidea/mgmt/tree/0.0.26/etcd (this one shows up on HN quite a bit)

https://github.com/sorintlab/stolon#features

It's actually one of the major reasons I wouldn't touch those projects
Like you, we use pre-signed S3 upload urls. From there we use Transloadit [0] to crop and sanitize and convert and generate thumbnails. Transloadit is basically ImageMagick-as-a-Service. Running ImageMagick yourself on a huge variety of untrusted user input would be terrifying.

[0] https://transloadit.com/
For the first one: It's not an issue in JavaScript because there isn't some compiler telling me yeah that's fine, I have to confirm myself.

For the second one: I know it is shadowing, what I mean is I find commonly that I'd like to have it in Typescript as well. In JavaScript is not necessary since I can just use the same variable.

For the third one: If I have some string variable that needs to be created from either one set of instructions or another, in Rust I do exactly that:

let foo = if x { ... } else { ... }

In ts your options are making it mutable undefined and mutate it inside the if else, using a very weird unreadable ternary, using an IIFE that returns into the constant, or creating extra functions to move the logic out. None of these are even close in readability, locality, or soundness to the rust example.

I find the _combination_ of those things that make it harder to write ts than js.
I think, if the key derivation becomes compromised, we have bigger problems to worry about.
> ... nor does it require us to assume that people who benefit from this behavior to want it to continue.

that really is stretching belief.. addiction is literally implied by money flows.. the realms of the conscious and rational are easily left behind at this stage, by millions of people, and through generations.. The tides of humanity versus a small rationalization...

> I'm fully in favor of taxing carbon at a rate which reflects its actual externalized costs, as well as other emissions. I've argued

yes, I believe that you could be different.. most people, most of the time, are not different

> Piketty argued that the share of growth that goes to capital vs labor will determine a great deal about how inequality changes over time

agree Piketty is deep, and worth more attention.. so much detail however! one lifetime is not enough.. glad to see second sources on that as a whole

> artificial price increases are just increased revenues to asset holders

as if any price is not artificial !! but OK, some theory can be useful.. are markets rational, really?

> Isn't that a distraction? ... wealth tracks back to some collection of natural persons.

This emphasis might be satisfying psychologically, but no, really no. Game theory or management theory or even warfare in uniform, all predict that organizational behavior of humans is not just a bunch of individuals. This statement is a tip of an iceburg to economic thinking that sees companies and governments and other groups as having a "life of their own" and significantly and fundamentally changing the trajectory of outcomes.

> people who have pensions

see above. not at all the whole story of finance flows
Flights are expensive enough. The world isn’t going to end and neither is mankind. Relax, you’ll be fine.
I feel like at some point, UUVs will be able to disable one part of the nuclear triad. A submarine with nuclear warheads is such a big ticket item that no country can reasonably have a lot of them. The US has 14, Russia 11. The entire world fleet is probably in the 30s.

A UUV that can find one and follow it indefinitely could be able to neutralize it and would be, presumably, much cheaper and easier to build. How hard could it be to eventually find and track every ballistic missile submarine with them?

I’m sure there are things I’m not understanding (how communications work, whether such a sub would be able to launch ICBMs even after being torpedoed, etc.) but it seems like this should have major strategic ramifications eventually.
They're still just an american bigcorp with fascist tendencies that's going to fuck you. At least Google lets me run my own software on my own hardware without getting permission from anyone.
I love the juxtaposition in one of the first pictures of this super advanced contraption being rolled into place using plywood and logs.

It totally looks like it could be a still from the a movie where medieval humans discover some sort of crazy alien artifact and drag it back home to put in the middle of their town as a trophy.
Webpack is legacy.
I think it depends on how much data is stored per flight. If each flight is one record, sure. If each flight is tens of thousands of coordinates and velocities, that's a lot more. Analyzing the data from 40 million data points is very different than analyzing the data from half a trillion data points. Whether that's "big data" depends on your perspective, though, but I'm not sure I'd store quite so many records in a Postgres database.
Arm's Ethos MicroNPU: Bringing Tiny Transformers to the IoT World
a few "hiring for dummies" is an acceptable trade-off to avoid this, IMO.

a previous org sent us to a local community college that ran a 3-weekend "HR 101 for new managers" that was one of the best investments / training I've gotten.
http://archive.today/HWex0
They like to name the eras after the relics they find. And since wood rots, the name "stone age" may be a great example of survivorship bias.
it’s pretty impressive that PyTorch is only 7% slower than this given it can be used so generally
Thanks, that is helpful.
You know what annoyed me as a C/C++ programmer? People using Microsoft style braces... But OK, if you are using Microsoft-Java, then Microsoft rules apply.

AFAIK there is no rule in K&R requiring no braces for single-line blocks. In that situation, braces are optional.

The K&R style was hugely influential on Java and many other languages, it has nothing to do with green-screen terminals (I used those, as well as white and amber), it is just a style. I also moved on from vi, and use IntelliJ and Sublime most of the time.

The only difference between K&R braces and Java braces is that they combine lines on if-else. The Java guys did it because it enabled them to fit more code on to overhead slides. Overhead slide projectors predate green-screen terminals BTW...
The schools' poor performance relative to private schools is a strong signal of lack of accountability.

Another signal is the firing of teachers for incompetence is practically non-existent.

A third signal is anytime someone from the school talks about solving issues, they always always always put it down to lack of funding, and the credulous journalists repeat that unquestioningly and the schools get their tax increase.

A fourth signal is repeatedly lowering the requirements for a diploma.

A fifth signal is getting rid of "high stakes testing".

A sixth is getting rid of the gifted tracks.
Good news then, the EU has passed the same regulation - https://www.theverge.com/23806690/eu-ev-fast-charger-60km-la...
Isn’t it a myth that vultures circle kills
That may have been true in the past but the major nuclear arsenals are much smaller, and the yields much lower, with the intent of incapacitating an enemy, not destroying the entire world.
I'd expect LLM parsers to enforce a monoculture in that small variations from the norm will mess it up and it will downrate/discard lots of edge cases
Exactly! I am really curious, how did you find this? Was it memory, or search?
Cheap Russian drones overwhelm US-made Abrams tanks, taken out of action
Did you forget to never trust the client? Please tell me you haven't built any products using this philosophy.
I've never successfully cleaned the dust off my car windows with a hose. It always requires a brush or sponge.
Yeah, looks like it. This is better!
It would be prudent for the Fed and various market/banking authorities to start poking this as soon as possible.

Either via commercial-to-residential conversion grants, or providing targeted restructuring loans to owners, and owners/managers should start offering the vacant space for free for non-commercial stuff.

Vacancy is bad for cities and bad for inflation.

Sure, maybe it's politically unfeasible, but still, turning up vacancy taxes would motivate commercial landlords to finally stop this wile-e-coyote running-in-the-air.
k8s is not allowed to use in the most projects utilizing the internal stack, at least yet. In fact, it hasn't reached to the feature parity level necessary to replace any big projects running on Borg.
I care more about protecting my servers than my users. If one user attacks another that's not really my problem, blame can easily be shifted to the browser. But if someone hacks my servers and leaks everyone's data, that's my problem.

So not encoding is probably the safer way to go for the business.
A Literary Cry for Help from Female Insings
I hate to dash your hopes of never seeing LLMs write code again but Llama3 70B is not terrible as a copilot and it’s small enough to run on comparatively cheap hardware or even consumer hardware when quantized plus it’s publicly available so from now on there will always be some form of copilot service or tool that will be in use, that ship has sailed. The good news is that it doesn’t look like we’ve maxed out the capabilities of GPTs yet so as more are trained and compute becomes cheaper and as we produce and accumulate more data they should keep getting better for a while at least.
TIL thanks :) Interestingly, "for of" iteration works on the whole character, so must be some magic going on under the hood.
I think you are describing spin-in's. Made famous by Cisco. Didn't catch on much.
Verified Rust for low-level systems code
The World Doesn't Change in 7 Months, but You Can
Driving around yesterday, I noticed that most houses have a 2 car garage. The ones with a 1 car garage always have one or two cars parked in the driveway. I see one car garage homes obviously renovated to make them two car, or a carport added on for the extra car.

This was a lower middle class area.
Lol okay man. Maybe if you're running FreeBSD 4.2 or HP-UX or some BSD derivative from the 90s. All unix systems from about 2000 on will honor unix domain socket permissions.
Are analogies always constrained to be so literal? Do we complain about how many legs the 'wasp' has when talking about wasps and orchids?
Countries consider pact to reduce plastic production by 40% in 15 years
QPST Tool – Qualcomm Product Support Tools
I was part of designing a user file upload, it was a B2B product,limited number of users and in principle trusted users but similar to other comments we did something like:

- some file type and size checks in web app

- pre-signed URL

- upload bucket

- lambdas for processing and sanity checks

- processed bucket
America's Secret MiGs
I’ve personally seen turkey vultures circle carcasses on several occasions.
I thought that is likely what you meant, I just want to make it clear.

Partly why A350 didn't go quite as big as 777x.
That's not the most helpful of explanations =/
Thanks for sharing.

Moves take a bit long to run, I'm used to Blitz style and this breaks my flow.

What level is supposed to be the AI? They moved a rook weirdly and just gave me their Queen on move 4...

You mention "free" in the title, but you give me a 24 hour countdown to do my 6th move. I don't consider this free if I can't even finish 1 game.
Fidelity: Pension Funds Exploring Bitcoin Investments on ETF Approval
Indeed, as the authors of the article write:

> While Grimm believed that many folktales were likely to be thousands of years old, only a tiny minority can be traced back to before the emergence of the literary fairy tale in the sixteenth and seventeenth centuries.

The "reconstructions" of the authors are based on fantasy. They try to sidestep the massive problem of possible literary origins by manufacturing data with their magical phylogenetic device. It's garbage in, garbage out.
If you build a contact form, please at least make it respond automatically with a "we've received your message" email. That at least gives me some confidence that the back end received it and it hopefully went somewhere useful. Without the auto-response I always have doubts if it worked or not.
The "Featured Article" at the top means it's a sponsored post, right?
* The Idea Factory (https://en.wikipedia.org/wiki/The_Idea_Factory) includes info on Kelly (https://en.wikipedia.org/wiki/Kelly_criterion) as well as Shannon.

* A Mind at Play (https://en.wikipedia.org/wiki/A_Mind_at_Play) is a bio of Shannon. I think a much better bio could be written, but this is all we have.

* "Information Theory" by Cover and Thomas is a mathematical introduction to information theory. This is a technical book, and is very different than the books above.

If you haven't yet done so, read Shannon's paper as linked above
We use Cloudflare Images and Cloudflare Stream (Video) to process images and video that are uploaded to our site.

Both have worked well for us so far but I don't know about your scale and impact on pricing (we're small scale so far).

Cloudflare Images lets you auto resize images to generate thumbnails, etc. Same with video, where they will auto-encode the video based on who's watching it where. So for us it's just a matter of uploading it, getting an identifier, and storing that identifier.
Stone tools were not really weapons. Some could have been used that way but most of the tools we’ve found were about obtaining and preparing food and clothing. And maybe about shaping wood.
It was big on YTMND back in the day
Ask HN: Caddy modules, do you use them and how?
They seem pretty neat, but at the same time I haven't had a use case for them

Do you use them?
More details..

https://domaininvesting.com/openai-secures-chatgpt-com/
> That requires that I use my brain

There, you fell into a trap of your own making.
Some of that $120m undoubtedly went to pay musicians, chefs, cooks, florists, security guards, waitstaff, custodians, etc, etc, etc. If that wedding didn’t happen, those people probably would have missed out on their biggest pay day of the year.

The same reasoning applies if the government spends it or if a billionaire spends it. It's all the same.

A billionaire who got their wealth from renting apartments is like a little mini government. The renter (taxpayer) pays to live in the place in a exchange for certain goods and services. The billionaire (government) who collects rent (taxes) can spend it as they see fit. The effects are the same.

It is inconsistent to think that one type of spender is worse than the other. Government can raise the rent (taxes) to living in a society in the same way the billionaire property owner can. Some of us advocate that the rent paid to live in the country should up dramatically for certain types of people of means.
If you don't mind clarifying, currently GOS uses ASYMMETRIC MTE for the low overhead and to close the soft time constraint in ASYNC MODE. I was having a read though https://googleprojectzero.blogspot.com/2023/08/mte-as-implem...
Where I had come accross possible MTE bypasses in ASYNC mode and I quote:
'Since SIGSEGV is a catchable signal, any signal handlers that can handle SIGSEGV become a critical attack surface for async MTE bypasses'. Moreover, "The concept is simple - if we can corrupt any state that would result in the signal handler concluding that a SIGSEGV coming from a tag-check failure is handled/safe, then we can effectively disable MTE for the process", hence having MTE as ineffective.

Paradoxically, I don't believe this issue is faced regarding SYNC MODE. As you obviously know, 'in asymmetric mode, read memory accesses are processed as SYNC, while write memory accesses are processed as ASYNC'.

does this mean that the signal handlers in write memory are exploitable?

If this be true, does GOS offer a mitigation for this, or can it be possible to simply allow all users to have the option to pick SYNC MTE to bypass this attack surface?

Furthermore, MTE is not enabled for the kernel, would it be possible to have it enabled by choice as well?

Finally, regarding the OS processes to which GOS recently enabled MTE for as an option for its users, does it also include the cellular firmware, IOMMU/SMMU and the software stack that communicates between the isolated chip and the OS? I address this point because, GAL Beniamini stated that:
" That said, up until now we’ve only considered the high-level attack surface exposed to the firmware. In effect, we were thinking of the Wi-Fi SoC and the application processor as two distinct entities which are completely isolated from one another. In reality, we know that nothing can be further from the truth. Not only are the Wi-Fi SoC and the host physically proximate to one another, they also share a physical communication interface". Nonetheless he further states:
"For example, by going over the IOMMU bindings in the Linux Kernel, we can see that apparently both Qualcomm and Samsung have their own proprietary implementations of an SMMU (!), with it’s own unique device-tree bindings. However, suspiciously, it seems that the device tree entries for the Broadcom Wi-Fi chip are missing these IOMMU bindings". Despite that the research is from a couple years, it remains viable evidence that IOMMU although provides adequate protection, it remains an insufficient mechanism on its own and requires further hardening on the software stack. Does GOS address this profound attack vector?

I hope to get your perspective on the matter.

Thank you in advance.
Cats generally don’t like hunting rats
https://news.ycombinator.com/item?id=38765627
Undefined behavior around void pointers springs to mind.
Articles like this always make me wonder, if there was another intelligent species in Deep Time, if they never engaged in wide-spread reshaping of the planet (huge population, large-scale mining and construction, etc), how would we be able to tell they existed?
Many companies, like uber, use their other more profitable business units to subsidize other business units. It doesn’t always make sense to spin out a company / product
Rabbit R1 reverse engineered to run on Android
I also really like obsidian. I've got sync setup via Github but they also have a paid sync solution too.
How are Thatcher's kleptocrats supposed to make a profit if they don't pump shit into the sea?