skysight-inc/HackerNews huggingface dataset:
> UB and unsoundness are different things. "If it compiles, then it works (properly)" is true for sound code only.

In programming language theory soundness is a property of a type system for which the safety theorem hold. In other words, if some program is well-typed according to such type systems then its execution following the rules of the language abstract machine reduces to some terminal value. "Undefined behaviour" is the opposite situation, where some program reaches a non-terminal state where no abstract machine rules applies to make progress, meaning the abstract machine does not describe or define the behaviour of that program and state pair.

In Rust's case the claim is that this holds only as long as you use its safe subset, in other words "rust's type system is sound for `unsafe`-less programs". This can then be extended to some particular `unsafe` code, making the claim "rust's type system is sound for `unsafe`-less programs plus this particular function/code", which is what is generally meant with "this unsafe code is sound".

Most (all?) type systems don't try to define what it means for a program to "work (properly)", that is generally left to the programmer. For those that do, then yes, unsoundness would mean that an accepted program does not work properly. I find it hard to imagine such a programming languages, though surely I will expect this to be parameterized over some specification that the type system assumes to be the final desired property. In any case this is far from what Rust promises.
How Intel Missed the iPhone: The XScale Era
The joy of living in Australia: $38.00 + $710.23 shipping
Think about it this way: Will the user "lose their place" on your page if they click a link and go back? Will the user lose any filtering or search options? If the answer is yes to either, open in a new tab. I personally make this determination all the time, especially on social media after I've scrolled a lot and don't want my "progress" to be lost.
In people with diabetes.
Not aisles upon aisles but yeah for instance in Apotek, a big pharmacy chain in Sweden, there is usually a whole wall of them with little drawers to pick from. As sibling comment mentioned there isn’t every combination available so presumably you have to special order some if you have some weird combination but for myself who never had astigmatism at all it was perfectly fine.
Does anyone have any useful rules-of-thumb or heuristics for balancing this trade off of upfront cost v.s. power cost? e.g. how much does an N100 cost to run for a year v.s. say a i5-2400s (the CPU for the first row on the linked site)?
You can use Emojis as Favicons
Causal ML in healthcare
BinaryFormatter Removed from .NET 9
Threads deepens its ties to the open social web, a.k.a. the 'Fediverse'
TFA says finding product market fit is when 40%+ of users would be “very disappointed” if your product disappeared.

Wait! That means, if the only person using your product is your mom, you have PMF.

Based on what you said and the TFA, this is Superhuman’s PMF approach (i.e., perversely satisfy this metric by filtering users).

I don’t understand where this “engine” is, but perhaps that’s it.
Firefox rolls out Total Cookie Protection by default to more users (2022)
Unity's (at least when I started using it with 14.04) UX, screen space usage and performance was so good. Global or locally integrated menu bar and making it searchable were great decisions. I'd much rather canonical had been successful with desktop & mobile consumer OS and upstart rather than with snappy
Agreed, it's a really excellent application, and adding this kind of advanced functionality is so valuable. That's why it's been my daily driver since it came out. Tony keeps pushing the envelope for his users.
Mine as after DigitalOcean went public, I was long gone from it, they mostly wanted to talk about where cloud is going (would managed hosting/ftp hosts go away, what do you think will happen to the front end, blah bah blah) - They paid me hourly well over an order of magnitude more than what you were paid, heh. :)
My “high-security” email password for a while was a couple of words, but typed one key to the right.

Even I didn’t know what my password was.

While travelling, Had to lookup an image of a qwerty keyboard to figure out what it was.
> limiting people to exactly one offsite link per account which may not be to onlyfans

I think this has more to do with Instagram wanting people to stay on Instagram than discouraging sex workers. I'm guessing there's a long list of things the offsite link isn't allowed to be aside from porn. Hate groups and gambling sites come to mind.
Everybody forgets the noatime thing at least once in their career
I tried with GPT-4o and it also responded in rot13, the response was on topic, but quite non-sensical, like GPT-2 or lower level.

However I can confirm that Claude was able to identify that it's rot13 and also respond properly.
Pure anarchy.
You can do this on minified code with beautifiers like js-beautify, for example. It's not clear why we need to make this an LLM task when we have existing simple scripts to do it?
Does it? I think Blindsight (the book) had a good commentary on reason being a thing we think is a conscious process but doesn't have to be.

I think most people talking past each other are really discussing whether the GPT is conscious, has a mental model of self, that kind of thing, as long as your definition of reasoning doesn't include consciousness it clearly does it (though not well.)
For non-diabetics this is fairly easy to prevent (at least it is for me). You just eat a moderate amount of food before taking it (referring to metformin).
I doubt they’re doing it, but one way to handle this with WORM is to encrypt each user’s data with a key unique to the user. When they request you forget, delete the key.
Nope, the package specifically states 'fresh, never frozen'

I was as amazed as you are to find this in a discounter grocery store.
> I want us to fund the creation of a next-generation KDE OS

I think it's a good idea, although I don't know if this is what Nate is thinking of:

Almost every distro which ships KDE right now ships it with out of the box defaults, which are (frankly) bland because they aim to be common-denominator and unopinionated. I think that even includes neon. KDE as a platform advocates choice & customizability, so that's a legitimate choice.

Additionally, some of the distros make poor decisions and/or don't have many resources to fix their own bugs. I know the KDE team aren't super thrilled by Kubuntu, for example.

There's definitely room for a distro which takes KDE as a base and then tunes the hell out of it. Imagine trying to pull off what Elementary did, except using KDE as a base. There's a large userbase out there who want "just works" and "looks nice", which very few distros are providing well right now.
> it would suit small teams who may be lean, single devs who are starting out, and those who would like to use native code with few if any dependencies

I think that's already covered by Kotlin Multiplatform, Flutter, React Native and others. It's extremely easy to get started and they all have a vibrant and thriving ecosystem.

I'm not blind to your use of "native" here, but again that's a descriptor typical for the iOS/macOS dev bubble to imply "build with Apple tooling" vs. "build with a 3rdparty/cross-platform framework". It was mentioned in another reply - the years when that was noticeable in any meaningful way are long gone.
The vs code support for Kotlin is pretty bare-bones compared to the IDE. And I'm guessing positron reuses the extension for that; so not that interesting to me.

Part of the appeal of Kotlin is Intellij offering an enormous amount of smart features that other IDEs simply don't have at all for any language.
I'm currently looking for a better solution. Some people have suggested STORI, but I need to find something that better suits my needs. I know 2.0 has launched, and I did try it after their recommendations.

I mentioned STORI before, and it's not a coincidence; I've used STORI's service multiple times and tried to support them. However, I'm now searching for other solutions.

I'm not sure why this is becoming a problem. They can block me, but I won't post about the same product again.
And mastodon:

https://mas.to/@GarethDennis/113043981557507889
I wouldn’t call Juicero engineering driven. More over-engineering driven. Similar to software developers creating hyper scalable microservice architectures for even the most trivial systems. True engineering is to understand the requirements and creating an efficient solution for those, not just throwing every possible technology at the project.
2.0 still is not what I'm looking for. Thx for suggestion
I suspect you work at OpenAI and you're afraid that you will run out of training data.
I watched Jeff bezos’s tour of blue origin facility with everyday astronaut.

He gave the reasoning for why New Glen has more than three legs (I think 6)

He said that the more legs you have, the smaller each leg has to reach out to give the same probability of tipping over. So there’s a formula to pick the best number of legs given their weight etc.

Interestingly he said they picked their number not just for that but also because it went well with the engine distribution.
It was replaced by Entity Framework.
Wow, the speakers point was so totally missed it was comical. That was just actually insulting and rude to the speaker in my opinion.
He's also a mid-level minister, so it's pretty easy to can him.

Most Ministers are just political appointees anyhow - the actual work is done by the Civil Service.
Well, you presented your use case as an "on the other hand" counter argument for me saying what sort of fonts generally work better. Which it isn't, it is just a specific use case where monospaced fonts happen to be used and it is difficult to change them.

That doesn't change the fact that in environments where there is control over all that monospaced fonts rarely are the best choice for large bodies of text.
...and it's back

https://puri.sm/
Been using a Beelink SER6 Mini PC, AMD Ryzen 5 6600H, 16GB DDR and 500GB NVME for the last year or so with PopOS as my daily driver and loving it. With a portable monitor makes remote work great for $351 and $100 for the monitor!
I only modify my system with Ansible, and when I am given a company laptop, I can have all my config, tools, etc. installed and configured right away with zero issues. Then most of the times, the dev env itself is based on docker and it's also done in a little time. So you could use something like ansible instead of docs
It's not an article, it's an op-ed. Fact checking is notably relaxed in op-eds. This isn't an admission of anything, this is just another op-ed writer throwing verbal molotov cocktails.
Web components are bare metal standard stuff that works on all devices. You could use Lit as a small shim for reactive rendering. That way, you can create your component library with nearly zero dependencies and yet use it in desktop-equivalent apps (via Electron or distribute as a web app).
I use it literally everyday, not only to see the structure but also modify pdf's on the fly when I need to tests edge cases.

Stuff I do with it: Modify content streams, extract images/content, just investigate general structure of the pdf documents, remove pages, repair documents,... it's literally a swiss army knife when working with pdf's
Aerial Humanoid Robotics
does anyone still remember the day HN was all Erlang articles?
It's actually worse than that here in Austin. The was only 1 store that would sell me a individual capacitor when mine failed. That one failed about 3 days later. I did some research online and apparently there was just a massive production run of capacitors that were imported to the US and are known to be bad. Supply houses were just looking to offload them.

Now I could take it back for a warranty replacement, which would give me the same defective unit.

As a result of this, I don't even recommend buying components locally any more. The capacitor from amazon cost about $12 and is still working years later.
>If you think that unskilled workers should be paid more then how much exactly? Please be specific.

This is one of those pushbacks you see on social media that is used like a gotcha but it’s fairly useless because you and I know it can’t be encapsulated into a forum-sized answer any more than the question “what should a company charge for it’s product, and be specific.” The answer is it depends.

At the risk of sounding as glib as your question, I’ll refer back to earlier comments: an amount that allows employers to “afford life”. That means these two things should not be happening at the same time: 1) a relatively high percentage of the employees rely on the taxpayer to “afford life” in the form of welfare benefits and 2) the company is turning a relatively high profit. Now I know “relatively” needs to be defined, but that’s what crafted policy does, and a forum like HN probably isn’t the place to get into those kinds of weeds. It can probably be pegged to CPI in some way, or limiting executive pay as a multiple of median employee pay when they do rely on taxpayers, as a starting point for the discussion.

It’s odd to me that you want to give a business a free pass for incompetence for lacking a viable plan, and then holding the employees to a high level of responsibility/accountability to “motivate” themselves to “just do better”. What you’re advocating is a kind of semi-permanent underclass since your understanding ignores all kinds of social and psychological barriers that prevent some people from getting “actual job skills.”
Came to suggest the same thing.

I’d love to be able to filter by CPU and generation.

Maybe using an LLM could help with the parsing?
That was painful to watch.
Who was the angry guy who was shouting ?
the condition is a constant so it can be safely removed
Yes: it takes an extraordinary amount of cultural back-pressure to counter out the tendency to protect the organizational hierarchy. This can be slightly better in the public sector when laws require disclosure but it's usually still too easy to obscure matters or, especially, rely on complex organizational structures and outsourcing to diffuse responsibility to the point that it’s hard to hold any one person accountable.
Sorry this just false. Battery deployment for electricity grid storage is progressing with unprecedented and accelerating speed. We will solve this.

It just requires some money. If you research it, it is surprisingly little in relation to global annual GDP (at least less than I was expecting).
Does it really? The layouts on Android seem very iOS-y unless you apply "platform customisation" but that seems to defeat the purpose of this framework. I think it's a nice toy experiment to cross-compile things but not really transformative enough to be a viable option. Also becoming dependant on a for-profit company to build your app on top of the platform, I think there are others who have tried this as well.
It’s not, and it’s not a relative judgment. Violent crime was rare in my dad’s village in Bangladesh, where people did starve. 20% of kids died before age 5 because of the lack of vaccines. Violent crime should be virtually non-existent in America. The fact we have it at a much greater rate than other developed countries is a flaw in our people and culture, not our economy.
I tend to assume that IKEA furniture shouldn't be actually taken apart once put together, and so far that's worked out fine for us. There are some pieces that are obviously repeatable (table legs screwed into metal mounting brackets) but with a lot of the steps you can feel as you're doing it the first time that it's not going to work well if you have to undo it.
You didn’t have to go attack “developers these days” tbh.

There’s always someone who has a worse situation than you. It doesn’t mean yours gets “better”. Burn out is a valid thing at many job stress levels.
If you're forking a software to introduce change… it is factually newer.
yet some of these companies use your personal data to train ai, which you can't opt of.
Buy an MDM, spend a couple of days setting it up and you’re off to the races.

Every place I’ve worked at where I had some control over workforce device management, we had devices shipping from the store directly to the end user, which would get automatically set up once the user logged in with their gsuite creds.
IMF Paper on Programmability in Payment and Settlement
Author here. This paper presents concepts well-known to the HN community to policymakers. I'm curious about your opinions!
Lol yeah of all the examples to choose

Why are the pavements at crossings so bumpy?! It's political correctness gone mad!
>> This control system is operated by a cheap POE powered Android tablet on the wall of the living room.

>> actively monitor temperature and adjust vent opening angles and fan speed to achieve desired temperatures across multiple zones.

Who actually wants this junk? Air conditioning is a simple series of bang-bang controllers. A handful of relays turn things on and off as needed. There is no need for "vent opening angles". Vents are open or closed, pumps on or off. The thermal mass of the structure keeps everything within a narrow band as systems cycle. And then the oxymoron buzzwords like "actively monitor". No. Unless it has a little arm to spin a wet bulb, it passively reads the temperatures and sends and over/under signals as needed, something that for decades was done with a blob of mercury on a spring. The moment this system even hiccupped, I would gut it and replace with basic 4-wire thermostats in each zone.
Haha, name made me chuckle.
Thanks for that tidbit!
The only point here is that, throughout the course of this thread - you've been consistently very sloppy both with basic geographic and historical facts, and in your core logic regarding this completely untenable theory about alleged Soviet influence that you've been holding onto.

And when people do fact-check you, you say they're making "tedious semantic arguments", or being disrespectful.

There's nothing disrespectful in their doing so, of course. They're just setting the record straight -- again, chiefly in regard to this nutty theory you've been promoting. If anything, they're doing you a favor.

Though I do agree that this discussion has gotten quite tedious.
Some teams are using https://chezmoi.io to set up and maintain their developer's machines. It runs on Linux, macOS, and Windows.

https://install.doctor/ is a higher level option which uses chezmoi.
"pretty motivated"? Did you mean biased?
The fact that you saw that as an attack says more about you than it does about me.
Could you add Geekbench scores? I‘d love that :)
Fair, but I still don’t understand why someone would buy from a car from a company, while knowing they lie about the car capabilities and safety to their customers and shareholders.
Do consumers hate on-line ads?
Bloaty seems to be what I was looking for. It's limited, requires symbols for some options and doesn't have GUI but is a start. Probably someone already made GUI for it and I just need to search.

Thank you both.

I noticed that https://www.jackyoustra.com/binary appears to fail with 'Reference Error: Can't find variable: SharedArrayBuffer' on Safari when you give it a binary.

On Firefox, it does not display the size of sections unless you hover the cursor. Not sure if it's intended - just noting here.
I've had pretty good results dumping entire files in to Sonnet3.5.

For example, "Here's my app.js file, please add an endpoint for one user to block another. Feel free to suggest schema changes. Please show me the full app.js with these changes implemented"

The model seems to be great at figuring out frameworks and databases just by seeing the contents of a full app.js file.

I do find this type of prompt works much better with Sonnet3.5 than GPT4o.
So how does astro's Starlight compare to it as of Sep 2024? I've invested a bit time to configure Starlight for a new proj but now I'm a bit tempted to switch over

Would love feedbacks from anyone who have been with both Starlight and Docusaurus; thanks!

e.g. are there anything great about Starlight that I should stick to it? SEO-wise, etc.
OK, but an op-ed published by the Washington Post is still at least somewhat at their editorial discretion. For them to accept an op-ed that said such things is still a step.
The 'Web 2.0 is a bubble for 3 reasons' article is interesting.
This is awesome. I used to build a lot of stuff with various single-board computers (Raspberry Pis, etc) but realized I could get way more performance and expandability with these mini PCs if the form factor didn't require it.

One other thing I'd be interested in: not just mini PCs but used office workstations. I realized that many offices were selling old workstations that were often just a few years old with things like dual Xeon chips and 64GB of RAM or more with support for a few hundred GB for only a few hundred $. Things like 2ish generation old HP Z400/Z600/Z800 series. They make for great home lab virtualization machines and can often support 2+ GPUs and a boatload of additional peripherals. I'd love to see something like this that lets you find those as well
A lot of people disregard the creative aspect of programming, even if you're feeling great, some days creativity comes, some days it doesn't.

In the company I work for, which is horribly ran, a lot of the projects I work on have a bus factor of 1 - which is me. So, me taking a sick day, or even vacation can throw off one of the many arbitrary or poorly planned deadlines.

I haven't found a good answer to this, but I find it helps me to have a good routine such that no matter how dead tired or sick I am, I can engage the routine and get _something_ done.
That wasn't the nature of the pushback.

He did a presentation on making a fs in rust, the response from this dev was "we won't be converting to your religion. We are going to continue modifying c code and your dumb rust code will always be a second class citizen."

Literally just hostility for hostility sake. He wasn't proposing to rewrite everything in rust. He wasn't proposing that everyone learns rust. He was just giving a freaking presentation on making a rust fs that integrates with the kernel and was immediately trashed for spreading religion or whatever.

Non-technical nonsense is charitable.
Sorry, but I don't have and won't install brew. It is just too undesciplined.

Otherwise, looks like a good tool I could use.
Tangentially, it's interesting how exposure to different social media streams can substantially alter your gut feeling on topics. I am, and have always been, pro GMO. To my mind, drought tolerant wheat seems like an unequivocally good thing to have.

However, I have been consuming more video content from the "organic food" and "whole food" movements so that I can get better at cooking vegetables. The idea of introducing a new GMO wheat sparks anxiety in me. Not for health reasons, but because those movements involve a strong push against monocropping. What do we lose by adding an even more successful monocrop into the mix? It may be more profitable to improve monocropping successfully but is that the best thing for the strength of our supply chains, the use of our land, or the ecosystems our land supports?

I think the answer is that we're not accepting more risk with drought tolerant wheat than we are without. But it is funny how radically social media content on another topic (cooking and eating vegetables) can change your thoughts on something only marginally related.
Only in the web environment. In fact the condition itself is true only when it runs in a web browser and not in a web worker.