skysight-inc/HackerNews huggingface dataset:
I don't think so. If that was the case, then for any program we could compute its length n, and then ask the all-knowing oracle the value of BB(n). And knowing BB(n) for any n we could solve the Halting Problem, but we know that the Halting Problem is unsolvable. Therefore we must conclude that such an all-knowing oracle can't exist.
A scenario where all cellphones have this capability sounds a lot like the scene at the end of the Dark Knight.
https://www.britannica.com/event/San-Francisco-earthquake-of... - It was Oct 17, 1989
If you want early earthquake alerts, the Governor’s office sponsors UC Berkeley to make the MyShake app. This app could save your life!

https://myshake.berkeley.edu/
iOS 16.2, iPadOS 16.2, and macOS Ventura 13.1 Betas Introduce Freeform App
Android is partnered with Shakealert but Apple has not. There are third-party apps that you can get for iPhone.

https://en.m.wikipedia.org/wiki/ShakeAlert
Because many of us live in the area and therefore are deeply impacted by things like this.
> Tests increase your confidence that code is correct, and they are much cheaper to do that formal verification,

Your confidence as SW engineer. The purpose of a test is to look for unexpected behaviour, not for expected behaviour.
The choice of improving the performance of the compiler before working on the package manager was deliberate. With the new compiler you will be able to have plenty of dependencies and compilation times / memory usage will remain reasonable. The same could not be said of the bootstrap compiler.

For us compilation speed is part of the main value offering of Zig.
> I never tried, but I highly doubt either gcc or Clang could be built with 16 MB of RAM, even serially, at any point in the last 10 years. Probably not even 20 years, though I could be wrong

Last week I tried to compile GCC on a machine with 8GB of ram (no swap). Compilation failed, I add to upgrade to 16GB.

I think the last time gcc could build with 16MB was last century.
Fractal tasks and the journey through the forest of the infinite (2020)
> 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.

From the point of view of Jevko, handling whitespace is a higher-level concern. Indeed, you typically will need additional rules to communicate effectively with it.

This is where you should specify a format (which should be standardized) that you use, e.g.:

* https://github.com/jevko/easyjevko.lua

Note: this is just a simple library I wrote recently that does the most straightforward thing imaginable. I haven't yet wrote a spec for the format.

> 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.

Yes, Jevko has the features of both XML and S-expressions (or neither, depending on how you look). It's supposed to be uniquely suitable for both markup and encoding of data/code in a simple way.

> 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.

A markup format built on Jevko can have the notion of attributes and rules for whitespace, e.g. see https://news.ycombinator.com/item?id=33334774 -- a nice thing about this particular format is that text nodes are explicitly specified, so you know exactly where your significant whitespace goes.

The nice thing about attributes made with Jevko over XML attributes is that you could naturally make them extensible (which is a pain in XML -- if you want to turn your unstructured string value stored in an attribute into a tree you have a problem).

> 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.

That's not correct. There are only 3 special symbols (delimiters) and they can all be escaped. It's all in the specification.

> 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.

Indeed, Jevko is not a binary format. Although I've been experimenting with binary equivalents, e.g.:

https://github.com/jevko/binary-experiments

At some point I might go forward with one, but that's not the focus right now.
Wait you mean.. the company who photographed your id is in the wrong? Who could have guessed they'd be this crap at info security.
Infantilization of the Apocalypse
When I was working in SF (Near Montgomery BART), there was an earthquake, but I was at the dentist at the time. The dentist was nearby on a hill near Union Square. The earthquake was not felt at all there, but it was apparently rather strong at the office down the hill.
Computational efficiency is a major consideration in sampling from a high dimensional distribution. https://en.wikipedia.org/wiki/Rejection_sampling#Drawbacks
Same with most AI image generating models. In 10 years 99% of images on the internet will be AI generated. Would it not regressive for the models to train on their own outputs? Should regulation require AI generated media label itself, or is it the responsibility to train detectors which can intuit the difference between the models and reality better than humans can?
Reminds me of the Google Maps profile hijacking, which included injecting proxied phone numbers to record the calls.

Examples of press on topic:

https://valleywag.gawker.com/how-a-hacker-intercepted-fbi-an...

https://www.theverge.com/2014/2/28/5458610/fake-google-maps-...
No, because the halting problem requires implementing a function that can compute whether any other function halts. It has to work for any possible function you give it. You can, of course, compute whether some functions halt. Two easy ways to do so are to observe that it halts or observe an infinite loop.
This isn't my experience.

I've smoked weed for about 50 years. During that time I had an ACL reconstruction on my left knee. I healed very well, no infection whatsoever, and went on to master double diamond snow skiing. Also while smoking cannabis routinely.

I haven't had a lot medical procedures, but I am in my 60s now and have had a couple of small surgeries.

I've never experienced any infection issues. I would say in general, I heal really well, and have a very healthy lifestyle (ran 6 miles yesterday).

I used tobacco only for a short while in high school and have never had any desire to pick it up again.

The rest of murica is dedicated to alcohol, tobacco and firearms like the little baby jesus intended. While they're generally the ones blowing their own brains out while shit drunk at 4am...

This whole treatment of cannabis like some kind of kryptonite is just plain nonsense...
>We've learned a lot in interface design
since then and partially because of
accidents like this

But if you have any illusions that such a thing couldn't happen again look no further then the 737 MAX disasters. It shows how decades of stringent safety standards and lessons learned can be ignored in order for a company to earn a few dollars.
all of the above

the main point is how it is in direct contrast to how other sectors will interview for weeks and months, before any resolution at all, then require negotiating an offer, just to get to a two-week notice at a minimum and then require another 2 weeks to a month to get paid, with deposits taking several more business days (up to 5 actual days) to be available

paid instantly when you realized you might need it, versus paid 4 months from now hoping you planned and forecasted correctly
Software systems have always felt more organic to me than any building. A building will go years without any major changes or renovations. Your average modern software application sees multiple changes per day. And the functionality of the software evolves quite iteratively and rapidly over time. It also has to respond to various environmental stresses.
Responded with AI-Written Reply
This is going to sound harsh, but based on this, you weren't the "best engineers", I'm sorry to say. If you think the best engineering talent in the world is working on some random ecommerce website for less than 200k/yr, I have news for you. And you know what, that's fine, because people who care about "best engineers" usually suck. What a vapid thing to waste time wondering about. I'd bet you have hardcore impostor syndrome in all your new hires if this is the messaging you put out.

What you want is hard working people that are cool to work alongside and fix problems without much drama or bike shedding, not "the best". This circle jerk of "best engineers" is only useful to pay you less and keep you happy.

Instead of calling each other best, focus on the work and show the work, if it's good, people will judge your organisation's engineering skills appropriately, otherwise you're just patting your own back for no reason.
> If a non-founder employee can do that

I never understood why people thought there was a giant leap in value between employee #1 and a founder, in terms of value-add. (And if someone can explain it to me, I would be appreciative. I understand how it makes a difference when getting seed money, but not after that.)

Meanwhile, sometimes it is dependent on lots of people. Sometimes it isn't. A programmer is the only person who has the possibility to rewrite some code and make a process take 1% the same amount of time.

Depending on the industry, this can be a 99% reduction in cost, a 1% reduction or a massive, massive increase in revenue (HFT).
Thanks for the recommendations, I'm going to check some of them out.
I didn't get any notification on my phone. How does it try to figure out whether you should get one? Do you need to turn on location services, have a cell tower connected, or is it detecting pre-waves (I really know nothing about earthquakes) using the accelerometer?
Yes...Fortran at least has changed a lot since inception. There's been Fortran 90, 95, 2003, 2008 & 2018 standards since to keep up with the various industry fads of the time (You want OO Fortran? Sure thing.). You can get a good overview of Fortran features from inception through the 2008 standard in the paper "The Seven Ages of Fortran" by Michael Metcalf or on the Fortran wiki (https://fortranwiki.org/fortran/show/Standards).
As I recall, Russia did allow Google and Fb to operate while Yandex and VK were ramping up.
Dwrite font parsing ported to Rust?
Which makes me wonder if the speed comparison graphics are solely about repeat builds.
Oh yeah. The rates haven't risen drastically.

But GBP100 p/h isn't unattainable
> African Americans is not a lost tribe

African Americans, or even Africans, identifying themselves as a lost tribe of Israel is nothing new. In fact, it's been a recurring theme in black empowerment narratives for well over a century. Not just allegorically, but literally. One example closest to mainstream awareness would be the Rastafarians, and specifically the sub-sect which Bob Marley belonged to: https://en.wikipedia.org/wiki/Twelve_Tribes_of_Israel_(Rasta...

Kanye West is refashioning ad hoc black empowerment narratives in basically the same manner he would do when crafting music based on pre-existing musical themes--lyrics, beats, etc. (Which is to say, basically the same way we all internalize cultural narratives.) If you have even a passing familiarity with these movements then it's all easily intelligible and plausibly coherent so long as you don't think about it too much.

The same is true regarding Planned Parenthood. There are tens of millions of Americans who equivocate abortion with murder, and more recently with genocide of the "black race" because of the (supposed--I haven't verified) greater rates of abortion among black Americans.
I think their point is that you need to learn that stuff and with C you can learn it "accidentally" through C learning materials. Zig doesn't have yet enough learning materials to "accidentally" teach you systems programming.

The solution would be to have learning materials that teach you systems programming in a way that is not tied to a specific language, but I don't know of any example of that, and I guess the same applies to all the people that I had this discussion with in the past.
I think that you are overstating the difficulty of solving new nuanced problems and also of their frequency. New frameworks dont have that much of a depth in them yet ... and old one are super googlable. The hardest problems have zero to do with frameworks and a lot to do with local codebase. Because you cant google any part of those and generally code quality is lower then those of highly acclaimed frameworks/languages.

> More often than not if your problem is harder than slamming together off the shelf components to fleece the consumers of their money the nuance comes into play quickly.

Most of what is harder then "slamming together off the shelf components" is still not that difficult to solve. You cant do it if you are super new, but you can actually do it after few months in.
> (mechanical?) keyboard and lots of buttons

smd dome switches with rubber cover, as mechanical as ZX Spectrum keyboard
Well, I missed it
Ideally we could learn how to make the existing tools better/faster and create software that can evolve rather than re-writing everything from scratch every six months.
> The only real issue is hair; it becomes REALLY unmanageable without shampoo. So if you have long hair, just keep using shampoo.

Huh, this is the complete opposite of my experience. I've had long hair from time to time, and the only time it has been unmanageable has been after washing it with shampoo.
I felt in San Francisco. I was on the sixth floor of one of the buildings in Civic Center. The shaking was pretty mild (which I'd expect given facts of what happened), but the duration was rather longer than many of the smaller nearby quakes you're likely to feel.
Age of Empires is coming to a mobile device near you
JS has 10x the amount of developers of all other languages combined, that translates to a lot of ideas on how to progress the different avenues of JS land.
Just for comparison’s sake, java is not significantly more verbose.

final var teens = people.stream().filter(p -> p.age < 20).map(People::name).toList()
This is pretty trivial because given countably infinite sized Turing machines (for the machine instructions to be enumerable its size must be countably infinite) T and countably infinite sized number of iterations N, we have the mapping f(t, n) -> x where by definition all X are the computible numbers. Since all x have at least one corresponding pair t, n, then |X| <= |T| * |N|. As T and N are countably infinite, then X must also be countably infinite by the Cantor-Bernstein theorem
Health = Excellent :)
I'm not saying that there weren't non-proprietary connectors, or that mini usb was better.

I'm saying that USB-C is better, and has been the better option for quite some time.
Agreed. Every time NextJS changes out their build system for speed, its users lose out on all kinds of functionality that they were depending on before.

Moving away from Babel to SWC meant we could no longer use SCSS within JSX styled components. We first switched everything to plain CSS, which was a nightmare IMHO. Now slowly switching things to SCSS modules.

Now with Turbopack, we lose that too: https://turbo.build/pack/docs/features/css#scss-and-less

"These are likely to be available via plugins in the future." Fantastic
That just prints a bunch of garbage characters for me. I tested it on mac and Ubuntu xenial. Maybe it works differently elsewhere.
The most valuable stuff in a landfill is probably aluminum, and based on some 2018 US numbers [1] estimated 1.8% of the mass of the landfill. Would need to dig through ~55.5 tonnes in an ideal scenario to get a tonne. Assuming you can sort it on site you still need to transport it to a facility. Process it and melt it back down into a usable form before selling it. Oh and there are various alloys that you probably have to figure out sorting between as well. At around $2200 / tonne right now. I just don't see the economics working out.

Perhaps in an older landfill it could be denser, and maybe it could be easier to sort after other materials have started to break down. Still doubt it would be very economical yet. But I wouldn't be surprised if it becomes economical someday.

I do wonder if it may be possible to sort more of the aluminum out on its way in to the landfill rather than trying to do it after the fact. It was something like $6B worth of aluminum landfilled based on the 2018 numbers.

I was also curious about separating efficiently and went down a rabbit hole on Eddy Current Separators. High speed rotating alternating magnets I guess can influence non-ferrous materials like aluminum. [2]

[1] https://www.epa.gov/facts-and-figures-about-materials-waste-...
[2] https://www.youtube.com/watch?v=BiehuIugYE0
If I want to write a plugin does it have to be in rust? I like rust but we're not going to add rust tooling to our dev env just for one plugin.
Okay? I'm not saying that's it's not the case, but you're the first person in this whole thread to bother with any kind of source at all.
Interesting, we definitely felt it in Menlo Park. Perhaps being on the second floor made it more noticeable? What stood out to me was how long it was — it felt like we were moving for 15-20 seconds, though it could have been shorter.
I hope they treat it right!

My biggest takeaway from visiting Vasa was that it only has decades left, after being essentially immortal underwater, due to some preservation-related choices that seemed right at the time. A final irony for the vessel I guess.
Companies Using Lisp
Researchers create first quasiparticle Bose-Einstein condensate
Expat 2.5.0 released, includes security fixes
> I think I can count on one hand the number of times I've wanted to search inside documents in the last 10+ years

If you want to search documents you have created, I can imagine that you may not use the feature much. But e.g. for research papers, the downloaded copy rarely reflects the contents/authors, so it is really handy to be able to search the contents.

> For some reason, searching inside documents seems to be the default for both windows and os x search, and it's super annoying.

Weird. For me windows don't seem to search inside documents, or at least not in all documents.
Pyinfra is great, simple and no DSL! just pure python
That's like calling an Andy Warhol a piece of paper with acrylic on it. Provenance is a thing.
> How do we know that BB(n) exists for all n?

What would it mean for BB(n) to "not exist"? Recall that BB(n) is defined in a very concrete way: you take all the Turing machines of size n (which are easily enumerable combinatorial objects), remove ones which do not halt, then take the largest runtime of the ones that are left. Since we can always write down a Turing machine which halts immediately, we know that there's a trivial lower bound for each BB(n), and since the Turing machines are deterministic, we know that any machine that halts must do so in a fixed number of steps. With such a straightforward construction, it's hard to see how such a number could "not exist," at least not without appealing to an ontology somewhat outside of the mainstream (e.g. ultrafinitism).
Slightly off topic, but that page lags like crazy on ff mobile. I was trying to read/scroll it and it wasn't a great experience.
Yeah closer to 35 so 25 is the low end
Holy cow, 15 players in coop sounds really fun!
The article mentions that carmakers and the like stockpiled a bunch of chips during the Covid shortages, so there is reduced demand from them now while they work through their stockpiles.
There is an offline version: https://www.diagrams.net (they had to change their name from draw.io recently). There is a download button right on the main page.
Zig is not stable enough (in terms of language design) to be in the same spot as C wrt books and sample code. Even the linked blogpost has some examples of breaking syntax changes around for-loops, which is pretty basic stuff.

If anything, I'd say it's extremely usable despite being very much a work-in-progress, largely due to their focus on tooling (and not just the language in and of itself) - it's also why I think it'll be an amazing ecosystem to work in once it matures.
This is not specifically about Cloudflare’s “challenges“/etc, but —

The reality of operating a big site/service on the internet in 2022 is that it’s sometimes necessary to use methods that annoy a few people (with very non-standard browser settings) in order to protect the service as a whole from a million bots trying to attack it at any given time.
Is it actually legal to build radars?
Does it have module federation?
Turn off JS except on whitelisted sites and you'll experience a saner web. Unfortunately even static text is often hidden behind such "app-site" monstrosities these days.
Offer a flat rate per user. At $5 dollars per month you are not losing money. Don't overprovision your backend. You can increase it to $6/7 per seat depending on what users are willing to pay.
Info on how ShakeAlert works: https://twitter.com/USGS_ShakeAlert/status/15849836003780321...
This comes off a bit as minimizing/dismissing concern of the next big one, and also seems to be expressing disappoint that this one wasn’t more exciting instead of being “a big yawn; no known damage or injuries.”
Creating a CI/CD Build Pipeline Using HashiCorp, Packer and Vagrant Cloud
> Looks impressive, but proof will be in the actual day to day dev experience and configuration, not the perf.

I think it really depends on the use case. I use Webpack, but it's all configured for me by create-react-app and I don't have to mess with it. If my configuration could automatically be ported from Webpack to Turbopack and my builds got faster, great :)

Of course, that's not the only use case and I agree that speed alone won't decide the winner.
I'm not sure I understand the question. If you have only Optionals and Null does not exist, a NPE is impossible. The Optional type forces you to handle the empty case, so null safety is enforced by the type system.
Sure issues can recur but this specific problem is highly unlikely to because the issues that lead to it don't exist. Valves aren't directly actuated any more so it's impossible to leave them in a cross-feed configuration without leaving the switch in that position. Also planes can fly with half their engines out now so even if you did lose an engine to accidentally starving it of fuel today the plane would still make it back to land. So much of the design and engineering that lead to this problem just don't exist in modern planes.

The MAX problem also wasn't a recurring problem it was a new one driven by money because of the huge incentive to maintain type compatibility so Boeing or it's customers wouldn't need to completely retrain all the pilots with 737-* type ratings. That combined with the flimsy regulation and oversight provided by the FAA let a safety critical system through with only one sensor driving it's function.
I don't really understand your crusade. I made this same observation in the past, it never satisfied you.

Your blog post is full of wrong information. I tried to explain to you what was wrong when you first posted it (so you can refer to those comments, if you want), but you keep seeing this as some kind of philosophical debate, and I have no interest in having this debate.

As I said to you already in the past, I just write software with Zig async and it works. Up to you what you want to do with your free time.