skysight-inc/HackerNews huggingface dataset:
One local time zone problem I hadn't anticipated, in an early startup...

I made our launch networked factory stations use UTC, to aid debugging with the various servers involved. (Such simplifications help, especially in debugging and incident response, especially when you don't yet have centralized observability.)

But the first time I had to investigate a problem remotely, on a station at a factory in Asia, the timestamps from various systems weren't lining up. I quickly realized that the station clocks had somehow gotten set to local time there.

Turns out that, when some of our team flew out to install the stations in the high-end factory in Asia, factory personnel noticed that there was a UTC time on screen for a few seconds during station startup, before it finished booting into the fullscreen appliance UI.

Factory personnel were so alarmed by a factory machine with the "wrong" time, that my people on the ground made the decision to change it to local time. (I suspect it was alarming because some other factory machines had operation procedures for personnel to ensure that the time is correct.) And in all the excitement of a successful launch, they forgot to tell me.

Maybe an additional reason against a single time zone: aoption resistance from people who don't understand, or who just like the local time.

For example, I can imagine many people stubbornly using "shadow" time zones for various purposes, and only using the official time zone when required (and this being error-prone).
Using their own "ethical proxies" to upvote garbage. Very ethical, guys! Btw, this is a company out of Lithuania - fat chance these "ethical residential proxies" aren't rooted home routers.
> model the reality bending capability of people

Much to the disappointment of my teenage self who would really have liked the shape-shifting spell to work, I don't see any evidence we can bend reality.

--

> consciousness?

I think this is a red herring. We can talk about P-Zombies, but we lack the means to determine if some random human (let alone AI) is one.

> the unknown?

> https://en.m.wikipedia.org/wiki/Necessity_and_sufficiency

> the misunderstood?

What about them? I still don't know why these are an interesting problem in this scenario.

> https://plato.stanford.edu/Entries/perception-problem/

Isn't one of the big criticisms of AI at the moment the fact that they do this slight more than humans, and we can point and laugh at them?

(While conveniently forgetting that half of us were Yani and the other half Laurel, that half of us were blue and black while the other half were white and gold, etc.)

> The Science of the Gaps will do I suppose?

A reference to the ever diminishing role for God in the late 19th century onwards, but I'm not sure how you're using it here?

> Culture could do it though I think.

Banks? Sure, but fictional.
Yeah, I see that you live in a western-media bubble.

The israeli genocide and countless crimes are well documented for anyone care enough to see.

But if you want to live inside your comfortable bubble, that's fine too I guess.
I have always seen people using @dang and honestly it has always worked, he even thanks me sometimes.
> It's a nice idea, but I find the conceptualization/implementation of it to be rather inelegant.

Everyone is welcome to their own opinion and sense of style. Our world is better off for the one that you hold.

> Just give me something approximate to ocaml syntax with low level memory control and an affine type system.

Eh, the beggar cannot also be a chooser. Your desire may be good, but no one is compelled to make it a reality. Our environment experiences a glut of frontend and backend libraries for building your own programming language. As well as guides aplenty to show you the way.
Portland, OR (NW Oregon in general) also has a lot of planted Giant Sequoias! So it may not be strictly true that they are super picky. I imagine as climate warms, the PNW will become a better spot for Sequoias. Unfortunately at the cost of trees that like it cooler and wetter e.g. Western Red Cedars.

I would plant one, but their trunks get huge quickly, and I see a lot of busted sidewalks around here due to that.

https://www.portland.gov/trees/sequoiadendron-giganteum
>Humans are, by the mere definition of the word, “intelligent”.

Humans are absolutely not intelligent by definition, that's why words like "unintelligent", "dumb" and "stupid" exist.
...this link is not a new RCT. It is an article about the Cochrane review which we all read a long time ago.

And, despite the (somewhat reasonable) chagrin expressed by the authors, the Cochrane review did indeed show that masks are largely ineffective (and cloth masks, completely so) at stopping viral transmission - the link is right there in the article to which you've linked.

What we need are sober, old-school RCTs powered to assess both filtration and source control across individuals (and sure, some for community transmission as well). And then we need them replicated. And then we can finally stop this ridiculous 'debate'. Today's humans are the most scientifically literate society in history; there's no reason we need to make important social and political decisions with such shitty data.
Related release about the deal:

Figure Raises $675M at $2.6B Valuation;Signs Collaboration Agreement with OpenAI

https://news.ycombinator.com/item?id=39553560
Great, now there will be even more people botting every single online game.
I don’t like Trader Joe’s either, to be fair.
Oh, I imagine you are using some editor created by the kind of genius that invented autocompletion on space or on enter. Those are at their best when they decide that what you write is just a hint, to be match by proximity instead of literally.

Autocompletion doesn't need to be braindead. Unix terminals have had it for decades, and I have never seen anybody complain.
We need to clarify first if we're talking about CAP or real life. CAP requirements are absurd. To quote Dominick Tornow from here:

https://blog.dtornow.com/the-cap-theorem.-the-bad-the-bad-th...

"Note that Gilbert and Lynch’s definition requires any non-failed nodenot just some non-failed nodeto be able to generate valid responses, even if that node is isolated from other nodes. That is an unnecessary and unrealistic restriction. In essence, that restriction renders consensus protocols not highly available, because only some nodes, the nodes in the majority, are able to respond."

Partition with a capital P doesn't really move me as our experiences contradict its assertions, as the model it bases its statements on is fundamentally broken.

So let's talk about partition in the real world. Practically speaking, partitions mean that some nodes experience high latency when communicating. If you need to update some record in a specific data-centre and you can only to talk to that place via a single channel and that channel is disrupted; yes, you're going to experience a slowdown or even halt. Nowadays however, even widely used consensus-algorithms can mitigate that, and the delinquent node will eventually be dropped from the group if it causes enough problems. We don't do anything very different in this regard. Since our deterministic ledger can be replicated across multiple data-centres (as no nodes in it create original information), and since observers will only rely on records the ledger already sent out and since the only reason you would need to talk to this ledger is if you need to modify a shared record with other observers, you can always pick a different ledger-instance, there are no "master copies" anywhere. Remember that we can stream time-information with the data, so the client can always calculate its "point in time" and reconstruct a (even globally) consistent view of the data it has.

Sure, if you choose to centralise all your data behind a single flaky connection, you're gonna have a bad time. The point is that the setup we built allows you to not need to do that and it does that transparently, behind SQL semantics.
I think this is a really good question. Let me offer one possible answer:

It might not be necessary or useful to have multiple aggregators right now. However, I do feel better knowing that if Bluesky the company goes under or changes to a degree where I'm not happy with their decisions, it's possible for someone to stand up a second aggregator.

For that matter, if someone's a free speech absolutist and if they care enough about it to spend the money, they could stand up an aggregator right now with more permissive standards.
Think about what you are saying here:

> I'm not interested in discussing the balance of industry vs government control of our lives.

With you, some level of corporate or government control is inevitable - it is assumed in your answer. This control is (immorally) inflicted on everyone.

I want no extra governmental or corporate strictures. Where's my option? There is none. That's democracy! With laws served up to you by unrelated bureaucrats.
The link should be changed to:

https://deepmind.google/discover/blog/sima-generalist-ai-age...
That no longer appears on the page and for good reason. That restriction would be illegal.
House passes bill that could lead to US ban of TikTok
https://hedgedoc.org/
Well, lots of time zones being an infinite number of time zones in that thought experiment.

You see, not every event has to specify the exact offset because in practice:

1. If you’ve got coworkers who are a minute late attending a meeting, no one cares. Or, they show up four minutes early instead of five.

2. This level of formality (keeping track of home and office time) is a ruse. A minute here or there is constantly lost or gained with traffic, tasks or luck.

When that precision is needed, I’m sure your calendar + gps on your phone can give you the exact nanosecond you need to join the Zoom.

For humans, time is relative to the individual. When absolute coordination is necessary, computers step in and nudge you along. Turns out they’re good at that.
in order to use some banking apps you'll need to unroot your phone and modify 2 ROM’s properties text files manually: default.prop and build.prop
/system/build.prop
/system/etc/prop.default

https://www.reddit.com/r/LineageOS/comments/o2lswm/banking_a...
Or https://devenv.sh
Interesting.

Wouldn't linters help get the benefits (simpler code) without the drawbacks (of making the code harder to read), and also somewhat enforce the rules you like?
Neural Exec: Learning Execution Triggers for Prompt Injection Attacks
If Dota was twice as complex, do you think an AI would be more than 2x better or less compared to your scenario?

I suspect the more complex the game, the bigger the advantage over humans.
Show HN: Nuanced – a tool to detect AI-generated images
We built a tool to detect AI-generated images: https://trial.nuanced.dev/

As AI-generated images continue to blur the line between real and artificial, the risk for fraud and misinformation increases. Not being able to trust what you see online threatens whatever level of "realness" or authenticity online material has, including user profile images, documents, IDs, or media images.

Our models are trained on various architectures, such as Dalle-3, Midjourney, and SDXL, with continuous data integration from the latest AI image generators.
Cat Bonds and the Batman Curve
Also for Z80 you could translate the assembly code into machine code by hand quite easily. With 8086, not so much.
Venv for python with a gui ??
In 99% of settings I am a big fan of auto-formatting as well, though there are definitely cases where I feel you're better off on your own-- the big example that comes to mind is assembly coding, I think the standard formatting there is very restrictive (since it dates back to the early days of more limited editors) and customized formatting can aid understanding significantly.
That sounds more like a communication problem within the company then a time zone problem?
Buying physical media still helps fund the perpetrators of this shit.
I'd posit that neither is particularly healthy.

Keep in mind that "standing" in this case means standing in one place on a hard floor. If you're comparing to the typical tech worker standing-desk setup, most such workers have done a lot to get the ergonomics of that setup correct, i.e. getting surfaces and screens at the right heights and adding a pad to stand on, whereas the ergonomics of a cashier station are geared toward the customer, not the cashier. You could address this partly by adding pads to standing surfaces.

There's a larger problem here though, which is that the evidence behind standing desks being beneficial is... not good. There's lots of evidence that sitting is bad, but only in comparison to not sitting. That hides the fact that "not sitting" includes a lot of different kinds of standing--walking around is not the same as standing in one place. What studies we have of standing desks document back and leg pain as a possible side effect, and that's usually the best case of standing in one place. If there are any studies of standing in one place on a hard floor for hours, I'm not aware of them, but I'm not convinced that particular case of "not sitting" is much better than sitting.

In short, the problem with sitting is probably that you're not moving, not the particular position in which you don't move.

Talk to your cashier, ask how long they've been working there and if they experience pain from standing, and with the exception of new employees or employees under, maybe 25ish, I can almost guarantee the answer will be "yes".
There are regular comments by him, every few days, asking people not to rely on @dang. https://news.ycombinator.com/item?id=39662522
Why a 1-Cent Postage Stamp Could Sell for $5M
Sitting also provides a very clear indicator to the customer that the cashier is NOT going to walk around the corner and bag their items for them.

Everywhere else with standing cashiers that I know of (besides banks, which more and more have stooled or sitting tellers) have a mat to stand on and will bag.
This presents itself as a slam dunk, but it isn't. In short you can do this visually on a computer.

I currently have a widget in my calendar dropdown with the timezones of several cities that occasionally need to be tracked for meetings.

Each one has a little clock face, that could show day/night times in other cities. Like this: https://cdn2.vectorstock.com/i/1000x1000/16/61/clock-day-and...

I think iOS used to have it as well. Gnome2/Mate had a fantastic day/night view of the Earth in its calendar widget as well. Didn't seem to make it to the new dumbed-down desktops sadly. I've used xplanet for this too.

Even in the old days, you should have looked it up before placing an international call.

Anyway, you're going to need technology to solve this one way or the other, especially when meeting folks halfway around the world. So everyone using UTC is not an impediment. Just a different way of working, which is the hard part. But not everyone has to change at once. Could be one organization at a time.

Not even saying I'd prefer it, but it is reasonable to try.
How to Get Out of Vi (2015)
It’s not just about time.

During the teenage years while the neocortex is growing, teenagers are practicing and honing fine motor control. Video games help develop that, as well as learning about social interactions, emergent system behaviour and strategic vs tactical thinking.

I’m not saying they don’t have downsides, but there are some upsides too.

Sure, if you’re an addictive personality using video game escapism to ignore your life problems, that’s a whole different thing (and even without video games this type of person would just find another form of escapism)

So I don’t agree with your generalisation of games as “time wasters” - maybe for you they are, but not for everyone, I don’t play them anymore very much (just a bit of chess every now and then) but they provided me with a lot of understanding in my formative years
A Better Bookmark Experience with Raindrop.io and Logseq
Generally I editorialize the title when I make submissions in the "new" queue if the actual title is very dry. If I had posted the actual title of the blog post it would be even farther behind the tweet version. I may update the title now that it's on the front page, unless dang does it first.
I'm suspicious of whether that will actually make games more fun or interesting.

For example, the more realistic human character animations get, the deeper we seem to fall into the uncanny valley. The fact is that humans themselves naturally move in ways that look weird when put on a stage, so mocap tends to look sillier the better it is. Which is why we have theater, where movements are exaggerated.

Anyway, with AI characters, I expect it will actually be more frustrating and boring than not if they have realistic lives and schedules. All the littler irritations that we deal with and accept form real people just become friction in a game. Games, as movies and books and shows and plays and illustrations, don't need to be more realistic to be better. Media is caricatures of real life, with important information intentionally presented to give us a good experience. Taking inspiration from real life can give us better mechanics but blindly mimicking real life will give us shitty games.
People who carry a firearm on their person daily are a tiny minority overall - but they're vastly outnumbered in my experience by people who keep a pistol in their vehicle.

I don't advocate for off-body carry in general, but I'd expect it to be far more likely than you might think for there to be a handgun available to someone in a car.

... and yes, as the GP mentioned, firing it in that closed space would suck. It's going to take multiple rounds to weaken safety glass enough to get through it, and it's going to be loud. As a heuristic, I'd say you should assume that if you have to do that, you're trading your hearing for the rest of your life.

Firing a handgun inside a vehicle, even with both ear plugs and electronic muffs, is enough to make your ears ring.
I'm working on something similar (i.e. a content editor for developers) with Vrite, that's already open-source: https://github.com/vriteio/vrite

It's not the same as acreom (leaning more towards a CMS-like platform with API, real-time collab, etc.), but is well-suited for e.g. creating knowledge bases.
The question is which redwood. I think the lumber redwood are the coastal redwoods and not the giant sequoias.
It would be cool if you can more functionality like adding images easily and so on.

Look at this:

https://twitter.com/karpathy/status/1751350002281300461
I'm really not a fan of "all-in-one" software. It works as long as you solve mainstream problems. In niche situations you would have to depend on lang developers to support the thing you need.
I never got it to scale, but perhaps it got better? See:

https://news.ycombinator.com/item?id=38508147
Does this one have a good REPL experience? Like interactive as well as “eval top-level/region/etc” features
The No Man Sky's "shoot the asteroid" demo is highly disturbing.

They really should not ask any AI agent to shoot at anything. Especially when it's not very good at it.
you can buy your own servers, however it's hard to say whether or not I would recommend that. If your load is fairly constant there isn't any reason not to buy enough capacity to support your base load with AWS spinning up only during peak hours.

If on the other hand your load is highly variable investing in your own infrastructure may not be worth it. The other thing to factor in is how much it costs to maintain 99.99% uptime, that would require 2 locations able to handle your base load, so that's 2 fully redundant stacks of equipment out of pocket, in addition to 2 internet connections. If you go with two datacenters where you rent Rackspace you need to calculate their costs and make sure the contract doesn't have any nasty surprises, and includes onsite support.

The numbers aren't necessarily smaller for a fairly low load, unless you just throw a server in your closet and cross your fingers. But then you are at much higher risk of downtime. Also you need to account for someone to maintain that server.
Are folks using it to distribute propaganda? Yes.

Is there evidence - any evidence whatsoever - that CCP or bytedance is using tiktok to push a particular flavor of propaganda? No.

That said, TikTok's moderation is quite unfriendly to LGBTQ+ and Palestine creators (even though they find ways around it).
Show HN: I created a clone so I can skip daily stand-ups
As per the article, the AI is following basic instructions and performing one off actions, not carrying out strategies/following goals. They mention that is future research.

Essentially, converting prompts and images into inputs for a short task.
Our work on security is entirely in service of privacy. Security is not the main goal of GrapheneOS. Highly usable privacy is the main goal of GrapheneOS and security is part of providing it.

The goal of GrapheneOS is providing a highly private, secure and usable mobile OS. It's not specifically focused on security above all else and we work on security in order to protect privacy. A huge portion of our work is on privacy features. We add many significant privacy features including Contact Scopes, Storage Scopes, per-connection MAC randomization, per-connection DHCP state, per-app Sensors toggle, per-app Network toggle doing more than blocking direct network traffic and much more. We have in-progress work on many privacy features including App Communication Scopes, improved state partitioning for Vanadium (privacy/security hardened Chromium) and a lot of other things.

We do a massive amount of work on usability including the whole sandboxed Google Play compatibility layer. We recently made an entirely new setup wizard and plan to replace all the legacy AOSP sample apps with better implementations. Our priority is the OS itself so replacing apps with multiple existing alternatives available simply isn't as high of a priority as improving the privacy, security and compatibility of the base OS. People can simply use another Contacts app so we don't heavily prioritize replacing the AOSP Contacts with our minor changes over focusing on important privacy and security features such as App Communication Scopes, 2-factor biometric unlock and a proper duress PIN/password without bypasses like existing implementations which are 3 current high priorities.
> Sometimes there are situational choices that autoformatters cannot comprehend.

I haven't stumbled across that. Could you give an example?

> I also failed to make formatters follow the style choices I use, they were just not configurable enough.

That's kind of the whole point. I love, love, love Python's Black formatter. In my opinion, it chose the wrong default for quoting strings (i.e. it re-writes single quotes as double quotes), which irked me until I gave up and accepted it. In return, I no longer have to put up with my coworkers' insane style choices, just as they no longer have to tolerate mine. With a single addition to our CI pipeline, the days of dumb arguments about the "right" way to format our code came to an end.
I really hate it when text select is disabled. Often very useful, e.g. for reporting.
They are about as much a time waster than any other hobby really