skysight-inc/HackerNews huggingface dataset:
Graeber in particular seems to attract critical pieces by people who seem to have done a very poor job at reading the work in question. It’s so bad that I basically expect it when I see one, now. No idea why.
Yes.

> I can't tell if I'm amazed or terrified.

The rule is very simple and obvious, and the compiler will yell at you if you get it wrong.

It's also very useful and even critical of how expression-oriented the language is: an `if/else` or a match statement must typecheck, all branches have to have the same type. It's obvious if you're using it as an expression, but it doesn't go away if you're using it for the side-effect (as an imperative conditional/switch) and then things can get more dicey as the expressions in each branch can have different types. `;` solves that by making every branch `()`-valued.
The largest share of convicted inmates in the US were convicted of violent crimes such as murder, rape, robbery, or assault. Simple marijuana possession makes up a tiny share. And less than half of the violent crimes committed in the US lead to a conviction.
Yes, it is available offline if you “Add to Apple Wallet”.

The ticket in Apple Wallet is still revocable if you transfer the ticket to someone else using Ticketmaster’s website, probably through an update that Ticketmaster pushes to the wallet [1].

[1]: https://developer.apple.com/library/archive/documentation/Us...
I suppose there could be worse problems though. According to Bloomberg, as of a few years ago there were more people in India who didn't have access to electricity at all than live in all of Canada, and not insignificant portion of our population is of recent Indian descent. This source reports ~10% of their population https://www.iea.org/reports/sdg7-data-and-projections/access...

As a Canadian (but not Albertan) I've never had direct access to the residual economic effects of oil resources, or the slight tax offset that comes with having no Provincial Sales Tax, aside from general gov redistribution. I've never not had electricity, and I've never not had renewable electricity, which is quite remarkable.
A gang of us are reading through this book right now and with fortune, Dick Sites has joined along too. It's quite an interesting book and quite challenging too. I love the performance archaeology Sites has done and also like the emphasis on 1) understanding his stated five fundamental resources (disk, network, cpu, memory, and software critical sections) and 2) how profiling (with hardware performance counters) can be cheap and effective but will only help you out with average performance and not p99 behavior. For that you need tracing.

We're halfway through the book so my takeaways my differ by the end. But it's possibly the most densely packed book I've read. Will definitely require future rereading.
That's... aggravating.

It's not a day late and a dollar short. It's 30 years late and tens of trillions of dollars short.

Actual climate scientists were warning about the dangers at 1.5C, and had been since the 80s. Now 1.5C is actually here.

So I feel like this needs more than just a "whoops, changed my mind". This needs a "Hey, turns out that maybe physicists don't know everything, and maybe when in doubt we should defer to the people who actually study the field".

Hossenfelder is very smart and (at least within her field) very well qualified. But she seems to like perceiving herself as a gadfly, choosing contrarian positions, usually without being in a position to be proven wrong. In this case she was very wrong, and everybody who actually knew the domain told her that.

I don't need a mea culpa about it. It's not like she was a really important force in climate denial. But changing her mind now isn't really helpful -- and it seems like she rarely has any desire to make an actual contribution.
Seconded.-

(For what little it might be worth, I have recently posted/commented along these very lines ...)
TSMC spends ~$30B every 2 years
I've had a couple of software-engineering jobs which qualified, and I sure was depressed about it at the time.
Nvidia AI Chip Supply Is a 'Huge Bottleneck,' EU's Vestager Warns
https://archive.ph/LKH2Y
Nice, thank you!

Yeah monetization is always tough, especially with something like this. My thoughts (were I in your position) would be to offer a full/unrestricted and open source single-player mode (open core model, with core licensed AGPLv3) that just modifies files on disk and is otherwise completely ignorant of git or anything else. Then for paid/hosted version, on top of it being hosted, you get full integration with github so PRs and diffs and things can be sent directly from the tool (which is great for designers). That also wouldn't require devs to do anything to buy in since the interface for them is just standard PR workflow.

If it were me personally, I'd probably make the whole thing ("enterprise" features and all) open sourced under AGPLed with monetization being a hosted version available for paid stuff. Make sure you own the copyright so you can relicense in the future should that become necessary. I think you still get the vast majority of users that would be willing to pay that way, but you also get that crucial group of people who want the option of ejecting from you as a vendor should you go a directin they don't like (enshittification, etc). It's also IMHO a very ethical way to do business. Register trademarks on your app's name and stuff, and defend them proactively. Worst case scenario if someone forks and tries to compete with you, at that point you exercise that copyright to relicense the different parts to the "open core" model. It isn't likely to ever be an issue, but if it did you have a move.

For targeting devs vs designers, IIWM I'd probably make the UI modal. I.e. design mode vs developer mode. Design mode can cater to designers, dev mode to devs. That way you can make UX decisions for one group that would irk the other group.
But would that be true if Canada had 1 billion people?
VS Code Chat Extension API
Fantastic article. Really easy to understand.

Side note: this is actually a great advertisement for server side rendering! If they didn't do all this client side rendering, exposing data in JSON APIs, then I doubt this reverse engineering would have been possible.
as if 1 year trapped on a tube in space wasn't arduous enough
>and yes I mean 99%

In which country? I thought carving was relatively popular with locals in the Alps (Switzerland, Austria, etc). At least it looks like that's what they're doing to me, but maybe they still do it wrong.
wow, i think you really missed the point:)

Germany is a relativly small country even compared to Alberta. therefor the population is pretty centralized with makes it far easier to supply with energy.

Alberta has 2 larger cities but the population is spread far a nd wide which makes distribution and supplying power that much harder.
This is cool, but there's currently an overload of ports assigned on my system.

Is there a way to manage all these port numbers? And why can't we use strings, even if just locally?

And what do people use to allocate port numbers in a way that you'll never get clashes?
> Ticketmaster ultimately provides a luxury. You don't need to see a concert

I don't agree. Entertainment/recreation is a need. Music is an important part of the human experience, and seeing it live, with other fans, is really valuable to some people. And the fact is, the value a person places on the experience is totally orthogonal to their ability to use/afford Ticketmaster. And it's not just about Taylor Swift - even local shows can be difficult to access without quarrelsome online portals. (But also, someone being obsessed with Taylor Swift isn't a personality flaw.)
Is it? At work we added conditionals to our expression language some four or five years after the first version was released.
No, it says it is 13 times faster, and 10x more power efficient.

So you could train a model 10 times bigger for the same power usage (assuming it scales linearly), and it would be a bit faster to do that as well.

Or you could train a model 13 times bigger for the same speed, and use 10x less power than if you hadn't.
That's exactly what I mean by parser trick. You're relying on the idea that if the parser sees an incomplete expression it won't end the statement then and there.

It also looks like shit, because now you have to check the end of the previous line to know whether it's a method call or a function call which was indented in incorrectly.
It took an entire thread of nostradamus-tier bullshit before we finally got the first serious response. Bravo.
> have been intrigued by artificial life because I think it takes a more holistic look at that question than AI.

Totally in agreement.-

> I feel like starting with the neuron is kind of a huge assumption,

A warranted one, but a huge one, indeed, nonetheless ...
Formatting Prompts with TSX/JSX
Thanks for pointing out to Double Commander. Installed it now and tried and it works well.
Unfortunately they did it by switching to natural gas instead of the massive sustainable buildout they needed. Good job on reducing thorium and uranium emissions, at least.
I agree about horizontal space adding to readability and I use that method fairly often.

That said, if you use classes, descriptive names, and appropriate comments, it won't matter how you group because your code will be self explanatory.

Finally, with today's wide-screen monitors on desktop, line length is less of a worry. Problem only arises when reading code on mobile devices.

The last workplace I was at had a soft wrap around 80 characters, but we upped that to 100 when functions and methods became almost vertical.
The reporters claim to have reviewed the actual case files in the article. I am always a little skeptical of these types of articles as well. But I do know firsthand (people I know directly and am familiar with the conditions and case) of cases of CPS way overrating, to both deliberately false reports and well intentioned reports that were mistaken.
If the entity (be it a corporation or AGI-driven corporation) learns from the punishment (or its peers learn by observation) it doesn't matter if the entity is sentient, the outcome is less of the unwanted behaviour. I didn't mean anything more complicated than that.
Device Memory TCP Nears Finish Line for More Efficient Networked Accelerators
In a slightly more heavyweight category I've settled on dufs for my single binary file serving / uploading / password-protecting needs.

https://github.com/sigoden/dufs
Whoever wrangles the AI will then take over project management.
This is the most interesting bit of information in this entire comments section:

Japan, which has a completely different view, model, and concept of real estate that does NOT treat it as an investment, ends up with the same portion of GDP locked/used/coming from real estate.

I feel like there's important information in that tidbit, but I am not equipped to grasp it.
How is Servo going these days? I didn't even know that Servo was still active, but judging on the blog (https://servo.org/blog/) it looks like a lot of recent development has been happening. Maybe it would help if Servo had an active browser implementation (beyond the downloadable shell).
In the .NET universe, you can mechanically convert between C# and VisualBasic. This is more or less done by going through CIL ( Common Intermediate Language - .NET assembly essentially ). So, it is more or less what you are saying.

.NET decompilers are common. I have built a few toy languages and compilers on .NET. For one of them, I could decompile CIL into my language. So, I could view .NET libraries from other sources in my language.

I think this is essentially the same idea you are proposing.

It only works if the languages are similar though. Going between F# and C# does not always work as well for example.
I think the stronger version of this argument is that if we did things Costco style then we'd have more metaphorical Costcos, including the distribution and number of positions within a Costco. Even with pallets, does Costco still have people managing the shelves? Probably. But also probably far less. Are we okay with that?

We are probably heading towards a world where unexpected slices of labor here and there are about to be automated away. Which ones exactly? I don't think that's the right question. Also, early automation is unlikely to categorically wipe out positions. Instead we'll just see fewer positions. Are we okay with that?

Another perspective of the same problem is you're doing a startup. You don't hire DevOps for a whole year and instead rely on sst.dev or Cloudflare hosting. Are we okay with that?
Well those drones could be counter drones right? With EM, explosives, nets, chaff or what have you.
That is just Gradle. Maven works every single time.
But again, who cares if someone else or a group of people think something you find to be crazy? If they act on it that's totally different, but we have laws for that already.
A headless browser based bot(s) is still going to be rate limited because the limits apply to the entire paid account, so even if it was against their TOS I'm not really sure how badly it could be abused since you're still throttled to ~50 messages every three or four hours.

Maybe they still consider that to be too much traffic though as a continuously running bot is maxing out the potential usage of the account.
Python, Poetry and Docker
> I remember a time when printable tickets were ubiquitous. One could print off tickets after buying them online or even (gasp) in-person, and bring these paper tickets to get entry into the event when you arrive

I go to 1-2 concerts a month so I'm well aware of how scummy TM is, but the problem with PDF tickets is that people sell fakes or sell the same ticket multiple times. I know multiple people who've been scammed this way. I get not wanting to use your phone for everything, but the changing barcode isn't just technology for the sake of technology, it's actually there to solve a problem.

> PDF tickets work even if your phone loses internet connection

So do the digital barcodes if you add them to your phones wallet.

TM even sends you an email before every event that says:

>> If you haven't already, download the Ticketmaster app or sign into your Ticketmaster account via mobile web. From My Events, tap view then add tickets to your phone's wallet for easy access at entry.

TM's help page for the Mobile Entry tickets also says (https://help.ticketmaster.com/hc/en-us/articles/978659778561...)

>> We encourage you to download your tickets to your digital wallet before you leave for your event. This ensures that you can always access your tickets.

> If you bought the ticket off the event’s official ticketing agency (not a sketchy reseller), you know for sure that they’re real.

The problem is that that isn't how the real world works. Ignoring the massive scalping problem currently happening (that TM is complicit in) sometimes plans change or people learn about events after the initial sale. Personally, any time I have to buy or sell through a reseller, I use StubHub, but I know plenty of people who don't want to use them as they charge high fees and they aren't much better than TM from a moral stand point.

Also, I get the impression that if TM locked all tickets so that they could only be resold on TM, the author of this article would have a problem with that.
I can understand the frustration from a climate change perspective, but you still get the benefits of cleaner air locally, increasing energy independence and freedom from commodity cost fluctuations.
Show HN: Learning to (Learn at Test Time)
I’m excited to share a project I’ve been working on for over a year, which I believe will fundamentally change our approach to language models.

We’ve designed a new architecture, which replaces the hidden state of an RNN with a machine learning model. This model compresses context through actual gradient descent on input tokens. We call our method “Test-Time-Training layers.” TTT layers directly replace attention, and unlock linear complexity architectures with expressive memory, allowing us to train LLMs with millions (someday billions) of tokens in context. Our instantiations, TTT-Linear and TTT-MLP, both match or beat the strongest Transformers and Mamba.

Arxiv: https://arxiv.org/abs/2407.04620

---

Sequence models store historic context into a hidden state. RNN layers, like Mamba, compress into a state of fixed size across time. They’re efficient, but performance is limited by expressivity. Attention has a KV cache, which grows over time. This state doesn’t compress any historic context, but becomes costly as context length increases. Why don’t we compress context into the weights of a model – just like LLMs do with internet data? This “hidden state model” still has fixed size over time, but a lot more expressivity.

We use self-supervised learning to update the hidden state weights, taking a gradient descent per on each token. After forwarding on a sequence, the state has been “trained” on the tokens in its context window.

And remember, the hidden state lives in just 1 layer of the end-to-end architecture. The other components, like the QKV projection matrices, are learned during pre-training with the standard cross entropy objective. So, the end to end architecture is meta-learning the best way to compress context, such that it helps for next-token prediction. We are “Learning to (Learn at Test Time)”

If it’s hard to believe that this actually works, our paper does a great job explaining the method in depth. We also cover some theoretical equivalences – this process of self-supervised learning is actually equivalent to self attention (if the hidden state model is a kernel).

Our own instantiations, TTT-Linear and TTT-MLP, both match or beat the strongest Transformers and Mamba on perplexity performance. Plus, TTT-Linear is already faster than the fastest SSMs, and has strong scaling in size and context.

The search space inside this framework is huge, and our paper has only taken a baby step. All our code, including training loops and datasets, is available in JAX (https://github.com/test-time-training/ttt-lm-jax) and PyTorch (https://github.com/test-time-training/ttt-lm-pytorch)

---

Twitter thread: https://x.com/karansdalal/status/1810338845659131940
Please explain me how meritocracy works for some orphan kid born in some nameless random village, in a country devastated by war and hunger vs a rich kid born in an extremely wealthy family. I agree that both of them deserve a worthy life and enough opportunities to develop their full potential and show their value. Unfortunately the possibilities of the first one are extremely low, and the possibilities of the second one are extremely high, both cases, no matter what possible merits or lack of merits are involved.
This is pretty exciting to see. I'm not an OSS maintainer myself, mostly due to lack of focus/energy, but the prospect of working with a company such as Geomys is inspiring. And I've been wanting to learn Go anyway...
Except then I'd need to have a good data connection at the venue, and the odds of that are infinitesimally small.
This is not only a truth of the world we currently inhabit, it has always been a truth, of all the worlds we have inhabited. Power and greed go hand in hand for a reason and the struggle to find the balance is, and will always be present.
I'm glad we cleared that up. Now all that remains is a good, measurable definition of what a bad company is.
It's not a perfect solution but you might consider using something like Jan and connecting an API key to GPT4.

https://github.com/janhq/jan
An other option is to have the color be semantically significant in which case you can't idiosyncratically syntax highlight. That's what colorForth does. It's weird.
You don't necessarily need to shoot down drones. You can have your drone (under registration-required size) intercept and collide with the target drone.

Or you can have your done jam the other drone and try to confuse it into aborting its mission and doing an emergency landing.

Or you could try to "swallow" the target drone and then deploy some safe-landing chute or chemically inflate a balloon to make a controlled fall.

I assume there are some property damage or theft charges, but getting around faa current regulations should be doable.
I think the founding fathers actually had a more educates populace than we do today. For all the modern education and fields of study we have today, is the level of idiocy an anomaly or is it a symptom of of modern education?
IOW the true solution to scamming is to raise prices so high that only the extremely wealthy can afford them, regardless of how accessible the actual concert/act/group/promoter wants the show to be.

The "real" solution here would be for Ticketmaster (or whoever) to actually make a ticket non-transferrable somehow, and then allow for tickets to be transferred directly through the original website for at most the original ticket price, and refund me the money.

For example, if I have a $200 ticket and I can't make it and want to sell it, I can post up a link to the original ticket seller's website (in this case Ticketmaster) where someone else can go buy it, and, if they do, I get a refund of the amount they paid. I can say how much I'm willing to accept (full price, $150, whatever) and someone can go buy "my" ticket, potentially at a loss if I'm willing to accept it. Ticketmaster can make money on these tickets by charging a non-refundable processing fee or whatever to everyone (the original buyer and any subsequent re-buyers). They make a tidy profit, everyone gets what they want.

The only complications are

1. making the tickets non-transferrable but also work offline is a difficult technology problem
2. Ticketmaster is an unregulated monopoly and thus has no incentive to behave in the best interests of the market or its customers when they could rake in millions more by screwing everyone except the scalpers
dufs – A Simple Self Hosted File Server with Awesome Features
Could definitely be wrong but I always thought waxing was about reducing the friction between the ski and the snow by both creating a uniform surface and because the wax has a lower coefficient of friction than the plastic of the skis.

edit: learned something new!
Lots of fields have a 'weed out' class early on. I majored in CS, and it essentially weeded out all those that had no real interest in the field but had thought they'd like it because it paid well or they wanted to make video games. Those sorts of classes don't necessarily need to be overly hard, because the people who 'get it' won't struggle much and those who don't will find it hard regardless. Although I imagine in math specifically, even those who get it might need to struggle a bit.
Would be awesome if it were true for airplane tickets
This is really impressive.

I haven't been using LLM-powered voice assistants much since I usually prefer text. One thing I noticed playing around with this demo is that the conversational uncanny valley becomes much more apparent when you're speaking with the LLM.

That's not a knock on this project, but wow it's something I want to think about more.

Thanks for sharing!
Not to "kill their users" but they realistically have meeting to vote on whether the system is "go/nogo". This is the basic structure of many aerospace designs. If you ever watch a rocket launch, they are literally checking in with every system owner for that decision. Prior to even getting to the launch date, there are meetings where they are checking with the designers for similar decisions. There are good documentaries/movies that show this dramatized in examples like the shuttle Challenger.