skysight-inc/HackerNews huggingface dataset:
I mean, almost every real number is not computable. If you stick your hand into a grab-bag of reals, you will grab an incomputable number with probability 1. As another commenter mentioned, the computable reals are countable, and the reals are very much not.

There is a whole field of mathematics striving to see how far you can go, analysis-wise, with just computable numbers.[0]

[0] https://en.wikipedia.org/wiki/Computable_analysis
I believe can actually just type "earthquake" and it will show the same result!
Bluesky Takes a Big Step Forward
FIRE - https://www.investopedia.com/terms/f/financial-independence-...
What do you mean by vector math types/functions/operators? There's built-in SIMD stuff but that may not be the right thing.
Got the ShakeAlert notification; but felt no quake. Nothing noticeable at all in San Francisco/Twin Peaks. It’s all bedrock up here.
> Yet Figma actually does offer desktop/mobile apps so I'm a bit confused by how Figma helps make your point haha

Im not parent, but given a choice between native app & web app, I'd take the browser. That it's possible at all to have parity is amazing
You have an assumption that each number needs a unique program to compute the digits. You'd need to prove that statement first.
I read this while taking a break from trying to find the problem with our pnpm/turborepo monorepo. Works in a clean devcontainer, fails in CI, fails on multiple dev machines.

Currently. I’m skeptical.
Yup, this. I see how my statement was ambiguous.
It does not. Not even sure it's possible.
Google Pixel Fold leak reveals key specs of firm’s first foldable phone
Levine's continuing analysis of the twitter fiasco has also been a life saver trying to wade through the bs spun by seemingly all parties orbiting the deal.
They need some AWS/Google/Azure, screw OVH /s
You felt it in Berkeley?
I’d wager that the web app is far more popular than the desktop app, and that the web app is one of the primary reasons for Figma’s runaway success.

I work for a company that uses Figma and I haven’t seen anyone use the desktop app. I didn’t even know there was one.
Here's what used to work for me, if you do all of that at the same time you'd probably be fighting to stay awake after 10PM

-as few stimulants as possible, the optimal amount being exactly 0(no nicotine, no caffeine)

-no eating a few hours before sleep

-working out in the morning/afternoon(lifting and cardio)

-melatonin before sleep

-blue light glasses

-night mode on all my devices(warmer colors or even just devices turning off automatically)

-complete darkness and no distracting noises

-cold room, I've seen some people recommend 16°

-orgasms every evening

-mindful meditation before sleep

-no alcohol

-earplugs or relaxing binaural beats in comfortable earphones when trying to sleep and an eye mask

-the best bed/blankets/pillow you can buy

-a relaxing shower/bath

-a short walk in nature in the evening

I also used to take a bunch of supplements and very good food, and while it wasn't aimed at improving my sleep it probably improved my health/wellbeing which indirectly improved my sleep

If nothing works then indica weed, vaped or in edibles taken a few hours before going to bed lol
Tipping was the first thing I thought of when reading the parent post. I'd call it another cultural outlier. Most American retail stores and activities do not involve tipping. The one big exception is eating at non-fast-food restaurants.

Meanwhile though, literally everything done by people living in young urban "gentrified" areas seems to involve tipping.
No idea, but probably much less than 88%.
This is unfortunately a bit misinformed. You are thinking of a specific JavaScript implementation (browsers). The language has heavy adoption in the native space. Check out Node.js!

JavaScript does interact with random C libraries :)
I never said that :) I just have other priorities that I personally rank higher.
Because they were never designed to be a security mechanism. Containers, the practical combination of some Linux namespaces, were created as a way to easily package, distribute and ship things. They weren't designed to be a sandbox or limit what the process inside of it can do.
lol this feels like exactly the opposite of what's going on at my company now:

1. Hire the best engineers: fire half the dev team and replace them with offshore devs for pennies on the dollar
2. build solid foundations: cut every corner possible to get whatever crazy deal our sales team made yesterday
3. tracking metrics: uptime? who cares, CI taking too long? whatever

well, I suppose our teams are small when they literally fired everyone and made the "team" so small it literally couldn't be smaller or it wouldn't be a team (there is 2 of us now). Hardly independent though since we're shackled to the whims of clueless sales drones that have zero clue how building software works.
Looks impressive, but proof will be in the actual day to day dev experience and configuration, not the perf. Vite and esbuild are fast enough, and I feel the winner will be more about usability, docs, easy config, etc.

That aside, it is just so frustrating and sad that this just continues the fragmentation in the JS build space. It is beyond exhausting at this point. I don't care about vite vs (or with) esbuild vs turbo. I just wanna `script/build` or `yarn dev` and not think about it anymore.

It seems like collaboration and consolidation around common tooling is just impossible and not even considered a possibility at this point. We are forever stuck in this world of special snowflake build toolchains for damn near every app that wants to use modern JS.
It should be possible to translate exactly what is being said by lip readers.

There is full visibility of Xi’s mouth the entire time.

Lip readers surely exist who can exactly guess.
I flew to the bay area for the first time in spring of '90 for a business trip. I was driving in my rental car with my paper street map(s). I went to cross the San Francisco–Oakland Bay Bridge and, well, a lot of was gone because of the quake.
Doesn't mention Conway's Law or the Scientific Method, Continuous Feedback or Composition.

Scaling an organization uses the same techniques as creating scalable (computer) systems. Systems are systems.

https://en.wikipedia.org/wiki/Conway%27s_law

If your systems relies on "hiring the best engineers", it is operating Open Loop. All Open Loop systems will suffer catastrophic failure at some point.

Grit is a dog whistle for grind. You can be tough and resilient and flexible w/o being gritty.
> Saying that Zig does not have function colors because it hides them at compile time is a little disingenuous, in my opinion.

Not to impugn your character, but I feel the same way about the points you're making.

> So you admit that Zig does have function colors?

Not in any meaningful way, no. Again, the runtime representation of async vs sync functions is unavoidably different, and has nothing to do with the language. The fact that Zig lets you write one function definition that can be called in sync vs async contexts (unless you're specifically choosing to do sync vs async things) is what it means to be colorless!

> Also, according to the actual Zig documentation, which I quote in my post, there is only one version of every function; if a function is used in an async context, even if it is sync otherwise, the compiler makes the function async and continues on its merry way, so there is only one runtime representation of a function.

I dunno if that's accurate? Someone with more knowledge of Zig internals would have to confirm, but I assume if the same codebase uses a function in each context it'll be monomorphized into the specific version needed, same as generics. I don't think that's contradicted by what you quoted.
Employers should prioritize retention over hiring, study suggests
Chaitin computed the first few bits of a LISP based version of Omega in one of his books. For my own lambda based version of Omega I was able to compute the first 4 bits [1].

[1] https://tromp.github.io/cl/Binary_lambda_calculus.html#Halti...
His hair didn't become incredibly greasy and knotted over time? I feel like my hair would be the biggest problem. Skin usually adapts pretty quickly
I disagree. Some companies just torture people, there is no evil plan behind it.

Some pitable excuse would just paint target on OP's back. Burnout is normal in companies with high churn, they have process to cul weak members... And OP does not have any holidays or health benefits, tough sh*t..

The whole point is to fly under radar, until OP finds new job. Detaching from company politics, staying invisible. Some excuses and more communication push you deeper, in oposite direction.

Also company probably has no real way to measure productivity. People who understands
code base left long time ago. Managers are just paper pushers. The only information management has is from OP. Some excuses would be admission of slow down.

Ideally this productivity drop would be spred over several weeks, maybe after major holiday, reorganization or reassignment.
It's funny because I also had this memory of walking around inside the ship when I visited the museum as a child. A few years ago when I visited again I realised it must had been the interior mockups I remember.
Obligatory XKCD: https://xkcd.com/723/
I started trying to learn Zig as my first non-GC language but switched over to C because I had trouble finding learning resources for Zig, while there are plenty of books and C code written to ISO standards to learn from. It felt like a language for people already proficient in C/C++ and systems programming.. but props to you for proving that wrong!
It's highly imprecise, but not impossible. The alerts are already "this is over some threshold of ground acceleration", so there's an inherent severity estimate in the alert going out at all.

But expected intensity information isn't included because:
1) it's still a very imprecise estimate at that time,
2) actual intensity of ground motion (what you care about) will vary dramatically by location, and
3) people don't deal well with that kind of information in an alert that is really meant to be "hey, take cover".
Now I'm confused. [0] states that food and fuel are exempt for the "Core Inflation" metric calculation because they are historically volatile.

> Core inflation is the change in the costs of goods and services but does not include those from the food and fuel sectors. This measure of inflation excludes these items because their prices are much more volatile. It is most often calculated using the consumer price index (CPI), which is a measure of prices for goods and services.

> The Fed prefers to use the PCE index rather than CPI since PCE tends to provide inflation trends that are less affected by short-term price changes. Also, the Bureau of Economic Analysis (BEA), a division of the Department of Commerce, calculates the change of prices by using existing gross domestic product (GDP) data, which helps to determine an overall trend in prices.

[0] https://www.livetradingnews.com/what-is-core-inflation-and-w...
Of course there are pros and cons to this position, but just to state a con: anti-virus is usually running with elevated (if not maximum) permissions, tends to load basically any input and once in a while tries to be clever by using self-written interpreters or something along the lines of that.

Using a native AV that does basic heuristic detection is fine and dandy and usually comes with a low performance penalty and requires few rights that other parts of the system do not already have.

Using a non-root user for the daily grind and switching to elevated privileges only if required,
running a PiHole (or a software adblocker) and monitoring outgoing traffic using Littlesnitch or LuLu likely comes at a better attack surface/performance/security trade-off, though, AFAIK.
The problem is that you are likely to see very similar rates even after all those years.
Oh I definitely don’t mean it as a negative thing. The game is just really hard!
Seems like there's a bunch of problems:

1. It relies on later stages to do things like convert to native values or remove whitespace. As such an intermediary can't really "understand" the document very well. E.g., if you are using this syntax to express key/value then you can only know the keys if you know the whitespace rules that will be used to interpret the keys.

2. It reminds me more of XML than S-Expressions. If you are familiar with the ElementTree [1] representation of XML then these parsed examples become more familiar, just a prefix instead of suffix, and no attribute children.

3. Connecting whitespace and XML, I suppose this explains why so many XML formats ended up only using attributes for text values, and used tags and children only for nesting. Otherwise interpretation requires understanding how to interpret these mixed documents with unclear whitespace rules. But Jevko doesn't have attributes.

4. If an intermediary can't understand it then why define a syntax at all?

5. I don't see any escaping rules so including literal [] seems... impossible? You can essentially deserialize the parsed value to reintroduce them, but that's weird and awkward, and only works with balanced brackets anyway.

6. No way to embed binary data, or otherwise uninterpreted data. JSON has the same problem. Base64 encoding things is yet another way in which the data is not interpretable by intermediaries.

I think XML shows that "just strings" isn't fatal, and lots of things get jammed into strings in JSON too, you'll never be able to reproduce every type in a general purpose serialization format (I guess XML with namespaces attempted, but also clearly failed). So I can see a place for something that defines a tree where all leaves are strings. But this doesn't seem like a very clean way to do that.

[1] https://docs.python.org/3/library/xml.etree.elementtree.html...
Is it certified for Windows 95 or 2000?
One comparison is here: https://jevko.github.io/compactness.html

To see how it's syntactically simpler than S-exps note that the grammar of Jevko can be condensed into one short line of ABNF:

Jevko = *("[" Jevko "]" / "`" ("`" / "[" / "]") / %x0-5a / %x5c / %x5e-5f / %x61-10ffff)

The grammar of S-exps on the other hand, I won't quote here, but I assure you it's much more complicated. How much depends on your flavor (Jevko is also simpler in this regard: there is only one flavor, clearly specified).

There is no (intended) ambiguity around whitespace in Jevko: whitespace does not occur explicitly in the grammar. Whitespace characters are just characters. This is the defining feature of the syntax.

For this reason Jevko is more low-level: if you want to treat whitespace in some special way, you have to do that yourself. Although for most use-cases this is very similar and simple, e.g. https://news.ycombinator.com/item?id=33334314

But the point is that you can also leave it as-is, e.g.: https://github.com/jevko/queryjevko.js

or do something else -- it's up to your format.
I really want to like this kind of devices, but... seriously, this keyboard seems very uncomfortable to type with, and the "pad buttons" to play games look even worse!

It's an interesting little computer that I would love to try once, but very likely wouldn't spend money on it.
Looks interesting, and potentially something I wouldn’t mind paying for if it works well. However, there’s a steep price differential there because you require “20 users minimum” for your $5/user/month plan. So the price goes from free to $1200/year, which is a pretty sharp step upwards.
I compare it to buildings a lot, especially when explaining things to non-technical stakeholders.
It's even better than that.

In the long term, the chip ban will greatly reduce China's AI/HPC capabilities. And those technologies are critical for leading in most areas - science, r&d, robotics and manufacturing and others.

This would have the effect of letting the west, to become the economic leader again. I'm sure it's a good future for the Semi companies.
should have [2018] in the title?

previous discussion https://news.ycombinator.com/item?id=17787275
As I understand it, assembly is also the most manual part of the process, so presumably the wage differential between China and India favours the move regardless.
Never had a flu shot, never had the flu. Some people just don't get the flu.
You seem confused. There is no mysterious GPL only label in the kernel. The whole thing is licensed under the GPL v2 period. It’s just that some ABI were broken for an unrelated reason as Linux doesn’t guaranty ABI stability and OpenZFS can’t find an alternative which satisfy their dependency needs. The kernel team doesn’t care about out of tree code when making changes. It has always been the rule.
I didn't really feel it in San Mateo, but the blinds were swinging in the office so it was definitely moving some stuff up here.
Yes, that's sorta fundamental to how X works. Window managers aren't at all responsible for drawing the contents of the windows.
> Python 3.11 is up to 10-60% faster than Python 3.10.

I’d be so curious to hear how much faster it is than Python 2.4 (back when I first started)
maybe because pdf vulnerabilities are found so often that it would unleash one zero day a month
Thanks so much!

> Most SaaS providers would rather push data than have it pulled, is what I'd imagine. Are you hearing otherwise from folks you've been speaking with? For instance, in serverless environments (which is the poison of choice for me, at least), pull is much harder to accomplish, even where possible.

We totally offer Push based as well, all of our workers are just using the same API endpoint to push the data we collect to, its just not the strong highlight since other providers have push offered.

We went down the pull path since during our discovery process about 6 months ago, we were chatting with some DB and Infra companies who just built out and integrated with a billing provider. All of them mentioned being annoyed with the amount of engineering commitment it took for them to measure, persist, and then transmit the usage data to the provider for them to handle the rest. So we wanted to offer a pull based solution to help with this need.

You're totally right that its architecture dependent, and we don't want to cause a huge load (and cost) on a serverless platform. So for some dimensions, push is definitely an option.

> Apparently, a BigCloud, in perhaps a case of NIH, ended up creating a highly-parallel event-queue as a direct result of the scale it was dealing with: https://archive.is/IUKvT Curious to hear how you deal with the barrage of multi-dimensional events?

So to dive into more technical detail, we have an event queue where our workers drop data off to and then it gets persisted into our ledger, by workers reading from the queue. We have the queue hosted by a major cloud platform and its offered as a managed service, similar to kinesis.

For the different dimensions, we have a standard dataformat they need to be in before we can persist them, this transformation typically occurs on the client side, though in some cases we can transform the data from an open standard format (Prometheus https://prometheus.io/docs/concepts/data_model/) to our backend format.

At a criminally high level, this data format consists of a measurement, a value, a field, and a set of metadata tags. Our ledger is built on a schema-less Timeseries DB, so it doesn't matter if the same measurement has a different set of metadata from another. This gives us a boat ton of flexibility when it comes to how we want to query data.

For the different types of dimensions and their different data types, it becomes an issue when wanting to aggregate on them. For instance, a you may want the Total of one dimension, however Average and Count wouldn't make any sense.

To get by this, clients need to tell us what Aggregation method to use per dimension.

This really isn't present in the demo, since its a fairly simplistic version of the whole app, but its a requirement we have implemented into the API.

> 2 cents: Fly.io Machines is a tremendous platform

Thanks for the hot tip, looks awesome! I'll definitely check this out and how we can sneak it into our product.
alt="" has a specific and intentional meaning which is _always_ better for accessibility than an unset alt

It's 6 extra characters, you'll survive.
I'm a huge fan of esbuild. Whether it's 'the best' at everything or not, our build process is now so simple I can understand it with barely any effort. Webpacker never gave me that confidence.

Not mentioning speed at all here, it was never my biggest concern.
It was the default for a while for Rails apps and Wiki tells me GitHub & Dropbox adopted it before moving to Typescript. I think for Rails shops it was popular and there was a brief time where it looked like it might become the thing to do on the front end. But I don't think it ever got the interop with existing JS right.

Ultimately, improvements to JS came along and took the wind out of CoffeeScript's sails. Then TypeScript came along and killed whatever interest remained.
[Original research]
In that case, you have either the opencore/hackintosh route or you can simply run on the last compatible OS.

There is a market for nicer-feeling Chromebooks, so ChromeOS Flex is a partial remedy for e-waste.
I'm missing the part that says that the employee is allowed to use such phone primary for private means.

Of course a company (or legal entity for that matter) can get some tax benefits. That's not the point.

The fraud is when you declare to buy / use something for the company but use it privately. You just lying about the expenses.

Like I said, I know that "everybody" with a company does that. But in their position I would not tell anybody openly as this is quite clearly tax fraud.

In Germany this is even more complex as you can use some things in parts privately. But than things depend on how the "exact percentage" of private use is…

Of course nobody can really effectively control such things. The laws are actually made to help "some special people" to avoid paying taxes.

But things are very complex, and it's very easy to commit tax fraud by trying something like that without professional legal backing.

For that reason there is a whole "industry" helping people to avoid taxes!

But by just buying stuff "for your company" and using this stuff privately you will get in trouble pretty soon. I don't think this is different in any country.
Creating a spatial IDE for GIS developers
Philips used to make lightbulbs, radios, cassette players, MP3 players, and television sets. They make a lot of medical equipment: CPAP machines, ventilators, ultrasound machines, X-ray machines, MRI machines, those automatic defibrillators you see on the wall in public spaces.

ASML and TSMC, which make iPhone chips, were both partially owned by Philips until being sold off. Philips still has a stake in NXP, which makes chips for cars, phones, and industrial devices.

They also sell toothbrushes, electric razors, coffee machines, and breast pumps. And they still sell lightbulbs (but now with Wi-Fi).
> If after these steps the program hasn’t halted it means it’ll never halt (by the definition of the Sigma(n))

This argument doesn't quite work since Sigma(n) is the maximum number of characters printed before halting rather than the maximum finite number of steps of computation. The argument would work for the other flavor of Busy Beaver though.