skysight-inc/HackerNews huggingface dataset:
The point in this thread seemed to be "real world holds have different properties, and that defines possible approaches to holds."

To which I pointed out that, with enough data, you could reason backwards to figure out their properties.

Assuming that's solved, if the question is "What is the point?" then I'd answer the same point as golf swing analysis -- structured comparison feedback for continual improvement.

"Have you thought about trying X move at Y point?" or "You're trying X move at Y point, but here's how you differ from someone successfully doing it" both seem useful feedback.

And essentially what's manually generated now, from someone watching and then providing feedback.

With regards to strength, hell, if you wanted to get fancy you could also deduce a specific user's strength, comparing their moves against others' moves on the same features.
At least JBS Haldane, and his less famous colleagues, did their physiologic limit experimenting on themselves.
One could paint them accordingly, also advertising some funny messages via ADS-B, and going for pulverizing self-destruct in the air instead of impacting somewhere. Maybe even with colored smoke in national colors like they do in air-shows.
The explainxkcd wiki says that cats were added later, and that permalinks go to a snapshot of the machine. So it's possible all the cats are lower in the machine, or the permalink is from before cats were added. There's some cats at the bottom of the machine right now. https://xkcd.com/2916/#xt=2&yt=105&v=1402
I've never trusted those predicted binding energies. If you have predicted a ligand/protein complex and have high confidence in it and want to study the binding energy I really think you should do a full MD simulation, you can pull the ligand-protein complex apart and measure the change in free energy explicitly.

Also, and this is an unfounded guess only, the problem of protein / ligand docking is quite a bit more complex than protein folding - there seems to be a finite set of overall folds used in nature, while docking a small ligand to a big protein with flexible sidechains and even flexible large-scale structures can have induced fits that are really important to know and estimate, and I'm just very sceptical that it's going to be possible to in a general fashion ever predict these accurately by the AI model with the limited training data.

Though you just need some hints, then you can run MD sims on them to see what happens for real.
> You'd need some pretty wild sensor suites to correctly differentiate between a really good hold

Ah, I see.

> The AI just generates potential solutions to the problem once the holds are found/placed

Yeah and I think that's really going to be the sweet spot for generative tools for the forseeable future.

> Its easy enough to shotgun holds up onto the wall based on some imagined sequence, the real skill of route setting is to (as the GP pointed out) figure out what's physically possible and also fun and challenging.

Right right. I have a feeling that making a more convincing substitute is primarily a matter of having less access to data than say, paintings and photography which are certainly not less nuanced than this creative task. But as I said, a lot of people care about how something was made, too. I'll bet that's going to be a much bigger factor, at least in marketing, than many realize in the near future.
I can really recommend Songs About Fucking by Big Black.
Especially their dope version of Kraftwerk's Das Model.
> If businesses go out of business from paying taxes, maybe they shouldn’t be in business.

This statement has always been BS. If you set the tax rate to a percentage of revenue which exceeds the business's margins, all businesses go out of business. "Maybe grocery stores shouldn't be in business" is so absurd that the statement seems designed to deliberately shut down reasoned debate by stunning people into silence or making them so angry they respond rashly.

And in this context it doesn't even apply. 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. The business can't eat the tax in California so their only alternative would be to advertise the higher price. But if they have to advertise the higher price then many of them will just charge the higher price everywhere so all you're doing is screwing customers in the jurisdiction with lower taxes out of paying lower prices. This also reduces competition by making it harder for customers to compare prices, because a store that only operates in a state with lower taxes would then seem to have lower prices than one that operates in multiple states and has to advertise the highest price, even if it didn't charge you the highest price where you actually are.

> This isn’t a problem in the EU where countries border other countries and sales tax varies from 6-19-24%

Or it is a problem and you're just eating the cost of getting screwed by the law while defending it.
The failure of the postwar subdivisions was, paradoxically, a result of their great commercial success. The making of suburbs, which had been an honorable branch of town planning, became simply a way of marketing individual houses. By concentrating entirely on making houses affordable, the developers overlooked the chief lesson of the 1920s garden suburbs: subdivisions should consist not only of private dwellings but also of public spaces where citizens can feel that they are part of a larger community.

Today's formula for unlivable areas and car dependency was already old-hat in the 1930s: sleeping regulators who allow profit-seeking development with no regard for livability generate inter-generational pain points for society as a whole.

Seems to me that things are coming full circle, with people increasingly living in higher density apartments and the better apartment complexes providing gardens and social spaces by private-proxy to public planning.
Show HN: We made AI funny - turn any photo into a meme
Hi HN,

If you’re like me and you have trouble creating funny memes, this app might be for you! I wanted a way to create memes on the fly using photos I’ve taken, and I couldn’t find a way to do it. So I built it!

Meet gigglz.app. Just upload a photo, push a button, and let AI turn your photo into a hilarious meme.

Free to try with no signup required!

Would love any feedback, let me know what you think.
Easy, it'll just grade everything 5.9+!
Okay, anecdotal data point: I have a friend who works as a part time translator for books and other documents. She said she heard about it's existence from news but never tried to use it.
> In the tradition of Jonathan Swift, his modest proposal called to get rid of all faculty and students at Pomona so that the college could fulfill its destiny as an institution run by and for nonteaching bureaucrats. At the very least, he said, “the elimination of professors and students would greatly improve most colleges’ financial position.”

I like this line of thinking. We could apply it in lots of places. Hospitals could get rid of costly medical staff and patients. The military could eliminate civilians and their pesky need for protection. Governments can eliminate voters and their annoying opinions.
Link to code: https://github.com/aws-samples/amazon-bedrock-audio-summariz...
I am actually a little relieved because everytime one of these interactive XKCD comic is published I wonder how does Randall find enough time to work on them, plus What If, etx.

Of course there are some people that simpliy are hyper productive, but the level of detail and complexity of these comics always made me feel a bit "inadequate" :)
interesting observation and experience. must have made thesis development complex, assuming the realization dawned on you during the phd.

what do you trust more than NMR?

AF's dependence on MSAs also seems sub-optimal; curious to hear your thoughts?

that said, it's understandable why they used MSAs, even if it seems to hint at winning CASP more than developing a generalizable model.

arguably, MSA-dependence is the wise choice for early prediction models as demonstrated by widespread accolades and adoption, i.e., it's an MVP with known limitations as they build toward sophisticated approaches.
Coffee popsicles are easy to make. Or put coffee in an ice cube tray, freeze it, & use it instead of water ice when making a regular "iced" coffee. No dilution as the ice melts!
What if it turns out that nature simply doesn't have nice, neat models that humans can comprehend for many observable phenomena?
But there are no benefits, you can replicate everything in terms of user interaction identically in a more readable/better looking GUI app, so efficiency is maintained
Wonder how does it compare with Terraform Industries approach - how quickly Climeworks is going to increase the capacity in comparison.
First of all, "The Stack" is the dataset that models like StarCoder is trained upon. I don't know what's the data source for IBM Granite family.

I know the Stack is not clean, because they included my fork of GDM's greeter, which is GPL licensed.

My words about IBM was in general. I can't tell anything about their models, because I didn't see mention of "The Stack", and I don't know what their models are based on.

On the other hand, IBM doesn't like risks from my experience, so they would play it way safer than other companies.

If their data is not clean to begin with, then shame on them, and hope their AI efforts burn to the ground.

BTW, LLM training is not fair use. For start, Fair Use's definition automatically excludes "for profit" usage. Just because OpenAI has a non-profit part and training done here doesn't make them immune to consequences of for profit operations.
As I look at the thoughtful comments, I think I omitted a detail that would help: the computer in question was a PDP-11 with interactive timesharing.
I've noticed this w/ using LLMs for programming, esp while learning Zig.

Outside of popular languages it seems like they always hallucinate.
It actually works great for them - by the time the fraud is revealed, the workers are long gone, the records who worked on what and who's responsible are conveniently "lost" and the manager in not responsible for anything - they always had the correct paperwork. Nobody to blame, "mistakes were made", let's forget it and move on. And the workers are not stupid either - they would pick up what is expected of them very quickly, and will know it's ok to lie as long as you aren't caught for enough time.
The underlying problem is that every government gets lobbied by special interest groups and it has a significant impact on policies and legislation. That's exactly what's happening here. A lobbying organization is trying to convince politicians we need this legislation and the underlying motive is that the people funding the lobbying group are going to be the ones selling the solutions needed to comply with the law.
>One of my more praised changes was adding a link to our support backend that saved our customer team minutes of manual work every time.

I used to support a ton of random apps written as domino databases, and often would make someone's day by doing small changes like that. Things like adding one new column that saved them tons of time in cross referencing data. It was super fulfilling to have someone mention that they spend literal weeks of the year doing some task and I'd be able to totally eliminate the need for that task altogether.
When I was there (admittedly, years ago) one could have fired at least 50% of the managers PLUS engineers, and Google would have been much better off. Based on what colleagues who are still there tell me, the situation has drastically deteriorated to the point where some are calling for splitting apart the entire company in combination with a massive round of additional layoffs. What's absolutely clear is that Sundar needs to go. He's been largely responsible for the rot and ossification that has absolutely devastated whatever pioneering spirit was still there when engineers called the shots.
Both thoroughly checked by the same team, it says right here in the document. Oh wait...
So you're saying you want to be "protected" from pwople who make these unwise choices?

I would agree with this, in the sense that the people who institute predatory algorithmic human interfaces are the ones who chose "unwisely".
This is why I'm wary of any talk of AI regulation. I understand the theory that unfettered AI is very powerful and dangerous. It's only my concern of the actual policies being as anti-consumer as intellectual property with regards to digital content.
I wish there was a node to load a folder of JSON, TXT or CSV files, pipe them one by one and collect the outputs in another folder. Like a LLM pipeline / prompt editor.
What "boatloads of complexity" does CMake wrap and save me from handling myself?

Turn on all warnings? Yeah, just check if your CC is MSVC or else and set the flag!

Turn on sanitizers? Yeah, just include this 2000 line piece of CMake macro that checks your CC and turns on flags!

Find a package? Yeah, just write a FindFooCMake macro file that spells out the exact files to find in the filesystem and parses a header with more macro magic to determine the version. Maybe we decide to ship this shitty macro file with the default distribution later on and cause more conflicts and distress. By the way, we now have a superior C++ namespace inspired way of defining packages that we mix and match with the old stuff in our default distribution.

Can't you just use pkg-config files like everyone else? Yeah, just make sure to include another 3000 line CMake macro if you specifically want us to use pkg-config.

Cross compile my program for a different architecture? Of course CMake supports that, as long as you write a toolchain file that spells out the exact CC, CXX, sysroot, ... and all other things that could even get a maximally minimal Makefile to trivially cross compile. Make sure to force-overwrite some of the useless autoconfig inspired tests CMake will perform on your toolchain because they are broken with whatever cross compiler you are trying to use.

So while CMake does nothing to help with common things, their "CMakeCache" is the most powerful proof for "nothing is more complicated in programming than caching" the world has ever seen.
A friend has a standalone house that’s 2.5 stories. He lives in the outskirts of Hiroshima Japan. From his house it is a five minute walk to two grocery stores. Fifteen minute walk to the train station. A bike ride to the local school and to the ocean. I am jealous. The lot his house sits on is tiny though; about a third of my house in the US. The streets are narrow with no sidewalks. His wife drives to perform errands. Everyone else walks bicycles or takes the train.
Can Wind Compete with Solar?
I could be completely mistaken, but I believe (at least for TRAPPIST-1d) no atmosphere has been directly detected, it has just been posited and models suggest that it should have one. The wikipedia article (for TRAPPIST1-d) is full of "may consist of", "could consist of", "models indicate", etc. Whereas this seems (?) to be a direct observation of an atmosphere.
it's still an extremely valuable tool. just as we see in mathematics, closed forms (and short and elegant proofs) are much coveted luxury items.

for many basic/fundamental mathematical objects we don't (yet) have simple mechanistic ways to compute them.

so if a probabilistic model spits out something very useful, we can slap a nice label on it and call it a day. that's how engineering works anyway. and then hopefully someday someone will be able to derive that result from "first principles" .. maybe it'll be even more funky/crazy/interesting ... just like mathematics arguably became more exciting by the fact that someone noticed that many things are not provable/constructable without an explicit Axiom of Choice.

https://en.wikipedia.org/wiki/Nonelementary_integral#Example...
Approached Uzeda a few times (I'm much into noise-rock-and-all-the-friendly-neighbourhood) but it didn't click. On the other hand https://bellini.bandcamp.com/album/the-precious-prize-of-gra... (which consist of 2/4th or 3/4th of Uzeda I think plus Alexis Fleisig from GvsB) is great.

Anyway, I was kind of shattered by the news. All the stuff Steve Albini created (both as the sound engineer and the bands he played with) falls squarely into what moves me (for whatever reasons). And I think he was a really genuine person (outspoken, yes).
> Embedded in your comment is the idea that AI might create boulder problems or routes in climbing gyms, and the human (or eventually robot) just follows that plan in bolting the holds to the wall.

This would follow the exact path image GenAI evolved through.

Step 1: Teach a model to recognize objects from noisy data.

Step 2: Reverse-feed that model random noise and force it to hallucinate that noise back into likely objects.

As there's probably physics simulation at some point in this particular scenario, there'd probably also be step 3 of simulating a climb through the generated path to validate feasibility / specific qualities.

It doesn't sound impossible.
We have some common cause / need in the Nix/nixpkgs ecosystem, where finding missing package dependencies (whether they're bare invocations or absolute paths) is a bit of an ongoing problem.

The golden path stuff isn't too hard to find during packaging, but there's a long tail of stuff that only shows up when you hold something exactly right.

We can (with some effort) handle a decent fraction of posix/bash shell statically with https://github.com/abathur/resholve. I think a similar approach could generalize to most interpreted languages (but I haven't gotten around to it myself and I think it's broadly rarer beyond Shell).

I have taken one or two steps into a lower-fidelity approach (https://github.com/abathur/binlore) that uses YARA rules to scan for signs of ~exec in both binary formats and interpreted languages. For now this is mostly just a top-N formats thing, but there's no reason we can't keep going. One of the big advantages is that it's fairly cross-platform, even if accuracy is suboptimal.

The scanning approach isn't just amazing for resholve's specific needs. I'm stepping down this path to try to identify executables that likely exec their command-line arguments--because this is a sign that resholve need to know how to check invocations of that command for other executables. But it's a good bit better at flagging things that have _any_ exec behavior, and that's a decent-enough first step for letting focus on a smaller set.

Once we find these, though, we're generally left with human analysis of the help, manpage, and/or source to figure out what exec the scanner is hitting on and whether it's part of the CLI.

I've been ~snoozing on this front for a while, but I feel like a decent fraction of the components for building something like an 80% toolkit exist in at least a primitive form. It could probably benefit from some more static source analysis bits. I also vaguely intend to look into whether LLMs can do a reasonably-good job of making it easier to answer these questions from the help/man/source. Unless something out in that space can be reliably automated, it also needs some way to ~pin assertions about the arguments to the relevant code in a way that they'll break if that specific corner of the codebase changes. (I've wondered if semgrep expressions could handle this.)

There are also some other bits around that might fit in, though cross-platform is a common-ish problem. We've looked a little at using a FUSE, but that is hard to operationalize on macOS. I also poked at 3 or so less-interactive dynamic approaches a few years back in https://github.com/abathur/commandeer/ and I'm sure a few more have cut their teeth since then. I also wrote a ~shelved-for-now WIP (https://github.com/abathur/faffer) for using some cursed shell metaprogramming to do something like fuzz/tree-shake a shell script for loose dependencies. That isn't directly viable for many languages, but its focus on ~overloading flow-control structures to make it easier for force branch coverage does seem like something that might be feasible with rewriting tools.
Just forbid recommendations altogether. Let the user subscribe to posts by specific users.
Great stuff! Interesting usecases will be present
You just need to look at the c# implementation.
Reddit discussion,
https://old.reddit.com/r/NixOS/comments/1cn60v1/shea_levy_ha...

For larger context into NixOS drama, see this comment:
https://news.ycombinator.com/item?id=40282364
Just like TUIs can accept mouse input, GUIs can be operated without one.

The only difference is that TUIs are worse at displaying... text (and graphics)
It's pretty funny that a post titled "The reason the Internet sucks now" points to the twitverse... 8-)
But if you wanted to swim fast you could just use flippers, and be much more agile.
Read the rest of the website. Or rather, don't. AFAICT, it's standard conservative cultural rants compiled into incomprehensible word salad. The other two articles that I skimmed were of equally low quality, and equally low on actual confirmable facts.
"Insider trading" doesn't have a well defined boundary. The SEC sued Mark Cuban [1] for "committing securities fraud by engaging in illegal insider trading" under similar circumstances. But he kept his mouth shut, didn't destroy evidence, and didn't lie to the FBI. Did he trade on "inside information"? Sure. But the Jury found him not guilty of insider trading.

[1] https://en.wikipedia.org/wiki/Mark_Cuban#SEC_insider_trading...
There is no "better" or "worse" internet. It's just a network.
Can't read it, sign-in required.
>revenue is with the older crowds.

Switch hits the couch coop spot for casuals. I got converted by couple friend playing Luigi Mansion and I've converted a few others. People otherwise not interested in gaming / console gaming. It's just a nice way to pass time every once in a while, pretty cheap relative to other couple activities.
An Archive at the End of the World
Some tiles are ~solvable without building anything.

Sometimes this is dead-simple (the balls just drop from the top on through).

Sometimes, they'll solve if you're patient enough (the balls pile up, shift around, and sooner or later enough of them exit within the time window necessary to trigger the submit UI).

Edit: to finish connecting the dots just in case--I waited quite a while for one, probably at least 10 minutes--to do this. When the clearance rate for a machine is poor, it will usually drop back under the submit threshold very quickly. In these cases, you have to watch very carefully to be prepared to submit in the brief window that the submit UI is enabled. The OP suggests that during moderation they generally waited 30 seconds for a submitted machine to do the thing before they moved on.
"in silico"
Didn't look to go much faster in the video than what I can do with my freediving fins.
I have a copy of mirrorshades at home. I don't remember that being in any of the stories. Been a while since I read it, so you may be correct.
You can't pass values in registers using this model
apparently the term originates from onion routing, but i see darkweb as beyond that, to include all nonindexed resources, of all protocols.

everything you can reach but cant engine-search [google] for.
I asked it for an efficient way to sort a list in Python [1].

I'm running the code it gave me to try it out on a small list, it's been 10 minutes and it's still running. Might be something worth looking into.

Granted, the way I asked for this function was not the most natural.

[1] https://devv.ai/search?threadId=dl4c8if11c00
What is identity? What difference does it make if she is a chimera or two or five people, she’s an aggregate of whatever proteins that get expressed for whatever part of her body.
They’ve been at that for half a decade now, got rid of the team, put policy and PR in charge.
>closed forms (and short and elegant proofs) are much coveted luxury items.

Yes, but we're taking about roughly the opposite of a proof