skysight-inc/HackerNews huggingface dataset:
That's why Microsoft keeps paying the bills. Designers of LINQ in C#, for example, mentioned Haskell more than once as one of their inspirations.
Ah, that is important. I didn't even notice that wasn't possible in the GlobalAlloc API, but you're definitely right that it's not.
if-else is basically the equivalent of syntax sugar, and it was controversial for a while whether it should be included.

WASM's 'loop' isn't really that high level, it's a backwards branch target with no built in bells or whistles. It's less powerful than 'while' in C.
That’s certainly one sentence quoted from a much longer paragraph.
I was under the impression this entire thing is tongue-in-cheek. Why would anyone write 800 lines of CSS to avoid a couple lines of JS?
Earth-1, where we are happily already sharing parquet and arrow files for years now that do that :)

The subtle bit is most languages & these formats have data representation (int16, ..) but not actual unit (GB/s) and oh boy....
Note that most airports that Ryanair flies to are in the middle of nowhere, so nobody I'm aware of uses them for business travel (except maybe in Ireland). Also Ryanair is famous for all sorts of add-on costs, i.e. they will weigh your carry-on, 30s too late at checkin, pay with credit card ... all cost significant extra.
It's a gorgeous photo.
> I have yet to see it in practice

I don't know where you work, but automated continuous deployment has been an industry standard for fifteen years.
GLP1 (ozempic, mounjaro, etc.) prices – February 2024
> Question: are you saying the final layer is "in effect" a linear combination?

Not just in effect a linear combination; it is a linear combination. There are some exotic nonlinear NN layers that are used in particular niches. But in general, NN layers are syntax sugar over matrix multiplications (i.e. linear functions). The nonlinearities are the activation functions between the layers.

> But maybe in practice the activations don't do a lot of work?

No, the activations do do a lot of work. There are real nonlinearities in the network.

> Or am I simply mistaken about final layer, does it simply have linear activations?

Sometimes you actually do use a linear activation on the final layer for certain regression tasks, but that's not the main thing I'm getting at.

Let's say that your final layer has is a ReLU activation. What is this conceptually? You are taking a linear combination of the features from the previous layer and them clamping the result to >= 0. Sure, that's a nonlinearity, but it isn't going to have much in the way of emergent modeling capabilities. You need to stack many, many nonlinearities before you get that.

So my point is that a deep neural net of N layers boils down to a complex nonlinear function of N - 1 layers, followed by a "dumb" linear combination in the final layer. You can do this with traditional ML methods as well, but you have to handcraft your nonlinearities.

> Also, can you share your intuition about the nonlinear features? Spectral/wavelet analysis? Or something more complex?

There's innumerable possibilities here. It could be starting with a method that's inherently nonlinear, like nonlinear PCA, polynomial regression. Or it can involve transforming the output of a linear function (like the Fourier transform) in a nonlinear way.

Admittedly this very tough. And for really tough problems, like video synthesis, effectively impossible. But NNs get thrown at much simpler problems all the time.
If I wanted to understand and obtain your intuition about linearity, what would you recommend?
If you're solving the category of problems WASM is aimed at, it is almost always faster. If JS is faster it's probably because you're using it to do something that WASM wasn't designed for, i.e. DOM manipulation.
> tools in general are a hard sell, maybe an extremely hard sell.

All business software are tools.
We recently installed something similar (https://miniprofiler.com) into a legacy ASP.NET MVC app. It is setup to only be visible in local development environments.

In areas of the code where ORMs obscure the actual SQL that runs, it's shortened the amount of time and effort it takes to discover a slow route and optimize it.

"Handy to have that extra info in your dev environment" is pretty spot on.
I found Turkish economy class good to be quire good as well
Try https://webtorrent.io
Jumps can either target the top of a 'loop' block or the bottom of a regular block, and the jump has to be inside of the block it's targeting.
I don’t think there’s any spaces in that screenshot
Naw, it’s checked bag fees. Waive those and people check their roller bag. This is well known airlines just don’t like to admit that they’re the ones who caused the problem. After 9-11, security delays sucked so bad a lot more people checked. Then the airlines colluded and simultaneously introduced checked bag fees. Suddenly everyone carry’s on again.

To verify you could look at the rates of checked bags in cases where passengers don’t pay an extra fee(southwest or passengers with status or other bag check fee waivers) You’ll see a 20-50% increase in people choosing to check.
That is mhe right reason for a confrence. Watch the talks on youtube latter. While at the confrenceuse your time talking to people.
Already solved by trade papers, Reuters, Axios, etc
Blue Aims to Capture, Convert Ocean Energy with Low Environmental Impact
They have a pretty competitive pricing range too. The combined TV, music, and a bit of encrypted disk space is fairly priced. I used to pay for Spotify separately, but when they raised prices a couple of times in a row. It made more sense to just get Apple TV and music for a decent price as I already was using the 50 GB iCloud package because google likely data mines Google Docs/drive. So don't assume everyone is just getting it because it's “there”.
I feel like writing a fast torrent tracker isn't particularly hard. The hard part is the legal risk.
Pandoc can create powerpoints from markdown which is my preferred workflow
> I didn't come up with this rice farmer and cowboy example and I do not advocate for it as it is a complete nonsense

Sorry my bad, I thought you were the same person as the original commenter I was replying to.
Using Serial Ports with Ruby – Tenderlove Making
The frontpage has always been ads. That's like the entire point of this website...

I mean just look at the domain name
Normally I will not do any kind of social login, for times when an app forces me to sign in with Google I have a separate Google account just for that.

If an app forces me to sign up with Facebook/Twitter/Apple I will just uninstall it.
Y Google Cloud?
This is interesting, I wonder if there are principles from other types of engineering, civil, structural, aeronautical etc which provide some additional thoughts around probabilities of failure and now to deal with them

Particularly where you have a lot of low probability bugs
How is Demotic Greek made up? I thought it's a name for common modern Greek.
I think there’s a lot wrong with skipping the draft process and replacing it with… a graded draft, essentially. But I’m just willing to take the author at his word on the following point:

> Every essay I receive is graded with a terrible harshness.
If I remember correctly, the main reason why Wasm has structured control flow rather than old-school arbitrary jumps is not because you can optimize the former better in general, but specifically because it enables efficient JIT streaming compilation with simultaneous code verification (for sandboxing), which was deemed important for web use cases.

Simply put, wasm is optimized to allow JITs to be simpler, at the expense of making it harder to write compilers for it.
The WASM spec ended up being a poor compromise between 'executable spec' (i.e. writing the spec entirely in ocaml or in a theorem prover language) and 'human readable spec' (i.e. the JavaScript or C# specs).
Sometimes you don't want pretty. If you are trying to convince people to support something then crayons can direct people to not look at details that should noc be decided yet
> Subsidies allow them to spend on R&D and build economies of scale which can result in sustainable competitiveness even after the subsidies are gone.

True, but so far most EV subsidies have been on the sales side, presumably for equality. Any manufacturer producing a vehicle ticking all the boxes will qualify that vehicle for a purchase subsidy.

> How do you imagine housing supply is increased when substantially all of the existing lots already contain existing (mostly low density) housing?

I am not saying we shouldn't increase density. I am saying that in the current housing crises we are already building as fast as we can given bureaucracy and construction capacity. This housing crisis has been one in the making for decades, it won't be sim-sala-bimmed away in a year or two. There is no "increase density" magic wand.

> The chances of converting 100% of new car sales to EVs overnight are zero. Meanwhile selling two 50MPG hybrids is about as good as selling one EV and one 25MPG SUV.

There are neither enough BEVs or PEVs to do that. But it is fairly certain we'll get to "full electric" a whole lot slower if we stifle the influx of cheap, high quality EVs.
I just sold the FF7 remake for PS5 for over $50. I lost a few bucks in shipping and such but it was a good return for a game I probably wouldn’t play again
Things like this need good signal to noise ratio to survive. Just throwing your hands in the air and saying anything goes doesn't work because users don't want to search through 10 billion mislabelled things to find the right one.
Oh I lied, they pay $1300 per year on 117k assessed value for a home purchased in 1975 for 50k.

I bought my house, substantially the same, for 800k, currently worth about 1.5M.

I'm in Pleasanton.
Just curious why it’s not a ‘good thing’?

The only thing I can think of is it would be bad in the situation of a monopoly, but that’s not the current situation. Otherwise, it seems like an emergent market is being accelerated, and I, the consumer, can benefit from cheaper and better products and the attendant competition spurred by government finance of sorts. Historically it’s been seen as governments are uniformly terrible at allocating capital, but if subsidies really are the dominant factor here—still not sure that’s true—then BYD seems to be in contradiction to that theory.
If that was the case, almost anyone else would have already built another Tesla and SpaceX.
I think the most important takeaway from this article is that the defaults are crazy inefficient; they seem like pessimisation. I've seen this a lot with "modern" toolchains and languages --- there's zero thought spent on efficiency, and an attitude of not caring at all about how much time or space something should take.

We went from 3.6 MiB to 400 bytes.

In an ideal world, you'd get those 400 bytes from the compiler when you set it to optimise for minimum size and give it the same "simplest possible Rust program", and without optimisation the output might be a little bit larger, but not 4 orders of magnitude larger.

Frankly, 3.6MB is nothing but insane for a program that does little more than exit. That's more than 2 floppies! We can add "Rust program that does nothing" to "List of Things That Turbo Pascal is Smaller Than" (https://news.ycombinator.com/item?id=22843140)

I wonder what it is that leads to such inefficiency. It would seem reasonable that a program that does very little, should also not contain much code. Therefore a compiler shouldn't generated much code. Yet somewhere along the way, drenched in multiple layers of abstraction, we've lost common sense?

A program that returns 42 is a 5-byte file in DOS: b8 2a 4c cd 21. (And if they'd been a little more thoughtful on the initial API, it could've been 3 bytes.)
Eh it's either Python or C++ with ROS, and Python is much easier to work with. Adding type checks to method arguments isn't much different than doing it in Rust, and makes life much easier with anything larger a tiny program.

If there is anything complicated, you can either make a quick generic type (TypeVar) or even just throw in an Any type! I had to do that recently with a function that handled different ROS services, which apparently do not share any base class.
Depression and self-worth are apples and oranges. One is an ailment, the other is more like a metric that is dependent on variables.

As an individual you control the variables that produce your self-worth. That can’t be said for the factors that create depression, at least not fully.
The structured control flow also specifically makes secure compilation much easier. If you want to do something like CFI, it's easy since you know where all your branches and branch targets are and who can reach them.
Ha, we used to do this in the 90s with double pipes || and triple pipes |||.
It seems to me like archive.org and the major book publishers are sitting on a gold mine(at least up to 2022), but I haven't seen anyone saying the same, so maybe I just don't know enough about LLM.
This can't be underestimated. Legal is by and large the largest risk of a torrent site. Maybe one day..
Lapce cannot use that much of memory, it's most likely that Rust Analyzer has allocated majority of it.
I don't think it impacts AGI timelines much. Worst case scenario, we just cut off training at 2024 data. But it's not like another ~5 years of internet data is the magic that will get us over the finish line to AGI. We should have enough data already. We will get to AGI with synthetic data (e.g. AlphaGeometry for code, or simulators e.g. RL inside unreal engine), world model from video, algorithm improvements, and 100x more compute.

I'd add that majority of LLM-generated stuff put onto the internet isn't pure junk. It's endowed with human-created context and curation. If someone submits some LLM-created code to Github, it's because it works. A small fraction is pure noise (e.g. state-actors spamming Twitter) but that should remain a minority.
2.17 was released in Aug 2022. Here's the changes file:
https://httpd.apache.org/apreq/docs/libapreq2/apreq_changes....

Here's the bugtraq event about it:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1018191

Does any of this make sense to you? Nobody who looks in the changes file has any idea the last three releases involved CVE issues. Not only are they purposefully obscured, the release itself contains undocumented bogus parser changes that were papered over during candidate voting.
That on top of completely disregarding that the "bloat" is doing something (panic machinery, string formatting, DWARF symbol storage, DWARF symbol parsing, etc.).

The point is that it'll never be doing something, and the compiler can clearly see that, but decides to add that dead code anyway.
HN can always change their robot.txt and prevent google from crawling. Many of copy left friends do that to their blog and site to prevent google/bing from indexing them.
It's also a failed finance minister promoting his latest "God is dead" style polemic. Give him a break. He's just trying to earn a living!
I strongly disagree based on decades of experience scripting in linux and needing to manipulate tabular data. Maybe you just don't know a lot of programmers. CSV is _extremely_ useful, if you know when and how to apply it and don't push it out of it's wheelhouse.
I’m not actually convinced Elon ever thought they’d achieve L4/L5 autonomy in the timelines he originally proposed. I think it was all a ploy to pump the stock and sell more cars. And it worked.
Yea, but once you’ve solved that you’re at the mercy of the whims of your software engineer.
FYI you can include timestamps in YouTube URLs. Thanks for the links!
> This should all be built into base compensation.

Correct.

But then the advertised price is higher than a taxi, and your pragmatism (and everyone else's) is suddenly back to being honest: it's just about your total price paid. Nothing else.
> It's nice in browser history to see foo.mp3 and know it's an mp3.

TBH I agree, I personally do my best to ensure the extension in the URL matches the document type on sites I run, but my point was that it's not in any way required and it's actually somewhat common for it to not be the case where the person I was replying to seemed to think it mattered.
Yeah, I can’t think of a reason why I’d really want to hand edit a CSV file.

I think the rationale behind using CSV is even more basic. The reason why CSV is so popular (and TSV, HTML and JSON for that matter), is that it is a human readable format. It is much easier to troubleshoot and debug data and data flows if you can open a file and see it in an editor. Especially when trying to move data between systems/people/groups. You don’t really need to edit the file, just read and mentally parse it if there is a problem.

This is why the most popular formats are text based. It’s only when the verbosity of text is too great that we move to binary, such as for images and media (xpm excepted). For most other data, compression tends to be “good enough”.
Correction: Remote SSH works fine, we haven't reimplemented the remote file picker in new GUI toolkit but that can be workarounded by using `lapce` CLI and built-in terminal.
That’s a great idea and useful fallback behavior for file importers that don’t understand the type annotations.

Stylistically, I suggest using a colon like many programming languages do for type annotations:

Name:string,Qty:units
One of the historical problems with JS for the kind of application WASM gets used for was that you had no way to predict how a given piece of JS would perform in each browser. The quality of the generated code was dependent on a ton of factors, and code could randomly get de-optimized during execution if you accidentally did something like pass a double into a function that had previously only been passed integers, despite the two being the same JS type. JS compilers are full of weird heuristics based on things like (I kid you not) how many characters are in your function's source code.

WASM originally promised to be AOT compiled once, start to finish, with consistent performance. The design omitted some useful (perhaps essential) things in order to be able to provide this.
Kakoune too. But if a project focuses on a novel editing model and not some other aspect of an editor, then implementing it inside Emacs might be the best approach.

If implemented inside Emacs, then it composes with the rest of its package ecosystem. Kakoune, Helix, etc. are somewhat set back by having to reproduce functionality equivalent to Magit, Org, LSP mode, and so on in order to be on equal footing for many users.

Evil, Meow, and God mode seem to show that Emacs is a good platform for such experimentation.
Oh my god, houses with more then one family in it, that straight out of Judge Dread. Everybody will live in vertical super cities with apartments like capsule hotels.

I would be laughing if it wasn't so utterly sad and depressing that you think that the reality.
Its the same in Britain as well. But in other places its not as strong, in Spain for example the is a much larger amount of mixing and it took much longer to happen.

There are also difference in the ratio of men-to-woman mixing across populations depending on the location.

I highly recommend the lectures by David Reich on youtube. Specially his recent lectures on India are brilliant. [1]

[1] https://www.youtube.com/watch?v=pra7YZWVc-s
The liberal arts.

We learned Confucius, Mencius, Daosim, legalism, the dynasties, bits of the Chinese language etc. I still remember all the dynasties in order.

Of course that didn’t really pay the bills so I redid a bachelors in STEM. But its pretty common in many liberal arts curriculums. Taught right alongside the classics.
Trickle down economics is a scam.
Yes that's why I was curious on a comparison to Wireguard, because for some the advantage that the mesh/managed VPN setup brings may not be worth the performance trade-off.
What’s “lifestyle” in this context?

I can think of a couple of meanings, but the first thing I’d recommend is a lawyer to figure out your language, privacy policy, exposure if using certain terms.

For example results, quality, etc would need legal documents to basically say ‘results may vary’ based on jurisdiction.
It's funny until you remember that the class cost $2,000
What are you talking about. It was finished and used until an earthquake damaged it.
Be a team of 3-4 people working in their spare time to maintain cross-platform native GUI FOSS project that people seem to like
This is a reaction is what you need to know, they weren't "forward looking".

TLS 1.0, TLS 1.1, TLS 1.2 and TLS 1.3 all had problems where we've got an extension point in the prior standard, we just push this button and... now everything is on fire. Ugh.

So GREASE is for next time. When these same idiots ship their similarly incompetent garbage, the GREASE makes it not work. So the conversation goes like this:

Lazy Implementor: "Why doesn't my TLS 1.3 work?"
Anybody: "Did you read the standard?"
Lazy: "What do I look like? I've got a 16 digit IQ, of course I don't read standards"
Anybody: "That's your credit card number, not an IQ, and you should read the standard"
Lazy: "I think I know what an IQ is, and why should I read a stupid standard?"
Anybody: "Suit yourself if you don't want working TLS"

For TLS 1.3 here is what we had to resort to because these morons are "too clever" to read standards documents and do what we told them to do in TLS 1.2 so we had to invent a hack.

When your TLS 1.3 client calls a server it says effectively "I'm a TLS 1.2 client, here continuing our earlier conversation # BigRandomNumber. Do you remember that? Oh, by the way, I also know how to [Fly Casually This Is TLS 1.3; here are some magic numbers]"

A TLS 1.2 server has never seen BigRandomNumber before, and so it says sorry, we need to start from the beginning, and does so, speaking TLS 1.2 as if you'd connected. So that's compatible.

A TLS 1.3 server recognises this wheeze and replies in kind, "Hello TLS 1.2 client, I'm the server some.computer.example, we can continue our conversation, by the way I too know [Fly Casually This Is TLS 1.3; and here are my magic numbers]". And immediately after this, everything is encrypted, because they were both actually talking TLS 1.3 and they've got key agreement via exchanging magic numbers.

Idiot middle boxes, which would have freaked out if anybody admitted they were actually using TLS 1.3, despite clear instructions not to freak out when the future happens, think this is just a continuing conversation, they must have been power cycled since it started, or maybe a device came from another site, it doesn't matter, it says it's an ongoing conversation so it's fine...

[Edited to fix various small things]
I use LazyVim (neovim) and VS Code for Python work. Pyright and Ruff work well with Neovim, and Pylance works only with VS Code (but you need to enable it, if I remember correctly!)

My only issue is I occasionally need to restart Pyright when it fizzes out.
What I would have done differently:

1/ report the Google Fuzz Report to the actual development team, to coordinate and collaborate on a solution.

2/ not take three whacks at a security release just to fix the same vulnerability

3/ not attempt to ship whimsical patches in a security release

4/ not patch the test suite to lie to voters about the viability of a release candidate.

5/ ship a hotfix immediately after users report the bugs on 2.17
You can't, but if you store a datetime with an IANA time zone, then when the IANA time zone database is updated because of a DST change, your stored datetime is still correct.
Apologies if I'm obtuse, but what exactly is the difference? I mean, if we accept philosophical reductionism, isn't nature just the result of (very complex and impressive) data-intensive physical processes?
The Case for Nitpicking: Why you should discuss style in code reviews