skysight-inc/HackerNews huggingface dataset:
I standardized on US ANSI layout (straight Return, not the L-shaped). I'm from a country where the local language has accented chars and while it's nice to be able to chat with correct accents I find it better to be able to code without dead keys (~) and AltGr.

I also solved the lack of accented chars by just mapping RALT+<char> into it's accented version. Took me about a week to learn but now it comes naturally and I'll never go back to my local keyboard layout.

Of course trying to find a laptop locally with US ANSI layout is a pain...
> I think Jefferson proposed to let the constitution expire every 19 years. I think he had a point there. Instead of viewing the "Founding Fathers" as the ultimate source of wisdom we should accept that they made decisions that made sense during their time but times have changed so some decisions should change.

These ideas sound great when you imagine ideal politicians doing exactly what you want.

They're not so appealing when you remember that on a long enough timeline you'll get some political leaders who would abuse such a power to no end: Rewriting the constitution to give the president unchecked power or remove term limits would be more likely targets than anything you're imagining working in your favor.
You wouldn't want to feel any sort of guilt or regret when you raise rent prices on a struggling family you've actually met, of course.
To my mind that's just what my privacy costs and I'm willing to pay it. Others might not feel the same way, and they're welcome to pawn their data for free fast shipping.
Many modern file formats are based on generic container formats (zip, riff, json, toml, xml without namespaces, ..). Identifying those files requires reading the entire file and then guessing the format from the contents. Magic numbers are becoming rare, which is a shame.
> Everything works nicely, and you package the code in a function for later use but forget about the scale factor introduced earlier in the notebook.

You see a problem, you fix it with library, and I applaud that. You have to wonder though, how many years does it take for a reproducible notebook environment to implement out of scope variable guards..
Will phones really be completely without wired ports? It's possible but unlikely any time soon. Wired ports are still important for development/debugging and crash recovery purposes, local data sync with a PC, as well as backup and restore.

We'd probably need some kind of high speed short-range wireless connectivity that could replace a USB/lightning port for those purposes, but I think a wired connection will always have a place on phones in general.
They're not in the business of finding the best ethical fulfilling investment. Their goal is to find nascent niches that can be packed as a trendy future industry and 10x the bag down other investors down the road. Period. It has worked in the past with SaaS, it has worked (sort of) with crypto, it might as well work with AI. The only difference is that now they have to work hard and hope the Chinese don't steal the fire and ruin the long term vision of this revolution being US centred again.
Another analogy (flawed as any of them). Sports teams "exist" in a sense. They meet one another in well-defined interactions, called matches, and such an interaction can be described as if teams were well-defined atomic entities, producing a score.

But a sports team is not atomic, not a "final reality" entity. A sports team can pass through one gate, or through several gates, when entering a stadium. From a doctor's perspective, the team "does not exist", a doctor only operates in terms of individual players' organisms.
IMO, it's always easier to slap a new {feature, shiny object, coat of paint} on something than to fix the problem inside.

Especially when you don't really know what's going on inside.
I think parent was let down by the wording. The paradox is: "the people who go to the nude beach to be naked are not the people you actually want to see naked".

There's no implication that the people who go there want to be seen naked, just that they aren't easy on the eyes (of any innocent bystanders).
the one true salvation is jesus christ to the one true god repent evolution is sin people knew better during feudalism
The normal "hard SF" counter-strategy would be for America's rivals to take maximum advantage of our ill-advised policies.

Though doing that would require competent rivals. Which may be considerably more common in SF than in the real world.
If the NEJM Doesn't Correct This Error, You Cannot Trust Anything It Publishes
Your "44" account isn't banned
Why do you even need Thorium for this?

If the files are just AES-encrypted and the links are there, as the linked article suggest, it seems that it would be easy to create a standalone script to download and decrypt these.
Rust’s “mutable-xor-aliased” model makes it particularly amenable to developing verification tools on top of it [1]. Without this model, verification becomes just as hard — and just as practically intractable — as all the verifiers for existing languages.

1: https://graydon2.dreamwidth.org/312681.html
And hold on, 600ns can't possibly be right...

A memory copy plus updating what ever internal memory structures you have is definitely going to be over 1us. Even a non-fsync NVMe write is still >=1us, so this is grossy misleading.
Show HN: PilottAI – A Python framework for building scalable multi-agent systems
I'd like to buy. My father bought his first house when he was 23. He came from poverty and had a middle-class job.

I'm ten years older than he was and I still can't afford a house.
My experience with LLMs is that they are vastly superior to google at the moment for doing research on topics you know very little about. They make doing research fun and productive again, in a way that google has failed at for over 15 years. I used to be able to google a topic I only vaguely knew existed, and after a few tries and scolling through 10’s of pages of results, I could find a term that would bring me much closer to the term of art that would crack open the topic for me and give me good results. That is nearly impossible today. Google simply doesn’t populate page 4 of a search term, and it doesn’t have booleans to filter down either. But with an LLM, I can poke and prod it until it gives me something that I can then use to reference real sources.

LLMs also seems to be really good at giving sort of the average (modal?) answer on a topic, so I find it useful for trying to get an average understanding of something. One example I’ve found useful is getting it to interpret ambiguously worded datasheets. I don’t necessarily trust its answers, but it may show that I’m totally thinking about something wrong.
Doesn't have any scaling losses - it's a very parallel problem. Divide the keyspace N ways, run N brute-force searches. Similarly, it doesn't benefit from a faster connection to other nodes or main memory.

Most bit-flips won't matter - either you get a false positive which is ruled out trivially, or the 1-in-$SearchSpace chance you get the false negative.
> Next generation LEDs are cheap and sustainable

Sustainable ? Made from tropical forest trees ?
Speaking of "don't need to reply", there are many times when I start writing a comment, realize that in fact it's wholly off topic, and delete it. Not every "train of thought" needs to be aired out.
This was also the era of Sisqo's one-hit-wonder "the Thong Song", confusing things even further.
At first I wasn't sure why it contained a separate Unix line feed when you would already be able to detect a Unix to DOS conversion from the DOS line ending:

0D 0A 1A 0A -> 0D 0D 0A 1A 0D 0A

But of course this isn't to try and detect a Unix-to-DOS conversion, it's to detect a roundtrip DOS-to-Unix-to-DOS conversion:

0D 0A 1A 0A -> 0A 1A 0A -> 0D 0A 1A 0D 0A

Certainly a very well thought-out magic number.
It’s a fascination of the city for sure. Growing up my mom would always take my siblings and I photos there when we went to pike place. Pretty sure I have photo evidence of me touching that thing at various stages of life lol
Surely most hardware / software that has had no support for IPv6 has been mostly phased out by now?
Or another way to think about that is: price matters.

In this era of meme stocks people think maybe it doesn't. But Cisco, MSFT and some others had good businesses but were terrible investments for at least decade or more because any potential growth was baked into the price. You could say that about a lot of stocks today, probably NVDA, APPL (disclosure I have both). They aren't bad businesses but they are bad investments.
It's neat that we now have video evidence of Autopilot self-disengaging itself when it detects an unavoidable crash, instead of slamming on the brakes (as one would expect) to minimize impact.
She has perfected a kind of down to earth rage bait that vibes with the intelligent outsider, the high school edge lord that grew up and now know some statistics.

She is often wrong, both in magnitude and direction.
> A Product Engineer is accountable for the product.

This may be true, but it just means you are not a software engineer. Otherwise, where is the equivalent expansion of the roles for design and product? Are product and design accountable for the code? Of course not. The engineer role has been constantly expanding to basically encompass the entire SDLC from ideation to post-production analysis and decision making, and now it has expanded to be a product owner, and soon it will also be managers.

I get it though, software has become increasingly easy to write, and there usually is a combination of libraries that can be glued together that will do the job... and this is why software engineering is going away, at least for anything that is not a cutting edge, or a unique problem. There is no need to study design patterns, or programming paradigms unless you are solving something unique and novel.
I built an online API Client using NextJS
A few weeks ago, I launched a little product that was useful for me, and I figured it could be useful for others too: Trevo, an online API Client—completely open-source and free from logins or any of that stuff.

The idea? A lightweight browser alternative to Insomnia and Postman, mainly for quick sandbox environment tests (which was my use case).

I built the most basic version and got a lot of interesting feedback, so I decided to give it a proper revamp. What started as a quick test to see if something that worked for me would work for you has now turned into a much more polished tool. So, my online API Client is packed with cool features, and besides the style overhaul, we now have:

Request history (well, this was already there);
Ability to save requests in folders (!);
WebSockets support (you can test a server and send/receive messages directly);
Option to save requests in cURL format (so you can test them in the terminal);
And last but not least, I exposed the API with a mini-doc, so now you can use it to create a 100% CORS Proxy. Meaning, if you're running into CORS issues when hitting an API from the client side, just use Trevo’s API, and we’ll handle that for you
Dropping the link here—feedback is always welcome: https://trevo.rest

#enjoy
Arcee Conductor: Intelligent Model Routing
I'm thrilled to announce the launch of Arcee Conductor, a game-changing platform that's about to revolutionize the way you interact with AI models! As the pioneers of small language models (SLMs), we've been working tirelessly to bring you the most exciting innovation in the AI space.

Here's a quick TL;DR of what Arcee Conductor is all about:
Choice and flexibility: Get access to multiple models, including our powerful SLMs and third-party LLMs, to choose the best one for your specific use case
Intelligent routing: Our platform evaluates which model is best-suited for each of your queries, ensuring you get the most accurate results
Cost savings: Reduce your AI costs with our affordable SLMs, while still having access to leading LLMs when needed
Easy to get started: Sign up now and try Arcee Conductor today, with 400 million tokens (a $200 value) on us!
Proven track record: Our SLMs have already racked up 222K+ downloads on Hugging Face, with customers seeing significant cost savings and improved accuracy

For a limited time, you can get $200 credits to use with Conductor for FREE. Check it out here: https://conductor.arcee.ai
Discussions

(1343 points, 1 month ago, 545 comments) https://news.ycombinator.com/item?id=42953508

(95 points, 7 days ago, 53 comments) https://news.ycombinator.com/item?id=43329320
The RP2350B is the exact same chip just in a larger package with all GPIOs exposed (from 30 to 48 GPIOs). It's the same silicon though with the same E9 errata.
Job Hopping doesn't lead to more income
scalar and msft git (whose many features made it into mainline by now) addresses mostly things like improving local speed by enabling filesystem caching etc.

It doesn't address the issue of "how to clone entire 10GB with full history faster". (Although it facilitates sparse checkouts, which can be beneficial for "multi-repos" where it makes sense to only clone a part of repo, like in old good svn.)
People don't care about privacy

Some people have enjoyed the benefits of government agencies that promote consumer protections. At some level, maybe we hear about or even directly benefitted from some consumer protection agency, and assume the government has our back. Maybe it is naive, but I still think that assumption is there: we don't have to care because it is someone else's job to care about privacy. How could it be put on sale if it is not safe? They test cars, for safety, they test food for safety, etc. They must test these things, too, right?

This is clearly not the case, though. The government works for big tech. The US government is even shutting down consumer protection agencies at the behest of big tech and leaving us to their whims!
LiDO: Exploring the Stable Plutino Parameter Space
Built for creating autonomous multi-agent systems with enterprise-ready features. It provides advanced orchestration capabilities for building AI applications that can scale.
It's all fun and games until the import brokerage calls to ask where to deliver the 850,000 rubber dog turds you ordered.
Hey! Docs’s PM here.

IMO Notion really made an awesome job with real-time, collab features (comments, suggestions) and useful AI actions. So much, people only see databases ^^.

For now we’ll be focusing on these. That’s already plenty ^^
Further down road we’ll if we manage to take on databases.
Business owners don't typically post their home address and cellphone number for customers to contact them directly, either. (With some exceptions, to be fair. My plumber gave me his direct cell number, though that may be a separate work phone.)
That is such an old and untrue narrative that even Trump/MAGA no longer uses it because it never had any legs to begin with. It's humourous you're still using it. You'll need to come up with something more original that...
Ah, thanks. Makes sense. norvig's opinions would be highly regarded here, and the existence of LLMs implies strong evidence to the contrary.
I made a similar mistake when upgrading my SSD. There was some token that was stored in there that I needed, and IIRC I had lost the password needed to generate a new token. I only realized that I was even missing it a few weeks later when I needed to use the tool again. luckily I still had the old SSD so nothing happened. This happened even though I'm familiar with locallappdata and have even used it in some apps I created. It's just not the first thing you would think about when doing a backup unless you've already been bit by it before. Apps generally don't tell you if they store something important there, and the tool I was using never tell me where the token was stored. Doesn't help that file explorer hides the folder from you by default.
That looks like a disagreement with him on the utility of machine learning; while I don’t know whether Chomsky is right about his more fundamental ideas on linguistics, that doesn’t seem relevant.
APL and J aren't based on English. Several countries have developed local language-based programming languages that have simply stayed local. Global adoption of programming languages will be affected by global language, amongst other factors. English is currently the global language. Your guess is as good as mine for how long that will remain the case, but so long as English is the global lingua franca, then programming will largely be done in English.
Exploring Anime.js: A Powerful JavaScript Animation Library
I have never understood that attitude. Isn't the ability to deal with broken pipes literally part of your job as a landlord? It's like buying a restaurant when you don't like to cook and don't like to process orders - why would you do that? If you don't like your business's business and want to outsource your core competencies, maybe invest in an index fund instead...
The checkride required to get an IFR rating quite literally requires you to “read a book” (brief the approach plate to the flight inspector) while the autopilot conducts the initial parts of a precision approach.

A 20 year old avionics suite (GTN 450) does much more than cruise control - you input a flight plan including an approach, it will fly the flight plan, capture the approach signals (VOR/localiser/whatever - which is far more complex than “keeping course”) all the way down to approach minimums.

The report you linked is specifically about general aviation - not about commercial (part 121) aviation. GA lags behind by decades (still uses carburettored engines burning leaded fuels).

In any case, it’s talking about error cases for autopilots, not the operational domain for when they should/shouldn’t be used. The key take away was improved training for identifying autopilot malfunctions and not reduce/eliminate the usage of autopilots in certain scenarios.

> You can not (irl should not) do something else

I’m curious, what autopilots have you used and what capabilities did they have?
Nice timing! Thanks!
>It is not clear that she has any real duties on a given week, living far away from the location with no contact details.

That's... how investing works? The average S&P 500 investor is probably making even more money than that lady (in percentage terms), with even less work. If you're a landlord you have to deal the hassle of finding renters and fixing stuff, or hiring a management company who take a significant cut. If you're an S&P 500 investor on the other hand you pay vanguard 0.03% and they handle everything for you.
I didn't read their comment as apathetic. The mass majority just doesn't choose to make privacy an emphasis in their lives.
> It's like buying a restaurant when you don't like to cook and don't like to process orders - why would you do that?

It may surprise you to learn that restaurant owners often hire cooks & wait staff.
Show HN: A static scanner for LLM app code
> Even if Rust's type system prevents many mistakes, including memory errors, the code is still not immune to vulnerabilities, such as unexpected panics or wrongly implemented business rules.

> The way to go further is to mathematically prove that it is bug-free: this is named "formal verification" and what coq-of-rust proposes! This is the only way to ensure your code contains no bugs or vulnerabilities, even against state-level actors .

I like formal verification. But I consider this a misrepresentation of what it offers. It lets you mathematically prove that your code implements a specification correctly. It doesn't prove that your specification is bug-free & vulnerability-free. It doesn't prove that your specification correctly implements your business rules.

Formal verification is still extremely useful. It's often much easier to use a specification language to define invariants your programming language code needs to obey than to only implement things in a programming language. To me that's a much better, more honest selling point for formal methods. You have to write more code, and in a different language, but unlike just testing you can actually prove that invariants hold for all possible inputs.
Non-Terrestrial Networks with NRF9151
I've been wading through terabytes of financial data over the past month. (I'm an ML/AI software engineer trying to create a trading bot that makes me more consistent income during times of uncertainty that are outside my control.)

This is some of the data I'm looking at. NVDA price on a particular day vs. average position of trades in bid ask spread aggregated over 10 seconds, on all the exchanges it is being traded on. When it is close to 1, it is trading at close to the NBBO ask; when it is close to 0, it is trading at close to the NBBO bid.

https://imgur.com/a/lcCwDsj

One of the things I found is that the dark pool trades predict price action very well on a few-minute time horizon. "FINRA Alternative Display Facility" on the 2nd plot from the top is all the darkpool trades. If I had access to dark pool trade data in real time I think I could piggyback off the manipulators and make bank.

Unfortunately the SEC only requires them to report transactions within 15 minutes, not in real time.
> rather than restricting the hypothesis space to avoid overfitting, embrace a flexible hypothesis space, with a soft preference for simpler solutions that are consistent with the data. This principle can be encoded in many model classes, and thus deep learning is not as mysterious or different from other model classes as it might seem.

How does deep learning do this? The last time I was deeply involved in machine learning, we used a penalized likelihood approach. To find a good model for data, you would optimize a cost function over model space, and the cost function was the sum of two terms: one quantifying the difference between model predictions and data, and the other quantifying the model's complexity. This framework encodes exactly a "soft preference for simpler solutions that are consistent with the data", but is that how deep learning works? I had the impression that the way complexity is penalized in deep learning was more complex, less straightforward.
I remember reading about dark pools and asking a friend in finance if the sector really is as corrupt as it sounds, his reply? "Oh much more"
Understanding when smart speakers mistakenly record conversations
Yeah, I've tried local LLMs, Open AI, and Anthropic. They all sort-of-work and can feel magical but I feel I need to a lot more tweaking/configuring/prompting to improve the experience.
Nice! This approach can be used to implement coeffects (as e.g. seen in Hack [1]), by only passing explicit effect-producing objects. Imagine a function that's guaranteed to not write to any files, because it can't access `open()`, or can only access a version of `open()` that only accepts read-only access.

[1]: https://docs.hhvm.com/hack/contexts-and-capabilities/introdu...
I really, really want to like the RP2350. The PIO machines punch so far above their weight that they could turn the chip into a killer solution in a lot of circumstances.

This single erratum breaks my intuition enough that I'm "scared" to pull the chip into a design. I understand that they don't automatically break most use cases and that there are software workarounds. But they violate a core "Hi-Z is Hi-Z" understanding that I design around, and I'd really hate to respin a board over something so dumb. On an STM32 this would have been a silicon stepping and that's what bugs me about it.
Based on the last two convos I saw on this, I feel like there’s a simpler algorithm here waiting to break out.

Underneath this is a sort of b-tree scented data structure that avoids the bimodal distribution on insertion times, which is important for a concurrent hash table.