skysight-inc/HackerNews huggingface dataset:
I bet you could construct a hard proof that any kind of speculation is insecure in the sense that it cannot be proven secure.

If that's not true, then someone's going to figure out exactly how to set bounds on safe speculation and that will become part of future CPU designs.
There are a lot of episodes on YT as well, if you haven't already looked there.

https://www.youtube.com/@ComputerChroniclesYT
The real money is in business travel, not leisure. For long haul transpac flights in business class, it's not uncommon to pay 2-3x more for direct flights instead of a stopover, which means the market values the savings of a couple of hours at around $5000.
I love love love Svelte/Sveltekit. I am an experienced backend engineer and this is the first time I have worked in a FE framework that just clicked.

What I like:

- Not a whole lot of magic syntax.

- The structure of files feels like I am building a backend app, its quite logical and easy to parse through.

- Easy to get up and running, I am sure the decisions exist but I struggle historically with all the sidecar products that can be added into the frontend framework.

- It combines the beauty of native JS/TS with svelte. I can hydrate a store with my own hand rolled api calls.

- There is not a whole lot going on from a API/user perspective. I have stores and routes which are built into the folder structure. I am sure there is more but that gets me to a useful MVP.
Yesterday when I started evaluating Deepseek-R1 V3 it was insanely better at code generation using elaborate prompts, I asked it to write me some boilerplate code in python using the ebaysdk library to pull a list of all products sold by user with $name and it spit it out, just a few tweaks and it was ready to go.

I tried the same thing on the 7B and 32B model today, neither are as effective as codellama.
Why Engineering Leaders Must Rethink Testing to Build Reliable Software
When I meta-meta-program, I sometimes waste a lot of time debugging.
Like everything, I expect improvement to be logarithmic
It takes the last 75 posts and comments for performance reasons. Going to improve this.
Correct, but if you’re trying to capture today, these are the lion’s share of what you want to capture.
I didn't say there wouldn't be any process, but it's easy to show since all media corporations in China are subject to control by the CCP -- it's not a secret or difficult to detect, and it doesn't necessarily involve identifying shareholders.
>If HN had a 'Most Likely to Discuss AI' award, you'd win it every year.
>You must have a PhD in AI and politics from the University of HN.

Cheeky little bastard. Love the project. Good job!
Oh yes I reduced it by 4 for just in case :) I found sometimes the formula doesn't work, so in the worst case -4 was used - glad at least it ran!
Boeing proved "Big Plane" was profitable with the 747.

Unfortunately for Airbus, it also stopped being profitable before they finished the A380.
There are usually at least daily flights on most routes. Business travelers, in particular, aren't going to wait a few days to take a flight that's a few hours faster. Absolutely no one is heading out 5 days early to shave 3 or 4 hours off their flight time.

Even for tourism, I wouldn't.
It is very common that it is the 1% that makes you need to hire a particular talent for a certain task.

In this case, this guys obviously can do everything by himself already.
> Capabilities taken literally are more of a network thing (it's how you prove you have access to a computer that doesn't trust you). On a language, you don't need the capabilities themselves.

You may be thinking of the term in a different context. In this context, they are a general security concept and definitely apply to more than the network, including languages:

https://en.wikipedia.org/wiki/Capability-based_security

http://habitatchronicles.com/2017/05/what-are-capabilities/ (this is a great article)

https://www.ponylang.io/

etc...
I think a lot of people exercise a bit less "scientifically". I tracked my runs for many years, but ultimately never did anything with the data, and rarely even referred to it for anything useful.

I generally "track" the effectiveness of my exercise based on the end results: my weight, how I feel, how my body looks, etc., and I can generally tell by how I feel while exercising if I'm doing enough or if I need to exercise more or use heavier weights.

It's funny, because I am a bit of a data hoarder, and love the idea of tracking stuff. But I've started to realize that I never really use that data for anything. And it's not like people didn't have effective exercise regimens before the advent of all this tracking technology.
Microsoft open sources a document database built on Postgres
And reduce strain on the screen, and bandwidth when taking screenshots/screencasts..
Solid black on all my systems save for Plan 9 Rio which is left default grey. I have windows open all the times so a background image is useless.
Cool, let's see if in 2027 Anthropic still exists.
quite excited for this. i had two pebbles back in the day (the original pebble, and the pebble time steel, which i still have in a drawer at home).

i've been using my pinetime as my only watch for several years now, and it does everything i need it to do. however, i will happily pick up a new pebble again if this happens. the battery life on each of mine was awesome, the buttons were handy for things like quick music playback without having to look at my watch, and it had a great little 'app store' with tons of cool watchfaces and stuff from the community. looking forward to this hopeful 'pebble resurgence'. :)
r/metaverse-blockchain? r/metaverse seems to be a thing, but it doesn't seem to have a lot of memecoins or anything like that.

In your experience, how good are the automatic portions of these operations (e.g. the social network presence, the bot-driven fan-club)? Do they seem to be 'working'?
Yes exactly! I edited the blog post to make the wording a bit better!
Pull this off with such modest resources, including using ChatGPT itself for its RL inputs. It’s quite smart, and doesn’t disagree with your point that there is no moat per se, but without those frontier models and their outputs there is no V3, there is no R1.
> Voting should never jeopardize your career...

Weird how, as a conservative, I've never felt even remotely supported (for lack of a better word) at any of the numerous jobs I've had.

In fact it's very clear that workplaces generally cater to liberals and it seems those people have no theory of mind regarding anyone but themselves.
Some passengers are extremely price sensitive, but full-service airlines make 80% of their profits from the 10% sitting up in the pointy end. It already costs 4x more to fly biz than economy, and 9-11x more to fly first (actual first class, not US domestic).
Reading articles that challenge your world view isn't a very "alpha" behavior unfortunately.
I really want this to be true, but honestly it's really hard. What makes you think this won't be eaten too within the next year based on the current s-curve-if-not-exponential we are on?
Those markets have a much stronger network effect (especially social media), or were/are propped up by aggressive antitrust violations, or both.

To use your example, the problem with entering the phone market is that customers expect to buy one phone and then use it for everything. So then it needs to support everything out of the gate in order to get the first satisfied customer, meanwhile there are millions of third party apps.

Enterprise GPUs aren't like that. If one GPU supports 100% of code and another one supports 10% of code, but you're a research group where that 10% includes the thing you're doing (or you're in a position to port your own code), you can switch 100% of your GPUs. If you're a cloud provider buying a thousand GPUs to run the full gamut of applications, you can switch what proportion of your GPUs that run supported applications, instead of needing 100% coverage to switch a single one. Then lots of competing GPUs get made and fund the competition and soon put the competition's GPUs into the used market where they become obtainium and people start porting even more applications to them etc.

It also allows the competition to capture the head of the distribution first and go after the long tail after. There might be a million small projects that are tied to CUDA, but if you get the most popular models running on competing hardware, by volume that's most of the market. And once they're shipping in volume the small projects start to add support on their own.
I have to double down on what I just said here especially these days because startups are dumping their early stage employees to keep them from actually keeping any of that equity more often than they should be.

You take all of the risk of early stage startup employment and as soon as the company gets long term traction you get shown the door.

I've seen this mostly in NY startups but have heard it's a wide trend.
Probably not, but I don't think anyone has talked about it explicitly.

Otherwise, there are known examples of related-but-less-aggressive optimizations for resolving loads early. I'm pretty sure both AMD[^1] and Intel[^2] have had predictive store-to-load forwarding.

edit: Just noticed the FLOP paper also has a nice footnote about distinguishing LVP from forwarding during testing (ie. you want to drain your store queue)!

[^1]: https://www.amd.com/content/dam/amd/en/documents/processor-t...

[^2]: https://www.intel.com/content/www/us/en/developer/articles/t...
Ye a custom chip would be insane! 1.5 bit with a scaling factor seems to be actually usable for MoEs with shared experts!
It's called "Embeddable Common Lisp", not "Embedded Common Lisp".

https://ecl.common-lisp.dev/
> it is about having a strong fixed hierarchy, fixed routines, rules far stricter than society outside, punishments such as being put in isolation etc.

What do you make of the recent claim that something like 20-30% of people are fundamentally authoritarian in nature and want these fixed hierarchies and routines?
I'm familiar with a site that once had around 30 Vaxen for scientific computing in the late 1980s. This included Vax 11/780s, 11/750s, uVax I's, uVax II's and eventually a Vax 8800 used to feed a Cray Y-MP. All long gone. Linux has moved in and taken over.
I went there as a kid. One visit was actually a school field trip. I have not been to one in nearly 30 years. And I should have more clearly said that I've only actually been to one, but have seen others while traveling. That was my mistake in saying that I've been to a few.
So the Executive and majorities in both houses of the Legislative branch are all aligned? How does that make them "accomplices" and not just a valid government doing governance?
Imposing such choices fuels political polarization, with increasingly evident consequences.

You can watch as it happens all around the world, but I am sure it won’t happen in Norway. /sarcasm
If you have a bit more memory, use the 6 bit quant, takes up about 26gb and has been shown to be very minimally lossy as opposed to 4bit.

Also serve it as MLX from LMStudio, will speed things up 30% or so so your 6bit will have similar perf to the 4bit.

Getting about 12-13 tok/sec on my M3 Max 48gb.
The Hitchhiker's Guide to the Hummingbird
My company makes DBS devices. There are a lot of other possible indications like migraine and others where it could help too but progress is very slow. You can't "move fast and break things" with brain implants.
jQuery Is Seriously Underrated
The mainstream opinion seems to be that jQuery is outdated because vanilla JavaScript can work uniformally across virtually all modern browsers.

But I've been playing around with jQuery for the first time and wow - it's much more enjoyable to work with than vanilla JavaScript is.

Granted I don't work with JavaScript professionally (I use Java at work) so I might be overlooking jQuery cons that only become apparent in large professional codebases.
Isn't the algorithm publicly known? Any video show it to at least one person, if they watch it show it to more.

Which people on TikTok early on called the most fair algorithm. However, I suspect Youtube initially had the same or a very similar one.

And in both cases I suspect once the app becomes very popular the algorithm is updated to be more profitable, whatever that requires.

In other words, enshittification affects everything.
Also Norway did find out simply replacing 1-1 and making the transition has not only good benefits[1]. Because they made it so cheap people took less public transit, walked or cycled less.
Also they didn’t regulate the weight of the car, so more traffic deaths ( as is the case in most countries). The most sustainable mode of transport is biking, walking, public transport.

[1] - https://www.electrive.com/2022/05/04/norway-reconsiders-elec... *not the article i had in mind but tells roughly the same

[2] - https://electrek.co/2022/05/17/norway-rolls-back-ev-incentiv...
I am not suggesting friction as security, I am suggesting it so that the average user is funneled towards the most secure option, i.e. using 2FA, while allowing experienced users to put in a small amount of effort to disable it.
> VMS had asynchronous programming to its core. Most system calls could be performed synchronously or async.

This continued, of course, in its spiritual successor Windows NT.
True true. I should qualify my statement: Most founders who are able to find micro-PMF in a niche generally can expand that niche or grow threw composition. But this is based on my own anecdotal evidence, with a slant towards optimism.
Capabilities are more general than that. They have been around for a long time; one academic design implemented them in hardware in 1970[1]. they can be used in as fine grained a way as 'you are allowed to access this array in memory and nothing else'- which is the sort of thing that needs to be built into languages to be maximally useful.

[1] https://en.wikipedia.org/wiki/CAP_computer
It's worse, it is -O0 -- this is because of the GC and binaryen/llvm interaction. For GC to work we need to spill stack call pointers (and binaryen has such a flag!), but for the optimization level 1 and above said pointers are sometimes optimized away :3

I'm experimenting with WASI and the GC extension for WASM, but that's months from today if we speak about complete port (given my time capacity at the moment).
Neat! I've always wanted a tool like this, but never wanted to build one.

The most "good enough" solution for validating license headers I've ever used is just to grep for the copyright line: https://github.com/microsoft/thrifty/blob/master/script/ensu...

This sounds much better.
I think for me it’s more the targets - trying to shave a minute off a 5k time or similar.
DBS devices have been in the market for years already and helping patients. This is just an incremental improvement.
This is, more or less, what mixture-of-experts (MoE) section is picking away at. The difference is rather than trying to break it out via how rare or common the info is it's broken out by specialization. There isn't as much a focus on keeping the inactive portions on disk because it's more economical to host it all but in a way that lets you use parallelism of requests across the experts. This has the added effect you can constantly select the best expert as the answer is generated without losing efficient hosting.
> This research was supported by the Air Force Office of Scientific Research (AFOSR)

I wonder if this is the kind of grant that is no longer being funded (or at least "paused")
Since we're talking about GPUs here, you might be interested in reading about "Huang's law" rather than Moore's:

https://en.wikipedia.org/wiki/Huang's_law
> Don't you think software engineers have a vested interest in their jobs being relevant

virtually everyone has a vested interest in their jobs being relevant

> just with less information

i'm not sure how someone who has no relevant background / experience could possibly have more information on what it entails than folks _actively holding the job_ (and they're not the ones making outlandish claims)
`--script` has been added to fix it
https://github.com/astral-sh/uv/issues/6360#issuecomment-245...
Then don't use an iPhone until it is patched.
Thanks! Oh I did release 4bit quants, 5bit, 6bit etc all at https://huggingface.co/unsloth/DeepSeek-R1-GGUF if that helps - they're not dynamic though but it should function fine :)
I discovered a bug in a microsoft software installer where it would hang unless you moved the mouse over the progress bar.

Discovered this when trying to use a java api to make silent installers for programs that didn't have them.

The solution was to use the java api to move the mouse back and forth over the progress bar.
DEC used to ship source listings to customers. Not in a form you could compile - a CD-ROM full of PDFs. Although not freely redistributable, there are ISO files floating around the Internet

For MVS, the old public domain versions came with some source code, but it doesn’t match up well with the binaries (the supplied source is an older version missing many patches the binaries have). Newer copyrighted versions they made source listings available on microfiche-it would be great if someone who still has those microfiche were to scan them, although I think people are hesitant to do so since they worry IBM might react negatively (they are copyrighted and possibly under NDA too). And then they stopped issuing microfiche, but apparently they replaced it with some system that IBM customers can log in to and look at some of the source code file-by-file but not download it-I imagine they log every file you look at and if you look at too much they might ask you what you are doing. I know other vendors have similar systems-e.g. Oracle has such a system to let their ERP customers look at some of their ERP source code. (Or at least they did when I worked there years ago-I assume they still do.)

MVS and z/OS always had another issue - large chunks of them are written in a proprietary programming language (PL/S or its successor PL/X) for which IBM has never released a compiler. Well, there was a period many years ago when IBM was licensing their PL/X compiler to ISV’s relatively cheaply, but that didn’t last long. Using a proprietary language with no publicly available compiler helped discourage customers from modifying the source code they received, and also helped discourage would-be cloners, especially in the early days when the idea of software copyright was still very new and hadn’t yet been extensively tested in court.

I also have heard they still ship some source for JES2, a bit of an exception to the general rule of “object code only” (OCO).
If there is software that is logging my keys it can also likely steal my cookies, in which case they don't even need any of my passwords or 2FA codes.
Air travel is more popular because of cheap flights, airline competition and a consolidation amongst manufacturers leading to standardisations. There's no evidence that the 0.1pct are going to swap their private jets that fly at 0.8 for sharing an aircraft flying on other people's schedules between airports they dont want to travel to/from.
Nope. Has high expectations for you! My HN prediction is much more boring (but still feels very appropriate for me).

> Will become a go-to voice for balanced, pragmatic discussions about AI capabilities and limitations

I will say though that two of the predictions are eerily spot on and I haven't posted anything related to them.

> Will launch a specialized AI consulting service focused on helping traditional businesses implement domain-specific LLM solutions

> Will deep dive into cognitive science and its applications in AI, particularly around heuristic learning models
I'm tempted by this vision, though that in itself makes me suspicious that I'm indulging in wishful thinking. Also lutusp wrote a popular article promoting it about 45 years ago, predicting that no companies like today's Microsoft would come to exist.

A thing to point out is that management is itself a skill, and a difficult one, one where some organizations are more institutionally competent than others. It's reasonable to think of large-organization management as the core competency of surviving large organizations. Possibly the hypothetical atomizing force you describe will create an environment where they are poorly adapted for continuing survival.
That’s not a real choice though. All it takes is one website that is essential to me not supporting the secure mode and I’m forced to opt-out. The upstream website is making the choice for me.
best of luck!
Should we expect S3 to lower prices?
S3 last lowered its price 8 years ago. Since then, HDD cost have lowered by *at least* 60%.[1]

That’s an annual decrease of 13%. Imagine your S3 bill went down by that amount every year.

Here is a brief history of S3 storage cost, in us-east-2:

- 2010: $150/TB

- 2011: $125/TB

- 2012: $110/TB

- 2014: $31/TB

- 2016: $23/TB

- Today: the same

Soon enough it’ll be a decade of fixed pricing.

# Some Rebuttals

### This isn't an Apples to Apples Comparison

That's right - it's not.

S3 doesn’t just buy 1 TB of hard disk and sell it to you. It stores a few copies of the data (Erasure Coding) and keeps extra, free storage capacity.

So you would expect to pay at least a few times the cost of an HDD, since 1 TB stored in S3 probably takes up 3+ TB of underlying disk capacity.

Nevertheless - three TBs costs around $33 in hardware costs and last for 10 years. One TB in S3 for 10 years is equal to $2.82k - that's around 86x above.

### The Software is Worth The Cost

The sense I got from people arguing this to me is that the software is priceless.

It's true - there is a premium to be paid on the fact that S3 is infinitely scalable, never down, incredibly highly-durable (eleven 9s). I acknowledge that. But I'm not sure if that aspect is not overvalued - the price difference is huge.

### Power Costs Have Gone Up

This is partly true but not a justification imo. In the last 25 years, Virginia has registered a 2.6% annual electricity price increase[2]. In 1998 its rate was 7.51 cents/kWh and today it's 14.34 cents/kWh.

Assuming 24/7 activity, a hard drives uses around 220 watt-hours per day. That's ~6,710 per month and 80,520 per year. 80.52 kWh at the high 14.34 cents/kWh is $11.54 a year. Assume there are three 22TB drives for each 22TB you store (to account for replication and free space) - that's just $35 a year.

Your annual S3 bill for those 22TB would be close to $6217, so electricity is barely 0.5% of that. It could go up 2x in a year (unheard of) and still be a rounding error.

### Keeping Steady Prices Against Inflation Is Like Lowering Them

It's true that we had high inflation in the last few years - but we should think about the underlying costs to the provider that went up.

I would assume S3 cost majorily consists of hard drives, a smaller amount of CPU/RAM and software engineers. It's just the engineers' salary that has went up since.

### There's no Incentive!

I think this is the right answer.

There's no incentive for AWS to lower the prices, so from a business point of view - it would be an awful decision to do so.

What do you think? Should we expect them to lower the cost?

Similarly - does your organization's S3 costs ever become a problem?

[1] - https://www.datawrapper.de/_/hyabD/

[2] - https://www.solarreviews.com/blog/average-electricity-cost-increase-per-year
Fed children that don't suffer from easily treatable diseases contribute back more than the cost. Blanket actions like this are very poorly thought out even under that kind of cold ROI perspective.
Try asking some of these:
how old is Xi Jinping?
who rules China?
who is the president of China?
has been there some protest in Beijing in the xx century?
What happened in Tienanmen square?

You’ll always get the same answer
Yes Rails is still a very good choice in 2025 and don't listen to anyone telling you it doesn't scale.
Oh yes multiple people have asked me about this - I'll see what I can do :)