skysight-inc/HackerNews huggingface dataset:
It's a useful assistant. Never again do I need to argparse each flag onto a class Config: fully manually again. I also found it useful in catching subtle bugs in my (basic, learning purpose) cuda kernels. It is also nice to be able to do `def utc_to_ist(x: str) -> str`<TAB>.

As for whole apps, I never agree with its code style... ever. It also misses some human context. For example, sometimes, we avoid changing code in certain ways in certain modules so as to get it more easily reviewed by the CODEOWNER of that part of the codebase. I find it easier to just write the code "the way they would prefer" myself rather than explain it in a prompt to the LLM losslessly.

The best part of it is getting started. It quickly gives me a boilerplate to start something. Useful for procrastinators like me.
Show HN: Play flip coin game on SeiNetwork
Show HN: Chainlit Now Supports Anthropic's Model Context Protocol (MCP)
Hi everyone, I’m the co-founder of Chainlit. Chainlit is an open-source python framework to build conversational LLM applications in minutes!

There are lots of MCP servers but only few ways to leverage them.

Super excited to announce that Chainlit now supports Anthropic’s Model Context Protocol!

It means you can easily build a client application and customize UI/UX as well as python backend logic. And, it already integrates with popular AI agent frameworks.

Cookbook example with Linear MCP: https://github.com/Chainlit/cookbook/tree/main/mcp-linear
Cookbook example with Stripe MCP: https://github.com/Chainlit/cookbook/tree/main/mcp
Docs: https://docs.chainlit.io/advanced-features/mcp

Looking for some feedback from folks building with MCP!
Good, all we need to do is become China and we're set!
Paris residents vote in favour of making 500 more streets pedestrian
Go, Rust, Zig?

I'm curious, what language do you know of with a more complex macro system than the whole C preprocessor?

EDIT: To be clear to prospective downvoters, I'm not just throwing these languages out because they're hype or whatever. They all have a grammar that's much simpler to parse. Notably, you can construct a parse tree without a semantic analyser which is capable of running in lockstep with the parser to provide semantic information to the parser. You can just write a parser which makes a parse tree.
EvoBPE: Evolutionary Protein Sequence Tokenization
Well, sort of. I'm not going to say there's no racism, there absolutely is, but the whole black/latin/white divide of the USA belongs in the USA, and trying to view British social status through an American lens produces inaccurate results.

The British have always been stratified by class. They are more likely to look down on you for your accent than your skin colour.

For example, people who graduated from Oxford or Cambridge are less than 1% of the population, but are 44% of the newspaper columnists in national newspapers, and are 71% of senior judges: https://www.gov.uk/government/publications/elitist-britain-2...

In fact, you can go back to the Norman conquest of Britain (1066); people with Norman surnames are more likely to be well-off in modern Britain than those with Anglo-Saxon surnames. Generation after generation has kept wealth and power "in the family": https://link.springer.com/article/10.1007/s12110-014-9219-y

Effectively, there is a governing class of specific families and bloodlines that runs Britain; the middle classes aren't in it, the working class aren't in it, the colonies (when Britain had them) weren't in it, and foreigners definitely aren't in it. The USA had a little sniff of this classism, with the W.A.S.Ps that could trace their roots back to the original US colonies getting uppity about more recent arrivals and classifying them as "not white", but it's nothing compared to the UK.

Atop that you have religious sectarianism. Britain colonised Ireland first, murdered the Celtic chiefs, and installed loyalists to King Billy. What you're seeing with EU immigration and Brexit already happened in the 1920s-1930s in the Second City of Empire; read about the economic conditions that brought about the https://en.wikipedia.org/wiki/Glasgow_razor_gangs -- white (Protestant, native, working class) people feeling threatened by white (Catholic, Irish, deprived) immigrants looking for better economic opportunities
Collect underpants... (LLM).... profit!

Using the recipe site cited, the only acknowledgement of profit is "but seriously fuck you if you have that many popup ads". Mkay...

"In 30 days, we launched a robust API & an RSS feed for top products. Within three months, traffic from AI-driven referrals jumped by 200%." yeah that's in the context that "I recently consulted for a mid-sized e-commerce firm".

A recipe site (with ad revenue) vs an ecommerce site: not the same revenue model.

Not a peep about sites which are expressly built for humans, or should be built for humans as the primary goal, with "profit" achieved by other means... maybe not profit at all.

The thesis that LLMs prefer / will prefer APIs is an interesting one, but unproven technically as far as I know as well as unproven as a viable economic model for content publishers.
I'm sure Taylor contributed to the design. But Taylor was hired to do it as an employee.

The Wrights contacted multiple engine makers who all refused the job.
California is not plummeting in total emissions either, which is the point of the plots in there.

The only thing that could move this along faster is to shut down fully running and functional fossil fuel facilities, which means that the huge capital assets are stranded and a big loss to the people who paid for them.

There, Texas's approach of private investors bearing the cost of that poor investment will fare much better than California's approach of letting the utility bill customers for their poor decisions. (I say this as a Californian absolutely INFURIATED at our toothless public utility commission allowing six whole rate increases in the past year, making electricity for a heat pumpfar more expensive than burning gas for heating, and making charging an EV about the same cost as fueling gas car, instead of much cheaper.)
Try "ask a question unambiguously", haha!
HIP is essentially the same as CUDA, CK is not a language but a library, and assembly is basically used in the Nvidia ecosystem as well, in the form of PTX.

There is absolutely nothing out of the ordinary here. Yes, it's multiple languages, but not any more or any different than what you'd use on an Nvidia platform (except obviously for the assembly part -- AMD's ISA is different from PTX, but that's to be expected).
remarkable UI. bravo.
Since "Manus" is a registered trademark, you should probably change the name as quickly as possible to avoid legal issues with the original trademark holder.
At the very least, you could remove the "M" to avoid directly copying it while still maintaining recognizability.
International students 'bring billions to Germany'
> It precludes any kind of long-term thinking, or stable relationships with other nations.

Well, we had stable relationships with other nations, until a few months ago. So it's at least possible.
As a diagnosed ADHD. Nope. I found them boring and I used none of them except Instagram but I use it to dump some photos and contact friends only (Less than 1hr per week). It is not YouTube or Netflix or you name it either.
It is about the executive function. Even if I sit in front of the work my brain will not do it. For example when I watch a lecture or read a book, knowledge just cant get into my brain. But sometimes they do, and when they do, I cannot stop it either. There are numerous times I kept coding until my blood sugar was too low that I almost passed out because I counldnt stop to grab some food. For me, ADHD symptoms are that I have no control over my attention.
> having a unique fingerprint is bad, as it allows tracking of you by fingerprinting, without the need for cookies.

Having a unique fingerprint is ideal, as long as it's unique every time. It's insane to think that you can successfully account for every data point that can be collected from a browser. Fingerprinting techniques are changed and new methods are being discovered even while browsers themselves keep adding new features that can be used (or abused) to identify people.

Rather than praying that you (and some fingerprinting website) are 100% aware of every single technique that's ever been used anywhere and that nothing new will be discovered giving trackers even just a single unique data point which is all they need to tell you apart from everyone else, it's a lot safer to appear to be someone new with every request.
afttest
I did notice some character encoding issues, but this is very helpful and handy, thank you!

https://pure.md/https://unionize.fyi
"Time Domain Fixed Beamformer (TDFB)" --
https://thesofproject.github.io/latest/algos/tdfb/time_domai... might be relevant here.
Well Texas seems to be planing to put in regulation on the electricity market. Seems like the current administration is out to completely gut any kind of cost savings for american businesses.

https://www.canarymedia.com/articles/energy-markets/texas-bi...
CTRL+F 'Enron' 0 results.

Don't really trust something advocating for deregulated energy markets to not mention the elephant in the room.
Super interesting - I'd actually love to write a MCP server based on this as I find myself generate react email from cursor all the time.

Also is there a way to add styles / instruct on colors?
I built a truth or dare app, without the truth
I've always wondered if it would work out well for an LLM to evaluate a constraint program/script when it encountered a problem involving constraints / logic. like or-tools with python or evaluating a minizinc program.
With all the disclaimers of talk to your own psychiatrist noted, I’m curious what specific medication is helping you. I went through a similar process and some of the side effects were too much to balance.
Yeah, the 100ms wait after stability probably avoids any need to debounce. You need to debounce if you want to detect both keypress and keyrelease events reliably, though.

For mass-production products it's cheaper to add 100 lines of code to your firmware than to add a resistor to your PCB, much less a diode, capacitor, and two resistors, but for prototypes and low-volume designs it's less clear.

WRT ISRs, plausibly in this case the microcontroller can just poll instead of using interrupts. You probably don't mean "semaphore"; semaphores are a blocking construct, and if there's one thing you can't do in an ISR, it's block.
> My citizenship is not something I chose, it's an accident of birth [...] Supporting your own country even when they are doing things that are bad seems bad to me.

Would you say the same of your family?

If a family member were doing bad things, I would still love them and be loyal to them. But I would show that love by confronting them thoughtfully, not rejecting the family entirely. In that sense, our mutual family membership could hopefully become a means of calling them back to their senses, especially if multiple family members are involved in talking to them over a period of time.

> It's like football hooligans fighting over their favorite sports teams.

That take trivializes human institutions in which we are members. These institutions ought to be taken as sacred. When they fall, we fall. (Not so with a sports team losing to another team :)
The "cool kids talking about memory safety" are indeed standing on the shoulders of giants, to allow for others to stand even taller.
Well it really depends on who is control of the centralized decision making. In most states in the US it's fossil fuel interests that control utilities, and much of the government. Which means a very slow transition for nearly every state, when compared to Texas' decision to allow the cheapest energy to win.

In China, the government has the goal of deploying as much energy as possible as cheaply and fast as possible, and promoting their own industries too. Which means tons and tons and tons of renewables.
> but you would not have made anything more secure.

This is does not follow. Why do you think a hypervisor with no verification to a spec is necessarily more secure than a hypervisor with a verification to a spec? Can you somehow quantify the latent bugs in the non-verified code?
Obviously if your business strategy is "build X but better" where X is some incumbent on the market you already failed. Because they have everything that you as a start-upper don't have.. money, resources, visibility, name recognition etc. They can simply out compete you anywhere. And if the only value added and USP is "better" (even if that is objectively so by some metric) you really need to be 100x better in order to overcome the inertia that people have when switching over to your product. (Or you need to throw money at the problem...)

As a startup you really need a completely different USP and value proposition, look for something that that existing platforms/products don't do so well (or don't do at all) and see if there's a market in that particular niche.

Two sided markets (like LinkedIn) where you need both sellers and buyers (in this case employers and employees) are really hard because you have a chicken-egg problem and you can't get one side of the equation without the other side. So you really need to crack this by solving some other problem first that you can get either group on your platform before you can start dreaming of creating that kind of platform for sellers and buyers to meet.
I don't think an industry wide tech union would work. There are way too many people who think of themselves as unicorns (and some may very well be) and don't care about what happens to the rest of us. No one would hire from the union if the other 50% or more of devs are ununionized and would happily take your job. Especially in this economy, when nobody can get hired to begin with.

We are approaching the era when many of us are beginning to train our own AI replacements. If there's a union at all, it probably ought to focus on job security as a first consideration. WFH is moot when nobody would hire you to begin with. A union can't magically change the industry economics.

WFH only happened because labor had so much power during the pandemic. Capital clawed it all back as soon as it could. If you want more labor power and specifically WFH, another pandemic is likely to be more effective than trying to loosely unionize a tiny subset of tech workers.

You can also unionize a single company or team/division etc., which might have a better chance. But don't expect the NLRB under Trump to fight for you the way it did under Democrats. Right now you have the entirety of government, Wall Street, the tech industry, and Elon Musk personally against WFH. It's an uphill fight.
> Instead of sticking their heads in the sand, they need to own that loss and internalize what that means about them.

Is that actually true? I've been around ~45 years, and the Republicans have been in and out of power repeatedly during that span. But I don't think they've ever owned a loss, and I don't think they've ever internalizing what it means about them. And it hasn't stopped them from coming back into power, once the mess from their last misadventure has been cleaned up.
C is simple like SMTP.
The easiest way to try out the new model right now (assuming you don't have a $9,499 Mac Studio) is here using OpenRouter chat: https://openrouter.ai/chat?models=deepseek/deepseek-chat-v3-...
I mean, I'm pretty sure Eugenics was invented by Eugene, thus the name. Or it was a way to avoid needing to know people's names, because everyone would be named Eugene. :P
Related:

Tell HN: An update on your Google Maps Timeline

https://news.ycombinator.com/item?id=43441107
A use case is portability. I can transport the device between dock equipped workstations. Having to plug and unplug just one port vs 2 is a lot easier.

I am not concerned with durability of the port. My experience with one of many usb port suited for high power delivery has been uneventful. I know my devices well enough.

The only drawback is insufficient power delivery from docks. It’s only necessary to me that it works with less power.
Niche meta deep cut quip
My motivation to be helpful to you at this time is well below zero.
Couple of books that were mentioned about Leibniz:

https://www.amazon.com/Leibniz-His-World-Making-Savant/dp/06...

https://www.amazon.com/Best-All-Possible-Worlds-Leibniz/dp/1...
LLM's "Think" Differently
I had a wheeled suitcase in probably the late 70s--which was an unstable wheeled traditional suitcase. (i.e. narrow configuration with a high center of gravity.)

Not sure why it took a while for manufacturers to reimagine to a more stable orientation.

There was some parallel technical innovation--such as the wheels and bearings for rollerblades--that was going on during the 80s.
There's a world of difference between accepting a shift in relationships from 'dictating' to being more equal partners, versus deliberately trashing relationships and doing your best to alienate.

If the US weren't still some kind of world leader, USD would be in the toilet as other countries would have dropped most of their USD holdings. The current regime seems to be doing their best to make that happen, whether for cryptocurrencies, foreign agents, or just simple-minded looting.

I'm an American libertarian. It's not Democrat versus Republican. It's conservative versus neofascist/patrimonialist.
You'd think a technical site like ycombinator, ppl would post directly from pubmed/europe pmc...I mean, ppl post CS papers from Arxiv regularly...
Discussion: https://news.ycombinator.com/item?id=43411725
I don't think Amish/Luddites would make quite the nuanced point I'm trying to make, but also, I don't have any particular beef with the Amish or the Luddites, in fact the older I get maybe the more I side with them, but again, that's aside from the particular point I'm making now.
Hey clearly _can_, the Stanley Parable Ultra Deluxe was released in 2022 and is in effect a sequel that was just as good if not better than the original
Nice writeup!

Thinking generally it seems something like the xz/lzma vulnerability could be snuck in by 1-2 nefarious people colluding across packaging and package producing, especially if we are talking about nation-state actors who can afford to look legit for years before being trusted to work without oversight - then when no one is watching, sneak in a backdoor.

I feel we are in a very innocent age and will look wistfully back at the days we trusted our anonymous open source brethren.

On macOS I think about this every time I “brew install”, and every time oh-my-zsh auto-updates. Do Linux users think about this?
The attenuation provided by the tablet case / shell is quite significant. I bet they had some extra foam, or, something, to make it even stronger. So the "right behind" signal would be heard only if "right in front" is not readily drowning it.
Maybe if they live in a high income country with relatively strong consumer protections and are using their home ISP. But quite a lot of the internet is very much not that.

In some places and on some networks, MiTMing http traffic for undesirable use-cases is routine.
Much like with the speakers, Apple are trying way too hard to be fancy here

Could the author of this package comment on this statement? I'd be really interested in their opinion of their speaker implementation.

What's overly complicated there? The hardware? The software?

As a MBP user and hobbyist audio guy I've been really impressed with the implementation of those speakers, particularly on the larger MBP models.

But I'm just a hobbyist and don't have any knowledge of them other than the driver arrangement (tweeter + dual opposed woofers). It certainly seems like they're pulling the same tricks used by "good" bluetooth speaker designers in order to wring acceptable perf and bass extension from teeny tiny speakers (adaptive EQ etc)
iPS cells in vitro for experiments have been a thing for over a decade now...

In vivo experiments face more regulations bc...well, stem cells are very close to cancer cells and bad things have happened....
> The idea of measuring individual developer productivity is kind of absurd to me.

that idea is very attractive to every manager on planet earth. they seem to quickly lose their ability to maintain contact with reality and they start using metrics to track everything, rewarding those who game the metrics best.
> When seL4’s proof was published, people regarded seL4 to be flawless software

No, that's not true. The framing was always that it surpassed an incredibly high safety bar that no other kernel had surmounted, far beyond even security certifications needed for protecting national secrets. This is still true.

> the level of confidence the industry places in these techniques naturally needs to be adjusted

No it doesn't, people using formal methods understand perfectly well what confidence verification should bring and the caveats that are necessary. If by "industry", you mean Joe-know-nothing-about-verification-shmoe, then I'm not sure why his opinion was particularly important to begin with.
> current administration is out to completely gut any kind of cost savings for american businesses

I am sure businesses that follow the administration's wishes will get government contracts, tax rebates, tariff exceptions, and other favorable treatment. I am not worried, the vast majority of businesses will learn within a few months that it is financially profitable to bend the knee.
I'd say the idea of humans genetically modifying ourselves in any significant fashion is like the Victorians thinking the skies would be full of airships in the year 2000:

Before we get to the point that we can do that, a disaster and/or a better alternative will mean very few people even want to do it.
Capital-A atheism is a dead fad. It was a few years of people loudly dunking on something that that was safe to dunk on. The overall culture found them grating and insufferable, even to other atheists. Over time we swung to the point where you see more discussions like these.

>What's the deal here?

Without making a jab at the bay area culture bubble, I dunno what to tell you.

I don't need religion to be bad, that was Capital-A atheism's thing. I just need it to leave me alone. And it does.

Some people are religious, and a lot of those who are would recommend it. When it comes to defending religion, as an atheist I still think bad takes are bad takes even if they're against the religion I left.
>- 2 is not the best growth factor because it makes it harder for the memory allocator to reuse memory. More modern implementations use smaller growth factors: https://en.wikipedia.org/wiki/Dynamic_array#Growth_factor

I've often wondered about this, so I'm curious to learn more. I agree in principle we should be more clever to ensure we have better memory use. However, half the implementations in the list you've linked use a growth factor of 2, so I'm confused about your point.

If it's not the best, what is? Do you know why these implementations opt for 2 if it's not the best choice?
When the framers were setting out their ideas the rural states had large populations. However the framers declared great swathes of them to be worth 60% of others.
It does sound counter-intuitive.

However "Post Adventure/Mission Depression" is very common.

See e.g. https://worldextrememedicine.com/app/uploads/2022/07/Lukas-H...

As a person in tech, I have met many millionaires and a few billionaires, and it is really true that huge wealth does not in, and of itself, bring happiness. They're basically still stuck with their old problems, but now also surrounded by sycophants and leaches.
I use cash for small purchases probably five days a week--lunches, small stuff from the store, sometimes books. I am certainly not cheating on my taxes with by spending cash. I don't see how the vendors are by accepting it, given that most of them will give me a receipt.
Please stop calling these people Christian, you have to follow Christ to be a Christian. They do not.