skysight-inc/HackerNews huggingface dataset:
Can confirm, it is fast. I've been struggling with a plane equation for a plane based on isotropic segments. 3 segments, 3 complex points - only 6 equations. Almost every CAS can solve the system per se fast, it's the simplification process that costs time.

On my machine, I managed to get a ~300KB long solution from SymPy in under a minute, and a comparable solution from Maxima in a few seconds. Symbolica found a ~84K long solution in about a second... in Colab. That's impressive.
Name shared with https://www.symbolica.ai, a Vinod Khosla-backed start up.
1 month away ;)
If you ever Moonboard, you'll see the app gives easy access to beta videos from Instagram. That's because many people want help on really hard problems. OP app is like those videos.

If you never feel like you need help from watching someone else climb, then I think you are not trying hard enough problems.
I assume the use case is to charge the phone and use it at the same time.

Otherwise just put your phone on a table or something to charge.
“Knowing” that some line works to some ridiculous depth is different than understanding how and why.

And at some level the answer is simply “because every possible refutation fails” and there is no simpler pattern to match against nor intuition to be had. That is the how and why of it.
I guess it's just how my mind works but I thought this will make a great part of some stories I'm working on, only adapted for cat burglars to figure out the optimal route on a building beforehand.

Maybe also good thing for the next Mission Impossible movie if they ever make one.
... because people understand things about what is described when dealing with such systems in physics, and people don't understand how the weights in ML learned NNs produce the overall behavior? (For one thing, the number of parameters is much greater with the NNs)
The person. That’s when I say that when it’s as a help it’s ok, when it’s as a cheating out, aka outsourcing brain, it’s not.
« I don’t want to think it through but still appear to having worked on it » is not acceptable.
I agree with all other comments that says that we don’t trust the output and always control it.

Imagine the horror to trying to read, understand and fix million lines of unsupervised code generated in a production environment …
Now compare the volume of derivatives in the USA, Canada, Germany, and other parts of the globe.

Point still stands…Swiss bank assets can’t buy even Africa, not to mention the whole globe.

And that’s not “what they tell us.” Swiss banks are required to report their deposits to regulators and always do that. But conspiratorial people always look for a boogeyman under the hood..
Former company of mine got a board member who pushed his "solution" on us, and it fucked up so much of our ordering processes, things we didn't even SELL were being shown. It took a year and a half to fix this, meanwhile it also meant we were unable to reverse a sale because "underwear" was shipped out and we can't cancel it (meanwhile, we don't sell underwear, just networking services). So we had to wait for the system to close out the ordering process and THEN they could assist the customer. Of course, that board member left a year later, Probably very pleased with himself for suckering our idiot CEO.

But that's ok cuz I got laid off of there, and I have no sympathy for that bumbling company. Idiots trying to outsource "solutions" that only added more pain for everyone.

Sometimes these are actual problems that need solutions but half the time ... It's just more crap to make themselves feel like they're "saving money but not building in house". Yeah just now you have to pay contracts to support the crap you never built in the first place. Good job. Golden parachutes for all the leaders, I guess.
I don't think KYC laws keep people un-banked. According to the Federal Reserve only about 5% of adult Americans don't have a bank account. KYC is relatively easy to comply with, about the same as getting a library card. But if a person has a history of writing bad checks or running up overdrafts they can't get a bank account. And some percentage of Americans don't trust banks and remain un-banked by choice.

Source for your claim of 55 million unbanked American adults? That's 21% of the 2020 US adult population, and four times higher than what the Fed reports. If America had 55 million potential customers banks would be tripping over each other opening new accounts at McDonalds.
You're both right.

> This is correct, and I think works as intended.

Yes, it is working as intended; the buyer isn't liable. I guess this could still accomplish the goal of limiting emissions if you had effective outside policing of the seller side. I don't think we do and so the whole thing isn't working as intended.

If you made the buyer liable, as well, it would give them an incentive to validate claims, effectively policing the issue internally.

I think forging new credits is just inherently prone to fraud. I'd either just not permit it, or limit trading such credits very strictly. For instance, have a government subsidiary be the only valid buyer and auditor of such certificates (after which they enter general circulation).
Understand that luck works in the same way as "unluck".
> But if workers had common decency to begin with...

What on earth do you mean? If a job gets posted do you ask them “did the last person get fired? If so I don’t want this job” to have “common decency”?
The most obvious use case is to see that the expression does not simplify well and is inherently huge :-)
Huh, maybe switch primary Search engine to DDG may be help? thanks.

It feels like search engines are trying to be dumb after some LLMs are for production. Because (maybe) search engines don't make a cash for them. but LLMs do.
The approach works but as The Jungle teaches us they (as in capitalists) will fight you every inch of the way and constantly try to roll back any progress.

This is not a smooth quick process - it takes generations and many many dead and suffering.

My prediction is before climate change effects get much worse in the west not many serious changes will be made.
Show HN: Siri for the Browser, the Ultimate Browsing Assistant
Neural Network inference on a "3-cent" 8 bit Microcontroller
Just a single data point, but when I copy & paste a snippet from Stack Overflow, I always add a comment "// source: https://stack overflow.com/questions/xxx#yyy".

I both find it respectful of who wrote the answer in the first place and useful for future users of the code: the Stack Overflow answer often provides context and explanation for what would otherwise be an obscure piece of code.

Pretty darn useful if you ask me: those who want to have more information can follow the link, casual readers can skip it, and the whole process if fair to the author.
> It is a major problem, but it is the big unsolved problem of software engineering that has resisted a remarkable number of attempts by unreasonably capable people.

That seems like a cop out. Knowing precisely how long a project will take is famously hard, but knowing the rough progress being made towards milestones is absolutely solvable.

Git is the best place to look, but you don't need that level of detail to see new things being shipped.

Everywhere I've worked (from small startups up to Google) it is absolutely the norm to have clear milestones to work towards on at least a quarterly basis.
Even for larger items I’ve often found printing sub-assemblies and gluing together to be a useful technique.

E.g. I needed to replace a shaped plastic cover for a handle mechanism on a motorhome/RV. Breaking the design into two parts and making it so they clip together (rather than permanently gluing in that particular case) meant I could print a complex design without supports.
Many years ago, I bought 2x IKEA LACK tv consoles for exactly that purpose. Less than 30€ and is now used to store/display a lot of books right where I need them when relaxing on the sofa :)
The optimization does not affect the result of LLM, it's guaranteed to produce equivalent results as decoding directly. Let's not treat that LLM as some magic that resembles our mind, it's just another program that produces sentences that happens to make sense.
The problem of producing bio weapons is not computational, it's physical in nature. Even if predictions from these tools become 100% accurate and encompassed 100% of the chemistry, you still need to actually do the manual steps to breed the bioagents. And, very importantly, you need to do so without getting you and your co-workers deadly ill long before finishing the thing. Which requires extremely sophisticated machinery.

Alternatively, you can go today in some of the poorer corners of the world, find some people with drug resistant tuberculosis, pay them a pittance to give you bodily fluids, and disperse those in a large crowd, say at a concert or similar. You'll get a good chunk of the effects of the worse possible bioterrorism.
In my first adult job out of Uni I was working for a startup building a suite of tools for usability tracking/testing and alike. One of our main offerings was gonna be something similar to what HotJar is nowadays. We were busy with other stuff and I considered the requirements for the tool somewhat impossible ;)
So it got outsourced.

The outsourcing company was a tiny local software house. They delivered on every single requirement in under 3 months. Despite my better judgement I was impressed.

Until we gave ot to an actual customer. After some back and forth with initial errors (relatable) it started running on a small portion of traffic.
A week of running the tool on their website was 100GB of file storage and 100GB of storage behind postgress db.

Utterly unsustainable.

A few weeks later we had a "do what you want" sprint. I mean the engineering team decided (I know, different story tho) every 10 sprints we get one to do whatever we think makes sense for the product.

So a brilliant new intern and I got to come up with new requirements to fulfill the same usecase but without the need to store colossal amount of data per visit.

We wrote a new thing in 2 weeks and had a working demo. We used the next month to productize it.

My initial.design was presenting user behavior as scenes, sort of like a comic book, instead of animating stuff to pretend it's a video. Over time product got that too tho.

When the startup folded (yet another story) the technology behind that tool was the thing that got sold.

Moral of the story? Whether you lie or not, bottom-up decision making can be pivotal to software products if you're lucky.
Are you sure when you are brewing that the concentrations/extractions are the same ? If you brew an aeropress and then dilute it, it will probably be less acidic.

Here is more info on hot/cold https://www.researchgate.net/figure/pH-values-of-six-coffee-...
Why would I care what you (we? who is we?) think about this discussion? I am hoping the gp comment you’re replying to expands on what they are trying to contribute to this discussion. Also, on that note, what are you bringing?
> We are aware that "it doesn't run".

...what? You have an application that literally doesn't run and you've been working on it for months?
We have Data heavy products

Typical use case:

Filtering billions of 'docs' or rows across 50 attributes in any number of combinations

A doc holds data on the techstack of a url - For one of the products. Ever evolving schema (hence why we picked Mongo)

--

Number of queries are low but the complexity of the queries are high

We've moved object storage from JSON to Parquet already before uploading to Mongo so that's already 1/4th the object storage

Question if something can match the querying performance of Mongo but has better storage efficiency
This is more or less the way I’d go. It’s “what the client asked for” versus “what solves the client’s problem”. You don’t need to find the bill within minutes, you need to know that you _have_ the bill quickly.

Grab a big binder, half dozen packs of dividers, a pack of loose leaf paper, and a box of pens.

Divide the binder into ranges. In each range use a separate piece of paper for the next digit. Don’t worry about sorting past there, just write all your serial numbers down.

Now you can use the dividers to narrow it down to around 2,000 bills. Flipping through ten pages to find the next digit you’ve narrowed it down to about 200 bills. You can probably scan two hundred numbers quickly enough.
That is true. This is the belief on which this entire, perpetual, scam of "die working for this startup for peanuts" for the great purpose of "changing the world" has been running. Every time a founder finds such sheep, mostly fresh ones but some old ones too once in a while.

Sadly all that almost looks like "grateful to be abused".
This is very cool, I really like how seamless each tile is. Are they generated new for each user or do they get cached for everyone?
> If you set the tax rate to a percentage of revenue which exceeds the business's margins, all businesses go out of business.

Unless I misunderstand, isn't this EXACTLY what the US does to ensure certain businesses are or aren't profitable in their smaller jurisdictions? This is how they entice businesses to come to their cities/states and they even compete on giving bigger tax breaks. I assume they also do the exact opposite to keep out businesses they don't want.

> The issue here is that customers in Oregon are going to pay a lower price than customers in California because Oregon has lower sales tax and the tax is part of the price they pay.

They're already doing this ... this just makes it so you can do simple addition in your head while you walk around the store instead of throwing in some multiplication -- and if you live in a state where certain kinds of items have different tax rates, knowing what those tax rates are.

This isn't rocket science, I don't understand why you are making it seem so complicated.
On a side note, you do not want the convenience of baby-clothes equipped with magnets for easy-on easy-off. Baby's also got an easy-to-the-mouth to consider...
Objects should completely break down 1d after warranty expires so we can sell another one to the customer. This will increase economic growth, profits and GDP and helps with yacht purchases
Yes, there's something deeply unsettling about making a user feel heard while being careful not to change anyone's mind.

To me, this translates to: waste a user's time and take no action.

I value my time above all else so to me that's about the worst possible action a system can take.
I'd like to see a post on fuzzing distributed applications rather than memory models. I understand the underlying principle is the same, but having only seen memory models be tested I can't quite shift my perspective enough to figure out how fuzzing processing communicating over networks would work. The SQL transaction post would be a nice perspective too. Is this still in the works?
I wasn't sure what you were asking, the question was vague to me. You can ignore the advice, up to you. If you don't want comments then don't post.

I gave my thoughts. No one else bothered. Next time try explaining what you mean and the kinds of responses you're looking for in the text of your post, or in a follow-on comment -- the character limit only applies to the title.
I've always assumed he has a large backlog of comics, and a script that pushes them out on schedule.

He can always push new comics into the queue based on current events or fresh ideas, but at other times he can probably go for weeks without needing to draw new comics.
On to the next trend, right? Tinder is dead , long live Hinge.

Feels like disguised advertising or just pointless marketing and public stock CFO talk. We get it, trends change and you are going to milk it all for all it’s worth.
Coming up with ideas is cheaper than executing the ideas. Predicting a wide range of molecules okay-ish is cheaper than predicting a small range of molecules very well.
Yes, I understand how chess engines work.

Ignore the existence of engines for a moment. The reason a particular line works, at the end of the day, is simply because it does. Just because we have heuristics that help us skip a lot of evaluation doesn’t mean the heuristics have intrinsic meaning within the game. They don’t.

They’re shortcuts that let us skip having to do the impossible. The heuristics will always lose to concrete analysis to a deep enough depth.

And that’s my point. We come up with models that give us an intuition for “why” things are a certain way. Those models are inarguably helpful toward having a gut feeling. But models aren’t the thing itself, and every model we’ve found breaks down at some deeper point. And maybe at some level things simply “are” some way with no convenient shorthand explanation.
The argument AI companies make is that LLMs are not derived works of their input, or is fair use. So according to them, the input's license does not matter.
Even most VCs who claim to be value additive end up being closer to value neutral in the grand scheme of things
Seems obvious that this is first and foremost about protecting OpenAI. It's a shame it isn't simply done with with a few strong disclaimers "Open AI is not liable for the accuracy or use of information produced by the model etc etc", but maybe lobotomizing the public models let's them sell the full version privately to big companies at a premium
I've found that lighter roasts don't degas/bloom anywhere near as much as coffees that are taken even a little more darker (like talking about the difference between super light and light). I think this continues up to second crack. I'd guess that the breaking down of the cell walls in the bean has something to do with it, more roast more breakdown = more C02. I actually think the C02 is just probably not even created in lighter roasts.
google has dropped the ball on search
> It seems very clear to me that when creating custom viruses becomes high school level knowledge

That would be very bad indeed, but there is no path from AI to that. Making custom viruses is never going to be an easy task even if you had a magic machine that could explain the effects of adding any chemical to the mix. You still need to procure the chemicals and work with them in very careful ways, often for a long time, in a highly controlled environment. It's still biology lab work, even if you know exactly what you have to do.

Also, bioweapons already exist and have been used in a few conflicts, even as recently as WWII. They're terrifying in many ways, but are not really comparable to the horror of nuclear weapons hitting major cities.
RFC822 email address regexp-based validation
These are very specific ideas you have..
I went in to graduate school by default, which wasn't necessarily a mistake but I didn't need that degree and I didn't particularly enjoy the work. I made and strengthened some friendships there, though- the most valuable result of that time.

School is a place to suffer together and make friends.

I escaped from various traumas by playing videogames, and only see that clearly now in my 40s after talk therapy, The Blindboy Podcast (talks about mental health as well as art, music, stories), giving up games for long enough to own the decision to play again (mainly as a way to spend time with friends). I say all that to encourage you to examine your actions. If I had been more self-aware earlier, my life would be different. I'm intentionally avoiding judgement here- I'm not saying it would be better. I appreciate that I'm alive and practicing awareness.

A book that guides me these days is Why We Need to be Wild, by Jessica Karew Craft. She emphasizes being part of a close group of friends and family. If you don't yet have that kind of mutual support, consider prioritizing it.

Lastly, you don't have to do anything but stay alive awhile and reproduce and/or help others learn and grow (not everyone needs to make babies, but I'd say it's reasonable to expect ~everyone to be part of raising children, even if it's practicing love and kindness). The way we have changed the landscape to make our lives so dependent on layers and layers of technology is disheartening to me and might be at the root of aimless feelings. If we restore the land we'll restore ourselves.
This only seems to focus on polynomial equations. If so it is a bit of a strech to call it a CAS
The story misses a continuation. What happened after CTO found out that the system was silently replaced behind the covers? IMHO, this is the most interesting part. I bet that the CTO was crushed by his ego.
Java’s ecosystem is just vastly bigger. In many categories, Java has multiple open-source offerings vs .NET’s single, proprietary one that is often just a bad copy of one of the former libraries.
> StackOverflow has always been quite open that they're primarily building a dataset for SEO

Do you have a source / more details about this? What good is SO's content for SEO?
I just submitted a request to have all my content removed from SO and will challenge the outcome if needed. My right to be forgotten and have my content deleted supersedes SO’s dubious, “nobody really reads these” terms and conditions.
An ascetic will tell you that a purer experience of spiritual connection is something you can control and remember afterwards.
> 3D printing options aside

Aside from the solution, there's no solution?

If you don't want to get into 3d printing then fine, but don't act like that's not on you. you can work with plastic, you're choosing not to.
Thanks for the kind words.

I've experimented with RunDeck, N8N/NodeRED, and Ansible's AWX and found it hard to choose between them as they were each good at certain niches. I think the best option there is to give users the flexibility of choosing an automation layer themselves. Hopefully our new REST API and outbound webhooks support makes it easier to integrate with whatever solutions pop up in that space in the future: https://github.com/ArchiveBox/ArchiveBox/releases/tag/v0.8.0...

BTW we also just released a new official TrueCharts chart for TrueNAS recently and need help testing it: https://truecharts.org/charts/stable/archivebox/
I know you mean 99% just as ‘most of the time’, but 99% means every 100th work day it’s not working, or about twice a year.
I think reliably is really important for work tools. Depends what you do of course.
Point me to a laptop that goes to sleep properly when I close the lid and wakes up properly when I open it, every time, and I'll try switching, again.
This makes immediate sense to me after having stumbled upon some of the academic literature on N-acetylcysteine.

There are results on it being anti-anxiety, yes.

Tons and tons of results; Wide scope. Pulmonary and neurobiological.

The wildest paper imo: “N-acetyl cysteine reverses bio-behavioural changes induced by prenatal inflammation, adolescent methamphetamine exposure and combined challenges” – https://doi.org/10.1007/s00213-017-4776-5

It’s just an… :exploding-head: paper.

There are also studies that check if humans fall into or out of various psychiatric disorder diagnostic criteria. Yes, NAC is anti-anxiety.

And! NAC is clearly and obviously mucolytic. Slime-dissolving. Its use as prescription and OTC medicine in my country is—I think, so far—exclusively as a lung-slime dissolver to help people breathe better.
I haven't noticed any change just now, but Google search results felt pretty bad for me for a while, even for technical questions. I tried replacing a lot of my searches with ChatGPT, but I got tired of the false information it hallucinates pretty fast. I'm at a point where I'm considering giving Kagi a try and actually paying a subscription for my searches.
Reminds me of this stackoverflow question [1] about force installing a python package.

> (I don't care how "wrong" it is to do so, I just need to do it, any logic and reasoning aside...)

I think these models should just give you the answer. Elon says xAI is "maximum truth-seeking". Seems like a better model spec to me.

[1]: https://stackoverflow.com/questions/12759761/pip-force-insta...
oxygen deprivation is not euphoric. shouldn't be so flippantly reductive