skysight-inc/HackerNews huggingface dataset:
Mac seems to offer a more similar experience to Windows when it comes to corporate remote administration.

So Macs are what corporate provides to developers.
If we have to be objective, that's a positive step. Of course, coming on the whim of a mercurial CEO, he may re-add it tomorrow.
Adding (fixed-size) finite arithmetic will not change decidability in principle. In practice it can often be jury-rigged into non-fixed-size arithmetic. Also in practice, anything that requires enumerating all possible values of even a 64-bit integer to decide is bordering on undecidable in practice.

> 256-bit ints

And now you're well over the border.
I've had good experience with Synology and Time machine despite usually using wifi. I've seen corruption only once in the last 5 years across 4 different machines.
Working as a team. Pairing on tasks and learning on the job goes a long way.
No, they want people to use the app so that they could be tracked better.

An example is reddit, which makes the mobile web experience awful to force people to install their shitty application.
The author may be interested in gphoto - a way to control cameras over USB: https://github.com/gphoto/gphoto2
Because of course George Hotz decides alone to do that without asking anyone...
I've been using FreeNAS/TrueNAS for a year or so with no issues using multiple Mac machines. It's entirely over SAMBA shares. I set the server up to give each user their own unique TM backup disk.
Thanks for mentioning this; I have shellfish allergies and this was my first thought when I saw the parent comment mention shellfish-based wrapping
There are only two Tesla founders, Martin Eberhard and Marc Tarpenning. [1]

Elon Musk and J.B. Straubel are not founders even if you sue the actual founders to have your name added.

[1] https://en.wikipedia.org/wiki/Tesla,_Inc.
Twitter account registration at Putin's troll factory go brrr...
HuggingFace Diffusion Models Class
As someone who struggled with this in the past, my recommendation is to have less meetings, and communicate more with text (chat / documents).

Meetings in a foreign language drain your energy very quickly, writing gives you the room to think.
Most don’t, I’m wondering if they should.
Benchmarking Kubernetes Node Initialization
You typically can't prove it, but if and when you can prove it, you should definitively warn about it or even refuse to compile.

Things like that meaningless null check mentioned, can definitively be found statically (the meaningless arithmetic sanity check in OP's example, I'm not so sure, at least not with C's types).
4chan famously promoted the usage of the n-word for that purpose. You're going to get enough wrong answers even with compliant users - I'm 100% positive any dev with at least two brain cells and a passing grade in statistics would be able to filter all of these out of the dataset.

But yeah, I also cross the street on the red light.
They used to let you sort subscriptions into "Collections", but they removed this feature in 2015. I remember they teased they might bring it back in 2021, but I haven't seen much come of it. [1]

[1] https://www.youtube.com/watch?v=qGSHPhR8k8g
And then the next level yet is to do a series of photographs encompassing a common theme and message. And then developing a personal style perhaps? Not long ago I've participated in a local photo marathon, where you get a piece of paper with themes to interpret in limited time, there are checkpoints as well. Lots of walking and running around, it was really difficult, but I would recommend anyone dabbling in photography to give it a try.
I find freetube much nicer to use on a TV personally.
Interesting indeed! Im definitely not authoritative, but my partner did some biology research and field work in this general area. My slightly vaguer recollection is that yes for Sydney there was a big mass migration year when the marshes and murray darling were particularly stuffed up.
The metaverse is emerging; it will soon be as ubiquitous as TikTok, Instagram, and Facebook (now Meta) As technology advances to create new immersive and imaginary worlds, how we educate children and prepare teachers must evolve to meet these new challenges.
Yes people were looking to use git notes for this but it currently looks hacky - maybe a .issues folder and some cli tooling could help here but I guess getting consecutive IDs could be a pain/cause conflicts. Sub-issues might also be difficult.
Not only to optimize but to write safety tools. If you defined all the behavior, and then someone used some rare behavior like integer overflow by accident, it'd be harder to detect that since you have to assume it was intentional.
I'm not trying to prop up an ideology. And I didn't say there were different kinds of selfishness; nor was I extolling or demeaning selfishness.

I'm not sure what's left to reply to once I exclude all of that from your comment.
Neat, this dovetails with another interest of mine, pottery. NaF is "sodium feldspar" and Ca-Si compounds are "wollastonite" among others. Both useful as fluxes in metal casting, in addition to their pottery uses.
I found it to be very challenging to deep-dive into harder subjects when doing pairing
Windows NT was originally supposed to be "OS/2 3.0". Then IBM and Microsoft broke up.

However, Windows NT did actually have those three APIs – the Win32 subsystem (which also incorporated Win16/DOS support), the POSIX subsystem, and the OS/2 subsystem. But the POSIX and OS/2 subsystems were always rather half-baked, and never saw that much use. The OS/2 subsystem was removed in Windows 2000; it only ever supported OS/2 1.x apps, and only character mode unless you purchased a separate graphics mode add-on from Microsoft. The POSIX subsystem was not removed until Windows 8.1, although by then it had changed its name to "Subsystem for Unix-based Applications", and had grown a lot compared to the original NT 3.x POSIX subsystem. WSL is effectively the replacement for the POSIX subsystem, however its implementation is very different (which is true of both WSL1 and WSL2, despite the fact that they are also very different in implementation from each other.)
So...

This is a conversation that needs to be had. Or rather, it's a conversation that should have been had before YouTube/FB/etc. gained control over the world wide web.

Podcasts are, and have long been the freeiest medium. The protocol itself worked well. Hosting was cheap & simple enough (compared to video) that "free hosting" didn't give the likes of Google an angle to centralise it under their control. It was also marginal and unprofitable enough that they didn't try hard.

That said, podcast discovery always sucked. It still sucks. Blogrolls, BITD, worked well for me. Recommendation engines better or worse, are at least something. Monopoly's understand instinctively that recommendation/discovuery is the key to the kingdom. Open systems tend to see the pursuit as dirty.

In any case, discovery is like hosting. It's a ford. Control it and you control the stream. Neglect it, and be defeated.

The puritanical rejection of tracking, profiling, recommendation & discovery has and is placing a low ceiling on open media initiatives. It's ceding ground to monopolies.

We need open, consensual ways of having profiling... advertising even, perhaps.
A more relatable example to me is with chocolate bars.
A 85% chocolate has 3 times more sugar than a 95% chocolate.
I wonder the world-wide impact in people health if they advertised the ratio in terms of sugar instead of cacao.
https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...

levenez.com has been posted multiple times before in this context. There is a /unix and a /lang page under it.
>It's selfish to use the services of YouTube while removing their main source of revenue.

I guess so.

>If you have a problem with YouTube's tracking, simply don't use it

You are yet to give me an actual incentive why I shouldn't. No, "it's immoral" doesn't work, because morals aren't real.
Lookup pantopoclick. Surveillance capitalism companies are very good at uniquely identifying individual users based on a combination of unique device metadata, geography, networks, etc.

Tor Browser in Whonix in a Qubes VM is recommended when you need reasonable privacy while interacting with services purpose built to track users.
Connect the public water utility to a bitcoin mining operation, with contractual rights to dial down/turn off the bitcoin mining and use that electricity as backup should the water treatment plant's other source of electricity fails. When they don't need the backup power it provides security to the bitcoin network, and when they do need it, its there.
> CPU and language designers

Which CPU? There are a lot of CPU architectures and their variants, some older than 40 years, and C is supported on most of them. Each CPU has its use case. Also, safety is not always a top requirement.

But I also think that true safety will come at silicon level, and not from a programming language.
The human race has a huge amount of knowledge and capability. Let's imagine how we can keep that alive forever.
Yup, of course. That's why software like Lightroom usually has a "tint" slider next to their colour temperature slider. It's just that "colour temperature" seems like a pretty weird turn of phrase (and the article seemed pretty befuddled by it), so it's worth knowing what it actually means.
The title of the classic Niklaus Wirth book. "Algorithms + Data structures = Programs".

Rereading the Wirth's book 20 year later, I finally realize it. Every product I have been working on was a data structure indexed by a key, then processed to transform the data into other data.
Sadly the macros they proposed are ugly, long to type and hard to read. People will not use them.
Developers need to learn from mature people, not from self admitted too emotional ones.

Using Clang instead of GCC won't make him a better engineer.
Advertising agencies say nearly all big brands have paused spending on Twitter
Not only do the numbers look small, the explanations seem very poor. For example:

>We began our investigation after reviewing public reporting...

So what Meta is saying here is that despite Russia having started a land war in Europe, Meta didn't do any pro-active investigation and anti-influence operations. Instead it waited until public reporting uncovered that their service had acted as a useful idiot for fascists. Think about the level of information and data that Meta has access to that it could use to detect and prevent attacks, and instead your average journalist is more likely to actually uncover these attacks.
I agree. Billing is fearsomely complex and not ever going to get any simpler. I feel the old rule about not rolling your own crypto should equally well be applied to not rolling your own billing, tax or finance systems. That said, the alternatives all suck. If you are a F500, sure go ahead and spend $$$ on a SAP implementation. But whats a small 10 person company turning over a mill or two to do?
This has come up before, because, in some technical sense, the C standard does indeed not define what a "gcc" is, so "gcc --help" is undefined behavior according to the C standard, because the C standard does not define the behavior. By the same token, instrument flight rules are undefined behavior.

A slightly less textualist approach to language recognizes that when we talk about C and UB, we mean behavior, which is undefined, of operations otherwise defined by the C standard.
What does /usr even mean?
New Intresting JavaScript Framework
1. Thanks! We were lucky that we dealt only with the (non-US) Asia/Pacific region, where all the tax regimes we encountered in the countries we operated were relatively simple, mostly straight percentages. But we did have to deal with tax system transitions in a couple of countries, and it was obvious to us that tax is one of those things that was quite arbitrary, could be changed overnight (which happened in Malaysia after an election), and needed to be factored out as its own domain. As I’ve been trying to argue, there are no “perfectly spherical cows” when it comes to billing… simplifying assumptions end up killing you slowly.

2. I think it’s often young people who haven’t encountered externally-imposed, non-negotiable complexity yet. I try to take it easy on them because I suspect I might have been like that once :)
Isn't the lawyer job 90% looking up past cases, documentation, contracts, etc. The part where you go in front of a judge and dramatically defend your client is a very slim sliver of it.

And that 90% is ripe for automation.
Not to criticize the guide, it's brilliant!
If asked for improvements, I'd suggest adding a table of contents.

Slightly off topic, but the guide does suggests reading time. It's interesting that people keep using read estimates for technical/scientific/professional documentation. This one says it's a 58 minute read. Not 1 hour, not 59 minutes, but spot on 58 minutes.

Now, I'm not a novice in using ffmpeg and I think I'm at least an average person. I can tell you that it would take me a _lot_ longer to read this guide in a meaningful manner.

But, a brilliant guide. I'm definitely going to use it to expand my ffmpeg knowledge.
Show HN: Waldo – free AI for UAV safety
Your examples:

> - "to program against a standard" instead of "to program based on a standard"

both idiomatically correct enough

> - "to match against a pattern" instead of "to match the pattern onto the thing"

the second one reads very strangely and I would not be sure what you meant, first is _very_ idiomatically correct

> - "to compare against a list" instead of "to compare with items from a list"

second one is a little strange in the sense of feeling like too many words

> - "to file an issue against the repository" instead of "file an issue at the repository"

second one feels wrong, first is correct but a little weird, "on" is probably what I would write; you can also file "with" if it is a bureaucracy, you file tax forms "with" the irs
The signed integer overflow rule is extremely important for common optimizations, mostly related to loops like knowing if they're finite or rewriting their index directions.

The way to start getting rid of it would be to add for...in... loops or something where the loop index can be a custom no-overflow type.

And "defining" it is a lame approach to safety. If you make it wraparound, you now have silent wraparounds that can't be found by static analysis. You want unintended overflows to trap, not just be defined.
By now they (some maintainers and some users) have a lot from a typical Common Lisp into Emacs Lisp re-engineered (incl. the Common Lisp Object System), but it is not 'officially allowed' to actually upgrade the language/runtime to it. Just libraries or forks...
Httpie: Modern, user-friendly command-line HTTP client for the API era
Isn't the cause of the difference between MySQL and PostgreSQL in this particular case is that COUNT is (was?) implemented weirdly in PostgreSQL and was always slower than in MySQL?

Can PostgreSQL respond to any query straight from index without touching the rows if the index contains all necessary fields?
Artemis 1's tiny Japanese probe abandons moon landing try
Agreed - I’ve been looking for a one liner to turn a series of stills into a gif for a while and buried in my todos is a note to read the documentation so thanks, I’ll read this when I’m done w/ a few other todos this morning.

Someone should do a gui for common tasks it can do line there used to be the Zenmap gui for nmap.

(Learning how to do those sorts of simple guis quickly in python of something is another holiday todo, if anyone has suggestions on that - all my tools thus far are gui based and I need to make sure as many folks as possible use them.)
YouTube would still need my credit card details to disable ads, thus uniquely identifying all my viewing habits to me so they can adjust my feed and recommendations to the liking of their partners.

Also I do not use proprietary operating systems so I would be stuck using a webapp on my TV which is pretty awful UX.

Hard pass.

YouTube forces users to choose between privacy and supporting creators. I will not give up privacy, so it is up to creators to upload to privacy respecting platforms if they want my money.
When there is nothing that stands out, I usually resort to playing with the compensation dial (or you can do spot metering) to get some silhouettes and light-dark dynamics. Also look for reflections or different angles.

Inspired by street style:
https://youtu.be/yRkZc8jcHas
The compiler made a dangerous assumption that the standard permits ("the author surely has guaranteed, through means I can't analyze, that this pointer will never be null").

Then it encountered evidence explicitly contradicting that assumption (a meaningless null check), and it handled it not by changing its assumption, but by quietly removing the evidence.

> For example you would you not expect a compiler to remove a redundant bound check if it can infer that an index can't be out of range?

If it can infer it from actually good evidence, sure. But using "a pointer was dereferenced" as evidence "this pointer is safe to dereference" is comically bad evidence that only the C standard could come up with.
At first I thought the title was a reference to Raymond Chandler's novel (https://en.wikipedia.org/wiki/Farewell,_My_Lovely), but then I checked the date: the novel came out in 1940. So what is the title of this article referring to, if anything? And what was Raymond Chandler referring to, if anything? In both cases it looks rather like a quotation. Perhaps it's a reference to something that is now rather difficult to find because of all the references to Raymond Chandler's novel and its adaptations. Wikipedia should explain it, but I can't immediately find it in there.
> Also, safety is not always a top requirement.

Safety is the requirement for desktop, mobile and server processors but x86 and ARM penalize using safe math operations (you have to insert branch instructions).

> There are a lot of CPU architectures and their variants, some older than 40 years, and C is supported on most of them.

Between safety on modern CPUs and supporting 40-years CPU I would choose the first.
We need a -fsane-c

Then they can add a #pragma optimize(assumes=no-int-overflow, whatever, etc) to precisely add optimizations when needed and you 'know' its safe.
It would make more sense if the injected variable was an interface, the decorator telling you what the concencrete type should be. I think? Otherwise, yeah totally pointless.
I have had a love-hate relationship with YouTube for a long time. On the one hand, many channels put out great content that I want to watch. But the recommended videos feature is exceptional at hooking into my reptilian brain and getting me to waste a lot of time on junk that I later regret as a big waste of time.

I looked into a lot of alternative clients, including FreeTube, in an attempt to solve this. I use Tube Archivist[1], an open-source project that allows you to subscribe to and auto-download YouTube channels and playlists or download individual videos and watch them in a minimal web interface. It works fine on iOS as long as you set it up to download in an iOS-compatible format. I currently have it running in a Docker container on my Synology NAS.

[1] https://www.tubearchivist.com/
It's interesting that there was a post just today about initializing padding and other stack variables to 0 decreasing bugs in C/C++ by 10% without significant change in performance, this sounds like a great example.
I did not notice that until you said it.
You'd then have an explicit early-fail footgun instead of a rake in the grass, which has to be an advantage.

However, fork() is still not necessarily a good design, and the reason for that is that the vast majority of the time the reason you want to run fork() is to immediately run exec() afterwards because you're trying to launch a separate process. So, the fork() does all the hard work of duplicating the entire address space of the process, and then exec() throws it all away again.
-fwrapv introduces runtime bugs on purpose! The last thing you want is an unexpected situation where n is an integer and n+1 is somehow less than n. And of course that bug has good chances of leading to UB elsewhere, such as a bad subscript. If you want to protect from UB on int overflow, -ftrapv (not -fwrapv) is the only sane approach. Then at least you'll throw an exception, similar to range checking subscripts.

It is sad that we don't get hardware assistance for that trap on any widespread cpu, at least that I know of.
This problem has been solved with "skeleton" loading placeholders. It takes a low amount of effort to implement, the issue is just carelessness/lack of empathy for the end user.
Have you tried to fuel your car with gasoline collected from your rooftop?

Electric cars can and are routinely charged from solar panels.

Yes, solar panel production consumes a lot of energy; quite some of that energy is electric, and can be provided by solar panels. So yes, solar panels may be energy-positive, not just shifting consumption of fossil fuels to factories.
Not really related to the guide, but does anyone know how to handle audio pitch when speeding up when using FFmpeg libraries instead of the cli tool?
> starting water restrictions

Not starting.

"The NSW Government has announced that Water Wise Guidelines have replaced Level 1 water restrictions [...] The restrictions have eased, but let’s stay water wise."
It's the only symbol of goodwill recognized from Ireland to Japan (before WW2 that is)
Open Source and Saying “No”
> It is not true.

Many people experience that and scientists/doctors agree. In addition there is a risk of higher mortality.

https://journals.physiology.org/doi/full/10.1152/physiol.000...

"Many men and women in the United States diet to lose BW; however, most regain the weight they lost after the diet ends (73). Dr. Kelly D. Brownell coined the term “yo-yo dieting” to reflect BW fluctuations during repeated cycles of diet-induced weight loss and BW gain after the diet is terminated (74). Approximately 20–55% of women and 18–34% of men report weight cycling (75–77). What remains unclear is the impact of weight cycling on cardiovascular health.

Several large studies, including the Honolulu Heart Program (78), the Framingham Heart Study (79), and >9,500 participants in a Treating to New Targets trial (80), have shown a strong correlation between BW fluctuation and rate of cardiovascular events that are independent of traditional cardiovascular risk factors.

A recent meta-analysis of >440,000 participants from 23 studies showed that BW cycling was associated with a 1.4-fold higher relative risk of mortality due to all causes and to cardiovascular disease. The meta-analysis also revealed that BW cycling was associated with 1.4-fold and 1.5-fold higher relative risk of hypertension and CVD morbidity, respectively"
There’s an upcoming game called Bomb Rush Cyberfunk that seems to be faithfully replicating the whole JSRF gimmick.
The static analysis is you compile with it and see if there's any trap instructions emitted by the compiler.

(The answer is: yes.)
The basic stack engine is also pretty neat, which tracks the value of the stack pointer separately and has it's own adder for it. If all you use is PUSH and POP you almost never have to wait for the value of the stack pointer to be available in the next instruction.

It seems like it would be great for implementing a FORTH if you used the RSP pointer to hold the data stack, but you constantly have to PUSH and POP the return values out of the way, somewhat defeating the RAS. I wonder which is more of a win?