skysight-inc/HackerNews huggingface dataset:
The first ocean-going steamships still had sails - it took many years for steam power to fully displace sail. Presumably a new maritime power system, like fusion, would follow a similar pattern.

https://en.wikipedia.org/wiki/Steamboat#Sea-_and_Ocean-going
Microsoft Solitaire is apparently the most installed program.

Doom must be the most ported.
I do indeed work in VC. But as another reply mentions, any accredited investor can write small checks into startups, and most preseed/seed founders are happy to take angel checks.
> What it does is guarantee correctness which is like the holy grail for programmers.

Formal verification can never guarantee correctness. For that to happen, you'd need to know that the property you verified is the property you want. If you have the ability to write correct specifications, you also have the ability to write correct programs, and running the verification doesn't add any value.
Amazing work. I'm interested in the choice of WASM - presumably any target that can run DOOM could've been used? Of which there are innumerable choices I assume. Was it for symbolic reasons or genuinely the most useful target?
Classified ad revenue, which went almost completely to the publishers, went to $0. The split for online ad revenue has been less equitable.
I'm going to add a bit of a left-field contribution since his work is less generative coding more mathematics and geometry in general, but it has inspired me when it comes to generative coding. I'm assuming the works he's done which are printed rather than painted were created in such a way not too dissimilar from creating coding.

Anyway, Clark Richert (https://www.clarkrichert.com/, see also MCA's page on him as well https://octopus.mcadenver.org/artists/clark-richert).
Stream Processing in Time-Series Databases
At that point in the story, the dad didn't have a degree yet. I know _a lot_ fewer people did back then, but it's not entirely clear to me that he was working a white-collar job at that point.
She was fine.
> Too much overhead figuring out the good products ...

How does changing stores help. If the products are still the same but on Walmart, how are you getting better information?
I had the same book - the one with the black border? :) There was a dolphin or something, right? So long ago, can barely remember...

The water eye thing only happens to me if I cross my eyes and focus before the picture and not behind the picture. The latter takes some time to let the eyes relax, but its much more natural.
I made this game for my girlfriend, so it's literally a labor of love, haha. I'm glad you noticed the stereo effect :)
'Slime' keeps the brain safe ― and could guard against ageing
great team!
That's fair, but I think going on _just_ the quantifiable stuff was still enough of a justification for us. My feels are that the cost of our confusing former name is higher than we know, but the known cost was still great enough.
how do you know that this test doesn't already exist somewhere on the internet and LLMs were trained on it?
There is no circular reasoning here. I said funding weapons development is unethical, guy responded saying we need weapon development for deterrence, I point out that we have had plenty of effective weapons and the new ones will not be used for peer wars but for gladio/terrorism or regional wars.

Further weapon development just fuels arms races and puts the world in a worse place. That is why I find it unethical to fund it.

Also, btw, China already surpassed us despite all our spending. They are defining what a 6th gen fighter is, after all.
It's a dark pattern regardless. You should be upfront LOUD and clear that login will be required. If people are complaining it's because you're not LOUD and clear enough.

There's a reason that you only see this UX pattern on sleezy lead gen and "Find People Now" stalker'ish sites. And even then they'll give you basic information for free and grab your email and/or money for more "value".
If you stitch the photos together seamlessly, you can display them on a VR headset in a really natural way. I take stereo images in landscape mode, stitch them together top/bottom, and then enjoy them on my Quest 2 using the Pigasus media player.

If you use a 180° fisheye lens, you can immerse yourself in the scene. just make sure to keep the camera perfectly level, or you'll end up making yourself sick if you try to view the images unadjusted.
Do you have any exposure to venture capital or are you just taking a position on the wording of the post? I didn't name names for a reason. This is about ethics on a broad scale. VC is an industry that has to collaborate and cooperate, meaning people are fully aware of the compromised and storied nature of many of these firms and partners, as well as the incentives that drive them. I used a broad brush to generalise the ethics of it but essentially VC is about return on investment regardless of the "funding tech for societal good". I don't have to give the examples because they are in broad daylight and in techcrunch articles every other week. I will admit there are some, even many, investors I have met who I highly respect for their knowledge and experience and on the surface level it seems as though they have good integrity but even they have faltered in the face of difficult decisions. So the question was honestly, where are the ethical VCs, because the values seem to bend and break when push comes to shove and money and returns have to be put front and center.
It is in principle a good idea. There are plenty of ongoing attempts to do something similar but less cool than this with GPU networks like render etc. From what I've heard they all suck at AI workloads so far. For years I've heard of networks specifically designed for model training in the works but haven't noticed anything really make it that looks serious. But the details are tricky. You can immediately start finding a wall of interesting problems if you start thinking about doing this.

Hashing is extremely easy to verify and therefore extremely easy to pay out for. More complicated computations are more expensive and complicated to verify. You can in principle run verifiable compute (snarks, starks) on training procedures to be sure distributed trainers are doing something that deserves to be paid out for. But how do you break this down so that it is incremental? How do you sequence updates? How do you ensure availability of updated weights so that trainers aren't withholding to gain an advantage? i.e. where does the data go? You're probably not keeping 100 billion parameters on chain. How do you keep costs of all this from ballooning like crazy (verifiable compute is kind of expensive) ?

The little I know about these models the data is pretty important. How do you keep data quality high? How do you verify that data quality is good? Probably you are committing to public datasets and verifying against them. Is that good enough in this crazy world where the state of the art is training the entire public web? How do you get a commitment to "the internet" to prove against? How do you make sure trainers aren't redoing the same datapoint over and over?

I think you can solve all this with enough work. Especially as the cost curve for verifiable compute keeps descending down you will probably find doors opening. Or if you bite the bullet and trust hardware vendors you can maybe have something with a decent security model that is practical today using trusted enclaves. But you've got to solve a lot of problems.
Hey Indie Hackers fam!

I’m super excited to share my very first business venture with you all—meet TompisUI! I’m an 18-year-old who started coding when I was 13, and building cool stuff has been my passion ever since. With TompisUI, I’ve put together a bunch of ready-to-use web components designed to save you from the endless mess of CSS and JS tags.

This project is all about creating a faster, smoother, and downright fun way to build websites. I'm talking about:
- Zero styling collisions
- Mobile interactivity, always
- Lightning-fast performance
- A massive collection of free components that let you cut your page creation time in half

I’m in pre-launch mode and would love your brutally honest feedback:
- Does TompisUI sound like something you’d dig?
- What would make you hit that “Try It” button?
- What are your biggest pain points when building UIs?

Drop your thoughts, questions, or even a snarky remark if you have one. I’m all ears and ready to learn from you all as I continue to refine this project.

Thanks a ton for your support!

Cheers,
Tomer (a.k.a. your soon-to-be favorite UI builder)
(or maybe not, but hey, I’m trying)
My phone doesn't have the space that a paper menu does. If I know what I want the QR menu works well, but if I'm trying to decide a menu works much better for comparing the options.
Because it'd reveal they usually aren't much more than a summarizer run on the court doc.

Middlemen hate to show you what they actually do.
Thank you, the simple graphics derive from trying to keep everything procedural.
Shout out to cabbibo and mrdoob

https://cabbi.bo/me/

https://mrdoob.com/
I remember when law officers wanted the Alexa recording at the home of a murder. Amazon did not give it up.

I always thought that data was meaningless if it takes a person hours to go through it. Now we have AI. Which means the data is not meaningless. And the always on feature actually means something. And that means all your data at home can be at someone's fingertips ... because say they are looking for ways to make your home and government more efficient?
Theoretically, crypto offers a very attractive proposition: no paperwork!

to receive fiat payments, you need to go through the hassle of acquiring bank papers, etc.

For businesses, this will likely not matter. So it's very likely you can create standardized payments in the traditional sense, approaching the ideal user experience of 0 friction. Good luck!
Y Combinator Deletes Video of Assembly Line Management App
Your server/network goes down, but you still want to maintain availability and let your users view and manipulate their data. So now users make edits while offline, and when they come back online you discover they made edits to the same rows in the DB. Now what do you do?

The problem really is about concurrency control - a DB creates a single source of truth so it can be either on or off. But with GoatDB we have multiple sources of truth which are equally valid, and a way to merge their states after the fact.

Think about what Git does for code - if GitHub somehow lost all their data, every dev in the world still has a valid copy and can safely restore GitHub's state. GoatDB does the same but for your app's data rather than source code
In the spirit of abusing an error correction mechanism for aesthetics (see: QR codes with pictures in them, javascript without semicolons) could you do that here? How much abuse can the generated signal take?

Just listening to the samples here they're really not that far off. Could probably use a little softening at the edges on the higher tones but it's nowhere near as unpleasant as it could be.
Looks great, but wow, the pricing is insane for the typical consumer
You're taking it too literally. 1D is the industry term for such code, to mean that data is encoded in one direction/dimension.

Getting hung up on the fact that the printed code needs some height to work isn't productive to the conversation.
Wow! Those are really cool! Thanks.
Makes sense, when im searching for something, chatgpt is way more useful for finding results that satisfy my needs. Google sucks at specific stuff, you get 10 shots then a pile of garbage.
Google is making it even easier to remove your personal information on Search
Glad you liked it. It's meant to be a fun way to pass time on mobile, and my main browser is Firefox, so I tested it there, of course.
It's a bit that it is oversold, but it's a cute little VM.

https://github.com/MichiganTypeScript/typescript-types-only-...

Though the fact that the actual converter that converts from WASM to TypeScript types is in Rust makes it lose a bit of charm, but still.

Like Flappy Bird in TypeScript types did: https://zackoverflow.dev/writing/flappy-bird-in-type-level-t...
No, as other comments in the thread have pointed out, you can easily have an SQLI that doesn't send information back to you. You may find value in changing what's in the database even if you can't read from it.

If you do have the ability to retrieve information, then one of the first things you'll do is retrieve the schema.

And the reason you'll retrieve the schema, if you can, is that it facilitates the attacks you actually want to make. It has no value to you other than enabling your attacks. This observation seems sufficient to answer the question "does knowing the schema enable attacks?".
As I understand it, from listening to the podcast, a better summary is that if it becomes popular, he wants it to be worthwhile for him to keep working on.

Apps like this can easily bit rot, and more users does often mean more work e.g. answering or filtering emails, finding more edge cases, etc.

From his perspective that means having a income to dedicate time to this. I don't think he's interested in being an "infra" app as you would think of it.

As someone who maintains critical open-source software, I can strongly empathize, even if it’s not an approach I would take.
Absolutely not. The US is choosing to make an entirely unforced "error" (that part is up for debate) to withdraw from it's global dominance. China is watching with barely masked glee at their luck. With a minimum of work, they will thrive for a hundred years, even with their demographic downturn.

China gained A LOT of street cred last Trump admin, and this time is so fucking bad (we voted with Russia against Ukraine in the UN) that even our allies are nervously looking at options.

China has basically nobody to oppose them, nobody to stand up to their bullying behavior. Everything the US did through the mid to late 1900s, like coups and aggressive economic strategies and illegal wars to blow up some far away place are now strategies fully open to China.

Start learning Mandarin I guess.
Affixes: The Building Blocks of English
The video is very impressive by itself. This guy is a perfectionist
Most politicians don’t acknowledge that
Is it possible to run cython code with this as well? Since you can run a setup.py script could you compile cython and run it?

Looking at the docs, it seems only suited for interpreted code, but I’d be interested to know if this was feasible or almost feasible with a little work.
Co-author here - We do provide a web platform (https://www.gauge.sh/platform) which we have been developing with design partners. The fundamental difference between using Tach alone vs. the platform is that the platform provides incremental enforcement at the pull request level.

We're always happy to chat about adding more design partners!
email: founders@gauge.sh
In my experience, "normies" would already trust the basic Alexa search feature way before LLMs conditioned them to do it. Something about a conversational AI seems to drive people to this, I guess.
This is in the works. We have a prototype integration with Github that supports the deep search use case you mentioned. My favorite anecdote from this was a few weeks ago I was revisiting some work on transactional support in our controller framework and asked assistant "A few months ago I was working on transaction support and had to revert my change. Can you remind me what happened?" and it spit back my original PR, the reversion, and a deep link into the standup video meeting where we discussed the issue. For me, that was the magic moment where I knew this could be something much more than just a chat client.
> Have there been any attempts to make it at least somewhat useful?

To answer this part there are a few networks out there doing useful work. They are getting called depin these days (decentralized physical infrastructure). A lot of them have broken/silly security models but some of them actually work.
Even one use case may be enough e.g., if one class accepts another then a protocol (using Python parlance) SupportsSomething could be used
to decouple two classes, to carve out the exact boundary. The protocol may be used for creating a test double (a fake) too.
That was the tipping point in transition from "we are serious and use static typing instead of lame JavaScript" into "ok we lost control over this thing".
He made it to 101

https://www.legacy.com/us/obituaries/latimes/name/irving-lin...
I don't know why it's different for you and me then. I tested Qwant once again and saw not one call to duckduckgo (my default search engine) - now I'm over 100 searches while analysing with proxyman without one leak.
The kagi extension on the other hand leaked all my first 3 searches.
Something must be different.
This sounds very similar to the approach prescribed in the book Digital Minimalism. I just finished it and can’t wait to join you with a somewhat similar approach!
You could walk a mile in NYC and traverse 5 distinct real estate markets.
I thought this would be about wigglegrams
It's not great for playing music if you're on Sonos, especially if you have multiple systems associated with a single account. The skill it integrates it to the speakers deauthorizes after some time, but instead of failing when you ask Alexa to play music, it acknowledges your request (Playing "whatever" on $MUSIC_SERVICE) and proceeds to play nothing.
Is it just me or do they have some of the left/right images swapped?
Related: https://www.anthropic.com/news/claude-and-alexa-plus
When Professor Bryant Lin got cancer, he taught a class about it
I'm currently experimenting with toolbox [0] on fedora, and it's great. There's not much isolation going on, but if I wanted that, I'd go with a virtual machine (which I do on macOS). It uses basic images so you can create one that have all your tools installed. I prefer installing core production dependencies via the package manager instead of using tools like NVM.

The main benefit is actual containerization of the project dependencies (apart from tools that love to download stuff in $HOME). So I can wipe them and recreate them in seconds. And you can use different distros for different workflows.

[0]: https://containertoolbx.org/
I think it's AWS or something similar related. Seems to be specific to some but not all locations.
It would be nice to generate some sort of report card here. Maybe I should try.
Non-paywall link:
https://www.nytimes.com/2025/02/26/us/stanford-professor-can...
What do you mean?

This is perfectly sound and valid from both a practical and theoretical pov.

Which is why I was pointing out that there are scenarios like constraints where any not only makes sense but is the correct type.
Seems like Amazon are steering people to make the choice that will benefit them the most! Sign up for Alexa+, stay for the free shipping and extra Amazon purchases.
Is this true with satanle diffusion, too? Because I've fine tuned it with just a folder full of images and txt files with "keyword" as the only line in each text file.

No original weights, there...
I wonder how much will they publish about amazon hurting free markets or government curbing personal liberties of non straight people.
Like the video yesterday in the factory, I'm not sure sorting packages is the best look for them, but it's exciting that robots are happening. Not sure how it'll affect the broader society, both culture and politics; positivity or negatively, but they're going to happen, regardless, so I'm glad to see the video coming out of the US, and out of Silicon Valley proper, to boot.
Not in the 1990s, no. DIETARY CHOLESTEROL BAD was the mantra of the day.
WASM is the easiest target because you don't have to emulate an entire computer.
It's not free though. They are collecting a massive amount of data on you, and exposing you to liability as well with recordings kept on file. If you don't value your personal data then I guess it's "free".
Fetch the Latest Docs for Your Project – Would You Use This?
I'm thinking about building a SaaS that automatically fetches and compiles the latest documentation from your GitHub repo or project repository into a structured PDF (or multiple PDFs). This would ensure LLMs and teams always reference the most up-to-date information—without manually maintaining or searching for docs.

I got this idea after struggling with React Router v7 and realizing LLMs didn’t know what I was actually using.

In the future, it could integrate RAG-based retrieval for smarter LLM-assisted documentation queries.

Would this be useful for you? What features would make it a must-have? Open to feedback before diving in!
keep it up phil, neville and the team.
I have noticed too that HN has an enduring fascination with quaternions, and they seem to reach front page surprisingly frequently (considering that there's not a huge amount of discussion of other geometry topics). I'm certainly not complaining though - I love quaternions too!
We've had technology for 150 years now and much has been positive. Consumers could be encouraged to favor quality , responsiveness & longevity .

Cars & appliances have regressed into unreliable, overstimulated and unpresonsive disasters. Much of this is how they are marketed and sold. Cars seem flashy until you own it for a few months .

It's up to consumers to make a choice.
Hopefully slack will stay down long enough for me to get in a few good ski runs ;)
(replying to myself)

It seems like Dave Arnold and Douglas Baldwin even study each others' work -- see the comments here for example:

https://www.cookingissues.com/index.html%3Fp=3304.html

Also, wow, the Cooking Issues people might be good at low-temp cooking, but they are not good at Unicode.
I apologize for misinterpreting, and I admit that my frustration with our industry probably colored how I read your post. To be clear I'm not saying smartphones should go in the trash and we should go back to pagers, I'm just saying that there's a lot of power here, lots of sharks in the water, and we all have monkey brains.

But to your point - who creates this environment, or what incentives are there for creating a less antisocial environment? I don't think collective willpower exists; there are only incentives. The ball may be in our court as creators, but due to the prevailing incentives, we've chosen to use the ball to extract as much as we can from every little piece of everyone's life. And such a powerful tool allows for efficient extraction!
WASM is one of the easier platforms to port as the Virtual Machine is well documented and there are actual implementations in many languages that can be used for debugging and comparing the results.

even in pure JS: https://github.com/evanw/polywasm
> genius is not just intelligence, it is being in the right place at the right time, with the right people around you

Intelligence + circumstance is key, I agree, but I don't think you should devalue the intelligence part. Plenty of people face similar circumstances but don't move the world.

I liken intelligence to a catalyst in chemistry: nothing happens if the ingredients aren't there, but if they are, it's remarkable. Without the catalyst, the progress of a reaction that has all of the right ingredients might not even be perceptible.
> Why would they even waste their time with the other subscription? To make the Prime option look more enticing?

Yes? I mean, they pretty much say that outright, when they say (paraphrased): "It's $19.99, but free with Prime. Look how much more you are saving with Prime now!"

The "standalone" price exists solely to justify the claim that Prime subscribers are saving money.
This is awesome. Can I embed this on my website?