skysight-inc/HackerNews huggingface dataset:
Some thoughts:

1. Colors

Love how everything updates as you drag the primary color, but if you edit an individual color (say, primary 100), it updates by itself. When I clicked the dark mode toggle, I was expecting to have the option to generate a dark mode palette alongside the light mode palette. I think having this option would be great (I’m assuming you can go back and generate a dark mode if you want?).

2. Fonts

I like how the basic primary & secondary font updates in real time on an artboard, but it’d be great to see the individual Display & Headings show up in an individual artboard as well instead of only showing up when you click on a parameter. Until I clicked on a parameter, I had no idea that 3rd line of text would update. I’d prefer to see the typography page that appears once you generate the design system.

3. Spacing

Having 6px as a default is kind of odd given that a lot of existing design systems use , I’d stick with 8px as the default.

4. Grids

For the 3 labels (desktop/tablet/mobile), it looks like I can only have 1 grid per size. It’d be great to have the ability to add multiple types of grids for the various sizes as sometimes I bounce around depending on the need (i.e. overall grid for desktop is 12 columns, but on a smaller card I may use 4 columns, etc).

5. Radius

It strikes me that you guys have a LOT of options in the base size sector. Sharp radius just turns everything off, maybe relabel this to “Disable Radius” or something like that. Nitpick, I tried lowering the variant count to less than 8 and it threw an error, perhaps just disable the minus at that point? This also goes for clicking on the trash can next to the standard variants, why have it if I can’t actually delete anything?

6. Shadow

Could you add the plus button to the grid to add multiple grids per type of screen size? Having to scroll to view the stats for each type of shadow was kind of awkward. It’d be nice if you could replicate what was done on some of the earlier screens here. For example, take the layout of the typography creation screen that has the name, type, size, etc inside the modal, but show the actual results of the shadow outside inside a Figma artboard.

7. Components

Spent the least amount of time on this page, but it looks OK in terms of available components. For more inspiration I’d look at either something like IBM’s Carbon design system, or an existing Figma kit like Untitled UI or UI Prep.

Happy to keep on reviewing this if you'd like!
> it's better to have one well-defined way of doing things in a language, instead of adding the mental overhead of deciding between one or the other

That was the hypothesis of Golang, for sure.

I think we've seen that it is true in specific contexts. It seems like it's been particularly valuable to massive teams with less-experienced developers coming from academic computer science backgrounds, frequent turnover and high-coordination projects.

I don't think that property has proven to be valuable more globally. Consistency for consistency's sake is particularly costly when the "consistent" solution has significant downsides in some contexts.

On small teams, having consistency result from actual alignment is incredibly valuable, and a sign of a high-performing team. In those contexts I haven't seen consistency itself, enforced by an outside group and especially without a way to work around it when the "consistent" approach has a reason it sucks for a particular application, be similarly valuable.
Just intonation tuning of chords (but not melodies) is the ideal in barbershop music. Barbershop music also uses harmonic sevenths, which are not found in standard 12EDO equal temperament. I've never heard of anybody calling barbershop "strange" or "disturbing".

I don't think anybody is likely to call a perfect fifth or third those things either. You can easily check using the "Generate, Tone..." feature in Audacity. I recommend using a sawtooth wave, which contains prominent high harmonics that make it easy to hear subtle difference in tuning. The worst criticism I'd make of perfect just intonation is that it can sound boring, for the reason the GP post suggests.
The paper references Sethares (and Plomp & Levelt). This is a large empirical study building on their theoretical work. The paper itself is worth a read: https://www.nature.com/articles/s41467-024-45812-z
What if we trained AI to take satellite pictures of earthbound cats instead?
Ah, that's a sad story. I hope the person is ok; gambling debt of any kind can really mess with your head.

I don't think stocks are zero-sum. If I buy a share of AAPL and hold onto it for a long time, Apple wants me to make a profit because that means that they're making money too. I have completely aligned my incentives, and Apple can, at least in theory, keep growing and creating value by producing products that people like and are willing to trade their time and labor to get. I guess if you want to be really pedantic, it's zero-sum in that there is technically a finite amount of labor being done per-unit-time on planet earth, so I suppose that's the ceiling, but I think it's not zero-sum until it reaches that ceiling.
CPU faults on individual machines aren't that rare. The machine has a dodgy power supply that almost works but has voltage drop under load etc. Sometimes this can be caused by environmental factors. The rack is positioned poorly and has thermal issues, the UPS is supplying bad power etc. Then you can see issues with multiple machines, or replace the machine without fixing the issue. Vendors often put machines for the same customer in the same rack for various reasons, e.g. because they might send a lot of traffic to each other and put less load on their network if connected to the same switch, but then if there is a problem in that rack it affects more of your machines.

The Epyc 7000 series was popular. There have been enough of them in private hands for long enough that if there were widespread issues they would be well-known.

It's possible that AMD didn't order enough capacity from TSMC to meet demand, and couldn't get more during the COVID supply chain issues. For the 9000 series they learned from their mistake, or there is otherwise more fab capacity available now, so customers can get them. Meanwhile cloud providers really like Zen4c because they can sell "cores" that cost less and use less power, so they're buying it and replacing their existing hardware as they tend to do regardless. That is typically how they expand their business: If you add more servers you need more real estate and power and cooling. If you replace older servers with faster ones, you don't.
> If I get stuck on something, I typically just keep trying until I understand it, instead of stopping, remembering what I don't understand and asking it in office hours 2-3 days later, and then potentially getting stuck on something else later on in the proof/example.

Good! This is what you should be doing! Understanding comes from within, and teachers can only guide you to it. You are your own best teacher, and you will learn the material on a deeper level if you figure it out yourself. Sometimes you do need a little guidance, though, and that's ok.

> Typically what I lack is is a more general understanding of the entire proof/example/algorithm instead of small individual details, and I really need to sit down with it and go through it instead of another quick re-explanation by a TA where I have to say "yeah, makes sense" before I've had enough time to think about it.

First of all, get face time with the actual professor if you can, not the TA. TAs can be great, but they're likely someone with limited pedagogical experience.

Second, you need to learn to ask questions to get to the heart of the matter. Don't walk in saying, "I don't understand this proof/example/algorithm". That gives them nothing to work with. All they can offer you in return is a quick explanation. Tell them what you just told us. "I feel like I've got a good handle on all the small details and steps in this proof/example/algorithm, but I'm having trouble understanding it as a whole." Maybe try, "can I see some more examples?" or "can I see a motivating example?" or even "what historical context led to the creation of this algorithm?"

Context can be everything. It can be difficult to understand material when it's presented to you in its modern form, and you don't see how something so logical and perfect crystalized out of the aether. If you can see a couple of steps in its historical derivation it can make a lot more sense.

Not saying this is the case for you, but I have also seen a lot of students who think they have a good handle on the small details, but it turns out they only understand gist of the details instead of the details of the details. Hell, I do that myself. If you go through every little detail and ask yourself "why?" or "where did that come from?" or "what could have motivated this?" you might discover you have more gaps in your knowledge than you realize.

Best of luck with the rest of your program! Don't be too hard on your teachers. As I explained in another comment, I spent years really trying to improve as a teacher, but it is an extremely unrewarding experience for a variety of reasons. These people are not getting rewarded for any extra effort they put into helping students, and if they're doing it anyway they deserve kudos.
I’ve seen some technically impressive kids reverse engineer and break down anti bot software in order to scalp shoes/tech. It’s definitely possible but the ROI is high.

Do spam botters like this make enough to justify breaking down and bypassing around sophisticated anti spam measures over and over?
“Checks were not cashed in a timely manner or just lost altogether” only in the US of A, or movies from 70s, something like this.
That seems to be an entirely different point. Krebs suggests repeatedly that all you need to do to get hacked is click "Allow" in the push notification. This is demonstrably false.

"Assuming the user manages not to fat-finger the wrong button" means "assuming the user clicks Don't Allow". They call on the phone to try and convince the user to say Allow next time.

Of course that's kinda BS too, because the only time "Allow" gives you a six digit code is if you successfully authenticate your apple ID on a new device. If you get the reset password dialog, the result of Allow is not a six digit code, it just allows you to reset the password. Yourself. On your device.
CA's Architect of "Equity-Based Algebra" Accused of Academic Fraud
> Are you in that field?

Not anymore but I am friends with people who have climbed up the ladder of business journalism to Bureau Chief or Editor.

> Do you still believe in them? They must comply with CPC at this point, I expect.

I recognize where the biases may lie.

I steer clear of op-eds, but I'd still trust it for non-controversial domestic news. Chinese language media can actually get quite heated in their opposition.

So long as you don't advocate the overthrow of the CCP and make sure your criticism has a "constructive" tone, Chinese reporting is good enough.

Who knows if that somewhat openness will exist in the next 5-10 years though. For example, Russia in 2019 was way more open a society than Russia in 2024.

I just cross validate with friends who still live there and work there.

> I'd think an experienced, high-skill reporter would find things that the freelancers might not

Imo, sourcing and recognizing what is a story and what isn't matters more, and you don't need someone at NYT doing that when freelancers are clearly equally as competent.

> quality English non-Anglo journalism

Reuters, Axios, Politico, and a couple niche trade papers and regional papers are more than enough. NYT's Washington Bureau is on point though and I can attest to that, but Politico sources way faster and gives more internal details.
Schipol is quite a famous airport, though.
Not sure if this font is still popular but I started to use terminus [1] early in my career. Since then I tried multiple other fonts but nothing stuck. I used to it over the years and to overcome familiarity I would need a font which is not just better but much better.

[1] https://terminus-font.sourceforge.net/
Shouldn't revenue numbers be considered alongside the expenses? This seems framed as if these models can't produce much revenue unless they achieve AGI... and I don't think that's accurate.
He's been violating rules for a decade, taking up a significant part of the sidewalk with his car.

It's hard to have a lot of pity here.
Your experiences are anecdotal but may not be the average... the relative number of people in homelessness has reduced from the 90's to today, that is certainly good.. (It has had a slight peak recently post pandemic).

Purchasing power has climbed, hunger has reduced, I think all of these are important metrics to consider...

I think people are much more polarized and that social media has brought out terrible polarity, but it doesnt necessarily mean the average person is not living better than 30 yrs ago.
Qualcomm demos Baldur's Gate 3 and Control on Snapdragon X Elite laptops
Don't know why I was downvoted.

If school's about compelling students to do what they don't want to do, then obviously schools have to engage in coercive measures, like tracking apps and metal detectors. But why stop there? Why not go ahead and shackle them to their desks?

Many US schools already have 20ft-high fences around them, like prisons. How is being imprisoned conducive to learning?

Am I downvoted because people really think students are feral monsters, that need to be locked up whether they're learning or not? Is it possible that imprisoning schoolkids makes them more interested in escaping than learning? What kind of parent would send their kids to prison?
I have been scammed in the Booking.com Internal Chat System
> should the government tell you what websites to visit?

*should the government tell websites to require age verification?

Governments require that for in-person adult entertainment, should they require it for remote as well?
The Phoenix Slides Icon
Agreed with everything you’ve pointed out. There seems to be an implicit assumption that all dependencies are bad, even though it’d actually be better to refactor their own code to a crate under their maintenance. Almost as if they think the people evaluating the security of this will apply a simple heuristic like “if number of deps is more than x, this software is insecure”.
With a million dollar per year to play with, you should ultimately be able to replace all of these. Especially since it's not like Proxmox is lacking its own third-party support options (but it being built on FLOSS tech still leaves you with a lot more flexibility).
A Tesla Model S is definitely not the money saving option. The vast majority of Teslas sold are Model 3/Y.

Compared to an EV, which has only tires, wiper fluid, and wiper blades -- yes, ICE cars have a lot more required routine maintenance.
Wait for the M3 Ultra and it will be 256GB and markedly faster.
> I don't see why Turing machines wouldn't nearly as easily be 'additively optimal' in your sense.

Could you construct a 2-symbol UTM whose own encoding is under, say, 10,000 bits in size? If it takes 10,000 bits then it would not seem as easy as the 232 bit universal lambda machine.

> you could add a few states extra to expand new input on the fly, shifting any existing data to the left as necessary.

That would be more than "a few" states, and could easily add thousands of bits to the UTM size.

> given that BLT programs get to have their input bits pre-expanded as a valid sequence of boolean terms for free.

I guess you mean BLC programs. That criticism seems unfair, since the lambda machine model has no primitive notion of bits. Thus there is no expansion,
only representation of bits in the lambda calculus.

> If all it means is that the input format accepted by D is a subset of the input format accepted by U

The input format for D can be all binary strings, e.g. if D is identity (assuming the delimited input model).

> many existing small UTMs could easily meet it just by restricting D's input format.

I don't know what this means. A UTM should parse the description of a TM from its input, and simulate that TM on the remainder of input. If it does that, then it would be additively optimal. It cannot assume any restriction on that remainder of input.
AWS has been blocked for a while. VPN providers are usually, but not always, blocked.

Oddly, Firefox sometimes evades the blockage, unlike chrome. Not sure why.
I dunno, it's still pretty popular in primary school work sheets & notices. They're probably less likely to use it themselves but their teachers are quite likely to use it and show it to them.
Second search result presently: <https://kffhealthnews.org/search/permanente>

Title: "Promising Better, Cheaper Care, Kaiser Permanente’s National Expansion Faces Wide Skepticism".

<https://kffhealthnews.org/news/article/kaiser-permanente-nat...>

There are numerous others.

HN values intellectually curious discussion, not ideological cliches. Basic familiarity with site "about" and search features is also strongly encouraged.

<https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...>
I don't, because it implies the possibility of a solution.

It's not a limitation or a bug. It's a feature. No LLM will ever overcome this "limitation" without fundamentally changing from an LLM to something else.
We are using Hasura for schema migration. You don't have to use the graphql stuff: it will just follow your tables and generate .up and .down migrators for you.

Then you can just use pg like normal, directly.
Context: Historic computer problem:

The speed/bandwidth bottleneck between a computer's CPU and main memory...

>"The 2 TB Pooled CXL Memory system is a 2U rack-mountable machine built by H3 with eight 256 GB Samsung CXL memory modules connected using XConn's XC50256

CXL 2.0 switch

supporting

256 PCIe Gen5 lanes and 32 ports."

Which leads to this page:

https://www.xconn-tech.com/product

>"CXL 2.0 and PCIe Gen5 Switch IC, 256 lanes with total 2,048GB/s switching capacity"

Phrased another way: 2,048GB/s of potential CPU-to-Main-RAM bandwidth -- if the CPU is specifically designed for it (i.e. IBM was apparently designing a Power10 or Power 11 CPU(?) to work with an OpenCAPI open memory interface -- of which OpenCAPI was apparently folded into the CXL spec / CXL Consortium...)

This is important, because in the future, we're probably going to be seeing a lot more CXL CPU's and high bandwidth CXL Switches (by other companies) linking to main memory (which will also be or become CXL), appear...

Related:

Optical CXL Switches:

https://www.forbes.com/sites/tomcoughlin/2023/08/16/optical-...

"Building The Perfect Memory Bandwidth Beast":

https://www.bittware.com/resources/cxl/

Google query: "CXL FPGA":

https://www.google.com/search?q=CXL+FPGA

Github curated list: "Awesome-CXL-Open-Source":

https://github.com/huangyibo/Awesome-CXL-Open-Source

CXL Specification:

https://computeexpresslink.org/cxl-specification/
Managing AI agents using simple YAML configs
Run AI-agents with an API.

Superagent allows you to create AI agents by writing YAML configs.

It has a lot of tool supports, multiple LLM providers, advanced RAG, memory etc.

Try out: https://beta.superagent.sh/workflows
Docs: https://docs.superagent.sh/
It looks like it's a bit more nuanced than that. What I saw from the link was some debate about what holds and what doesn't for various forms of "priming"
You're right, but for non standard things configuring it for literally every project becomes quickly untenable

IDK, I've yet to see a good argument for not having your variables being generally pronouncable (at least, in a way more or less consistent with the native language of your code base or English). I'm just going to lazily parrot the old adage that "code gets read more often than written, so prefer making it easier to read than write"
No but some model serving tools like llama.cpp do their best. It's just a matter of choosing the right serving tools. And I am not sure LLMs could not optimize their memory layout. Why not? Just let them play with this and learn. You can do pretty amazing things with evolutionary methods where the LLMs are the mutation operator. You evolve a population of solutions. (https://arxiv.org/abs/2206.08896)
It's absolutely a tough problem. Right now we have a couple mechanisms to try and address these issues. When we onboard a firm we can ingest their historical billing data, which lets us pattern match the style of new entries. We can also ingest client guidelines for the same purpose.
I was utterly confused until I realized this is not Fisk*a*r the scissor maker.
Lord no! I'm a data engineer also, feel the same. The part that I find most maddening is it seems pretty devoid from sincerely attempting to provide value.

Things databricks offers that makes peoples lives easier:

- Out the box kubernetes with no set up

- Preconfigured spark

Those are genuinely really useful, but then there's all this extra stuff that makes people's lives worse or drives bad practice:

- Everything is a notebook

- Local development is discouraged

- Version pinning of libraries has very ugly/bad support

- Clusters take 5 minutes to load even if you just want to "print('hello world')"

Sigh! I worked at a company that was databricks heavy and an still suffering PTSD. Sorry for the rant.
Great idea - spend far too long reading & writing OpenAPI!

Particularly anyOf, allOf and oneOf (especially when nested) lead to really confusing nested specifications in OpenAPI. Really like how TypeSpec handles unions & intersections.

Playground is great for getting a feel for it fast too
Just yesterday, I wrote an article about FT and learned about services like Entry Point AI.

Seems like an awesome idea. I'm curious how long it will take to get a model on a reasonable level.

Phind is pretty good and also the fastest model I used recently, so I'd assume it's quite small, no?
Let me tell you about this video's sponsor, NordVPN. NordVPN lets you change your country of origin. I like to watch Sherlock on Netflix, but Netflix in the USA doesn't have Sherlock, so I switch my country to the UK, and look, there's Sherlock!
In which case we should see a massive transfer of wealth from the wealthiest generation to the workers. I.E wages increasing far more than things like shares and assets. Ultimatly if two millionaires and one person capable of looking after them are on an island, that worker can charge a million for the work.

All the equity in the world won’t wipe your drool in a nursing home.

Thanks to democracy though we’ll continue to see workers subsidising the wealthy across the western world.
Effects of mitochondrial transplantation on wound healing in a human patient
That's an interesting angle. And then poorer people will host taxi services for richer people. Oops, cars are fungible, which means charging based on the user's income will not work.
http://web.archive.org/web/20240327152111/https://harpers.or...
Even if you adopt that point of view, I still argue that not buying from a dealer at all is the best way to stick it to dealers, far better than becoming their customer and attempting to win at their game.
Sample bias too. A lot of poor people would insider trade if they 1. had brokerage accounts and capital 2. had material non-disclosed information coming across their desk.

Turns out only moneyed people are likely to have the combination, and we only see the ones that chose to act on it in the news, even if 99% wouldn't.
Yeah you might be right but Google and Mistral aren't that far behind either:

https://twitter.com/NickADobos/status/1772764680639148285