skysight-inc/HackerNews huggingface dataset:
Literally majority of languages are either unsound, undecidable or both in the link that you've provided. The only exceptions are Haskell, Idris, ML and Go (given the date of the post, this was pre generics which would probably exclude it also).
If you have at least one or two engineers familiar with the language it is not hard to teach the rest of the team good practices.
Isn’t the crux of the issue that you can’t “observe” an infinite loop?
My broader point is more that "lots of people are saying so" is about as good as we can hope for in terms of evidence, in this situation.
From my experience working with esbuild since it's early days, all I can say is to that there has been a very high bar set by esbuild's speed and ease-of-use. I've used it for all my web apps and services since and i've finally begun to like my front-end build chain, unbelievably.
What mobile device do you have?
IDE like terminal built with Tauri (Rust+Svelte)
We’ve been doing JavaScript development for how many years now? And still no bundling options that are good enough? Or at least one that can continue to evolve vs. creating a successor, etc.
How is the weather where you live? I can't imagine this working in a hot, humid tropical country.

I know there's variability in human body odor, like most Asians not needing deodorant, but I'm skeptical because some people do have a strong body odor they can't smell. I've known a few.
What do you mean by smart?
A well organized moderately smart person is more productive to a company than a disorganized genius. Someone who can hyper focus on their competent domains is more effective than a super smart generalist who spreads themselves too thin.
I'd like to read an article about how the firmware caused the outage. It wouldn't be true, but it'd be a fun read.
If you recall from predicate logic, these two statements are not the same:

1) For all Turing Machines A, there exists a Turing Machine M such M can compute whether A halts.

2) There exists a Turing Machine M such that for all Turing Machines A, M can compute whether A halts.

Statement 1 is true, statement 2 is false.

You can apply a similar reasoning to BB(n) or your notion of Omega. For any particular choice of n, there is an algorithm that can compute BB(n) and similarly for any arbitrary precision p, there is an algorithm that can compute Omega up to that precision.

None of this is to be taken that there exists an algorithm that can compute BB(n) for all n, or that there exists an algorithm that can compute Omega up to precision p for all p.
One of my businesses is just me. I don’t need 20 users. I’ll never need 20 users. But you don’t allow business use.

My other business is 5 people. We’d never need 20 users. I’d need two or three max.

I’d love to use this. But I can’t, because I’ll break your T&Cs.
And if you don't like the way the story is going, you can just erase that part and everything that followed and type a couple words nudging it in the right direction.

For some reason it's really drawn to rusty keys.

> LOOK IN HOLE

You look in the hole and see a rusty key - NO, TRY AGAIN, ERASE ERASE ERASE

You look in the hole and see an old rusty key - NO, BACKSPACE BACKSPACE

You look in the hole and see a small box - YES!!!!

> OPEN BOX

You open the box, revealing a rusty key
> I don't get it (Windows user). If I copy some text in the browser and then close the browser the clipboard is gone under linux? How is that good design, wouldn't it be preferable if the OS is holding the clipboard data as a middle man?

The essay covers this: it was picked because it means only the pasted data (of the right mimetype) gets copied, so it avoids unnecessary copies. This is especially useful if the source can generate large amounts of data e.g. an image program is able to copy in multiple image formats, in which case said program would have to export everything to the OS on copy.

But yes that also means all the data is lost unless the source program takes extra non-trivial measures to keep the data alive.

This made some sick kind of sense in X11, because all that data might have to transit over the network too if you were using remote X.
But if you know BB(n) for any n then you can just make run a program of length n for BB(n) steps. If after BB(n) steps it hasn't halted you know that the program will loop forever. Since you can do that for any arbitrary program then you could solve the halting problem.
There is this condition

> Recognizing that reality, the Commission’s proposed order will follow Rellas even if he leaves Drizly. Specifically, Rellas will be required to implement an information security program at future companies if he moves to a business collecting consumer information

I'm not aware of any other decree following the CEO to other companies.
You seem to be writing to correct the commenter above, but in fact the commenter is correct. Because the M scale is logarithmic, you need a lot of M5's to release energy equivalent to an M6. So, the M5's aren't helping to suppress the M6's. A few seconds of searching will turn up authoritative sources on this oft-heard misconception.
I will look it up for sure. Many thanks for sharing.
How does Drizly change that? I've had to show ID to prove age for the few Drizly orders I've made (even if there wasn't alcohol in the delivery). If the teenager already has a fake ID, how does Drizly move the meter on how easy it is to get alcohol?
You can take advantage of Java in the next layer up, but you lose out on sharing that portion of code/logic then.

There are actually 3 layers in play for each platform: The pure kotlin shared layer, the "native" kotlin shared layer, and the native-native layer. That second layer (the native kotlin shared layer) is platform-specific kotlin. So on JVM platforms thats the normal Kotlin you are used to, and as such it has access to Java. On iOS that second layer is Kotlin/Native, and you actually have access to native _bindings_ to the native layer (i.e. I can call into UIKit, but in Kotlin code). If you put your "native" code in the second layer instead of the native-native layer (which on iOS is Swift/objective-c), then you can move that into the innermost layer if/when it makes sense over time, and the frontend is none the wiser.

Here is a good visual and explanation (the rest of the presentation is a good overview as well, but I think this slide is the best part of the video): https://youtu.be/2yd6rVJdICU?t=1749

EDIT: I should also note that nothing prevents you from creating "glue" bindings in the pure kotlin layer using either expect/actual or an interface, and then reifying that using some JVM thing in the second layer, and writing the other platforms more from scratch to fulfill the contract.
Webpack has a reputation that was deserved in early versions. More recently it's not so bad unless you have very specific needs. If all you're doing is building a standard app from things like JS or TS, a CSS processor, and maybe a framework you probably won't need more than half a dozen lines of config that you can paste from Webpack or your framework's docs.
Yes, Perl certainly took an odd turn on their 'next gen version of the language' journey, but I'm willing to bet there will be a Perl community running 5.247.2 or some such decades from now, alongside sh, awk & sed.
Alzheimer’s Disease and Type 2 Diabetes Mellitus: MCT Oil and a Ketogenic Diet
Fyi, it does not work. I get this error when opening Finda on macOS Ventura 13.0 (22A380):

"This version of Finda (629.0.0+df7956) is not compatible with your operating system version (22.1.0). Press Enter to download the latest version or Command+ to quit."

EDIT: e-mailed the Developer, beta release coming tomorrow...
And to build C and C++ projects!

https://kristoff.it/blog/maintain-it-with-zig/
I didn’t realize the initial state of the tape was part of the definition of a Turing machine. I was picturing having the same operations applied to different tapes, but that’s not the definition so I’m wrong.
I feel the article is mixing up S(n) (max number of steps) and Σ(n) (max number of 1s written), going by the wikipedia article of BB https://en.wikipedia.org/wiki/Busy_beaver

Notably the list of BB numbers in the article matches the values of S(n) in wikipedia instead of Σ(n). Also this sentence makes more sense if you replace Σ(n) with S(n)

> If after these steps the program hasn’t halted it means it’ll never halt (by the definition of the Σ(n)).
> As will some version of /bin/sh

I hope not!

That's one of the things I pray every day to go away. (Even I don't believe in any gods, and am a Linux-only user for the last 20 years).

The Unix shell language is one of the most horrific legacy technologies that are still around. I really wish it dies soon™ and gets replaced finally by something sane!
I am less optimistic. Maybe some short term gains but if we go into WWIII over this I doubt our standard of living will survive that.
>40 Pins MIPI screen interface

I see a big chip straight between mipi screen socket and compute module doing hdmi-mipi conversion, telling me rpi foundation is still stubbornly fighting ability to use mipi dsi port on the pi.
Quick follow-up that it looks like koda_validate is usually slower when validating dictionaries out of the box. Good news is it's clear where I should optimize, and that I'll add some benchmarks to this; optimistic Koda Validate can get faster than Pydantic. Thanks for the feedback!
10 years ago we bought every Minitel in existence from eBay and connected them into a giant X.25 network spanning the globe. Unfortunately, one EPROM didn't have a cover over its window and bright sunlight in Madrid caused firmware corruption.
I went to RIT in the early 2000s. I remember the CS and CE departments were quite good (although the prevalent Sun workstations were already getting outdated). Somehow I ended up taking 1 elective from the "Management Information Systems" department and the instructor kept mixing up search engines and web browsers. I think I dropped the class shortly thereafter.
All good! I agree with you, at the time I wasn't one of "the best". But I think there's a couple key things, one of which you touched on.

The first is that "the best" is subjective. To me, the best engineers _are_ the ones who you enjoy working with and don't cause drama or bikeshedding. Some 10x programmer who everyone hates working with isn't "the best". So perhaps it all depends on what traits others are looking for.

The other is that as a startup you can try to hire "the best" engineers today, _or_ hire people who you see potential in and can grow with the company. I'd put myself in that latter group, along some of my extremely talented coworkers I mentioned. Having that growth opportunity is part of what attracted me to Faire in the first place, and is a way to compete for talent on more than just comp like the original comment implied.
> But it has a few problems. It takes up a ton of computing power and battery, which makes it difficult to use on old/slow computers. And the biggest thing, cost.

Given it's a Javascript program I'm not sure how Photopea solves those problems with Adobe Photoshop other than cost.
Why not have it like new Person(name, new Address(…))? Nesting is allowed.
Yes, thin plastic bags are very bad for typical processing machines. They take them at grocery stores so they can be a different stream. Although I have my doubts that much recycling is actually done with them there too.

Putting things in recycling that aren't explicitly accepted by your local facility is bad. Never put things in that aren't marked, and definitely not thin unmarked stuff. It increase the costs by gumming up processing equipment if they try to do something with it. And likely does just shunt the whole section over to the landfill. Although most of the stuff probably ends up there anyways. Same thing with greasy pizza boxes, they just taint the load.
> it is always possible to compute BB(k) for a specific and arbitrary k. This is a very subtle detail.

That's not subtle at all. Any finite number or string can be computed by a program consisting of a single very long print statement.
If I told you I was going to go get a flu shot, would you ask why I was opting in to an unnecessary health intervention?
> The tutorial barely explains how M-x actually works, but also doesn't mention the describe-* functions at any point.

It actually does, but not by name. It points you to the help system. In particular:

- C-h a - help apropos, search for commands by part of the name getting a list

- C-h k - describe-key

- C-h c - describe-key-briefly

- C-h f - describe-function

- C-h v - describe-variable

All of those are in the tutorial.
Ah, I wrote the same proof above. I agree this is a much simpler way of proving the existence and size of the uncomputible numbers. The busy beavers problem is just an example of an interesting case
That was one of my first memories and a totally wild experience as a young child in a hotel room on market st. I got to eat nothing but strawberry milk for about three days since since that was about all we could easily get, or so I remember.
>For example, YouTube puts some functions only in the right-click menu

If you double-right-click (huh) you can see the "normal" menu. If you use Firefox you can shift-right-click also.
Well, I'm fairly certain one can claim ownership of works they create via algorithms, as the entire digital media space wouldn't exist. I don't think authoring or hosting an algorithm gives one carte blanche ownership over things other people create with that algorithm, but cynically I could see that happening if enough money is involved unfortunately, but hopefully not. It's not clear at all why AI would ever be considered the author and in fact all the sources I've found assert the opposite, that AI cannot be considered an author. So I still haven't seen anything preventing people from claiming copyright protections on works they create via AI.
You don't even strictly need it in the WM, as you can resize windows from other programs, even shell script with xdotool etc, although xdotool/shell quickly becomes somewhat unwieldy I once wrote a "tiling WM" like this. It actually worked fairly well, and I kind of liked the modularity of it.

At any rate, I dug up the old thing: https://pastebin.com/i91yD96F – I also had some other scripts to control window placement, movement, etc. I once planned to rewrite it to a "real" language and combine it with a "slightly less tiny wm" as a full release, but never really got around to it, and I also don't really use tiling any more (I just have one full-screen window all the time).
They've been claiming microchip shortage for the last two years. Didn't sound like a stockpile. Ford and Tesla both had production slowdowns or product regressions specifically due to difficulties getting certain chips, and surely others. What's your source?
Related: https://www.nestlemedicalhub.com/products/mct-oil
Why would you need extend over implements? I found sealed interfaces with records really cool.
Yeah Wayland takes like 90% of the features of X and goes "you're on your own, window managers / desktop environments!" and if you complain they just say that's out of spec, working as intended, wontfix.

It's like the exact opposite of what the Linux desktop needed.
Is there any sort of browser extension that shows number of known security breaches when you visit a website? Would be interesting.
Really hope this gets a competent library mode. Webpacks library mode never really evolved to meet the needs of things. Vite has a good library mode but it has its own limitations.

Pure rollup is still the best for building libraries, by and large (maybe esbuild now? but I think rollup is more efficient in its output still).

If this has a good, solid library mode that works like rollup with the power of the webpack-like asset graph, it'd actually be amazing for the community as a whole.
Rollup is used by some of these tools. For instance vite uses rollup for production builds.
In the best case scenario, the recruiter called up twenty prospects and said "Quick question -- have you worked with FOOLAND?"

"You mean FOOlang? Yeah, a little."

"And what jobs did you have when you did that?"

"Uh, I learned a little about FOOlang in the job I had from 2010-2012, and then it came up again in the job in 2015."

"Thanks! I think I'll have something for you tomorrow."

And then the recruiter edits "Skills" to include six years of the still-misheard FOOLAND.

Everything else is worse.
I live in SF on bedrock, but on the 5th floor of a ~100 year old steel framed apartment building. Definitely felt it, but nothing like the 5.1 in 2001, when I was on the 11th floor of the old Hamm brewery building in SF. That swayed back and forth way too much for my taste.

For the first few minutes a Google search for "earthquake" initially had it located some distance from "San Hose". Clearly someone was typing that it in manually.
We make our choices.

I'll take late support for obscure hardware over ubiquitous surveillance every day of the week.
when i have an idea for a program i want to build, i struggle to express it in terms of structs, pointers, and C/zig’s language features. but with C, i can often find similar programs and find good examples of how to do what i want.

for example right now i’m working on an SDL/opengl app with an immediate mode gui, and there’s enough code in the wild for me to pour over to understand how and why they structure their programs

but when i started with zig i would often get stuck, unable to really understand the c code i was interfacing with and struggling with the language basics a bit
Isn’t that the premise of AI Dungeon?

https://aidungeon.io/
I’m on Middlefield road in midtown, weird you felt it and I didn’t! Slightly closer to San Jose than you.
Learning by Teaching in Online Education (2020)
Thankfully that's just your opinion. I appreciate all the innovation and experimentation that's happening. Nobody is dictating you or anyone else use these tools.
That's an interesting thing to hang around his neck. You'd hope all companies like that (25k+ customers) already have an information security program though. Maybe Relias can take it as a selling point and has a future as an infosec CEO?
Yes, e.g. Vite uses Rollup for production builds. Vite uses esbuild for development with plans to make it usable for production builds.
BB(k) for a specific k is just a number. Ao just write it to the output. Proofing correctness is different from „computing“ and not required here.
I've only watched Lex's episode with Carmack and I just don't understand the appeal. It was like listening to a junior frontend dev stumble around programming topics with buzzwords. Maybe I just watched one episode and got a bad taste, but the questions weren't great and somehow Carmack still was able to give interesting answers.
If the founder is staying on, this sounds like a great match for Tiny Capital.
An extra million lines of {, @NotNull, .stream(), .toList().

Hardly any code that would actually have bugs.
yeah, it's business jargon. I can only imagine someone somewhere forgot the word "lesson" and was high enough status that the malapropism stuck
It is legal to receive and process almost any electromagnetic radiation, yes. Transmission is licensed for nearly anything slightly below infrared, mostly because it would become a mess if everyone transmitted whatever they felt like. It is also restricted above UV, but for other reasons :)
Yes, now that you mention it, the gaps between these phishing emails don't seem random, but do seem to come around the same time as an actual shipment (not enough data, but...).

I mostly see fake-DHL being phished, even when the shipment is coming on another carrier. You?
I've lived all over the place, from dry to wet-towel-in-your-face humid, from -25c to 45c. Even after an hour long workout dripping with sweat I don't really smell like anything.

The way to test your own body odor without asking other people is to take a deep whiff of yesterday's shirt when you wake up in the morning. Even better would be to walk around outside a bit before you smell your old shirt in order to keep a somewhat consistent calibration. But really, it's best to just ask someone you can trust to be truthful (most people will be truthful if you preface something by "I'm running an experiment").
As far as I can tell, that can only generate one side of the transcript.
It can be, but I've also seen the definition of, "a roguelike is a turn-based dungeon crawling RPG, a rogue-lite is when the game mechanics are some other genre".
> Sure issues can recur but this specific problem is highly unlikely to because

These days the automated system to maintain fuel to the engines would fail when the sensor in the fuel tanks malfunctions. It would pump fuel overboard trying to pump fuel from an empty tank into a full one.

Obviously I made that up. The 737-max debacle shows us that we are past peak safety of aeroplanes. We rely too much, now, on automated computer systems which we (computer programmers) know are very expensive to get right. It is much cheaper to have them "almost perfect".
Because then it's no longer minimal. And as mentioned there's a Python version.

This isn't a "real program", as such. It's a demo or "rainy Sunday fun to figure out a bit how X11 works".
It always comes down to trust models, (de)centralization, and whether it’s permissioned or permissionless.

For example multisigs, without crypto, require a trusted and centralized custodian, and if you are lucky you might get a permissioned API that exposes a few end points that were dreamed up by engineers at Stripe or some new tech-startup digital bank.
No worries :)

Yeah to add more color to this, we just observed the failure of a process and system we weren't a part of. Basically there were manual elements in the billing and aggregation of usage data on a SaaS platform and those were forgotten about over the course of many months which lead to the company under billing.
Yes. Open source is about being able to modify and redistribute code for the products you already have access to. It's not about just giving everything to everyone.
Could you elaborate on this more?

What exactly happens between 20k and 100k LOC (or 2 devs and 10 devs) that makes Go more suitable than Python?

What exactly happens between 100k and 1kk LOC (or 100 devs and 500 devs) that makes Java more appropriate than Go?

How do you even find this boundary when same apps in Java and Python might have 2-3x LOC count difference?

I've seen this mantra repeated for decades (technologies X/Y/Z for small/medium/large projects) and could never make sense of it. For example Angular was always sold as a technology for "large" projects (as opposed to React). Where is Angular now? All those "large" projects are now legacy that everyone despises. And if you have 100+ developers on a "large" Angular project I bet you're are feeling fucked now.

Since everything breaks at scale, I'm actually into the opposite mantra: only the tech stacks that are great at small scale are capable of being great at large scale. Note: capable, not guaranteed.

I always prefer layering complexity on top of a simple technology, instead of praying that complexity inside of a complex technology will perfectly match my needs.
> It reduces legacy cruft.

What you chose to describe as "legacy cruft" is actually the luxury laptop people spent over $2K close 6 or 7 years ago.

> The alternative is you get to keep 20-30 year old legacy cruft, as with Windows.

It's not a choice between bricking perfectly good computers after 6 years or maintaining them for 30 years.
Everyone does this because everyone thinks they need to. So you're suspicious of everyone, but the only thing you can legitimately suspect is that they're the kind of person that does what needs to be done.
Links to further reading would be appreciated!
Photopea is very usable on lower-spec machines that grind to a halt when Photoshop is open.

It also "boots" almost instantly, and doesn't require installing anything other than a browser.
Don't link to mobile wikipedia. It is incredibly rude to people who want the normal site, while being of zero benefit to people who want the mobile site.