skysight-inc/HackerNews huggingface dataset:
Yeah, we do yearly comp reviews not with stock grant numbers, but with total comp targets.

So if you do mediocre one year and get a mediocre grant, then kick it into high gear next year, but the stock grew in the meantime, you're told "tough luck" and not rewarded for the extra effort. Or at least stock growth is deducted from your effort reward.

It's absolutely insane, but Amazon is the easiest faang to get into
What are you referring to with European regulators? They're forcing WhatsApp to provide interoperability, but not iMessage, nor are they forcing Apple to support RCS (since only relatively few people use iMessage in Europe, and absolutely nobody knows what RCS even is).
No, that refactored version is indeed supposed to be used like

print(new GuessStatisticsMessage().make(candidate, count));

There are cases where using a class as a bag of pseudo-global variables that get mutated during a long web of internal method calls — a recursive-descent parser for a non-trival language is a prime example, — is fine but this, I'd argue, is not one of those cases. You need to (very straightforwardly) map two input values to three output values and return them glued together — one function with a switch in it is quite enough for that.

P.S. And what the hell does "thereAreNoLetters" even mean? Oh, right, it makes sense since this is a letter-guessing game, and this class is used to tell you that no, there are no letters like the one you tried to guess. Bleh.
Related from 3 hours ago: https://news.ycombinator.com/item?id=40660936
I've played 5-minute dungeon. It's fun.
Agreed with the first half of your comment. However

> Traffic is fucked. Government is excessively bossy. SF planning department is corrupt and pathological.

Traffic is horrible everywhere, unless it's a few European cities with great public transport. But their governments make CA govt look tame by comparison.

> SF planning department is corrupt and pathological.

Couldn't agree more. Though it is easy to avoid SF and stay in the nicer parts of SFBA.
I've noticed that some korean restaurants are already doing really excellent customer ordering agents over the phone.
I think Lotus Improv was on to something.
The Netherlands would like to have a word, but yeah, point taken.
I feel like single-line conditionals are harder to read in bigger projects. I remove the brackets in single-statement conditionals and loops, but I still use another line.
> There is no way to test it apart from reading stdout (or god forbid, having your test harness somehow intercept/mock the print call).

It's trivial to change if you care about that part. DI - pass in a ConsoleWriter. It also solves the test without mocking.
or pattern match it:

defmodule Guess do
def guess_message(candidate, _count=0) do
"There are no #{candidate}s"
end

def guess_message(candidate, _count=1) do
"There is 1 #{candidate}"
end

def guess_message(candidate, count) do
"There are #{count} #{candidate}s"
end
end
Isn't their example even simpler? In JS/TS, for example:

```ts

const pluralizePhrase = (noun: string, count: number) =>
count == 1 ? `There is one ${noun}` : `There are ${count || "no"} ${noun}s`;

```
Show HN: Castiron – Simple podcast player in Rust
Hi all!

Castiron is a super simple podcast player/manager I am building to learn Rust. It uses the iced [https://iced.rs/] GUI library.

Currently the feature set is pretty slim, but you can:
- Sync feeds
- Download episodes
- Queue episodes
- Play/pause
- Switch themes

I welcome contributions or feedback on how to improve this application and the underlying code.
> Intel helped make this move possible, but it doesn’t manufacture laptops. Apple took the heat for “donglegate”.

And rightfully so. They took Intel's technology and told an unprepared and uninterested industry to switch or die. Naturally, very few manufacturers switched over and Apple's all-or-nothing strategy made more people mad than happy.

Having 4 lanes of Thunderbolt connectivity is awesome. It doesn't really fix the fact that none of them can easily connect to a wired keyboard or mouse.

> On the x86 desktop, usb-c is still surprisingly rare.

My motherboard only has one TB connector, everything else is type-A too. Most of the bandwidth is broken out over SATA or PCIe internally, and frankly I don't regret it one bit. 99% of my life, there is nothing plugged into that Thunderbolt port.
return "There are no " + candidate + "s";

I always hated overloading + for both addition and concatenation. Hence D uses ~ for concatenation.
While we're nitpicking: Step files aren't native formats. Step files are data exchange formats; most CAD packages can import/export with some competency but working with them is not nearly as convenient as with the actual native format.
Actually I'm more surprised they haven't done this earlier
> I don’t want to have to go look at which version of that library exists in 18 different Linux distributions.

If you make open source software, the solution is simply that you should not distribute your software [1]. Let distro maintainers do it, and suddenly it's a lot easier for you.

If you make proprietary software, then it's not exactly the problem of the Linux distros anymore so sure, feel free to link statically. I personally think you should do a mix of both: libraries like openssl you want to link dynamically from the system. Now some obscure dependency you may have that breaks compatibility randomly and is generally not distributed by major distros, probably you want to link them statically. But you should know that you are then responsible for them and the security issues they may bring (i.e. you should monitor them and update them regularly).

[1]: https://drewdevault.com/2019/12/09/Developers-shouldnt-distr...
Is your database fully using your hardware?
I wrote a blog post about how we can use ideas from the HPC community to gauge how fast a query should run, and how we should compare databases to each other. Happy to answer any questions
How is this different from Pika? Pika is also fast and has similar video quality to what they have.
...ok? Noted, you do not like the book I like.
We said we'd get AMD on MLPerf. Today we did it before AMD could
> Google is 3 weeks/year, and has been that way for as far as I have known it.

Not true. Google starts at 3 weeks/year but that increases quickly after a few years. I was getting 5 weeks/year when I left.
Uncle Bob books were constantly suggested as good go-to programming books here on HN for years, though in the past ~4 years they tides have finally turned against him. And thankfully, Martin Fowler too.
Erm, yep? You compared #officers/#residents for City & Met police; I'm saying that's irrelevant. City has much lower #residents/#crime, or / money changing hands, or / footfall on an average business day, etc.
The office or not is not about the office but about the surroundings. The city in modern time is just an intensive farm of humans, where people do not own much and in future will not own anything, the WEF/2030 prediction from the 2016.

If you live in a city you participate in a mechanism not different than digging a hole today, filling it tomorrow and dig it again the day after in a loop, you might own an apartment, but not the entire building so your possession is limited being tied to the whole building, if you work in an office there are many chances you'll eat ready-made food and pay some collective transport fees (metro, buses etc) to commute, you are much on the go, so you are likely a cloud+mobile user, so other subscription, you are living probably on modern laptop, who tend to have a far shorter useful life than an assembled desktop as well, you'll likely spend more in dresses and shoes because appearance matter much more and so on. Essentially you are a catalyst of job who are real jobs, demand even hard work to be done every day, but from a whole society point of view are ultimately useless.

If you WFH in a single-family home you are likely much more interesting in cloud+mobile, you do not waste gazillion of packages for ready-made food, you do not buy most "tech" gadgets from smart watches to AI-Pin, instead you likely buy foods in quantity and store it at home, you are likely go in nature instead of paying a gym and so on, a gazillion of jobs simply disappear because they have no interest when you live in a spread area. Also, you have slack, you likely own your house instead of rent an apartment, you can access all jobs at least in you nation (for fiscal reasons being globally is a bit more complicated), and being few around even if you do not WFH you still get some work, practical unemployment is less present in large spread areas than in dense cities. You are more free, less easy to be get by economical blackmails. You are more an entrepreneur than an employee.

hybrid work is a way to keep us in cities, so keeping most people slaves, saving the gig economy and surveillance capitalism and so on, because yes you work from home a bit, but you still need to be around the office, you are likely in an apartment, still need nice clothes, mobile so cloud and so on. A kind of "gift" to keep people in the city machine.
Solar panels have such a long service life that recycling them is the next generation's issue. You can't really predict costs for things 20 or 30 years down the road, given how fast the technology is evolving. In fact if some calculation claims they take into account the costs of recycling solar panels, that would make me extremely suspicious of their results because I do not trust their prediction of recycling costs. You can also look at predictions of solar panel manufacturing costs from 20 years ago and see how wildly wrong these predictions were.

To illustrate how fast this field is, just this month there have been some new results in recycling them: https://interestingengineering.com/energy/solar-panel-recycl...
For reference, the expected age would be ~15 years old
Does anyone multiplex monitors between PCs for work/personal use? I suspect most people consider real estate to be too much of a premium to have two desktops fully set up but sharing monitors would be a decent way to make it work.
> it's both easier and more profitable to tell people that they need to OOP better than to use more appropriate paradigms in the design of their code.

I don't think this is quite on target. Sure, he needs to go where the people are in order to communicate to the most people, but that doesn't mean he doesn't speak out against fads if it's appropriate.

This talk was really formative for me: https://www.youtube.com/watch?v=Nsjsiz2A9mg
If I remember correctly, he rails against just sticking the database in the middle of your system and calling that your architecture.

If I'm remembering https://www.youtube.com/watch?v=QHnLmvDxGTY correctly, he says OOP is no big deal, it's just encapsulation-polymorphism-inheritance, and then goes on to say things like C had better encapsulation than OO languages (you can keep your .c file to yourself, and just give someone the .h to program against.). And c-style bytes with stdin/stdout was designed with perfect forward-compatibility - programs like your terminal don't need to be recompiled even though they interact with your program (which was written after).

And for the last 5+ years he's been pushing FP pretty hard, especially closure. I don't see him as pushing OO on people at the expense of anything else.
Honestly, yes it is in favor.
Cool, but $200, wow.
Congrats on the launch!
As design feedback, the demos don't seem to pass the "squint test" for intuitively surfacing the most important information / actions on the screen. Maybe a more specific walkthrough of a redacted / hypothetical scenario that's focused more on the user's decision-making process & actions instead of the kitchen sink of product features would better illustrate how/why things are laid out as they are currently.
>Esperanto is definitely a failure in its goals, which included replacing English —- it is not a rapidly growing communications medium.

I don't think anyone involved with any conlangs assumes, or even has the goal, that they'll catch on widely enough to displace native languages.
People are exaggerating a bit here. Texas ran out of power in 2021, and before that in 2011. These were totally unacceptable events to be sure, but I'm not sure once every 10 years qualifies as "common".

People might be confused a bit because there are usually several close calls over the year where supply is projected to outstrip demand, but the problem usually resolves when they go bribe some bitcoin mines to turn off. (Ugh.)

(I live in Austin, TX.)
I am more and more convinced that type checked Python is not always the best idea. The people who are the most virulently pro type checking in Python are not data science folks.

Python's type ecosystem's support for proper type checked data science libraries is abysmal (`nptyping` is pretty much the most feature complete, and it too is far from complete), and has tons of weird bugs.

The Array API standard (https://data-apis.org/array-api/latest/purpose_and_scope.htm...) is a step in the right direction, but until that work is close to some sort of beta version, data science folks will have tons of type errors in their code, in spite of trying their best.
Who would have guessed that the Great Filter preventing interstellar civilizations is greed?
Ramanujan attributed his success in no small part to divine assistance. I wonder if sentient AI would do the same :)
We haven’t built any client side encryption tools yet. I don’t think it would be particularly difficult to do an MVP. If it’s very important to your use case, come chat to us in Discord? https://discord.com/invite/skW3AZ6uGd
>We take our set of d things. We colour one of them red. We colour one of them blue. Then we pick some set of the things (k in number), including the red thing and the blue thing

In this alternate view of the process, where does the k^2 term come from? Isn't the number of ways to do it in this perspective just

(d-1 choose k-1) # We already chose the red one (which is also the blue) and need to choose k-1 more

+

(d-2 choose k-2) # We chose both red and blue ones and need to choose the other k-2

Edit: I think it actually works out, seems to be equal to

d * 1 * Binomial[d - 1, k - 1] + d * (d - 1) * Binomial[d - 2, k - 2] = Binomial[d, k]*k^2

And then you apply your argument about fixing one of the elements in each of the two cases. Actually the proof seems to be a variant (same core argument) as sum of even binomial terms = sum of odd binomial terms [1]

[1] https://math.stackexchange.com/questions/313832/a-combinator...
The notion that DNA barcoding could have been used to identify supplement ingredients at scale was always very unlikely.

To make 1kg of a common type of gingko extract, you take 20kg of dry plant matter, grind it all to a very fine powder, extract it in a boiling solvent (often hexane or methanol), filter it under pressure, boil off as much of the solvent as you can, and then you spray-dry or freeze-dry it.

This process would leave essentially no intact DNA.

I think that the "DNA barcoding" notion was formulated by somebody who didn't understand how extracts are made, and the media just ran with it.

What's funny is that rice flour is used as a common filler ingredient in supplements. Imagine barcoding a gingko product and getting "100% Rice" in your DNA report. And yet that would have been possible with even the most scrupulously honest products.
Do not go gentle into that good night,
Old age should burn and rave at close of day;
Rage, rage against the dying of the light.
Its my poor wording to blame - when i said emotional i was referring rather to the commenter who attributed Chomsky position to taking sides.

I agree its well thought position. As much as I disagree with him on many matters, he is absolutely right here. Besides being right, it takes immense courage to go against mainstream (which he apparently did all his life) and that’s something i can’t avoid admiring.
Some software (e.g. IDEs) will call `rustup` for some reason (yep, it happened to me and I therefore couldn't use that software).

> Yes, it's more painful for end users than just typing `cargo build`

Cargo is fine, I don't mind installing cargo. I just don't want my packages to be handled by my package manager. I don't want every project to ship their own custom package manager like rustup.
The X-prize Lunar Lander Challenge was an interesting alternative way to get to reusable rockets.

There were rules to take off from one pad and land on another pad while hovering 90 seconds. And the higher level challenge had 180 seconds of hovering. And then the rocket must fly back (after refueling).

This doesn't need any complicated launch ranges and permits like "real" rockets. But the delta vee capability needed to hover that long is still significant.

https://en.wikipedia.org/wiki/Lunar_Lander_Challenge

I think it's a shame it didn't directly lead to viable businesses. Armadillo Aerospace and Masten Space and others acted as an inspiration though. You can make rocket flights reliable and relatively routine.

If they could have made that work as a business, say, first for sounding rockets, then they could have scaled that up to orbital.

Back in the 2008 era there wasn't that much VC money floating around either...
I love this. The cognitive of understanding what this code does is super low, it solves the problem, presents no glaring performance issues, and isn’t trying to be cute.
It's hard to infer relative performance based on parameter count alone. SD3 and SDXL are quite different architecturally. The only way to really tell is to compare it with examples. Even this lobotomized 2B model seems to perform better on prompt adherence and text compared the base SDXL model, so I think it has potential once fine tuned.
Supercomputing 24 has a reproducibility program involving Chameleon Cloud as infrastructure, and authors are expected to get their code running there for the purpose. It's a massive undertaking but it's looking promising.
So you’re actually sabotaging the people who have to maintain their code, not them.
And alluded to by Marquez.
Which means that in the future not only can you two ignore each other's book recommendations, you can also note each other's book disrecommendations to find stuff you'd actually enjoy! It's a win-win!
Not a mathematician, but I can imagine a few different things which make proofs much more difficult if we simply tried to map chess algorithms to theorem proving. In chess, each board position is a node in a game tree and the legal moves represent edges to other nodes in the game tree. We could represent a proof as a path through a tree of legal transformations to some initial state as well.

But the first problem is, the number of legal transformations is actually infinite. (Maybe I am wrong about this.) So it immediately becomes impossible to search the full tree of possibilities.

Ok, so maybe a breadth-first approach won't work. Maybe we can use something like Monte Carlo tree search with move (i.e. math operation) ordering. But unlike chess/go, we can't just use rollouts because the "game" never ends. You can always keep tacking on more operations.

Maybe with a constrained set of transformations and a really good move ordering function it would be possible. Maybe Lean is already doing this.
Can never happen, the guy who says that this ain't ur money no more has made sure that investors know their place on board, they r afterall just passive investors who r spreading risks around, even wework a company that has fucked up financials had to give their founder close to a billion dollars just for stepping down, as long as the founder is a majority stakeholder, he will always remain in control
Russian warships reach Cuban waters ahead of military exercises
An easy rule of thumb for US grade-level ages is 5 + grade level = age of students in that grade
Not that lucky, since I’m using 3.12 (iirc) for my opencv-related projects, 3.10 for… can’t remember what, probably kohya_ss, then 3.9 for few tools like rembg and a few left from nodejs setup via choco, not sure if it still needs them. Not counting minicondas here cause it’s hard to even guess.
This is cool. I am going to try it with my kids next time we play.

It also reminds me of a free to play online settlers of catan game from 15-20 years ago. There was no time limit on turns, so people could just grief the game by going AFK.
CC with CO2 emitted will have to go, so the CO2 cost will be set high enough to force that. The question is whether the replacement will be renewables or natural gas with CO2 sequestration (like Allam cycle).
But people are fairly localized to places where there's land. To pick a somewhat extreme example, the pacific ocean doesn't have a lot of places to put solar panels to sell energy to Europe at night.
More like there will be a bifurcation. Newer and smaller companies will embrace remote jobs. Older companies with an established in-office culture? They have already ditched remote in favor of RTO.

> Companies are being rewarded for being efficient in the stock market

Eh really? NVDA, AAPL, GOOG, META, TSLA etc are the big winners and all of them have mandated RTO with jobs situated in SFBA. I don't seem them moving out anytime soon.
I just use a single monitor/mouse/keyboard/mic/camera and then have a usb switch they all plug into so I can easily swap between work and personal. It make switching between workstations just a few seconds and with a bit of wire management can be quite clean.
the head is tucked under the wing. its napping. many birds do this.
Constants can be used for array sizes since a lot of C standards ago, right?
https://boardgamegeek.com/boardgamemechanic/2831/real-time

Galaxy trucker has a good app and would recommend it both on mobile and in real life. Sidereal Confluence is highly complicated, high investment game that's based on frantic negotiation, I can't recommend it unless you're seriously into games.
Previously discussed here: https://news.ycombinator.com/item?id=39363262
We wouldn’t have a single new gas plant if solar was so overwhelmingly better. There are tradeoffs. On some aspects it’s cheaper, on others more expensive. You can’t have solar when the sun isn’t shining so now you need grid scale storage or some sort of backup power plant.
> The point of a black swan that there doesn't have to be a cause.

That's the first I've heard that suggested.

It's a metaphor that describes an event that comes as a surprise, has a major effect, and is often inappropriately rationalized after the fact with the benefit of hindsight; based on a Latin expression which presumed that black swans did not exist which stopped being used that way in 1697 when people found actual black swans.
This is much better. Love it when code follows the KISS principle without unnecessary abstractions or optimizations when its not needed.
Perplexity was planning revenue-sharing deals with publishers
Can AI come up with new novel things? A nature photographer could , through luck and hard work, photograph a new species of animal while traveling through an unexplored area. Could AI do that?
The last code block has a typo:

#define FRAMERATE = 100.0

Should probably be:

#define FRAMERATE 100.0
Incompetent is an understatement. According to the article (which by the wording is not written by someone technical, so take with a grain of salt I guess), the accused:

- accessed the servers tens of times post employment from India

- returned to Singapore

- lived with another active employee of the company he was planning to attack

- had a script kiddie Google history

- made no efforts to cover his access

It's hard to read in any way but him wanting to be caught, although I'd love a more detailed article to clear up some confusion. It was cold blooded months after, and he moved back to the country where he could be convicted. Wild.
Wow I just set this up and it is incredible. Thanks for sharing!
https://colonist.io is the browser version of Catan. I play it often!