skysight-inc/HackerNews huggingface dataset:
This seems like a case of lots of small incremental changes being slower, more expensive, and ultimately worse than one big change that addresses the problem.

The office shown is extremely large and already big enough for two people, as was initially tried. The only real problem is the noise.

Instead of having a bunch of work done trying to change the nature of the closet, it seems like the best solution would be to have the contractor construct an entirely new wall dividing the office room in two. Rather than being in a small closet, they now have a large room, with a big window and door, etc. A real wall blocks the noise they're concerned about.
Then you have n free and conscious agents! And yes, if their simulated environments were identical, then the copies would all make identical decisions (all the copies would still have the same conscious experiences of free will that you and I have).

Whilst this feels unsatisfactory, it is the only way I can see of talking about agency without invoking decision-making processes that disobey the laws of physics, or rely on randomness. And unless a supernatural version of free will appeals, I think this is the best kind of free will available: governed by rules, but nevertheless fundamentally unpredictable. The only other option would be to rely on complete randomness as a basis for decisions, which seems worse.
If you like JSX, good for you. But tbh it's neither necessary nor the best solution...
The right figure of merit should be "lookups protected by DoH/DNSSEC" (stipulating that DoH and DNSSEC have different definitions of "protected" and just assuming arguendo they're the same). I don't think it'd even be close; I would assume DoH exceeds DNSSEC by several orders of magnitude.

Note that this isn't lookups that happen to run through a resolver with DNSSEC enabled; to count, you'd be talking about such a lookup to a zone that had DNSSEC signatures. You can see the advantage DoH has here, since it works with all zones.
This is the 10x I was looking for. Great post by the way!
Taking a useful concept and stretching it to an extreme in order to generate a counterintuitive-but-plausible soundbite is not the same thing as wisdom.

Other examples that come to mind are "a complete rewrite is always a mistake" (no, it just has different risks/rewards), "if you are reading this part of the docs, you are trying to be too clever" (your API is too much for my puny brain is it?) and "all functions are APIs" (no, my two-line string quoting func is not an API, actually).
Just trying to move to or be in another country and have the App store actually work properly for local apps (and the ones you want to keep from your original country) is a complete nightmare anyway.

It amazes me that for such a progressive and forward thinking company as Apple, that the very thought that their customers might actually move countries with their device and account seems to have been relegated to 'edge case'.
I've tried it only once (one full round), and I always had a feeling, that the ropes were stopping/slowing down the front pins (directly hit), so they hit less of the pins behind them (the ones not hit by the ball directly). With a classic machine and the largest ball, slightly off center, but straight, the ball would take out one half, and the front pin or two would take down the other half of the pins... but not with the ropes attached.

Maybe it was subjective, or just a different alley, but it felt worse for me.
Isn’t that what OP is saying? That it shouldn’t be app based and that the new ISO would resolve that by having the car communicate with the charging station?
/edit I may have misread that

/edit2 the proposal uses certificate exchange between the car and the charging station. No app.
those do not apply to the laptop hardware

They apply to the person's data.
ImGui is engine/GPU agnostic

Themeing isn't a just a retained mode thing, you can do wonders with immediate UIs, even though (dear)ImGui doesn't provide much, you can still do wonders: https://github.com/ocornut/imgui/issues/707#issuecomment-362...

The gaming cheating community is quite creative as well: https://www.unknowncheats.me/forum/c-and-c-/505940-advanced-...

More on that topic: https://www.youtube.com/watch?v=Z1qyvQsjK5Y
when it's snowy, it's some kind of mixture of snow and the melted. I just cannot see anything behind
He said about his work. And it would be objectively false either way. I'd say your hero worship affected your comprehension.
If Congress had the commonsense restraint to keep their paws of of the social security money (as was intended), then there would be no problem with social security funding in the US, either.
That's a false dichotomy, it doesn't "require" the sacrifice, they could definitely make the machines more safe, or make working on them safer, but likely they were made before worker safety was considered so critical and "pinsetter mechanic" is probably too niche to get special work safety provisions.
There is some plug-in that adds JSX support though.
No, I remember Serial Box, serials.ws, MegaGames, scene intros, etc. I just have trouble determining tone on the internet sometimes is all.
None of that really matters because there are no large companies where an individual owns 50+% of the shares.

Musk is still the single largest shareholder, so someone saying he owns a "small minority" doesn't make any sense.
I've been pleasantly surprised by the improved noise cancelling on tools like Zoom and even Teams, a dog can explode nearby or a child start bawling and nobody can hear it.
Ownership You Can Count On
Really fascinating article. Any similar advice for an adult xiangqi leaner? I recently decided to delve into East Asian forms of chess and chose xiangqi to begin. I have some limited written Chinese, if needed for the best sites and texts.
But when is the average engineer going to need to deeply understand functional programming vs needing to deeply understand SQL? The latter governs how your data is stored and mutated at rest while the former, while an influential flavor of programming, is ultimately not the model that won out in the market (and for good reasons IMO).

Most of the volume of useful work to be done in programming is about state manipulation, which is mostly relational database operations, which is mostly about set theory.

I think every engineer should learn foundations that best equip them for the market long term, and prioritize their order of attack along those investments which will earn them outsized value. Data structures and algorithms, set theory and distributed systems equip an engineer extremely well for that.

I have a very hard time believing deep investments in functional programming and type theory would differentially pay off better.

Now, if one's goal is not to optimize for the market, then I think the answer is a lot more broad.
I dig it.

... IP security cameras do sound more appealing now though, that's a thought.
'All code is a liability' is also not a particularly accurate application of finance jargon.

A car or a house also have ongoing maintenance costs, but they would normally be classified as assets (because they generally produce value in excess of the maintenance, or because you can sell them in a secondary market).

I think an accurate, useful, but not very catchy rephrasing is just 'working code requires ongoing maintenance'.
How Do You Even Sell a Book Anymore?
I have literally gotten visas for and worked in another country with greater ease than trying to get my Apple account to work well with local apps in my new country of residence while still allowing me to download and update apps from the first country.
This is a myth of tool creation and this line of thinking goes back to the earliest moments of human history. I believed the same thing for most of my career.

Tools unlock valuable opportunities and this becomes more true with superior technology. The opportunity for accessing value is not profit though. Profit only occurs when income exceeds expenses. The means to access income still costs money, such as Customer Acquisition Cost, whether those means are things like better tools or advertising. Superior software may reduce the time per customer transaction, cost per customer transaction, or increase the number of simultaneous transactions but its still those transactions that drive profit. The software is just a contributing artifact. Most of those transactions probably cannot occur without the help of some software, but without the business transactions the software is just an expense not making money.
This feels so weird. The machines don't need to put that much force into the usual operation. We know how much the arm/scoop weights and the usual resistance the pins can give... So why would there be instances of people being crushed? We've got mechanical ways to restrict the force - what are the issues preventing adding that to the design?
“Just”.
> a dog can explode nearby

Does that happen often where you are?
Better I say it before dang or another mod says it: Your comment, especially the unwarranted retreat to antagonistic expressions, doesn't contribute to a worthwhile discussion. I'd ask that you try to angle your comments to be more constructive.
That's not quite right. The comment was really showing the the definition of "best" can vary based on a lot of factors. It is up to the reader's imagination to account for real life constraints such as time and budget in a burger purchase decision. If you have 7 minutes and the McD's across the street is the only burger place in town, they are the best choice as all the other burger shops result in having 0 burger.
Reliably unusable and unsafe. The defunct first generation cellphone networks had no encryption.
Why not everyone's? Tired of this selective nonsense.
I personally consider tech debt code that is hard to reason about, change, understand or not covered by unit test. I think the author just wanted to say something nonsense to go viral and get share/increase klout, but if the concept of code is symmetrical to the one of tech debt then the concept of tech debt is useless and we need something else to scope code that is hard to be worked on, and back to square one
It felt like the foam did improve audio quality but I think the only thing that measurably reduced noise from outside was solid core door. Pricey though!
Agreed that a good microphone is a huge help. I currently use Elgato Wave:3 which is not as fancy as one can go.
Are you imagining a road trip where you ask random strangers to move their oven and run a cord out the window for several hours?
Happened on my dad's Ford with less than 100k miles on it. Sure does seem a lot more uncommon in other vehicles though.
I’m not going to criticise the authors choices because each situation is unique. But if you’re both working from home then I do wonder if your money is better spent moving out of the Bay Area and thus somewhere you can have a 3 or 4 bedroom house. Rather than trying to suffer through an ineffective home office.

This is what I did. I had two young children (still young but not as young as when this anecdote happened) and we ended up moving to accommodate for working from home. Before we moved I was finding my home office space (a literal garage) was freezing during the winter and boiling during the summer. And like the author, it was affecting my ability to work. So my options were go back to the office, or buy something more suitable for working from home.

It also came with the bonus of a bigger garden for our kids to play in.
I appreciate the feedback about clarity, thanks! We'll update the documentation and agree to reflect that more accurately.

For now, we've started with VSCode as an IDE and used GitHub for authentication. But actually, we're already working with GitLab to add support. For other VCS, the prioritization will be demand-based as we don't want to spread thin early on.

Regarding the OpenAI part, as stated in the post, we're currently migrating the community version to self-hosted OSS models. If you sniff around the backend API repo, you'll see there is already a third-party service registered for Ollama and a corresponding docker-compose (https://github.com/quack-ai/contribution-api/blob/main/docke...). Our next release was already planned to switch to Ollama (keeping OpenAI as an alternative as well), so I'm thrilled if that goes along with the community preference!
What so you mean? You can declare user-defined types in C and C++ without that syntax.

In C++:

struct MyType {
int field;
};

MyType m;

In C, you would need a typedef to get the same behavior, but the same applies otherwise.

typedef struct {
int field;
} MyType;
I was looking for concrete issues which violate either memory safety or type safety but not both. However, these examples are clearly both.

Let's look at the null pointer case first: Is this a memory safety issue? Yes, this is definitely a memory safety issue. The actual hardware has no concept of a "null" pointer, it just uses raw addresses - so if we allow this operation typically we're accessing arbitrary memory which happens to have an address corresponding to our "null" pointer. How about type safety? Well we violate type safety if we perform any operation on an object which isn't sanctioned by its type, and dereferencing isn't a sanctioned operation for the null pointer type.

Now how about array bounds? Memory safety is pretty obvious here, this is the classic stack smash beloved of "hackers". And type safety? The bounds miss is not a sanctioned operation for this type.
I worked with a guy that made it work for 2 years. Small closet as well. We dearly called it his cloffice!
Well, here in Europe you can get sued if you provide a non-accessible software. (Games are excluded and a photo editor can of course assume that the user can see etc.)
Containers are not a security boundary.

Containers are not a security boundary.

Containers are not a security boundary.

Any system that treats them as such is inherently compromised.
I use balsamiq for both flows and UX "paper" prototypes. My only gripe is not being able to easily re-use groups of controls
Every time I use the app I have to force quit it at least once to get it to stop doing whatever backend query it's doing. Doesn't help that their chargers are barely compatible with my car (2014 i3) so the charging fails to start about half the time. The machine itself rejects the charge in about ten seconds so no big deal, but the app isn't built to handle this case and takes multiple minutes to realize something is wrong. So my charging cycle is to initiate via app, plug in, see a failed charge, force quit the app, find the station again, and repeat probably twice. Probably isn't this bad with newer cars, but I love my car otherwise. Made sure to get the one with the extra scooter engine in the back, so I can just drive around on gas if it comes down to it.
> That's the same thing as not having static types.

I didn't say it had static types. I was referring specifically to the notion of type checking.

> dynamically typed languages are just untyped languages

There are no dynamic types in TLA+ just as there aren't in the formula F = ma. There is nothing here that's running, and all the automated analysis, including of the sets that corresponds to types doesn't run anything.

> That's just checking a dynamic typing property

There is no "dynamism" here. The model checker checks that the "type" (really set membership) holds in any possible execution, each of which potentially infinite in duration, out of a countless infinity of executions. It's also a "static" check, it's just that it isn't syntactic.

> Static types are static _by construction_, you don't need any dynamic information to type check them

And neither do you need any "dynamic" information in TLA+. Dynamic types are a programming notion. TLA+ is not a programming language.
I suggested that to my partner! He was not a fan of having a whole wall installed, sadly. It also would have been a bit difficult as that office space had a high ceiling, skylight, and basement entrance exactly where walk would go. I still fantasize about it though.
Pins are pretty heavy, and the machine needs to throw them around pretty quickly
Subaru's and newer Jeeps struggle with this from what I hear.
Not mentioned: use a kernel N-day, of which there are many. Patch your hosts folks
> And now Apple is kindly offering to license the patent if this goes into an ISO standard?

The one that's likely to go to an ISO standard is the Adobe spec here: https://helpx.adobe.com/camera-raw/using/gain-map.html (which is the same as Google's "UltraHDR")

And that has a blanket public grant for usage.

> Also… the gain map is subsampled 1:2.

Subsampling is optional, you can do 1:1 if you want.
Very practical for IT work or if you just want to put all of your useful ISOs somewhere like a large USB stick. You can have your Win/AV/Rescue/Linux/Memory testing and other tools together and just boot whatever you need without struggling with writing images and repeating the boot process while smashing your keys. The only machines that this didn't work for me were from the Windows XP era. Didn't have any compatibility issues with ISOs!
>I'm beginning to think it's all a "Death of God" thing; we still haven't found a non-religious meaning for existence so we just focus on getting the high score.

Actually, it's the opposite - this relentless capitalist grind peculiar to American society has its origins in the Protestant work ethic - the belief that capitalism is a divine expression of God's will, that physical labor is the religious meaning of existence (at least for the working class) and that poverty and wealth are the result of moral vice or virtue, respectively. It's the same perverse intersection of Christianity and Capitalism that created prosperity theology.

And the fear and hatred of government interventionism often derided as "godless socialism" which prevents the US from installing any real social safety nets or nationalized healthcare, out of the belief that suffering is inherently noble and the poor are inherently lazy is also rooted in the same religious belief.
And all code is an asset. Have we just reduced the conversation to: everything has a cost, and everything has a benefit?
I think you'll need to pivot soon.
Tesla has it all figured out, including destination charging.
Just in case you haven't realised, ChatGPT's responses are influenced by the filename you hand it. If you're sticking with the default filename it gives you, you're passing hints to the next generation via a backchannel.
> Picked at random? But who’s picking the picking algorithm?!?

To give a serious response to this: you can combine the outputs of all of them to pick one of them.
Except the law in Europe.
> It’s funny how most of us feel like we “need” a dedicated room, but really, a bedroom is in many ways an ideal space to give a second, daytime use to

From many years of experimentation and experience, I can say with a high degree of confidence that I really do need a dedicated room. It's not an issue of practicality, it's an issue of mindset. I need a room that is used only for working and nothing else, so that when I'm in there, my brain is triggered to be in "work mode".

Also, if I'm sharing a workspace with other uses, that means I can't leave things sprawled out in between work sessions.

> for now I bought a WeWork subscription!

Ahh, this indicates that we have very different needs indeed! Hotdesking/shared workspaces -- WeWork or otherwise -- don't actually work for me at all.
They have made them safer—by reducing the complexity of the machines and the frequency of necessary human intervention by adding strings to pull the pins back into place.
My experience was that small spaces drive you crazy and make you do stuff like this. Thanks for reminding me why I can no longer live in urban areas.
You can move to Texas and sign up for retail rates from one of their lesser regulated providers, and when the temperatures drop and your energy markets spike in value you too can pay market rates to heat your home.
Ask HN: Systems for managing tasks/communications/opens
As an engineer working in a large organization, handling multiple projects with many different cross functional teams, what are some ways that could help with managing all the different conversations, asks, followups etc.

I sometimes feel overwhelmed by the sheer number of items to keep track off, I was wondering if there was a system that has worked for others in this situation.
Depends very much on how much you use it. Is it a 200km every day job? Yeah. 200km per month? Better to just get a builtin battery and take care of it (not keeping it at 100% all the time etc).
Seems like your case is out of what Amazon preaches. Of course not everything is perfect, I am just listing some interesting points.
>Pay $56,000 a year so someone can work a $50,000 a year service job while strangers raise their children?

Another aspect of this decline may be the "ideal" of the nuclear family. Family units used to be a lot more compact, so Grandma could watch the kids whenever necessary because she already lived with the family. All this seems to be doing is accelerating the falling birthrate and something like Social Security in the US was already forecast to be in trouble before people stopped having as many kids and supplying so many "replacement workers".
The problem with fancy variants on trying to "better protect" a QR code is that users don't know what to expect, and the lowest common denomenator of social compliance means they'll (have to, if they want to not be stranded) eventually scan whatever QR code is there, in an attempt to charge.

It feels like this whole "scan the QR code" is a reverse of the ideal paradigm that is (obviously) very easily exploited by scammers and opportunists, especially if payment information is requested! We spent long enough trying to train users to not enter usernames, passwords, and payment details into random web pages when asked... Now they're being asked to do it!

I don't think a QR on a small screen is the answer - people will just cover it with their sticker. If that's not good enough, they'll make a sticker that looks like a small screen with some frame around it.

We need to treat the charger itself as an untrusted piece of infrastructure, and do discovery the other way around. If a user knows they are going to an "ABC Corp" charger, there is presumably a route for them to use a relatively trustworthy discovery platform (i.e. an app store, their EV charging map already knowing where they are headed) to navigate the user to the genuine interface.

For the issue of "which charger to activate", I'm not an EV user, but this feels like if the car communicates any form of usable information to the charger, this could be used to help the user. Easy (and private) paradigms like unlocking a given charger by a map view wouldn't be intuitive for people with reduced spatial awareness (or at night when nobody has a clue where they are in relation to things on a map), but at a small enough charging station you could just ask the user to confirm if they are using "charger 3" (like gas station pump numbers), since that's the only port with a car not yet enabled to charge. For larger places, surely it's easier to use "pump numbers".

(Which is effectively what you are suggesting with a short code, but I think the QR part is a potentially bad paradigm we should try to kill off before it sticks around!)
For the children who have been victimised, I doubt the small percentage provides any comfort.
What did Windows and Mac do a decade or two ago? What do they do now? Why do I only ever see Linux struggling with random numbers and booting here?
I think the confusion here is that you are interpreting the statement as 'since Florida didn't have a major hurricane this year, the chance that they have a major hurricane next year is higher than normal'. This would be inaccurate.

What is meant is that since Florida didn't have a major hurricane this year, then next year is likely to be worse than this year, since Florida has a significant chance of being hit by a major hurricane each year.