skysight-inc/HackerNews huggingface dataset:
> But, we write compilers and linkers as batch programs that redo all the compilation work from scratch every time.

I don't think that there are that many production level compilers that don't perform the kind of caching that you're advocating for. Part of them problem is what the language semantics are. https://www.pingcap.com/blog/rust-huge-compilation-units/ gives an example of this.

> Surely it’s possible to make a compiler that takes time proportional to how much of my code has changed, not how large the program is in total.

Language design also affects what can be done. For example Rust relies a lot on monomorphisation, which in turn makes much harder (not necessarily impossible) to do in-place patching, but a language like Java or Swift, where a lot of checks can be relegated to runtime, it becomesuch easier to do that kind of patching.

I think that there's a lot left to be done to get closer to what you want, but changing a compiler that has users in such an extensive way is a bit like changing the engine of a plane while it's flying.
Rust took the other road:

error[E0277]: cannot add `i64` to `i32`
1i32 + 2i64;
^ no implementation for `i32 + i64`

It bothered me at first, there are a lot of explicit annotations for conversions when dealing with mixed precision stuff. But I now feel that it was the exactly correct choice, and not just because it makes inference easier.
It is truly cross platform, unlike Swift, has great UI going for it that you can use everywhere and improved greatly as a language in recent years while Swift continued siloing itself in Mac world.

Dart might not break world records for most innovative or performant general purpose language, but it’s a completely different language from 6 years ago.
Sure but I don't think the companies buying ad time on YT are generally FAANG.
Just because someone wants plausible deniability doesn't mean they're considering doing something wrong.

They could just not want to be even considered a candidate for blame.

For example, if I was ever asked to babysit someone, I would want them to install a camera pointing at me at all times, for my sake and their peace of mind.
What else? NodeJS would be sorta viable, but event loop doesn't mix well with this kind of workload, which is a moot point anyway because Python and all the killer libs like Numpy predate NodeJS.

And I think Python's package management and parallelism are both awful in ways that could've been avoided, or fixed during that huge breaking Py2->3 change. And I prefer JS syntax. But it still works.
More importantly, now how will we be able to make fun of politicians for "liking" weird porn on 9/11?
Agreed. For example, Julia (which is a compiled language) has a package called Revise, which provides incremental compilation. A cold start on a package / project / script will take awhile, and even when dependencies are precompiled, but the code you're working on is not, REPL startup takes noticeable amounts of time.

But once you have your REPL prompt, it's just: edit code, test it. Revise figures out what needs recompiling and does it for you. There are some limitations, most notably, any redefinition of a struct requires a reboot, but it's a great experience.

A lot of the current work going into the Zig compiler is to greatly increase the compile time of debug builds, by cutting the LLVM dependency, and then add incremental compilation. I'm looking forward to the fruits of that labor; I don't like to wait.
I kickstarted this long ago and when I got it a few months ago gave it to my wife as a gift, who is an author. She immediately rejected it because she found the eink transitions where it flashes a dark color briefly very distracting.
Probably one of the math ones like Julia. Or something closer to hardware, like C++ or Rust
With SSD drive it’s enough to simply wipe the drive clean.
Because modern ML is a descendant of data science/stats work being done in systems like MATLAB and R. Numpy and scipy were great libraries, and Python was a high-level language that statisticians could use, but also a reasonable enough choice to code a backend for a service in. If the field descended from systems programmers doing high-performance computing, a different language choice would probably have been made, but prior to deep learning becoming popular, compute was not nearly an obvious blocker to improved model performance.
Universal Soldier [audio]
Yes but that's still better than early employees who share a lot of the stress and responsibility of company building, with at best 10% of the upside, but more likely around 0.1% - 1% of the upside that the founder has.
Beat saber is my anti-depresant
Both sensible, and required by many compliance frameworks.
I don't see how that's incompatible with wanting your access revoked on termination to avoid accusations of wrongdoing.
More like living on a body of water was like having access to a highway. And while a lot of trade happened along a river, it's also a risk for invasion from armies and raiding parties, hence the need for protection.
I wish this were true. I've used Python professionally for more than a decade and I still don't consider myself an expert (but I consider myself an expert in Go despite having only used it professionally for a few years). A few things off the top of my head that I still don't understand expertly and yet they chafe me quite often: how imports are resolved, how metaclasses work, how packaging works, etc.

And on the beginner end, even simple things like "distributing a simple CLI program" or "running a simple HTTP service" are complicated. In the former case you have to make sure your target environment has the right version of Python installed and the dependencies and the source files (this can be mitigated with something like shiv or better yet an OS package, but those are yet another thing to understand). In the latter case you have to choose between async (better take care not to call any sync I/O anywhere in your endpoints!) or an external webserver like uwsgi. With Go in both cases you just have to `go build` and send the resulting static, native binary to your target and you're good to go.

And in the middle of the experience spectrum, there's a bunch of stuff like "how to make my program fast", or "how do I ensure that my builds are reproducible", or "what happens if I call a sync function in an async http endpoint?". In particular, knowing why "just write the slow parts in multiprocessing/C/Rust/Pandas" may make programs _slower_. With Go, builds are reproducible by default, naively written programs run about 2-3 orders of magnitude faster than in Python, and you can optimize allocations and use shared memory multithreading to parallelize (no need to worry if marshaling costs are going to eat all of your parallelism gains).

"Python is easy" has _never_ been true as far as I can tell. It just looks easy in toy examples because it uses `and` instead of `&&` and `or` instead of `||` and so on.
There are fast type inference algorithms available today, such as MLStruct. [0]

[0] https://github.com/hkust-taco/mlstruct
Jason Rubin says this on the blog:

> Our occlusion worked on a texture level. That is, if we had a giant polygon with a fern texture on it (think many leaves but lots of empty space) the occlusion could actually get rid of polygons behind the leaf part of the texture but leave the polygons seen through the alpha channel holes. No other game had that kind of detail in occlusion, and it paid off immensely. Given how small ground polygons could be in the distance, a little fern action went a long way.
But then they’re paying interest and very few startups are going to have stock that a someone will lend against. I cannot imagine someone taking Series A stock as collateral for a loan.
>avoids high contrast difference between a laptop screen and a dark room.

So one of the big advantages is that it saves you from turning on the overhead light?
> struggled with the most basic things.

Like what?
I really try to keep my comments on this topic as neutral and not emotionally based as I can. But here's my 100% emotional, non-neutral reaction:

> I don't really see it as "bleak"

I'm trying not to see it that way, but it's really hard. Almost everything that the advocates of these systems say about them strikes me as very dystopic.

> I don't really think it's terribly fun for people who do that (though I'm not sure, I don't have much experience in that realm)

I know a few people who make their living doing that, and they really do enjoy it.
Probably more of an internal mandate that everything needs to consider how it can integrate/improve on AI so they included some lip service in case a VP reads this.
Yep, you can only select "Zustimmen (agree)" for "Datenverarbeitungen von Werbeanbietern einschl. personalisierter Werbung mit Profilbildung (data processing by advertising providers including personalized advertising with profiling)."

I was disappointed to find this out after navigating through text written in an unfamiliar language and a complicated cookie dialog comparable to this [1]. German cookie dialog on an English article, is that even legal?

[1]: https://cookieconsentspeed.run
Python has Mypy (yes, it’s good enough, don’t bother arguing with me that’s it’s not “real”) and ecosystem is leagues above anything Swift can offer.
Maybe the rate is 50% precisely because of ESP/etc
People can’t turn the other persons disappointed thoughts off so they argue.
I've been using Huey for this, works fine enough. But I'd welcome a good out of the box solution.
I like this article, I just don't think it will work in capitalism world.

I could be wrong.
I guess it is mostly the billable hours of testing and other teams waiting for few days without work (but paid) before new VMs come online
Western Australia, a unique place that is part Texas, part Alaska, part Silicon Valley and part something of Europe.

It should be a country of its own, and might as well could be with the most isolated capital city in the world, but the Austealian Federal govt keep fucking it up, despite it being the real cash cow of the country.
Do you really believe that the number of players in the market is a function of scarcity?
There is no desparate need for competition.. SpaceX was desparately needed however, and they have unlocked whole new industries and inpspired many
What's threatening? I read that as just wanting their access removed as per policy/procedure, with no special treatment, because that both protects the employer from potential tampering and the employee from accusations of such tampering.

I don't read any implied threat that they actually intend to or think they might do something harmful, just wanting a CYA in the same way the company wants one.
The agreement was voided, nothing is “due”
It's called being a grownup. If I worked for a restaurant and was fired, I'd give them the keys immediately. If someone unlocked the door and stole stuff later, hey, look at someone else who still has the keys. I don't.

It's the same here. If I'm fired from a tech job, the company should do the right thing to protect themselves and lock me out right then and there. It's not because I -- the real me, not the hypothetical villainous me -- pose a risk to them. I wouldn't hurt an ex employer under any circumstances because 1) that's a bad thing to do, and 2) I don't want to be in jail. It's more that best practice dictates they do this. There's no benefit to them whatsoever in allowing me into systems I no longer have a legitimate need to access.

And again, this also protects me. If I'm long gone and something suspicious happens, talk to their current employees, not me. I don't want to access to their stuff, and I couldn't even if I wanted to.

Edit: Ah, honest mistake. I could see why you'd think that given the misreading.
Yeah, that's a thing. 3Blue1Brown did a video on it a while back:

https://www.3blue1brown.com/lessons/prism

It's part of a larger series that starts here:

https://www.3blue1brown.com/lessons/barber-pole-1
The paper can be found here:

https://www.researchgate.net/publication/381041896_The_crypt...

Without the Harvard affiliation I don't think this would make news. It's not been peer reviewed and I don't think the first author is (or claims to be) an expert on the relevant topics. (Hard to say what the relevant topics would be, maybe archeology or geology?)
Almost every modern language with a well-specified runtime looks a lot like Common Lisp because Common Lisp was one of the first languages specified by adults and the Common Lisp spec had a lot of influence on future languages like Python and Java. For instance most languages have a set of data types in the language or the standard library, such as bignums, that are similar to what CL has.
I dunno if there's a ton of stuff I'd want to save. Maybe some old tutorials/tech talks and video essays, but in the latter case I can just subscribe to Nebula.

Oh and some memes.
Just to clarify about taking the $500K rather than even guaranteed additional $5M ($50M vs. $45M) years later...

$500K is an immediate big quality of life boost for most people.

For example: a condo/house downpayment, which lets you move out of cruddy ramen apartment, to routinely get a good night's sleep. And/or that relieves some of the various other startup salary level money stresses on your family.

I think this can also be aligned with the goals of the startup. You don't want people so "hungry" that the stress is hurting their health and their home lives. You want them motivated by the mission, the work, the environment, and the possible big liquidity windfall in the future -- but not by desperation.
Until it gets multiple account support, it’s not even an option. I could buy one, but I’m not going to buy three. Nor can I use it for work, for the same reason.
Julia doesn't have broad adoption because it's too specific, and C++/Rust are more cumbersome, also Python for data science and ML was popular before Rust or Julia even existed. Python's biggest advantage is that it's good enough for general usage while also being convenient for data science.
Mypy is non-nullable, as far as I know. Unless you do Type | None. (Or was it TS?)
why did you think it happened?
What is your decision?
If you want to portray some sort of "next step in human evolution", it's an easy thing to portray that audiences would have some understanding of from other media.

The more obvious choice of just portraying people as having extremely high intelligence, is unfortunately a bit of a trap. Authors generally fail at creating characters smarter than themselves, for perhaps obvious reasons.
Woah that second proof is really slick. Is there a combinatorial proof instead of algebraic proof as to why that holds?
He did! Foundation and Earth.
> could have supported hundreds of other 20th century families

Unless she literally burned the money in a pile in her back yard, then that's what spending does, put the money in other peoples hands.

She spent the money on things with no lasting value but she spent the money.
I better clarify - Killing MySQL as Open Source database.

Oracle might totally be successful selling MySQL Heatwave in Oracle Cloud, though it has little value for Open Source MySQL Community
Capturing carbon dioxide from air with charged-sorbents – Nature
Kubernetes Health Checks: Cluster Scanning Best Practices
What you’re describing may impact housing developments etc, but I don’t think many markets are more competitive than used homes.

Despite its rarity a 3 acre lot is rarely worth 3x what a 1 acre lot would be, unless it can be subdivided.
Almost all steppe peoples domesticated existing wild horses
> Surely it’s possible to make a compiler that takes time proportional to how much of my code has changed [...]

My understanding is that this is how Eclipse's Java compiler works, but I'm not positive.
Well they don't sell them until 12th of July here so I'm going to go and play with one first.
Python absolutely has async/await/promises, and it's actually quite a lot worse than JavaScript in this regard because Python _also_ has synchronous APIs and _no_ tooling whatsoever to make sure you don't call a sync API in an async function thereby blocking your event loop (which, if your application is a networked service with any amount of traffic at all, will typically result in a cascading failure in production). I'm no great fan of JavaScript, and I've written _wayyyyy_ more Python than JS, but async/await/promises is exactly the wrong example to make the case that Python is better.
They travel c in vacuo but not through different media.
Wouldn’t that just reduce demand for the dollar though?
Related: https://connect.mozilla.org/t5/discussions/mozilla-now-only-...
I'm very happy to hear that StackGres is helping you out. Your feedback is greatly appreciated :)
A lot of the utility, even in this thread, seems to be solutions for problems that don't actually exist. I think it's cool technology, but nothing mentioned in this thread makes me want to get one.
> what if Swift can replace Python

What a ridiculous statement. I’m willing to bet everything I have in life that this is never going to happen.
who's threatening whom?
I currently design a product that needs to be battery powered and its just not possible in the same way on the 2040 as esp32 with the ULP and the deep sleep current.
So you pick up the mouse, and talk into it?
....
Seriously though, I don't understand why the state of voice interaction is so poor.
In the 90's we had voice commands (early dragon ?) available to tell our computer what to do. It was limited, but it worked extremely well, even in busy environments.
I remember my Thinkpad 486dx2(?), at a party - opening software and choosing music to play from a list, and controlling volume, all by voice. Thinking to ourselves, imagine what this will be like when we have a stronger, faster computer, in five years.
Lenovo Thinkpads have traditionally been a pretty safe choice for Linux, probably because they're popular with Linux devs. Pretty sure what's what Google buys for their corporate Linux laptops too.

If you buy something like a Dell, you might encounter more rough edges, although it's generally not as bad as it used to be 1-2 decades ago.
Yeah, the author absolutely confused this with transmission grating which works by transmission rather than reflection.
I wonder if someone has managed to extract the quote database yet for DIYers.

The device's firmware is easily available via their website - the Mac Installer contains a pair of 9MB binaries (in addition to 200MB of Electron), which seems to just be an unencrypted ESP32 blob. Running `strings` on the blob gives plenty of human-readable stuff (including entire html pages), but nothing resembling quotes. Maybe they are compressed in some way?

Assuming 140 characters per quote, the entire 13000-entry quote database should fit uncompressed in about 2MB, so who knows.
Yes, rust has an incremental compilation mode that is definitely faster than compiling the whole program from scratch. But linking is still done from scratch every time, and that gets pretty slow with big programs.

I agree that it would be a lot of work to retrofit llvm like this. But personally I think that effort would be well worth it. Maybe the place to start is the linker.
Yeah absolutely. But at that point, why not get a Macbook or a Surface?
That sounds like Web sites, designed by designers with massive monitors.

The tools team probably had ultra-fast Macs, and never encountered that.

It definitely sounds like a bug in the toolset. I hope that it was reported.
I get the idea, but I do not like the outcome. It ends up being a largely regressive tax that hits people hardest and often at the worst possible time (e.g. just before or shortly after becoming a parent).

Of course any program if you look only at the beneficiaries is going to look good. We have embraced this attitude that broadly favors the sustaining the already established in their current condition in perpetuity, regardless of the cost to anyone else.
Having spent a lot of time recently writing Rust it's a major negative for me.

It's a terrible language for concurrency and transitive dependencies can cause panics which you often can't recover from.

Which means the entire ecosystem is like sitting on old dynamite waiting to explode.

JVM really has proven itself to be by far the best choice for high-concurrency, back-end applications.
FOR IMMEDIATE RELEASE - Site ---, -----, California: The SCP Foundation is proud to announce that in the interests of furthering commerce and humanity in general that it is entering into a partnership with Stability AI.

"We have unique assets and experience which we can bring to synergize with the world-class leading AI efforts that Stability AI has been bringing to market, and we are excited to bring these ------- to the common person on the street." said the Administrator, -------------------------.

"-------!" ---------.

Early testing have users shocked, ---------, and ---------.

"I see the world through new eyes now, all seven of them." reported one user.

"------- ----- - ---------- ---------." reported another.

"We anticipate great profits and ----------" says Stability AI's CFO, shortly before sitting down, sitting down, sitting down, sitting down, sitting down, and sitting down.

---------.
Not sure you can make this move an example of them having a very high ‘not invented here’ thing going on, given that Androids’ commercial competitors are windows and iOS
may i ask why isabelle over agda or lean?
This is interesting to me as you are the first person I have heard say they use it on a regular, much less a frequent, basis. What are your thoughts on VisionOS 2?
Torax: A Fast and Differentiable Tokamak Transport Simulator in Jax
Was gonna say, they can bid you farewell without giving you access to stuff.
I mean, you still need to run code at the end of the day. Yeah, the type checker will update your IDE quickly enough, but you still need to compile and link at least a debug build in order to meaningfully qualify as a feedback loop IMHO.
I'm sure the wealthy are overrepresented, whether or not they got financial help from their families while starting/building the business. But there's a long gap between "being rich makes it more likely to succeed" and "most people who succeed are rich."
Obtaining source code for training LLMs
Friends of mine lived for a while in Rennes in one of the only buildings to survive a fire in the 18th century. It was from 15-something and had nary a right angle to it. A bit scary to go up the stairs, but quite cool.
You and me and other people we know.
I remember reading a great answer [1] from Stack Exchange, that claims:

> the 1873 treatise used a pre-Heavisde form of vector calculus cannnibalized from Hamilton's quaternions ... only sparingly, to present the equations in capsule summary form.

Thanks for the reply. From your link, I now understand what does "vector calculus cannnibalized from Hamilton's quaternions ... only sparingly" means.

[1] https://hsm.stackexchange.com/a/15618
For the portion that it does farm out, is that tied to an unique user identifier or is that session based?
I thought about Thinkpads just before you replied and edited to mention the issues I've seen with them. Yes you're right, Google buys them, and they have minor problems, but I've never owned one personally.
Waiting that 12 months to really demonstrate you have a working security program with efficient controls really pays off. It's something I look for when doing vendor reviews and I assume others do the same.
Sure, sure. I'm sure you'd have valuable things to post in threads about those services. But you still haven't written a word about this service, it's just repeating the same completely generic complaint that gets posted on HN literally thousands of timer per year.