skysight-inc/HackerNews huggingface dataset:
I think one of the elements that author is missing here is that graphs are sparse matrices, and thus can be expressed with Linear Algebra. They mention adjacency matrices, but not sparse adjacency matrices, or incidence matrices (which can express muti and hypergraphs).

Linear Algebra is how almost all academic graph theory is expressed, and large chunks of machine learning and AI research are expressed in this language as well. There was recent thread here about PageRank and how it's really an eigenvector problem over a matrix, and the reality is, all graphs are matrices, they're typically sparse ones.

One question you might ask is, why would I do this? Why not just write my graph algorithms as a function that traverses nodes and edges? And one of the big answers is, parallelism. How are you going to do it? Fork a thread at each edge? Use a thread pool? What if you want to do it on CUDA too? Now you have many problems. How do you know how to efficiently schedule work? By treating graph traversal as a matrix multiplication, you just say Ax = b, and let the library figure it out on the specific hardware you want to target.

Here for example is a recent question on the NetworkX repo for how to find the boundary of a triangular mesh, it's one single line of GraphBLAS if you consider the graph as a matrix:

https://github.com/networkx/networkx/discussions/7326

This brings a very powerful language to the table, Linear Algebra. A language spoken by every scientist, engineer, mathematician and researcher on the planet. By treating graphs like matrices graph algorithms become expressible as mathematical formulas. For example, neural networks are graphs of adjacent layers, and the operation used to traverse from layer to layer is matrix multiplication. This generalizes to all matrices.

There is a lot of very new and powerful research and development going on around sparse graphs with linear algebra in the GraphBLAS API standard, and it's best reference implementation, SuiteSparse:GraphBLAS:

https://github.com/DrTimothyAldenDavis/GraphBLAS

SuiteSparse provides a highly optimized, parallel and CPU/GPU supported sparse Matrix Multiplication. This is relevant because traversing graph edges IS matrix multiplication when you realize that graphs are matrices.

Recently NetworkX has grown the ability to have different "graph engine" backends, and one of the first to be developed uses the python-graphblas library that binds to SuiteSparse. I'm not a directly contributor to that particular work but as I understand it there has been great results.
It's amazing how two people can make the exact same argument, yet argue as if they had opposing arguments.
You're absolutely right that they make a damn fine laptop (the build quality stands out to me) and they do a great job in that market.

Anecdotally, my Framework 13 AMD ran me 1500 and I ended up with 64 GB of ram, 2 TB of storage, and an AMD 7840U. I bought my RAM and storage separately to get that end cost, to be fair.

I wouldn't be surprised if the M3 actually outperforms my processor by a bit, but having way more RAM matters a lot to me. All that on top of being able to repair my own machine is a no brainer to me.

I know most laptop users wouldn't care about this stuff, but I really hope Framework does well and helps bring repairability back to laptops.
Eh, I ran preterminated point-to-point single mode fiber through my house, wasn't that hard, and I didn't find them very delicate. I ran smurf tube (ridged blue plastic conduit) first, then just pulled them through by their ends using fish tape. Nothing broke, and I got rock solid 10 gbE links.

I also found it to be cheaper than my copper (which I did in parallel, non-engineers are more likely to know what to do with it). The fiber 10 gbE SFP modules were cheaper, run WAY cooler, and 10 gbE SFP switches seem to be cheaper/better/run cooler than those with 10 gbE RJ45 jacks. The copper/RJ45 10gbit SFP modules I used can burn you if you touch them, and the switch manufacturer specifies that you should space them out with an empty slot in between.

If you just want to run at 1 gbit, then I think copper is the clear winner for home use unless you need unusually long runs or something, but at that point, why wire at all?

That said, I installed this stuff a year ago, so maybe there are better switch/SFP module options now.
> Also my personal opinion is that 90% of consumer frustration comes from the extremely subpar implementation of Hybrid Sleep between Windows, Intel/AMD, and OEMs. Consumers expect to be able to close their laptop and for it to preserve battery instead of becoming hot or dying the bag. That really needs a solution.

Mind boggling that so many smart people at Microsoft/AMD/Intel/HP/Dell have not been able to figure this out yet.
I'm more curious about the input/output token discrepancy

Their pricing suggests that either output tokens are more expensive for some technical reason, or they're trying to encourage a specific type of usage pattern, etc.
What's puzzling is ingesting and indexing speed. That part of the test set was 60 times slower than clickhouse. So, whatever Clickhouse takes a day to ingest, Tablespace will take 2 months. Also, massive 13x overhead for storage makes things look even stranger.

All of the above + your benchmark results https://tinyurl.com/4yz87ur4 show that you did trade off visibly improving 9 queries out of 43 at massive expense of disk space and ingest speed. Okay, I guess, maybe there's a usecase for that. But I would not call it a 1.6x speedup over Clickhouse, this is purely misleading.
> The main problem with the non-Apple laptop market

Another way to look at that is "MacOS vs non-MacOS" laptop market.

There is only one manufacturer of MacOS laptops. That helps keeping the number of models down. Same thing for the iOS vs non-iOS phone and tablets market. If you want MacOS or iOS you must buy Apple. Hackintoshes do exist but are a rounding error compared to the number of machines Apple sells. And if you want Apple, you must get MacOS and iOS. You can run something else on that hardware, but again we are writing about rounding errors.

There are non-MacOS laptop manufacturers with even less models than Apple have. Maybe it's very niche but the Framework laptop has been popular on HN lately and it has only two models.

On the other side if you want to buy non-MacOS, then HP, Lenovo or Dell have a zillion of laptops each, ranging from the very low end to the very high end. Some people pick features and look at which models are left with those features (that's me.) Some people pick a price tag instead. Probably the laptop is a commodity to the price tag people, much like gas. Who really cares about the gas company? If you need to fill the tank everything will do.

And about

> the extremely subpar implementation of Hybrid Sleep

this is something that Microsoft throw at us and we can't dodge it much. My laptop runs Linux and it's from the pre Hybrid Sleep era. I didn't investigate if Linux sleep works well with new laptops.
How long before I can visually debug rust on MCUs with source level stepping in my IDE?

Til then, no way to switch.
Presumably all their F# runs on .NET--if their goal was simply transitioning to a language with a broader talent pool, wouldn't they "just" migrate the project to C# instead? I'm wondering if this is less about "the death of functional programming" and more about an internal platform unification under Java.
By the way, what's on the Internet is NOT forever. I expect that Facebook and Twitter datasets, for example, will eventually go offline, sold to AI companies, slowly reaching irrelevancy and finally resting in some cold data storage or used for training/educational purposes.
I remember interviewing for a job 20 years ago at an insurance company where they explicitly listed "must have experience with the XYZ123ABC system" where that was just a name they gave to one of their internal systems; no one outside of that company would have ever come across it. I tried explaining to the recruiter that unless they were limiting the position to internal applicants, they should ask for experience with whatever tech was used to build the system rather than the system itself. She was completely baffled by that.
I'm glad it works for you but I definitely use my windows z13 thinkpad all day on battery.
What kind of libraries, given the tasks solved by Walmart, do you have in mind?
Well, yes. By using the bigger CPUs, which have more cores, more gpus and more IO hardware on chip.
They have a working plasma, yes, something smart children can do with a bit of tinkering. They do not, in any way shape or form, a self-sustaining fusion-producing plasma.

They are basically a cold fusion scam, except they are using a hotter plasma than the original cold fusion scammers. But, per their own claims (25,000 °C), nowhere near the temperatures required for fusion (million+ kelvin). They also claim that they are reproducing the conditions of the sun's atmosphere, which is again equivalent to admitting that they can't actually produce fusion power, since fusion doesn't happen in the sun's atmosphere.

Their website contains other bizarre claims, like claiming that they "use electricity to change the nuclei of atoms" and that they "transmute tungsten and iron into 17 benign stable daughter elements". They talk about cold fusion as if it exists as well.

These people either have no idea what they're talking about, or are active scammers. There is 0 chance they are anything else. Their device might heat plasma up to 25k C, but it does nothing else.
Yes this can be tailored for individual users (or groups). To go more in-depth, we'll be using contextual bandits + more novel ways to optimize the best performing copy for user segments, that works on top of the anonymized knowledge about the user.
If you want a really compact device all apple offers today is the ipad, and then you have to deal with ipad os. I feel like as long as the ipad exists they will not make a new 11 inch unfortunately.
Oh yes, a while ago the Chinese airline Air China wanted to fly from New York to Beijing over Russian airspace (the shortest path does involve Russian airspace) but the U.S. government prohibited them from doing that as a matter of fairness. The end result is that the Chinese airline had to operate a domestic flight from New York to Los Angeles in order to fly to Beijing. https://viewfromthewing.com/air-china-has-filed-to-fly-new-y...
> as well as a far more direct legal case in Germany where a WordPress theme maker was able to prevent distribution of a theme they made by arguing that the contract made when the theme was sold overrode the terms of the GPL and prevented the buyer from sharing the theme because of agreed to terms in the contract.

What case was that?
I could die tomorrow. A sports car today is worth more than money in the bank to some people.
It's a small thing, but many small things can add up to one platform feeling nicer. Like personally I can't stand the Apple ecosystem, but I know many that prefer it these days.
The API seems to lack tool use and a JSON mode. IMO that’s table stakes these days…
Same - DOT is a great way to go from zero to functional in near minimal time. It's also pretty trivial to generate since it's not order dependent, which is great for lightweight automation.

Fine-tuning layout can be a real hassle though, sadly. I haven't found any quick tools for that yet.
Did you mean "copyright infringement" instead of "counterfeiting"? Counterfeiting is when you make a knock-off product and claim it's the original.

Also I assume "mitigation" is "settlement"?
Opus 1.5 released: Opus gets a machine learning upgrade
You can always report it to the FTC yourself, or Nvidia's competitors can sue them for antitrust violations.
I remember this. It pushed the team I was on to adopt CVS (this is before SVN).
The parent isn't saying that there are $500 laptops that are as good as $1k Air. They're saying that there are $500 laptops that are "good enough" for most people's use.

Personally for home use I buy pre-owned Thinkpads and then put Linux on them. They're fine for normal use - Internet, Email and light to moderate SW Development. The screens are mediocre, but I pay £300-£400 (UK). Oh and I don't care about battery age because replacements are inexpensive and require sliding one catch to make the replacement.

Yes, for work I want something more performant and I'm considering pushing work to get me a Macbook (instead of the high-spec Thinkpad I currently have), but that's a different use case.
Ah, thank you. Google suggested https://en.wikipedia.org/wiki/Sybil_attack instead, which made no sense.
The paper may be Rust specific, but I found the CVE break down chart on p. 25 interesting. When looking at the percentages of the CVE causes (focused on the 59 bugs classified as those Rust prevents) I got the following:

Out of Bounds Reads => 18.6%;

Out of Bounds Writes => 62.7%;

Null-Ptr Deref => 8.5%;

Use-After-Free => 5.1%;

Type Confusion, Uninitialized Pointer Access, Memory Leak => EACH 1.5%;

I have to wonder about the applicability of these percentages to non-RTOS programming. I find it very interesting that 81% of CVE's are allocated to Out-of-Bound Read/Writes, with writes being the larges percent of those obviously.

Has there been any CVE cause analysis performed and publicly available? If so and the percentages bear out similarly to RTOS's across a spectrum of application/system types then there may be some clear cost/benefit analysis needed at the programming language design stage. Rust is a complex language with a complex type and lifetime system to achieve memory safety, and it is not an uncommon refrain that a simpler 'safe' language would be appreciated by many developers. If 80% of CVE's come from Read/Write errors on array access, then a language that enforces strict memory access semantics, but forgoes the rest of Rust's complexity regarding lifetimes and type system complexity would achieve a very large portion of exploit prevention at a minimal cost.

Additionally, if you prevent Null types in the type system the language would then prevent 90% of CVE causes, again with a minimal amount of complexity.

I'm not certain that the above is correct, if the percentages play out in the large, or that devs would actively switch to a considerably safer, while being simpler language. But it certainly is thought provoking.
And it is the "they" that I'm arguing against, not the rest of it.
Highlights of RisingWave v1.7: The Open-Source Streaming Database
If they are using N100/N305 cores then each is like a single non-hyperthreaded Skylake core.
Hopefully Vulkan eventually gets a headless compute kernel version.
Yeah, the main issue is if they are charging per token it's essentially them adding an extra fee per response, like a gas fee in Etherium. But thinking about it as an API is really strange, I don't expect an API to do anything but respond to my query yet LLMs act like an API that has to explain why it did (or didn't) do what you asked every time.
Other countries have tackled this issue by regulating that the company that owns the cable and the company that provides the service over the cables are separate entities, frequently with the cable owner being the state.
I just played around with the fan curves. The Noctua fans are pretty damn silent below a certain speed (especially with GPU fan noise usually being louder). So I tried to keep them running faster than necessary at lower speeds and only ramp up a little bit when the temps go up, except at 80-85 or so degrees at which point I ramp up much faster until they're basically at max at 95 degrees. The CPU never really seems to hit those temperatures, as the NH-D15 is an over-sized cooler even for that chip.

Most of the work is in stress testing the CPU to see what you can get away with without thermal throttling. Also helps to do this in the summer if you're in a no-air-conditioning-by-default country.
It seems like a pretty speculative use. That much money would go a long way on a $20/month subscription, and the field is changing rapidly. Unless you’re an AI researcher, might as well wait a year or two and see what changes?
"And that is what this breaks down to, is a LLM learning? or is it just regurgitating?"

You can make this argument for any artist. We study whole art movements which are periods of time where all art looks the same. Somehow, we want code production to be completely novel with no prior inspiration?

To your second point. I agree. There is limited expressivity in code implementation. As a human how would you cope with that? You can't recall any prior code you may have seen and you must write completely different code than anything in existence or face copyright litigation?
This reminds me of the "power of two choices" in load balancing [1] and is summed up by this quote:

> The solution lies in the “power of two choices” load‑balancing algorithm. Instead of making the absolute best choice using incomplete data, with “power of two choices” you pick two queues at random and chose the better option of the two, avoiding the worse choice.

> “Power of two choices” is efficient to implement. You don’t have to compare all queues to choose the best option each time; instead, you only need to compare two. And, perhaps unintuitively, it works better at scale than the best‑choice algorithms. It avoids the undesired herd behavior by the simple approach of avoiding the worst queue and distributing traffic with a degree of randomness.

I suffer from this decision fatigue, burnout, or anxiety all too often. I'm also especially vulnerable as someone with ADHD, since I don't get that dopamine hit when I successfully accomplish a task.

What I've found really useful is a combination of medication and accepting that I should continue to do things my not making the worst decision. For example, if I need to do a DIY task, I'll read a blog, watch a YouTube, and maybe ask two contractors and make the best decision out of whatever I find out. Alternatively, if I need to accomplish a bunch of chores, I'll look at the list and roughly sort them by urgency and importance. I don't need to pick the most urgent-important task, just one that falls into that category.

I think of it as time-boxing for your bookkeeping. I find the meta-work that helps you decide what work you need to do can be endless so if I just set a 5 minute or 25 minute alarm, it helps me get out of that bottomless time sink. I also time-box how much productivity time I want to spend on something. Often, I'll think that a task should be easy and I should be able to do it in 30 minutes. But after 30 minutes pass, I'll have a lot more experience to say this if a task is actually worth whatever new estimate I can provide.

You can spend an endless amount of time researching and making decisions on how you should behave, but the returns diminish as you do more research and soon you should just do things. Doing things will teach you, sometimes much more than just researching and planning.

I'd recommend reading about time-boxing, pomodoro, Eisenhower matrix, deep work, power of two choices, explore vs exploit, and 37% rule if you're interested in "getting things done" and personal performance optimization.

[1]: https://www.nginx.com/blog/nginx-power-of-two-choices-load-b...
Man, I forgot all about SLM (“slime”). That thing was so awful. At one point the Windows team had to start using “merge windows” to make any progress, like the networking team gets exclusive SCM access to merge their code between 8 and noon on Tuesdays.
Jet.com was the original purchase by walmart to my understanding.

They contributed quite a bit of useful things to the ecosystem, and were one of the "F# companies that made-it".

Some of their projects live here: https://github.com/jet?language=f%23

An old HN thread on why they chose F# exists here: https://news.ycombinator.com/item?id=9971412 (though the link is broken, comments still exist).

As an F# enjoyer, it's not surprising that this happened. I've seen quite a few companies migrate to Java from various languages. Casting aside syntactical or language-feature niceties, there's just no substitution for the production-maturity of the Java ecosystem.

Plenty of open-source tested-at-scale libraries being put through their paces at large organizations taking in tons of traffic. Best-practices out-of-the-box adapter libraries for most infrastructure. First-party (actual first-party highest tier of coverage) libraries for communicating with the most common infrastructure (All of AWS, elasticsearch, kafka, cassandra, etc). Even with all of the open-source mindshare, most can have an extreme amount of information availability and support with the common core pieces like JUnit, Spring, Hibernate, and the accompanying set of libraries that usually join those. JFR is to my understanding still the only one of its kind.

I'm grateful for what everyone in the F# and dotnet community has done and continues to do, but even in dotnet (which is probably the closest competitor for production cloud web-services), you're spending a lot more time on writing and wiring up supporting libraries for things that the Java stack does for you out of the box. I prefer many small things in the dotnet world to the jvm world, but at the same time I can't deny that I'm much more able to focus on core business logic and concerns when working on a spring project than when I am on a .net 8 web project.
Do a lot of folks actively watch media content on laptops these days?

I have never really watched more than short content on that form factor. I like a bigger screen and a remote, watching anything like a movie on a laptop feels klunky.
8gb in a pro machine honestly wild. I guess it makes some sense if you consume content and you want a better screen and audio, but it still offends.
I think there's two issues at play: re-implementing the CUDA APIs, and using that re-implementation to run Nvidias own libraries like cuDNN on non-Nvidia hardware. Precedent around emulation and the Google vs. Oracle case probably protects the former, but Nvidia is probably entitled to say how you're allowed to use their own software in the latter.
Indeed, "we can't find many books if we ignore the libraries!"
How do I do RSS if I have mathematical articles on my website? RSS doesn’t seem to support MathML.
I use the iPad Pro with a keyboard and Remote Desktop to my Mac or my server at home.

Works good enough...
Looks like there's room under "human computers" for us... =/

Hey ChatGPT, be nice to us in the history books, ok? Remember when we offered to tip you generously!
> But they don't. Even when your door is open, they stand outside and knock.

I'm not arguing that can't happen in environments with offices that lock. I'm arguing that what causes someone to stand outside and knock is cultural, and culture is stronger than the architecture of your surroundings. Architectural choices can certainly encourage certain cultures, but ultimately they do not determine culture, leadership does.

> "Going to a conference room" is inherently a bigger deal than just hanging out with someone in their office.

It's not if there are enough conference rooms, and hanging out with someone in their office is not easy if you can't rely upon being able to find them in their office, because they're too frequently going from conference room to conference room.
What do you mean by "sector" here? The only ones doing well are massive corporations and their stock owners.
Are we talking weight class as in weight or performance?

I find the Acer Chromebook Spin 714 'in the weight class' with about the same weight, but with a less performant CPU and not as high res screen. It's also 8/256, has good battery life, and is fine for a lot of workloads. It can be had for $400ish factory recertified, or 100-200 more new brand new depending on sales.

Keep in mind I'm not saying that the two go toe to toe here, I'm just listing a lightweight alternative.
The real take away is that apple should sell a keyboard and trackpad combo that is laid out like a macbook body, not that they should make a hybrid device