skysight-inc/HackerNews huggingface dataset:
Absolutely agree. There's some interesting articles in a recent [AMS Bulletin](https://www.ams.org/journals/bull/2024-61-02/home.html?activ...) giving perspectives on this question: what does it do to math if there's a strong theorem prover out there, in what ways can AI help mathematicians, what is math exactly?

I find that a lot of AI+Math work is focused on the end game where you have a clear problem to solve, rather than the early exploratory work where most of the time is spent. The challenge is in making the right connections and analogies, discovering hidden useful results, asking the right questions, translating between fields.

I'm getting ready to launch [Sugaku](https://sugaku.net), where I'm trying to build tools for the above, based on processing the published math literature and training models on it. The kind of search of MR that you mentioned doing is exactly what a computer should do instead. I can create an account for you and would love some feedback.
My car has blind-spot warnings. They do go off when I'm not changing lines or nothing is there. However, it has probably saved me at least once and is therefore totally worth it.
If a prisoner's work offsets the cost of them being in prison, then there is an incentive for the system to have prisoners.
I memorize everything I work with. Knowing my tools makes me a better developer.
Police seizures would still exist without civil forfeiture. Moreover, in this case, unlike civil forfeiture, there's actually a court order backing the action.
A system that allows you to make $10 when you actually need $30 to live is also a system that will frequently go to significant lengths to make sure you never make $30.
Why do you believe anonymity is "much-needed"? Human society was built for tens of thousands of years on "stay away from Ben because he has a bad habit of not paying back what you loan him"

Anonymity is new and probably not something the human brain, which isn't meant to handle more than a few hundred familiar faces, can manage reasonably.

If you want anonymity 200 years ago, you had to print your own pamphlets and hand them out on the corner in a costume and hope nobody recognized you. Then you would go to church on sunday where the entire community would gossip about everyone's "sins" after the service.

Human history was radically more transparent about who was doing what, and who was saying what.

Nobody standing on a sop-box ever wore a mask, and while most used pseudonyms or pen names, there were only so many printing presses in the colonies, but that didn't stop the American rebels from spreading their claims.
Selecting a locale based solely on geolocation is absurd, and the reverse is equally true. Just because you prefer a specific locale doesn't mean you're physically in that country. Unfortunately, I encounter this anti-pattern far too often.
Beef cattle feedlots: design and construction (2016) [pdf]
I write a lot of code for 9front within 9front, all of which is done through the sam editor. While sam does have a powerful general purpose editing language, it doesn't do syntax highlighting or any sort of language aware tooling (LSPs, jump to def, autocomplete, whatever). However I didn't start off with this, I'm not too old (in the second half of my 20s now) so I did take the tour through Java IDE's, tricked out vim configs and vs code as I was learning how to program. However when I moved to working on 9front I actually felt like the lack of these features made it easier for me to focus.

I like to think of code as not that much different than prose, they are both strings of text for communicating information, typically in a fashion of one thing after the other. I think most people would find syntax highlighting for prose to be more annoying than not (outside of perhaps seeing grammar rules for learning). Once I tried reading and writing code without syntax highlighting I found that it encouraged me to actually read and digest code instead of just skimming it. Compare it to reading prose with and without certain subsections highlighted.

Autocomplete strikes me as optimizing the wrong end of the problem. When I'm writing code I generally am spending a lot more time thinking about the problem space or considering possible implementations then I am having my fingers on the keyboard actively typing it out. In general I think the more you're able to think carefully about code in general the smaller it gets, so I find it hard to believe that by making it easier to quickly dump large amounts of text on the screen you're really gaining much. I think there should be a larger focus on reading and understanding code than writing it.

Stuff like code search is quite nice, and even in 9front we do have some scripts and tooling built-in to help us do that. We have programs like 'Bfn' which can search for a function and send it to your text editor, file names with line numbers can also be quickly sent to the editor as well. I think advancements in tooling that helps people move around in code are generally great, the time spent searching for something is generally not something I enjoy. This was perhaps the nicest part of LSPs in my experience. However I do also think that if you make it quite easy to jump around to lots of different files there is less of an incentive to carefully consider how you're laying out your code. How 9front works where there is some tooling to reduce the monotony but not enough to make it easy to traverse a couple million line java project strikes a nice balance for me.
I can't believe Cloudfront is priced anywhere close to cost to AWS. They must have huge margins.
The big contribution, provided it holds up, is no backprop. That would be huge!
> The problem will resolve itself if (when?) the market crashes.

Someone said something like, Everyone thinks they're a genius, when the market only goes up.

Although, one thing different now is the heavy throughout-the-day manipulation of retail investors, effectively making strong social groups and identities around it.

That wasn't a thing when, say, ETrade started, and lots of people dabbled, and found it was hard to lose money, just trading around different companies, with little understanding of how things even supposedly work, much less how things actually worked.

Today, from what I occasionally glimpse, you've got all these supposed skills you're applying as a retail investor/sheep/pawn (including various degrees of snake oil, or thinking you're going to be one of the smarter people on a pump/dump scheme that leaves others holding the bag), and constant social groups where people even self-deprecatingly celebrate huge day-trading losses. Like a wholesome support group that actively encourages you to stick with the bad habit, rather than encourages you to stay sober.

So maybe, when the next big culling comes, you'll have lots of people who can somehow still get margin accounts, and will say, "Blood in the streets, and I'm missing 3 limbs, but, hey, stocks are on sale!" And a thundering chorus of other addicts, and their manipulators, encouraging them.

(Disclosures: S&P 500 ETF with low expense ratio in tax-advantaged, plus an emergency fund that goes nowhere near the market. :)
PHP Playground with WebAssembly in the Browser
Operating outside of the 20-80 percent range of a battery is what kills it (and high current draw), inside of that range and it acts like a spring. There should be product design laws that make it difficult to sell products that abuse batteries in this way.

NASA did a bunch of longitudinal studies (long time duration , same components over that range) with Lion batteries and found almost no long term degradation after the initial capacity loss. Same for solar panels.
If you get an annual cost of living adjustment, presumably it is ahead of cost half the year and behind the other half which averages out. Rent usually updates annually also. If all other debt payments are effectively decreasing, you’re just doing better.

It only feels psychologically worse when you notice food prices going up steadily and you have slightly less left over than you did last month. People will still be mad about that even if actually ahead.
Nobody currently alive actually voted on anything related to the US Constitution, any of the first fifteen amendments, or many important laws, because they weren't alive. I don't see how the Thirteenth Amendment is any different from the many laws which were enacted and last amended before you or I was alive. Either the populace has consented to all of that body of law, or none of it.
I don’t know this is significantly different than modern engines. They require special tools and software too.

The bigger issue I think is most of the cars are teslas, which didn’t behave like a normal automaker for better or worse. For example the work done during the pandemic to avoid supply chain crunches may result in a maintenance headache a few years from now.
Still I think I'd just have the phone run an app that talks to a microcontroller by Wifi, even if it is strapped to the drone all the time.
Depending on the definition of “beating”. On average investing right away is better but the variance of outcomes is higher.
Build Your Own AI-Powered Document Chatbot in Minutes with Simple RAG
Build Your Own AI-Powered Document Chatbot in Minutes with Simple RAG!

Ever wished you could ask a chatbot questions about any research paper or document? Now you can, with our simple Retrieval Augmented Generation (RAG) framework!

This project leverages Gradio, LangChain, and Chroma-based vector databases to help you easily load, split, and search through PDFs for accurate, context-aware answers.

Key Features:

Document Loader: Effortlessly load PDFs for analysis.
Text Splitting: Efficiently chunk documents for better processing.
Vector Store: Powered by HuggingFaceEmbeddings for accurate retrieval.
Retrieval-Based Question Answering: Get contextually relevant responses.
Gradio Interface: Simple and user-friendly interface for querying.

Perfect For:

Answering questions about AI research papers.
Customizing Q&A systems for any document type.
Check it out and start building your own custom document chatbot today!

GitHub Repo

https://github.com/mayur-ml/Simple-Retrieval-Augmented-Generation-RAG-
If the ultimate goal is gaining skills or training someone to be able to provide for themselves, then vocational schools and apprenticeship programs should be valid choices after high school. There’s just a lot of social stigma around not going to college, meanwhile plumbers and HVAC repairers are the new millionaires.
I'm reading the author's PhD thesis at the moment, which he seems to have successfully applied to some modelling projects.

I'd imagine the most significant aspect of this betrayal of PhD students, as far as it exists, is to polarise the domain along research lines that never very clearly mapped to the perennial objectives of modelling or mere curve-fitting. Had a thread of 'modelling science' been retained then it would always be useful.

Businesses may, at the moment, appear to have been confused into the value of curve-fitting --- the generic skills of algorithm design, scientific modelling, and the like, will survive the next wave of business scam.
2010 Prius traction batteries are NiMH whereas most EV batteries are Li Ion I believe.

Which might make a difference or might not, I don't know
[dupe] https://news.ycombinator.com/item?id=42498852
> gunsmiths are not ordered to go substantially out of their way to prevent criminals from using them

Uh... https://www.nationalreview.com/2016/05/smart-gun-police-gun-...

There actually had been some attempts to make smart guns mandatory while not completely working out all of their "kinks" yet. But to your point they actually have attempted this, to some degree. At first they were thinking only to prevent police from having their weapons used against them, but they had attempted to expand the scope. Although after the cops didn't want it either and the push for them seems to have waned.
If you could somehow attest (via the BMS?) That a battery pack (and the individual serialized? Replaceable cells?) wasn't operated outside of some bounds, the aftermarket value of that battery pack and individual cells could be quite a bit higher.
> Their report showed that, on average, EV batteries have 90 percent capacity after 100,000 kilometers of driving, and at 300,000 kilometers they still have 87 percent of their original kilowatts left

Another example of how KWh is the wrong unit for energy storage — gets so many people confused and they don’t know the difference between storage and power.
Profit.

I use these guidelines all the time in the PDF format for free, and I'd love to have these in a structured format. For $3000/year you could get 50 users access to PDF prescription templates to speed up their work. That's not bad, but it's still all PDF.

For the nice low price of "contact us for pricing," though, you could have EMR integration. They couldn't justify $$$$ for EMR integration if all this information is easily accessible.

https://www.nccn.org/compendia-templates/nccn-templates-main...
Anecdata as well: I own a 2022 Jeep Wrangler 4xe that comes with a 17KW battery pack with Samsung Prismatic Cells, battery management includes liquid cooling with chiller, liquid heating for winter months. I've seen about 10% degradation over 3 years, referencing battery SOH data from the onboard battery management module. The last 3 or so months have really slowed down the rate of loss, I'm hoping this continues throughout my ownership of the vehicle.

From my understanding Jeep was really cautious with the battery, on the display you will see 0%, but it's always at least 20% of remaining charge in actuality.
*Living Computer Museum
The Jets are the NHL's hottest team. So why can't they fill their arena?
Actually I believe this is false. If dogs are not socialized with other dogs there is a distinct lack of language, body language varies incredibly on a per dog basis. You can say most are adopting human like mannerisms to communicate with us better.

Smart glasses might be able to leverage the process of LLMS to decipher a gesture or two of dog like behavior, but it also has to learn it from the that dog's own unique vocabulary.

It is different if a group of animals is socialized between themselves for a long duration and time. Why? https://en.wikipedia.org/wiki/Language_deprivation You do not genetically pass down language. It has to be learned or made up.
I know two people who have had battery degradation in their Priuses, but in their case it was just 1 or 2 cells that crapped out, not the whole battery. They were able to fix it themselves, which sounded like the sort of thing that isn't too hard if you're moderately handy
the US town where it's the law to own a gun
$2,100 mechanical keyboard has 800 holes, NYC skyscraper looks
Shockley Semiconductor Laboratory
Ok so if it doesn’t make sense for Joe to host his website because it’s just not interesting enough for people to visit then how is others using different CDNs than CloudFlare going to solve that?
https://github.com/mayur-ml/Simple-Retrieval-Augmented-Gener...
Had a nice XMAS surprise this morning when my model 3 charged to 415KM up from 410KM yesterday, its the first LFP model from Feb 2022 when it was new it reported 431KM dropped to 419KM in the first year then lost another 9KM the next two years. I assume it is some bum-fuckery with the software updates (it dropped 5KM overnight after one a few years back) but at this rate it could be a keeper.
vim with zenburn theme. grep/find when I need to look for something.

I've been programming professionally for about a decade, and the basic Unix tools have always "just worked." They're available everywhere, my dotfiles are easily portable, and there's no licensing or procurement to worry about with corporate beancounters.

I'm sure I'm giving up some marginal level of efficiency, but I've watched so many fads come and go that I'm OK with the tradeoffs of "old reliable."
>My question, once again, is why tech circles started focusing (emphasis mine)

One answer nobody else is willing to broach is that Elon Musk and friends are hyper-breeder crazies who think the white race will die out if white men don't all pump out as many babies with as many women as possible, and they literally own multiple tech and social media companies to push such a narrative.

HN is more influenced by chud ideology than it should be.
actually the higher versions of rust actually do need these refactors way less often since more lifetimes can be elided and when using generic code or impl traits you can basically scrap a ton of it.
I still sometimes stumble upon the first example tough but most often it happens because I want to encapsulate everything inside the function instead of doing some work outside of it.
I would love to use point cloud data like this to make a map for a video game. What is the state of the art for turning point cloud data into 3D models?

Anyone know what the best of the best is?
I lost my life savings chasing the dopamine hit and can relate to this. I'm in my mid 30s and suffering from career burnout. I know I can't afford a home when I can barely work full-time so I figured I'd trade. I was up, and up and up!

Then I was down, then up, then down.

One morning I woke up and I was so down, I sold out of fear.

Now I'm left with so little I might as well be starting from scratch.

This feels like gambling and here I thought I was smarter than those people that lost in casinos.
I don't think it's as easy as "supply / demand" and everything is priced in.

There's many forces at play here, and many different ways to play the game.

Markets are not that efficient, not everything is priced in. Earnings would have 0 effect on price if that was the case for example.

Whether you play the market on higher timeframes or on lower timeframes, different factors come in to play.

I think it's obvious that chart patterns are a thing, (shameless plug here: i'm building https://edgefound.xyz, an app to create and backtest complex trading setups).
It's actually interesting how many patterns (or setups) repeat across markets and timeframes. Mostly because prices are set by traders and traders react in the same way to the same events / price movements.
They would be if the makers had the parts widely stocked. One of the issues with Tesla, at least in the past, is they pretended to have nothing to learn from Toyota and Honda, and there just weren't any ball joints, control arms, and wheel bearings on the shelves. Getting your Tesla chassis fixed is a 2-hour job with a 6-month waiting list.
If we don't collude in this way, we are both leaving money on the table. We must do this.
ICE engines and transmissions are the same way. And batteries are proving to last way longer on average with no regular maintenance needed. In Norway there are already many dedicated EV repair shops and more and more are popping up in the US.
Pro sports is no longer for middle class families. Winnipeg market makes it most apparent.
>Only a handful of rich Romans.

Yes. And therefore, they didn't need modern industrial capitalism with global corporations to do it.

And, just noting the moving goalposts here, your claim wasn't that such amenities weren't affordable without modern capitalism, because even with it, many people struggle to afford them, it was that they were impossible at any scale other than "big business."

>It took Ford's big business to be able to make cars cheap enough for the masses. Before Ford, it was a luxury item for a handful of wealthy people.

Ford at the time of the Model T wouldn't be considered a "big business" in the modern context. Again, you seem to think any business counts as "big business." Using the same term to refer to Ford in 1910 and, say, Amazon or Wal-Mart today is ridiculous.

Obviously Ford would become "big business" but just as obviously Ford is one example of it being possible to manufacture goods at what would be far closer to "mom and pop" scale today.
Would that really be better than letting your family sell it to the highest bidder? The only real concern I see if its value falls below the metal it contains or the mover breaks it. If a family cannot sell and does not value it then whats the point of keeping it?
I’ve lived there in the past. It’s a law in the same way that one isn’t permitted to eat fried chicken with his/her hands in Gainesville, GA… that is, there’s no enforcement, and no one really cares.
It is also fair to consider that if systemic racial profiling has contributed to a person's winding up in prison, then following their release from prison that same racial profiling will put them back in prison.
This is also exactly my take. I've been coding over 40 years, long before autocomplete was really a thing, and that's probably the main reason I find autocomplete and all the stuff that pops up in modern IDEs to be annoying for all the reasons you described.

Autocomplete and all the other bells-and-whistles just get in my way, most of the time. It's literally the first thing I disable for myself when I install a new developer machine. The few times I set up a new machine and don't disable it, I am reminded why I want to disable it very quickly.
You can still have use-after-free errors when you use array indices.
This can happen if you implement a way to "free" elements stored in the vector.
"free" should be interpreted in a wide sense.
There's no way for Rust to prevent you from marking an array index as free and later using it.
Even in the US I have had the same problem. I do what you do: just use another website that does the same thing. Having CAPTCHA on a website is a pretty hostile pattern and shouldn’t be a thing but that seems like it’s not the same thing as CloudFlare has ruined the internet.
Apple should be able to make a large amount of profit of that user's choice. Choice isn't free!
In the UK guidelines are published by the National Institute for Clinical Excellence. Guidance is available to all in html and pdf formats.[0]

[0] https://www.nice.org.uk/guidance
> as the term is commonly used today

Which is, wrongly: so, don't spread the bad notion and habit.

Bad notion and habit which has a counter-helpful impact on debate.
Good, because i'm going to drive in to death the same way do my petrol car.
Work should be fun too, not just personal projects. I've noticed that over the last 10 years, the tech world has seemed to lose this idea. I blame this on the large tech companies who seem to take the best people and put them in an adult prison. Granted a prison with good food and soft chairs.

Even startups seem to be less fun. It seems the VC world foments a narrow window of thought with a lot of copy cat startups doing the same thing. Fads, lots of fads.

I use C++ for every new project because I know if I need to build something myself, I can do it. Using frameworks all the time sucks because frameworks never work the way you want. Especially if it deals with the core of the project.

If you can build it yourself, then do it, otherwise use a framework. And if you can build it yourself, C++ is a great tool because it can do everything and doesn't get in your way in all the important ways. Meaning, I can express my mental model directly in C++, where a language like Rust might complain I'm doing an unsafe thing. Sometimes I think in pointers damned and pointers are a great thing!

Lets bring fun back! Not just in our personal lives, but work too!
How has this impacted you as a user and what did you do when it did?
We could end up with a sustainable population where few women have children, but those that do have five or more.

Division of labor, as it were.
I'll take "what are capital letters" for $500 Alex