skysight-inc/HackerNews huggingface dataset:
Ask HN: Do you still read docs for Python/NPM libraries or use AI on codebase?
I find myself using QA on the codebase (not a generic LLM) more often. As a maintainer of internal and external facing python libs, I am wondering how much time I should spend maintaining working examples and docs.
Fedora, Firefox and Chrome
Which ones? In reality, I mean, not executives’ fantasies.
This seems like a money grab. First off, her son was 19, and therefore an adult. Secondly, we cannot just keep creating costs and guardrails to keep people safe. That’s just safetyism. Life has risks, and in some ways, it’s good that we can take risks and make choices freely.

I’ll also say some of the train surfing videos online are entertaining. Sometimes it’s a dangerous stunt, sometimes it’s just someone getting a ride for free, and sometimes it’s just a way to experience the open air and feel alive. But I am OK with people making that choice.

We can also consider what the implication of this lawsuit is. So every train must be outfitted with devices to prevent people from climbing aboard the train? What does that cost the city or state, and ultimately, riders? What happens when someone does get on top and these suggested sensors go off - the entire train stops, the police are called, and the train is halted for an hour or more, along with every other train on that line? No sorry, society does not need to do anything about this.
Microwave radiation could work to transfer heat in even as boiling initiates in spots. All the best kettles are BIS dual use items.
You can see an alternate ranking of front-page stories that ignores flags here:

https://news.ycombinator.com/active

As I write, 4 out of the top 10 stories on "active" appear related to Musk, Trump, or both (numbers 4, 5, 8, 10):

1. Meta torrented & seeded 81.7 TB dataset containing copyrighted data

2. Apple Ordered by UK to Create Global iCloud Encryption Backdoor

3. Asahi Linux lead developer Hector Martin resigns from Linux kernel

4. A German court rules: X must provide researchers access to data

5. Elon Musk's Demolition Crew

6. The origins of 60-Hz as a power frequency

7. Stop Using Zip Codes for Geospatial Analysis

8. Announcing the data.gov archive

9. U.K. orders Apple to let it spy on users' encrypted accounts

10. Feds Halt the National Electric Vehicle Charging Program

If you prefer what you see on "active", you can bookmark that as your standard entry point to HN. I flag stories when they appear to be getting repetitive. I haven't actually done that with any of these stories, but I have previously done it with submissions about COVID, OpenAI, and Matt Mullenweg when they come in waves.
They can go work for some private sector racist, not the US government.
February 6, 2024... okay grandpa
I think you overestimate rust and misunderstand the problems. This is classic junior engineer "rewrite everything" thinking
I don't hear nearly as much about ZCash as I do about Monero, but it sounds like it might be more appealing to regulators and exchanges.
that was very much one of the lesson learned
that was something:/
> Once you’ve learned to write, you can write with a pen between your toes (crudely because of a lack of fine motor control), with a chisel in wood, with a spray can, men can write while peeing into snow, etc.

This is not accurate. Find a child who has just learned how to write an A, and ask them to write an A with their feet, or even their non-dominant hand. It will be just as hard as getting them to write a B. The connection between shape and motion is a relatively simple one, but your first attempt at writing a word with piss in snow is gonna look awful. Penmanship needs to be learned in the new context.

A fun example I like to bring up involves yelling in foreign languages. Even if you have an impeccable accent in your second language, if you've never practiced talking loudly, the first time you need to order lunch over the noise of a passing subway train, your accent will entirely fall apart as you try to say the same thing, but louder. (Yes, this is a personal anecdote, with a passable accent in my second language, as opposed to impeccable.)
Perhaps You Shouldn't Read This
Would like to point out that "finding corruption" -- as Trump today stated was the purpose of King Elon' efforts (which is odd because I thought it was to cut "waste") is _exactly_ the way that Xi Jinping was able to get rid of all opposition in China after being chosen as Premier, to where he is now completely unopposed in anything he may want to do. (Was living in China during those years.)

Beware.
Are you serious? Linus has a long history of being abusive, it is no secret. He has gotten better for sure in recent years, but especially in the earlier days he would fairly regularly insult people, tell them to kill themselves because it would make the world a better place, and more.
> "Maybe closed source is better."

I assure you it isn't; it really, really isn't. You don't see the drama because 1) it's behind closed doors and 2) because the people involved know their job is at risk if they cross the line.
https://github.com/mautrix/whatsapp

Have a look at ROADMAP.md, but the short answer is yes.
There are a lot of people I wouldn't have expected fitting that definition right now. It's so fucking weird.

The ultra-wealthy people who I had once most hoped would be raising alarms about this; people like Garry Tan [0] and Paul Graham [1, 2] seem absolutely delighted that these racist dweebs have been given physical access to the US Treasury under Musk's orders.

Not so much as a hint of skepticism, even now.

And, a lot of the stories about it have been flagged here on HN. See my favorites for examples.

Is there something we don't know? Or does money just do this to people :/

0 - https://x.com/garrytan/status/1886284208894890386

1 - https://x.com/paulg/status/1887184325097242807

2 - https://x.com/paulg/status/1887186094120137042
True for consumers (houses), not true for industrial applications where motors are in the >100HP range.
I doubt there's proof (much like how China harvesting organs from certain races and religions didn't have solid proof till recently), but it's in the right ballpark. 50+ journalists are killed (and documented as such) each year, for their journalism, despite their attempts to maintain privacy. Privacy measures being suddenly dropped wouldn't make those numbers better.

Toss in another 150+ human rights activist murders per year, dozens of whistleblowers, 60+ transgender people, and any number of other at-risk groups who tend to rely on technical measures to preserve their privacy and safety abroad.

Did that info being leaked definitely get them killed? No clue. Did it "probably [get] people killed"? I don't know how those people are typically uncovered, so it's hard to say if a few privacy extensions actually mattered. It doesn't seem like an outlandish claim though (and with a prior that those extensions do matter, it's a likely claim).
The frequency is generated by rotating electrical generators. Higher electrical demand increases the mechanical load on the generator, making it rotate more slowly, producing a lower frequency.
I would love if there was a way to filter out posts by keyword, and maybe highlight posts by keyword too.
He's been reinstated. Racism totally OK now! Woohoo!
PROGRAM BACKGROUND AND OBJECTIVES

Mathematics is the source of significant technological advances; however, progress in math is slow.
Recent advances in artificial intelligence (AI) suggest the possibility of increasing the rate of progress in
mathematics. Still, a wide gap exists between state-of-the-art AI capabilities and pure mathematics
research.

Advances in mathematics are slow for two reasons. First, decomposing problems into useful lemmas is a
laborious and manual process. To advance the field of mathematics, mathematicians use their
knowledge and experience to explore candidate lemmas, which, when composed together, prove
theorems. Ideally, these lemmas are generalizable beyond the specifics of the current problem so they
can be easily understood and ported to new contexts. Second, proving candidate lemmas is slow,
effortful, and iterative. Putative proofs may have gaps, such as the one in Wiles’ original proof of
Fermat’s last theorem, which necessitated more than a year of additional work to fix. In theory,
formalization in programming languages, such as Lean, could help automate proofs, but translation from
math to code and back remains exceedingly difficult.

The significant recent advances in AI fall short of the automated decomposition or auto(in)formalization
challenges. Decomposition in formal settings is currently a manual process, as seen in the Prime number
theorem and beyond and the Polynomial Freiman-Ruzsa conjecture, with existing tools, such as
Blueprint for Lean, only facilitating the structuring of math and code. Auto(in)formalization is an active
area of research in the AI literature, but current approaches show poor performance and have not yet
advanced to even graduate-level textbook problems. Formal languages with automated theorem-proving
tools, such as Lean and Isabelle, have traction in the community for problems where the investment in
manual formalization is worth it.

The goal of expMath is to radically accelerate the rate of progress in pure mathematics by developing an
AI co-author capable of proposing and proving useful abstractions. expMath will be comprised of teams
focused on developing AI capable of auto decomposition and auto(in)formalization and teams focused
on evaluation with respect to professional-level mathematics. We will robustly engage with the math
and AI communities toward fundamentally reshaping the practice of mathematics by mathematicians.
Show HN: Mdweb – make a website using Markdown
A CLI tool made with Rust to convert .md files into a static website.
Can't shield the lens, which would be facing the cavity unobstructed.
I've posted the text from the PDF here:

https://news.ycombinator.com/item?id=42977860
And why should I simply assume that "Education Economists"* really know the subject they purport to talk about? Because they are credentialed members of university departments with some label? Because a few of them won some Bank of Sweden award?

Just because a particular department or field of study exists in academia does not magically give them the imprimatur you think it does.

* Btw, I know for a fact that a few of them are not "education economists"
Destroying is easy.

Building is hard.
I would love to get access to that archive!
Dude was 19. Dude rode a train. Take some responsibility as a parent, or don’t, because he was an adult.
> The mother of Daniel Baran, a 19-year-old who died last year while attempting to ride atop a BART train, is suing the transit agency.

> The suit, filed Wednesday in San Francisco Superior Court, claims the trains lacked safety mechanisms that would have prevented his death.

> Marina Baran further alleges that the agency was aware that others had been climbing its trains to record “surfing” stunts and post the footage on social media.

At what point would the cost of making all existing and future infrastructure "proof against" danger-seeking young males far exceed the cost of identifying such males, then locking them in padded cells until their brains mature enough to stop playing Russian Roulette?

Or, should "freedom" include the freedom to do dangerously foolish things?
Thinking that Starlink satellites exist to make people think they're UFOs and create public distrust in the government seems like a terrible conspiracy theory, though.
Hopefully the API will survive. They just rolled out the new API not too long ago. I messed around with it. It's extremely detailed and well made. Pretty much everything on the NWS website is available through the API.
> Developers make assumptions about postal codes

Until very recently I naively assumed that the area of a given zip code would be entirely within the area of some single city or town which would then be entirely within the area of a single county.

It was quite a rude awakening working with software that tries to apply the correct local taxes to a given address and finding that the statement “A given X can contain multiple Y” is true for every possible combination of zip, city, and county.
perhaps old models of insurance through quasi-governmental institutes should be reconsidered as a replacement for what we have today
If I understand correctly the following ttre expression does what you're asking for:

":'(':(\\')|[^"'])*":'
So I heard some rumors about US policy affecting Rust. That Rust formely got money from USAID, and also the thing about the US government should promote memory safety (or smth like that?) was removed.

Could that be relevant to this story, or is that a complete sidetrack?

Edit: Asking because the timing is curious.
One more advantage: ZIP codes are a good trade-off if you want to gather anonymous data in a survey or provide anonymized data to an outside entity. For example, we recently conducted a survey on mobility patterns within our university. To offer respondents a reasonable amount of anonymity, we just asked for their (German) ZIP code and the location of their primary workplace.
This allows us to determine the distance and approximate route people would take between home and university campus - to a degree that is sufficient for our goals.
BRELL ring is a tool to manipulate the baltics energy system and pressure them politically. Namely, it is used as a “last resort” balancing system where fast response river Volga cascades are able to eat the surplus (stop producing) or provide enough in case of shortages. Balancing energy is the most expensive and there is really no good way to bound/hedge the costs. Hence a tool to manipulate the baltics. In addition to that, this will allow the baltic countries to finally move onto more liquid and cheaper 15min day-ahead, intraday markets.
Sadly the wheel was not attached to the car. But we knew who was holding it!
I think you don't know what an oxymoron is?
I think the question could be constrained as "what frequency uses the minimum amount of copper to remake the electrical distribution network that exists today?"

This would be a pretty good approximation of the ratio of transmission lines to transformers.
It's exactly how the five-eyes information sharing works.

Participants spy on each other's citizens on the other's behalf and share data, to avoid the legality of doing so to their own citizens.
http://hfst.github.io/ is the modern open source version of XFST; it subsumes foma and openfst, pretty sure it does all of what trre does and more.
Linux is not a side project. It has thousands of developers being paid by chip and hardware manufacturers to ensure that linux works on their products.

With the complexity of systems engineering, for a single driver, it takes months to build one from scratch. Plus, there is not enough expertise within the rust community to take on a project like the linux kernel to match the rate of development by many large corporations with hobbyists.
I came here to say this. I know someone who had one dose of ketamine for PTSD after a terrible fire. Worked like magic, but being a regular ketamine user is mind altering in a way that isn't good. These days there are quite a few people who are getting ketamine through a doctor on a weekly basis. John C Lilly was a regular ketamine user and his crazy-seeming thinking and writing later in life is an example to avoid and consider.
I definitely agree. Their goal is to balance the budget and reduce the national debt (which ballooned to 36T under the previous administration).

Reducing waste at the Pentagon is absolutely necessary if they are going to achieve that goal.

The Pentagon has failed 7 audits in a row.

https://econofact.org/factbrief/has-the-pentagon-failed-its-...
Why would he get arrested for not providing easier access to data they can already access?
You're mixing a whole lot of things in a big ball of mud here, with a lot of half-truths and assumptions. Are you doing that on purpose?

This is not about data that is private, it's not a 'copy of your private data against your wishes', it's research access to public data that has impact on civil society due to the outsized impact on daily life some multinationals have.

As for 'liberty': corporations are not people, if anything, society should be free to not have commercial meddling involved in their life. As with everything else there is a gradient here, it's not some extreme choice there either everything is allowed or nothing is allowed. But messing with society is something that is worth preventing, intentional or not. It takes data and research to do that. In most cases, public data, and that is what this is about.
Is it us, or is it VCs?

For the foreseeable future at least.
Such actions, even just the act of deleting text, conveys a message you were ordered to not convey and the government is not likely to take too kindly to that.
EV codesigning has been gone for almost a year now. MS said it no longer makes a difference.
People do love their drama don't they 8-)

Regarding the point of "community" being difficult to manage in "open source" projects, I would argue managing a large group of developers on any project is difficult and full of drama.

I'm personally not an advocate of the "open source" obfuscation term myself, but the public license of the linux kernel has little to do with the drama.

Maybe the fact that linux developers have some kind of say at all, as opposed to some proprietary dev projects where every decision is handled by fiat (and Linus has certainly served this role at times), causes it to have more drama.

But no matter what model is followed, people do love their drama, and a large dev group is a social activity regardless of the licensing of the software itself.

Its like every social issue ever: the thing all participants have in common is that they are all humans...
I've never seen anything indicating that AWS does any level of user level tracking of people who access the instrastructure it sells on, have you?

I understand AWS is part of Amazon, but I think in the context of this discussion they're quite fairlt being treated as isolated companies.
Vought, the new head of OMB -- the agency which no one has heard of but which actually is extremely influential in terms of government agencies -- is one of the major authors of Project 2025. Let that sink in a bit.

So yeah, Trump was lying about Project 2025 (but what else is new?)
Because software engineering isn't engineering, isn't taught like engineering, doesn't come with the responsibility that engineers have, doesn't come with the barriers that engineering does, refuses to take itself seriously as an engineering discipline, refuses to organize in any way that would be required if we WANTED to enforce engineering best practices, etc.

I don't understand what you DON'T get? Our profession is full of incompetent people that have done nothing but make things worse everywhere they go, and they all make more money than I do, and some of them have been deified as thought leaders.

Engineering doesn't have thought leaders.
IMHO, there are multiple solutions. Some calculators allow you to run in fixed precision mode, which would ignore the 0.0007 error.
Fun loss of control story to pair with this: https://x.com/joshua_clymer/status/1887905375082656117
> The system design ones were somehow even more outrageous given that system design is often the deciding factor between a mid/senior level and a staff/principal level engineer. Yet watching the IGotAnOffer video series successively reveals just how formulaic and predictable the response and banter is designed to be.

Oh my god, yes. Every architectural interview I’ve had in the last five years has been a rehashing of the same concepts, pulled straight out of Designing Data Intensive Applications. Anyone who has read that book once or twice can easily pass. Half the interviewers even use the Twitter example presented in the book, with a few arbitrary extra requirements tacked on.
> Where does your thinking that they'll suddenly forget about revenue from UK over this come from?

* https://www.google.com/search?q=apple+china+revenues

* https://www.google.com/search?q=apple+uk+revenues
You could take the aggregate of "where people want to live" and then compare that with an estimate of how much floor space the city allows to actually exist. I suspect the ratio would correlate extremely well with prices & rents per sqft of floorspace. In a perfect world this would inform urban planning, though in this world I am less confident.
Amazon started as a bookstore and famously didn't see profit for years. The larger catalog didn't come into play until after the business model and technology were battle tested. Yes the catalog helped by triggering their hyper growth, but they were well established by that point.
If you can transmit that amount of heat that quickly, I think it'd be much more convenient and feasible to have it in the form factor of an instant-boiling-water spout next to the sink, rather than a kettle. Then, rather than having to fill the kettle first, you directly get the amount of hot water you need into the vessel you want it in, and you can put a precise amount of heat into a precise amount of water flowing through a pipe to emit it at the right temperature.
I tried something similar myself but failed on wanting to load the whole world of openstreetmap onto my server and into postgres. It worked but I never managed to get sub second postgres query times on a billion rows. Hence, making it unsuable for any user.

So my question to you. What's your server and data setup? Do you even have your own data? I'm very curious on what is actually needed to make it work anywhere.
If a model has 4K input context and you have a document or code base with 40K, then you have to split it up. The system prompt, user prompt, and output token budget all eat into this. You might need hundreds of small pieces, which typically end up in a vector database for RAG retrieval.

With a million tokens you can shove several short books into the prompt and just skip all that. That’s an entire small-ish codebase.

A colleague used a HTML dump of every config and config policy from a Windows network, pasted it into Gemini and started asking questions. It’s just that easy now!
This is a distinction without a difference. If I must use it, I’d have to GPL my code.
Besides the current drama, I'm glad someone of his stature agrees with and can call out the horrible processes and tooling involved in the kernel. Using email and a pile of hacks to mess around with patches just sounds nuts and makes it so much harder to understand or contribute. I don't think decentralized necessitates such a terrible workflow - you can run a local website with a distributed DB, distributed git forges exist, you can use federated chats instead of email, there has to be a better way than email.
I am 50. I have always had a strict policy of never doing two jobs or a “side hustle”. Whatever we can’t do from my working one job, we don’t do.

That means no open source work worrying about my GitHub profile, no BS “thought leadership” posts on LinkedIn. Nothing.

When I get off of work, I shut my computer down and live my life - exercising, travel, spending time with friends and family, etc.
That sounds like a pretty dishonest interpretation of that effort.
Little late here, but it wasn’t really when the system was put in place.

Smoking, alcoholism, poorer medical care, etc. likely meant a much shorter lifespan.
The DMA infrastructure is core to drivers. Saying no to having a wrapper to use it in rust means every rust driver needs to reimplement it, which creates more work and issues.
What?! Almost every major server and desktop Linux distribution ships a kernel full of patches, which are absolutely forks. That’s before we start getting into the crazy town of the embedded world. Clearly the software can be forked. The question is whether the community can - and that is yet to be seen.
If it's fantastic then it would be worth starting an insurance company that gives that info, and eat the market. Nothing's stopping that right now.