skysight-inc/HackerNews huggingface dataset:
That role is a random line employee. "Partner Relations Manager" is a role that interfaces with customers of Unity with Enterprise licenses. They don't have direct reports. The "Carol" in question is Unity's CMO.
Usage reporting. Crash reporting is on by default without asking, as is use of the public relays.

The arbitrary remote code execution vulnerability is much more troubling and critical, however. Most people don't realize that by running syncthing they grant the syncthing developer the ability to execute any code they want on their machine (including the ability to read or exfiltrate any file on the filesystem).
True.

In my estimation, and having worked at Unity, Unity is not that big where a first name couldn't uniquely identify a female executive.

So the risk is real.
From my experience, it's the sodium that's in things more than on them. When you look at the sodium content of a lot of processed food, the amount you might sprinkle on at serving time is pretty insignificant.
It doesn't work in the background. But that's not the app's fault, it's just an iOS restriction.
DEI Brings Kafka to My Law School
No Paywall: https://archive.is/8SGBs
Yeah. I don't know why people seem so invested in pushing Vitamin D as a cure for everything.
The PetCo park one is amusing. Usually these are caused by a small business using the same iPad/Stripe setup that everyone uses and not disabling the tip screen.
And it makes no sense to have an option to allow an app to start listening while in the background without the user starting the session.
This is seriously bad for your health and wallet.
Interesting ( ͡° ͜ʖ ͡°)
I spent a year in Apple Cloud Infrastructure (ACI) during the pandemic. From my perspective, Mike didn't invest in the infrastructure in the ways that he probably should have. I am aware of at least one very senior manager in the org who escalated on Mike for that reason.
Unless you’re approaching the limit of 0 from one side

But yeah, you’re right
Heh, eh, well, ah, ... (and other strange noises).

Dijkstra's Guarded Command Language is a specification language, sort of, but it's better looked at as a very simple programming language for use with Floyd/Hoare/Dijkstra's axiomatic semantics. (Which didn't get mentioned at all. Sniff.)

Anyway, if you want a better specification language based on GCL, check out Jayadev Misra's UNITY (A Discipline of Multiprogramming, Springer-Verlag, 2001.) or Mohamed Gouda's Abstract Protocols (Elements of network protocol design, Whiley 2008.)
Sorry for the delay, I've been a bit busy recently.

I've just adjusted the highlighting of the cubes, give it a look. For feedback you can contact me here, by email or open an issue on GH. Hope you enjoy!
Thank you, I appreciate it. The elevator pitch is:

Symbiant is a real-time, sci-fi ant colony simulation for modern browsers. It draws inspiration from RimWorld, SimAnt, Progress Quest, and Tamagotchi. You awaken to find your consciousness trapped inside a satellite's computer, sharing space with a damaged AI bent on terraforming an alien world that you both now orbit. Withered from eons of isolation, a chance encounter with an ant colony provides you with hope, companionship, a distraction, and, potentially, a way to help the AI complete their directive.

Symbiant is a digital aquarium. Slow, calm, and a 24/7 source of simple entertainment. A respite primarily meant for observation and reflection, you briefly command the satellite just once per day and must use this time to make prescient decisions which ensure your ants thrive until your next check-in. The rest of your day is spent simply observing the side-effects of your actions and taking notes for tomorrow.

Symbiant is tactful mental health software. Its goal is to help you be more consistent in your personal growth and more aware of your mental health. Over the course of real-world months, you help the protagonist grow their pet ants, themselves, and yourself. A quick routine involving breathwork, meditation, and self-reflective journaling is gently woven into your daily self-care habits all while the software masquerades as a colony sim.
I mean, resiliency, yes, I am all for resiliency, besides "produce enough food for everyone", "be able to continue producing enough food for everyone despite 5- or 6-sigma disasters" is the most important thing for an agricultural system to do.

But, like, why would the agricultural system break down? If that's a possibility in your society, maybe ask why that is and try to fix it, rather than trying to have everyone go back to subsistence farming.
Used syncthing to:
- transfer executables from my home to a ship (over sattelite link) in Indian Ocean. Much better alternative than sftp.
- sync filesystems while doing on-going (several months of testing) migration from on-prem to mixed cloud (google/azure).
Requires a bit of understanding why conflicts can happen (when using more than 2 hosts), once understood works like a charm. Was never disappointed, solid work.
NASA to Ham Radio Operators, We Need Your Help During Solar Eclipses
Where can I see this? I have a recent version of Android on a Pixel 6, I have WhatsApp installed, but I didn't find this view on my phone.

Edit: Found it in the tweet replies: Settings, Security and Privacy, Privacy, Privacy Dashboard
You can disable discovery and hardcode clients to connect to each other using hostnames that resolve to whatever private IPs you have.
I spent some time working on replacing the formulation of descent as a tree of species with a chain-complete partial order of organisms. Then you start trying to define things like "species" or "strain" or "genus" on that and realize that they don't correspond to any typical clumping of graphs.

Someone else already linked to ring species. In microbiology, the definition of species is "stop asking, we agreed to stop fighting about that, no, really, la-la-la-la." Horizontal gene transfer between species is ubiquitous.

In the end I started talking about populations occupying a niche in a specific place at a specific time, and very cautiously tracing properties among linkages of those. But I'm also the one who kept insisting to my labmates that a gene is not a locus of DNA.
You are making my point for me.
> Bird also said it was usually easy to tell what a large language model such as ChatGPT has been trained on, because “you can ask it”.

So what does that mean? They literally asked “Did you read book X during training”?

Sounds like they’re fools. Desperate fools, most likely.
It's largely pointless to forbid it because once you have a byte stream (which you obviously do with ssh), you can tunnel whatever you want over it anyway. SSH own docs even point this out; man sshd_config(5):

"Note that disabling TCP forwarding does not improve security unless users are also denied shell access, as they can always install their own forwarders."
Where did I say we could or should ban it like a nuke?

Anyway this is a good example of the completely blind-faith reasoning that backs AI optimism: we’ll figure it out “because it’s what we do.”

FWIW we have still not figured out how to dramatically reduce nuclear risk. We’re here just living with it every single day still, and with AI we’re likely stepping onto another tightrope that we and all future generations have to walk flawlessly.
I have no particular expertise on bullying but I am confident there are levers (I.e. policies, interventions, support mechanisms) to reduce many kinds of bullying, much of the time. Different types would need to be dealt with in different ways: physical, emotional, and online.

Of course, it is complicated. Bullying arguably is a manifestation of deeper, psychological and social issues. Some forms of bullying are very difficult to find,
much less prevent.

Unfortunately, many of these kid / young adult
practices persist well into adulthood.

Personally, I sometimes find it quite difficult to draw lines between a lot of negative behavior. As kids are figuring out their emotions, they act on them in many unconstructive ways. It seems to me the core elements of the worst bullying tend to have to do with (1) it being persistent; (2) targeted on those with less status or power; (3) the victim feels isolated.

Again, this isn’t researched, but I did put some thought into it.
They're really not. They're saying it's probably ok to do so. Which is not the same as an endorsement. I'm not sure why you have a problem with that.
Rocky IV always comes to mind as a (the?) prime example of this in film.
Holy hell you're right
Not GP, but I would imagine you use both together like a narrow (flat) spoon, or a thick single-pronged fork; so I don't see why not. You only miss out on the gaps between prongs, but albumen's too viscous for them to have any effect anyway. I either use a small whisk or a fork, but I don't consider the latter special in any way it's just something that's convenient in our kitchens, as chopsticks are in others'.
The patent is applied (and granted) with multiple patent offices.
The European (EU) patent office is abbreviated as EP.

See: https://patents.google.com/patent/EP3542316B1/en
The word 'exactly', omitted from HN title, is relevant here:

> The == operator will continue to return true for 0.0 == -0.0.
If you google search that first name and Unity together it will be very clear exactly who she was talking about.
'Victoria Bitter?' If so, looking forward to it!
> I mean, no, this is very probably wrong.

Right now the market for sv caliber engineering talent is incredibly hot.
This smells like the right way to think about things. Whenever thinking of real life measurements represented as real numbers, equality is always fuzzy — up to some resolution, and it would be better to make that explicit.
Every time I feed them. Chickens are generally inscrutable.. but the noises they make when the food comes out definitely sound like unrestrained joy.
You don't need annotations to write memory safe programs in SPARK. With annotations you can verify properties of the program up to functional correctness which is not integrated in the Rust ecosystem.
https://archive.is/6bSHx
I dunno. Sometimes a group of numbers has a non-mathematical semantic meaning that's a good mapping to digits-- like an area code or '777'. A lot of the rest of the time it's pretty random. A tokenizer's job is to lower the size of the input vector for a given amount of input meaning without obscuring the real underlying relationships too much, and here it feels like it doesn't meet that goal.

My phone number is 6 tokens instead of 12 symbols... so this is only going to make a moderate difference on things like big lists of phone numbers.
Have you ever heard a discussion betweeen biologists about where to put a given species in the family tree?

Taxonomies are a human construction.
I think most people are capable of listening and formulating a reply simultaneously, particularly if the reply is along the lines of "oh really" or "me too" which I suspect is the sort of rapid response that research indicates people prefer to pauses.

I'm not convinced a swiftly delivered "but enough of that, let me tell you a very interesting fact about..." has quite the same positive effect :)
The law here states that if you possess the hate speech the assumption is that you intend to publish or broadcast it. You have to prove that you don't (by being an academic or law enforcement for instance). This is an attempt to keep people from engaging with crimethink, not broadcasting it.
This is amazing, data companies out there that still spend a huge amount of time + developer cycles, building and maintaining infra for scraping and cleansing even from high quality sources can benefit massively.

Highly relevant to POI/Geo data and many more industries as well!
> I suppose it depends on what "pass a referendum consistent thereto" means. I have no idea.

It means enacting legislation for a secession referendum, and holding the referendum. It doesn’t mean secession is going to win the referendum.

If Texas held a secession referendum tomorrow, I doubt “Yes” would get anywhere near a majority-and I’m sure they know that. It would be an exercise in moving the Overton window, not in actually seceding. Which I think is their whole point-actual secession would be enormously risky for unclear benefit, making it a topic of live political debate could have great reward for some.
Why not just come out and call the exec an "unperson"

/s
It also connects to many "Discovery" servers on the internet in its default configuration, which you don't need enabled if you're just syncing between machines on an internal network.
It's part of the causal chain. Whether it's sea peoples, a pandemic, or escalating international tension, if it disrupts trade of essential items, it will disrupt prosperity, the way of life, and a whole host of other things.
there are too many specification languages
Zero is zero, but signs are a direction. There are multiple parts to numbers.

Stand in place and turn around: how far did you go from where you started?

Nonetheless, I agree. It's a bad idea.
I think that it is equally hard determining causes. We can clearly see differences between humans in the past and humans as we are today. Because humans are in the past, we easily think they are lesser and more stupid than our technological superior selves. But they didn’t have mass-produced cars and roads everywhere, so they didn’t die of weight-related heart failure. But labor was tougher, so perhaps those same men were getting drunk every night.

Our former selves realized everyone should have a right toward education, but we barely teach the trivium, the education of a free man. Instead we have politicized our education instead of requiring students to read Plato because even our teachers haven’t read him.
=:= is supposed to be "exactly equals". An example given in the docs[1]:

1> 1==1.0.
true
2> 1=:=1.0.
false

You can think of it as analogous to == vs === in JS, except that the "type safety" here really only refers to different numeric types (and in JS there is no such distinction)

[1]: https://www.erlang.org/doc/reference_manual/expressions.html...
Because she is renting a second apartment in SF for convenience
Over the past few years, the term “Share of Search” has become a buzzword in the world of marketing. It refers to the idea that comparing the number of brand searches for your company against those of your competitors can be a good indicator of market share. But is this really true? As someone who has worked in marketing for a large multi-brand high street retailer, I have seen the challenges of using Share of Search as a measure of market share firsthand. In this article, I’ll dive into the research and explore whether Share of Search is really a reliable predictor of market share or just another marketing buzzword.
Ada/SPARK does not do model checking.
I’m too young for Lotus 1-2-3. Or at least, I should have been.

I worked at a factory in 2011 that still used Lotus on their ancient dinosaur because why fix what wasn’t broken? The task was mostly just to record the values measured from a QC device in a spreadsheet, and print out a report for each batch. Since the computer didn’t have USB, printing involved saving the PDF to a floppy disk, running it across the factory to the printer, and inserting it into a USB-Floppy reader connected directly to the modern office printer.

Honestly, I was really impressed by how functional Lotus was for such old software. The majority of tasks I was used to in modern Excel were doable in 1-2-3, and it could even do several things that still aren’t possible on Google Sheets.
Just links to this post...
It does not plateau at 100mcg...
> if you find yourself comparing floating point numbers, that's probably not what you want

Can you motivate this with an example for me? For instance, I think of games or location data encoded as FP; then, clearly, comparing them is a critical task to know questions like "what is closer" and so on.

What am I missing?
In my experience, caffeine addiction and "other stuff in diet cola" addiction are two separate things.

It might not be possible to kick both at once, but I feel like my life is better since switching mostly to coffee.

Good luck!
Now one of the hardware companies needs to make a 2+/in/out digital audio interface _and_ usb c hub. Who needs this? The pro amateurs like me. I have a MiniFuse2 attached to a dongle with a synth and sometimes drum machine in there and it’s getting kind of wirey. It’s not as backpack friendly as it could be.
Doosan starts forging components for NuScale SMR
I don’t even think my fellow servants of our dear new King are fully capable of the unmarked sarcasm these days. I just like playing with fire!
> Why hire a famous DM to write the next D&D campaign book(s) if you can get AI to do it? That's one more income stream lost, plus the opportunity for that writer to make money signing books and the like. Why wait for John Scalzi to produce another sf book when he already has many books out and you can train a chatgpt to make more of his style? Brandon Sanderson? Any number of beloved authors. Then, how will they build hype about their work, competing with themselves?

It's the counterfeiting problem. Designers still succeed despite it, though it does cost them some revenue.

AI adds a lot more competition to the marketplace, sure. Anybody can produce anything that's "good enough." But you need to step up your marketing game and/or product quality to get people to prefer your product over something they can make themselves.

A book written in the style of John Scalzi is not a John Scalzi book. He still owns the rights to his IP. You continue buying his books because you want to hear how the official story continues, not read someone's shitty fanfiction knockoff.
Because they are equal in real math
cant wait to play with it.
that sounds like a fantastic way to grow up. I wish I could raise my kid in this kind of community. permaculture has so much to offer people.
OpenAI – Interview with Ilya Sutskever by Stanford
tl;dv
Just drink plain water, we've been doing that for millions of years.
Comparing diameter to radius is a little misleading, the ring is actually closer than Voyager, at 120 AU. On the same scale, Pluto is 78 AU and Voyager is 320 AU.
Amazing how much faster f2fs is than btrfs. Now I have some buyer's remorse over using btrfs...
I can almost hear the Animatrix voiceover: "At first, AI was useful. Then, we decided to automate oversight... The rest is history."
I guess we'll be forced to find out over the next decade, as the llms are already out there
Yes. And the Flash Translation Layer inside modern drives are quite sophisticated. This means you could start out with a write pattern that's causing a lot of copying and reorganization of pages in the back ground, typically because it's doing a lot of unaligned random writes smaller than the erase block size, and initially the performance will be fine. But as the drive wears in, and the capacity fills up, the FTL has less extra space to work with, forcing this garbage collection activity to become increasingly common. So you get performance degradation and premature wearing of the drive in a way that's opaque.
I have a book I wrote that might help you. Feel free to send me an email and I'll send you a free copy (applies to anyone reading and can find my email on my website)
IEEE 754’s idea was that if you got a zero in a floating-point calculation (which, at the time, meant one with physical quantities), it’s probably underflow, not a legitimate result, so the FPU might as well try to give you at least a sign even if it can’t give you any significant digits. Though 754 says comparison must treat positive and negative zero as equal nevertheless, you have to deliberately choose to look at the sign (with e.g. C99’s copysign) to see the difference.
As devs we could create an app that sets a timer for social media use and then shocks you with a mild electric shock every time you exceed your set limit!

We'll call it the Zapchat or the Zapper and we guarantee it'll be SHOCKING how effective it is at keep us from looking at our screens every 5 min
Totally fair - life has nuance and its not clear cut moral high-ground to air all grievances on Twitter.

> That oversimplifies this situation because an employer, regardless of it having outrageous work environment characteristics, has a responsibility to its employees. Like, in court.

Butttttt I gotta say companies routinely violate said legal obligations and intentionally commit resources to continued abuse of said obligations - knowing individuals lack the resources to fight back or institute meaningful change through legal recourse without great cost.
That does seem consistent with my suggestion that it was talking out of both sides of their mouth. I'm quite certain they're not saying out loud that they expect it to fail. And that they are making promises in some quarters that they will endeavor to see it pass.
Source?

I went to a talk done by Amazon's longest serving IP lawyer and he explicitly called out that Amazon has only gone to court (or asserted its patent, can't remember the phrase) over a kindle related patent.
What are these felonies? Anyway, how can one not know that throwing trash somewhere is one? It just needs common sense, and some kind of social behaviour. Nobody likes trash, and someone needs to pick it up again and put it away..

(Living near some regularly trashed streets and also nature, this is the one thing that really annoys me so much about humans.. while being usually "libertarian" that is the one thing where I'd just want Singaporian standards world wide :D Noone needs to litter, and noone can say he didn't know.. It is 99% just pure egoism and laziness.)
Your understanding of significance is flawed, and there is an XKCD for that:
https://xkcd.com/882/
I remember touring Apple Park not long after it was opened and thinking that it made everyone else's offices look so... dated.
Dear fossil fuels: goodbye Sincerely, our home
A data pipeline for all things home energy related
That's certainly what I (aim to!) do too, I just think that's still like .. writing with a pencil while trying to hold the paper still on a moving platform, or in mid-air (even with a backing/a notepad), or something.
and your firewall is default/deny.

(I frequently forget to say this often but always configure for one at the start.)

Corporate Bonus if you can scrub all TLS traffic at kernel level while running a transparent HTTPS/TLS proxy at the border gateway: that is, force all TLS through that proxy by payload detection mechanism and not just by port numbers.
I've been dreaming of a way to compost my dog's waste. It's against city ordinance, and widely discouraged for standard compost bins. Mushrooms could be an interesting approach. But the city ordinance stands. And handling it in the deep Midwest USA winters would be difficult.
What products did you ship last year?
There's a weird bug on the page. Clicking a word in the second half of a paragraph causes that entire paragraph to repeat and get appended at the ended of said paragraph.
No I'm not. This outage affects Github, not git itself - but if you're storing your git repos (and automation) on Github then you cannot git clone, push etc... from or to them - all of which are critical to CI/CD.
They meant using the equal operator, because floating point is inexact and can produce different representations for the same number depending on how it was obtained. Greater and less than are fine. Equal is usually implemented by seeing if a number fits inside a tight range.
Yea, I ended up using an IOS SSH app to a server and interact with the synced folder. Not perfect, but works.
Subtle reminder: he signed the 44B offer while trying to play chicken with the board and extort them into changing Twitter in ways he wanted, but without intending to actually buy it. He later tried to repeatedly get out of the deal, but Twitter had done their homework, so he was forced into it, realizing he'd be out at least a dozen billion for failing to go through (not just the $1B fee everyone is talking about).

The scammer got scammed.