skysight-inc/HackerNews huggingface dataset:
Sure I get it. I’ve just not commuted since the iPhone was first released.

Imagine for a moment that we don't use our hands to use a device: you wake up one morning, board a train and everyone has a head-harness holding a rectangle in front of their eyes. It’s a very strange sight. But I’m old and my days are numbered; this isn’t my world.
I downloaded "Learn Chess with Dr Wolf" yesterday from this comment, and I am completely hooked. What an incredibly well-designed and thoughtful learning tool. This has renewed my interest in Chess!
Feels like a useful preprocessor script: turn this repo into a single file
It took me a while to understand that paper, because it builds on the techniques of the Deja Vu paper for leveraging sparsity which are already pretty complex:

- First, the Deja Vu paper observes that models with low weight sparsity have what they call high "contextual sparsity". Basically, the matrix multiplications will produce vectors with lots of zeros in them, but where the zeros are depends on the input.

- The paper notes that you can use that sparsity to skip loading some rows of your matrices.

- However, to get good performance benefits, you can to predict in advance which rows you're going to skip. You can do that with a low-rank matrix.

The Apple paper then suggests these findings can not just improve your performance loading from RAM, but even allow you to load from flash memory without sacrificing bandwidth:

- The paper notes that attention matrices are rather light; the FFNs are the ones you want to load sparsely.

- The paper notes that you can get much better sparsity by predicting the output of the ReLU layer rather than the input of the FFN. Basically saying "if you can predict that after matmul this slot of the vector will have a negative value before ReLU, you can skip loading the matrix column and output zero".

- The paper suggests that you don't need to load most rows of the FFN at all; you can just keep a cache of recently used FFN rows for each FFN, and update it from flash memory on-demand.

There's a bunch more about chunk loading and the correlation between projection layers, but the above is where I think the main insights are.

(FFN = Feed Forward Network; in the context of transformers they're the biggest blocks.)
I call this "spineless" because you're missing the "vertebrae" of a year-month count.

I find that many places need a spine.
Show HN: Inox Platform and Programming Language
A single-binary platform for full stack development. Dead simple configuration. Secure by default.

I've just released version 0.1 after two years of work.
In case you ask: yes, I know code quality needs improvement and more tests should be added :)
With point #1.....

I've often been concerned that focuses on the most aberrant and rule-breaking of people inevitably broadens the range of the scope of behavior that gets targeted over time. When the most severe of criminality is less prevalent and easier to detect and stop, would law enforcement then not use their remaining resources to go after pettier and pettier crimes? What makes you think your present behavior will always keep you "uninteresting"?
Conversely: "The things you own, end up owning you".

A line of code is something you own. It makes you obligated to either maintain it or let it go. The only truly free development is greenfield development, where you can write whatever you want. And now you've got code you own, and you're in its debt.

So yeah, we can all live wonderfully free lives by writing no code, but that does tend to up our other debts, i.e. student loans, mortgages, etc.

Good code is not more code or less code but code that does what the customer actually wants it to do. The better we understand the customer's needs, the more we can write just the correct code. We can't always do that; often the customer themselves doesn't know what they need.

Regardless, the way out of this conundrum is to stop counting code, technical debt, or other ways of trying to make the human problem into a computer problem. The real problems are always out there, not in our repositories.
Electric cars are better, not worse at almost every metric.

If you’re moving the goal posts to subjective opinion on aesthetics, then ok, I have no comment.

Model Y is the most popular vehicle ever made in any category electric or not.
The CCS2 does not have the issues of the CCS1 but is as big that is the only downside. But if you want to fit 3 phase AC charging you need a big plug.
A reading habit, past a certain point, is self-propagating, in my experience. Based on conversation, explicit reference in other texts, and a general sixth-sense of what books to read next, I find that I rarely have a miscue. Abandoning a book that’s no good, or that you simply can’t get into for whatever reason, is a big part of making a self-propagating sense for reading highly reliable. I write a lot about what I read, and I think this further helps to direct my reading.

You can try writing a little testimonial when you start a book that would include your reasons for reading the book. When the book no longer seems to satisfy that rationale, it may be a good sign to abandon the book.
We weren't allowed to go the beach here in SoCal. If you can't go outside, why would you need a scooter
so why is the overhead a 1/3 ratio instead of a constant amount? just testing the scaling assumption
It can. A function that generates date objects between two date objects is also pretty performant for specific uses.
I wonder if that was just before a big VC round.
I'm sorry I replied; I thought you were confusedly misinterpreting the article by reading something about cargo-cult practices into it, but I now think you're just sort of emitting nonsense, and so it turned out to have been pointless.

edit: Actually, on reflection,

>THEN one of the comments looks suspiciously like it's chiding my social disharmonious actions.

I consider this extremely aggressive, rude, and to bear no relation whatsoever to anything I typed. I don't understand what causes people to talk in bad faith like that.
You get high on your venture capital supply and then remain so disconnected from reality that you don't worry about profits, costs, use, repair, charging, or just about anything else, figuring you can "gig economy worker" your way out of it. Lose money on every transaction, but plan to make it up in volume once you take over the entire market for it. And then realize, rather late, that there are other people in the space, it's not a hard space to get into, and nobody actually really likes you in the first place for your model of "dump semi-loads of scooters first, ask permission never."
I think you may be fighting some ideological proxy war that I definitely don't care about.

If you don't industrialize, slavery never ends. It was everywhere in human societies until industrialization.
Oooh, I’ve been using Paste but Maccy is compelling. Thank you for sharing it.

https://apps.apple.com/app/id967805235

https://pasteapp.io
My experience was that of the Arkansas student in this article. Freshman year we were required to live in the university dorms, and they were bad - two to a room, poor ergonomics (for example, the bathroom sinks were too small to fill a glass of water - I did dishes in the bathtub), the per-room HVAC had constant issues, and all that while being far more expensive than off-campus housing. A few years later I was paying less than half as much for a private room in an apartment two miles down the street with a kitchen, much nicer furnishings, in-unit laundry, included parking, and a pool.

All of that is to say: our dorms were expensive because the university had a de jure monopoly.
I am sorry who are the people that think putting drivers at risk is worth “fighting” for?
I think the credit card thing would require the chargers to be monitored in a way.
Apple themselves say no for a totally different reason. I haven't seen anyone making this argument other than random posters on the Internet.
If we’re going to spend half a billion dollars for a company to hire a few hundred people and then fail, I wish it was for a better cause.
I wonder whether you have considered the flood of low quality PRs that will clog the inboxes of the unpaid volunteer maintainers of various open source projects now?

This has been a big problem already, with people changing a spelling of some comment and submitting a PR in order to have a contributor credit to some project on their CV/university course. So now we automate this and enable it on an even larger scale, with no actual work required beyond typing a prompt into ChatGPT?

Please, do provide a way for maintainers to opt out/filter these machine generated PRs before unleashing this on the world.

Automating sending PRs to Github projects is really not something I would call sensible or a useful feature, IMO - how often does a legitimate contributor make a PR that this would save them time or benefit them (or the project they are contributing to) in some way?

I am maintaining the Wiiuse project on Github and if these automated PRs start showing in my inbox, they are going to be deleted outright. And if there will be too many of them, I will have to close the public contributions to the project completely.

I simply don't have resources to deal with such spam. I am not paid for maintaining the project and I am doing it in my free time only. So I need to prioritize bug reports and actual contributions, not low quality AI generated spam.
This is identical to what I've been building and using my own gpt (via ChatGPT) with API integration to automate full genome base-calling, assembly, annotation and prediction pipelines. Using this approach, me and my team can use it to debug pipeline failures, interpret the results, draw inferences and create context-dependent experiments. There's no leap in the tech beyond GPT facilitating the interaction with APIs, but it is a completely new way of working. This is what I can currently do:

User: Show me my genomes

ChatGPT: Here's a list of your genomes ... [API call to GET /genomes]

User: Annotate genome #nnnn

ChatGPT: Kicking off annotation [API call to POST /annotate]

User: Show me what genes are related to growth regulation for the genome

ChatGPT: The genome appears to have several genes related to growth regulation. Here's a list [API call to GET /genome/X/annotations] ...

User: Design an experiment to knock-out this gene using CRISPR in Aspergillus niger, include the guideRNA specific to this gene.

ChatGPT: Here you go...
> You probably refer to one of the demos on our landing page?

Indeed, not sure how I ended up there but did on mobile, commented here.

> You're absolutely right that SQL seems easy but it's these edge cases that make it hard to get right

SQL/data analysis is endlessly pesky! I assume it would be easier to spot on tighter increments like "minutely" or "hourly"

> It should at least be a feature you can turn on as the data team.

Some might want the missing points, others wont - sounds like a good option (but id default to "enabled", each to their own though)
> Dorms used to be the defacto, cheapest living arrangement.

Has that changed? The article suggests $500 per month for a basic room. There is no way I could find anywhere to live for that much around here, not even in a crack shack, and I live in a small town where housing tends to be cheap compared to the cities where colleges are found. In which cities is $500 per month for rent above market?

Sure, you can opt to spend upwards of $2,000 per month (per the article) if you want to live in what is effectively a mansion, which may be something new, but you're going to spend more than that to live in a mansion off campus too, surely?
The problem is it's not totally irrational to be freaked out by this. Think about the distribution of the error rate.

A lot of fatal accidents can be attributed to inexperience, distracted driving, running lights, drugs, alcohol, asleep at the wheel, medical events or extremely aggressive driving.

The distribution of unsafe driving is not even. Personally I had 2 accidents in my teens and 0 for the following 20 years.

Your typical taxi driver will be fired/fined/reported over time if they drive this way. Further, if you are in a taxi where you notice a driver making you uncomfortable, you can end the ride early (I have).

However, imagine a robodriver that is 4x safer, however every single vehicle on the road has the same probability in any instant of invoking the same "no human would make this mistake" driving error fatally.

An analogy would be that at any moment, your calm, courteous, focussed spouse behind the wheel suddenly transforms into a 17 year old teen in a Mustang.
The preact team also dislikes transpiling jsx so they've developed an alternative using tagged template literals: https://github.com/developit/htm
In Australia a lot of people already have solar installed and an electric car increases the roi of that. Tesla has the market only because there isn’t much competition. BYD have entered the market now and will likely change that.
How is the brand exposed? Do the plugs have to have the Tesla name or logo on them?
How much of your code is created by the AI developer?
on 2: caches for one
Because that's the true "innovation" that has been coming out of Silicon Valley for the past 10 years or so: losing hundreds of millions or billions of dollars for years without as much as a hint of a plan to become profitable.
Why did you yell at the manager? I mean they don't have the power to change such things. They can report it to the higher ups, but yelling at them will only lower the chances that complaint would ever see the light of day.
wow, i really empathized with this

i was so burnt out upon entering MIT, and now i regret not taking a gap year or something. i feel like i missed out on a great learning opportunity

thank you for writing this. you opened a bit of a window into my past i haven't really processed
Yeah but exllama doesn't do grammars so I'm stuck with llama.cpp

Also apparently exllama has a few side effects in coherence https://www.reddit.com/r/LocalLLaMA/comments/17w57eu/llm_for...
Joining against a generated series is also trivial.
Most places, outside of a few weeks here and there, were still a-ok with you going places. Just not all places.

But, another perspective.... do you want to take a bus, packed with people? Or even an uber, enclosed? Or, a scooter which you can wipe down the handlebars on?

I'd have thought scooters would have soared during the pandemic.
Clicked hoping for interactive examples. Did not disappoint. Here's an internet point, friend. Thank you for your service.
Thanks. So do the microVMs run as nested VMs on a standard GCP VM? How is performance with that?
> no literal baby in HTTPS-everywhere that I know of

Well not anymore. We threw it out.
Agree with you again. It’s not just timing and location either. It’s also your Alma matter in both education and the firms you worked at. If you create a resume for the typically YC member, over 90% of them went to an Ivy League level school and worked at a FAANG, MAGMA or whatever firm has great mindshare or prestige
GP is talking about L2 charging for multi family homes. Not DCFC.

But I agree, DCFC need to all accept credit cards like gas pumps. Fortunately NEVI funding requires it.
Further pondering about this.... every word has multiple meanings, and the choice of which is intended can only be resolved into a probability, as are the positioning of the words within a sentence diagram, and the structure of that diagram.

The best you could get, is NOT an AST, you could get a tree of possible sentence diagrams, each one having an overall probability of being the right one.
Good point, thanks for the link!
(one of the links there leads to this wonderful post: Highly recommended: http://jalammar.github.io/illustrated-transformer/)
Arcan and associated projects look very cool. The video for this update showed lots of interesting features. I was also glad to see it working on the Asus ROG Ally, and presumably, the Steam Deck too.

The article stats out with a heartfelt eulogy for Mr. T - I didn't know him, but RIP.
I actually like the high bar thats set by no-coiners, it really does improve the space

This practically guarantees the bitcoin market will become extremely liquid for extremely large amounts

over on wallstreetjournal comments it is still common to see out of touch people wonder if anyone’s ever converted their crypto to cash, not knowing how commonplace that is globally for the last 10 years as they’ve only seen negative headlines their entire life

its still common for people to have antiquated views about the level of liquidity in the crypto space. “Good luck cashing out those millions!” cashes out hundreds of millions

this standard would move that to billions very easily in a single transaction near the best bid and ask, with dozens of bitcoin ETFs always doing transactions to match retail order flows in the stock market.
As a fellow Leaf owner, I agree it's really perplexing and frustrating. I was looking at what else Nissan are doing, and while they've gone for CCS on the Ariya (and also got the active battery thermal management), frankly I don't want or need an SUV.
There is this old notion that you should think of "lines of code spent to solve a problem", not of "lines of code produced".
From experience, avoiding environments with these traits and finding better workplaces sometimes requires extra effort but in general is possible.
The author is just going for a roundabout version of "[unspecified group] are a bunch of virtue-signaling hypocrites", and giving the reader some latitude to fill in the unspecified group.
Trust for what though? I'm not going to trust a british accent for a food recipe but I might trust them for advice on hiding money.

> The phenomenon of AI voices _and_ American voices choosing to be in a "presentation mode" / "telephone voice" is disconcerting

I wonder how much of this is choice, or availability of crisp training data
> It’s objectively one of the best-performing assets in human history.

I feel like this ignores the question "should it be"?

What purpose is it filling for society in its current state?

I find it highly unlikely that 100% of its daily volume ($26b) is treating it as a currency (exchanging it for goods + services).

I don't have the statistics but I'd go as far as to wager less than 50% of its volume is using it as a currency/vehicle for currency/vehicle for utility at all.

Which goes back to the original question: just because it's one of the best performing assets of all time doesn't mean that it should be if you introduce logic + reason + facts around it, right? Who is using it for what currently and at what scale? Are 99.99% of people using it as a vehicle for speculative investment and nothing else? How many dollars are being pumped into it every day (inflows)?

https://www.history.com/news/how-the-beanie-baby-craze-came-...
NEMA 50 with the mobile charger is the way to go. It is future proof and only charges a tiny bit slower than the dedicated Tesla wall connector. Not to mention with a NEMA 30 adapter it can charge up RVs.
Companies don't want want the hassle and expense of PCI compliance across their charger network. If it's just session auth shit going across the wire, they only need to worry about PCI compliance on the back end.

By collecting lots of info about you, they get a lower processing rate because the transaction is lower risk vs a swipe/tap.

They can save on transaction fees if they consolidate charging sessions; say you do 2-3 charging sessions in one day.

They want all the personal data they can collect on you constantly if you have the app installed, and to spam you with marketing notifications.

They want resistance to using a different charging network. Charger Company A's charger is $1/minute and Charger Company B's charger is $1.10, and they're on the same block? Obviously you're going to go to the cheaper one if you can just swipe your credit card.

If you have to download an app (using your mobile data, and it might be quite slow), register an account, etc - then you not going to bother with the cheaper station.
The user base where I lived mostly consisted of tourists, commuters going from a parking garage to an office building, commuters going from apartments to office buildings, and unsupervised minors doing unsupervised minor things. All but the last group disappeared during the pandemic.
you forget systems have humans in them. most online banking scams hijack bank domains and use CAs for that country gov, which usually have keys leaked or sold on the right (wrong?) places. just look at india or brazil list of small govt CA revocations. those are usually CAs signed by the CAs in your browser.

so, yeah, a gov abusing this is very bad and visible. scammers profiting from the complexity and humans in the machine, is very common.
I don't want to be dismissive of set theory, because it has an extremely rich History and is still seen by most as the foundation of maths, but I believe there are some fundamental issues with it that make type theory a more appropriate foundational choice for general computation and programming language theory/design. There's a reason theorem assistants and proof languages are based on some version of type theory, rather than set theory.

To a first approximation, type theory and set theory play similar roles. There has been a lot of noise in recent years around replacing set theory with type theory as the foundation of maths, at least in the context of proof assistants and programming language theory.

But nonetheless, I agree that knowledge of set theory can't hurt (and practically speaking, you can't go far in your maths journey without it).

(I would also note that functional programming is a special case of relational programming.)
The author and I have discussed this elsewhere, but we had dramatically different experiences with competitive math, and I think part of the key is that he experienced it as a part of the college admissions grind, while I experienced it as an escape from the classroom to go do cool puzzles.

My major takeaway from his article was "The things we do in the high-stakes holistic admissions structure we've set up are insane" more than anything to do with competition math in specific.
Way less office workers and students went to work and school, and this made up a big part of their traffic.
I don't know that taxi or uber drivers are particularly safer. I mean drunk and joyriders sure - but that must be a tiny fraction of drivers. As opposed to the ultra-common "scared" and "distracted". The last shared drivers (including taxis) I have used did not seem particularly expert. They certainly did not seem hyper-alert (which would make sense if driving all day) or experienced (in the case of uber drivers).

But there seems to be some stats. https://www.nytimes.com/2006/04/28/nyregion/that-wild-taxi-r... got "crash rates one-third lower". Still great result from Waymo.
When you suggest 80% of people live in urban areas, that statistic has a threshold of 2,534.4 people/sq mi. That isn't very dense. You're leaving out a lot more than 20% from the conversation when you talk about eliminating cars.
Related:

Scooter startup Bird is seeking a $2B valuation - https://news.ycombinator.com/item?id=17293571 - June 2018 (269 comments)

Bird has raised $100M for electric scooter sharing - https://news.ycombinator.com/item?id=16555913 - March 2018 (146 comments)
If I was analysing TB's of data via SQL, yeah i'd probably agree its better not incur the transfer overhead to perform this check - if it was small org, id say its not great.

Also once you start saying "i want secondly/minutely breakdowns", the dimension (neat term) gets pretty...large (probably less than the TB of data though)
Humans were hallucinating responses given a prompt long before LLMs were a thing. Just look at any comment thread.
Moving to another country.