Unlurker|Replay|About
The U.S. Is Driving Away Young Scientists (nytimes.com)
•
Related: Top Astrophysicist Leaves U.S. After Trump Policies Affect Her Work https://news.ycombinator.com/item?id=50414524
Resistance would have accomplished nothing and these people have no principles. They kept their companies running, enjoyed tremendous benefits for 2-4 years, and will suffer no consequences from it.
•
That's not exactly true when you look at the history of how fascism works. Actually, capitulation is futile, as there is no bottom to what the autocrat will demand. If you give in, all it shows is you are an easy mark. Resistance is the only winning move. Timothy Snyder put out a great book about this called "On Freedom", which explains most of the power an autocrat has is given freely by people who anticipate what he would want and just offer it without being asked, precisely because they have a notion that resistance is futile. Tech leaders were right there at the inauguration, they didn't even try! So the role these tech guys played early on was teaching Trump the extend of his power. If you look at how Trump handled schools and law firms, you see an excellent case of capitulation vs. resistance and how that played out. Take the situation with Columbia compared to Harvard. With Columbia, they capitulated to Trump illegally withheld $400m and agreed to all sorts of demands, only to be met with more demands. Harvard faced similar pressure, but decided to fight it and won in court. In the law world, Trump made demands to several high-profile law firms. Paul Weiss, Skadden, and Kirkland & Ellis all capitulated to the demands, other firms saw these law firms capitulate and just offered up settlements themselves. 11 law firms entered into agreements with the administration, and they didn't even have to ask all of them! Meanwhile, every firm that challenged demands made by the Trump admin, including Perkins Coie and Jenner & Block, won in court. Tech giants didn't capitulate to the Trump administration because they felt they had no other choice, they did it because they felt it would be best for their bottom line. They have no principles, no backbone, and are opportunists who will say anything if a dollar is on the line.
No idea why you are being downvoted. Everything you said is literally true and a genuine concern for researchers. The right was so concerned about what you couldn't say because it maybe damaged your credibility. But what we're having now is that same group doing find and replace cuts on grants that use a laundry list of banned words.
•
What I'm saying here might seem hyperbolic to some, but these are the discussions I'm hearing at faculty meetings.
Even though I'm sure it's factually true that there is a decrease in interest from international young researchers to come to the US, articles like this are always a bit dramatic and have a political bias. More problematic are the budget cuts than the decreasing flow of talent from abroad. The country has enough domestic eager brains and the cultural capital to compensate later for this temporary dip.
•
Gasp! The "P" word?!
For all of America's many problems, if you're a 20's-30's high performer, moving to the US can absolutely make sense. Do you want to make $400k a year, have great investment options, and retire at 40, or make €80-100k a year with extremely heavy taxes? (Bias disclosure: grew up in norcal, moved to Europe from California in 2013. I like living here but it certainly wasn't great for my career. It's like living in a forgotten backwater. You watch the future being built from abroad.)
•
Retirement is going to be pretty boring for a high performer, so you either have to convert that cash into starting your own business or likely keep working the same job you already have. Entrepreneurship might have a certain appeal, so I wouldn't discount that to those who have that dream, but if you stay in a job then you have to start asking what all that money is going to actually buy you. Both incomes are going to get you to a point where you already won't be able to spend it all. Realistically, the question isn't meaningfully answered in isolation. One would have to see the bigger picture to put it into context.
There are at least four widely accepted measures of quality of life, and the US ranks at the bottom of the top 10 of one of them. Are you really sure that you're smarter than all the economist and sociologists who put those measures together? Or maybe we've screwed it up and needs to purge a lot of poison from our system.
•
I don't have to know anything about them to tell you they are worthless poison that should be purged. Well is is possible that they are useful for some niche and should never be taken outside of that narrow context. There are far too many subjective parts of quality of life to ever put a single ranking on them.
I don’t think that’s unique to the United States is it? That seems like human nature.
•
it's pretty unique to the US in the post-1980s ish era.
EU has much bigger brain drain problems to the US that will not be solved anytime soon. Even just recently Heart Aerospace announced that they were relocating completely to California after several years of warning the EU that the regulatory and economic environment was impossible to navigate for emerging technology companies. https://www.heartaerospace.com/newsroom/mastering-the-shift-why-governments-must-back-clean-aviation-innovation A month later they moved to USA https://www.heartaerospace.com/newsroom/heart-aerospace-relocates-corporate-headquarters-to-los-angeles-california
•
>As part of this transition and to better focus its resources, Heart has decided to close its operations in Sweden to enable a bigger scale up of the U.S based team. This is morbid.
The French government may want to invite researchers but it faces budget issues in research and education, and growing social unrest. The French language is also somewhat necessary to live in France. It can be a deterrent. Eagerly recruiting doesn't translate to active recruitment imo, unfortunately. With the coming elections, it is even more tenuous.
•
There are too many countries that speak french for the language to be a deterrent.
Sexual harassment takes a hidden toll on gig workers (futurity.org)
> For rideshare drivers, delivery workers, housekeepers These jobs are in the process of being automated, in this order. Any effective effort to curb harassment of these workers is likely to add friction or expense that accelerates automation. Given that it's difficult to know what is the best policy for these people. Is it progress to have fewer such jobs with better working conditions?
•
What timelines are we talking about? If you try hard enough, these jobs "are in the process of being automated" since the invention of the train and washing machine.
•
With the rideshare drivers it's happening right now at decent scale. It's beginning to with urban deliveries. With housekeeping and more complex deliveries, it depends on robotic capabilities that are accelerating along with AI, and coming soon.
•
"Coming soon" is what people have said for years about this stuff. I'm pretty sure I've heard people say that self-driving cars are coming soon soon since I was a kid, and yet I'm living in the largest city in the US and every time I call an Uber, there's a human driving it. If there's going to be a time when I can book a cleaner for my house and a robot is going to come instead of a person, that's probably decades away.
•
Only in a heavily contrived, limited context (city with a grid-based layout) will these jobs be replaced. I do gig work deliveries in the mountains of Tennessee and driving down 5% grade switchbacks and across streams isn't something I see automation handling any time soon, if ever (you can barely get a signal to confirm delivery 30-40% of the time). Humans need to accept that other humans aren't just parts you can swap. It's not hard to treat others decently, it's just that now everyone expects technology and other systems to arbitrate human interaction to the point where decorum is basically non-existent. More automation isn't the answer, less is (if we're going to survive as a species).
•
Yes, but then also no. There are natural conflicts which make treating people decently, ie. how they want to be treated, very, very, very, very hard.
•
> More automation isn't the answer, less is (if we're going to survive as a species). In a world with a trend of less automation, indeed optimal policy will be far different. But given that we are not in that world and appear to be moving rapidly in the other direction, we shouldn't write policy as if it were so. > I do gig work deliveries in the mountains of Tennessee and driving down 5% grade switchbacks and across streams isn't something I see automation handling any time soon. I agree. Human elevator operators are still necessary in some places. But we should base broad scale policy around the near term future for most people, most of the time.
•
At that point, we could just write policy to slow the pace of automating jobs, so I don't really get why you're suggesting this is an argument in favor of ignoring to both problems
Don't buy AR glasses (blog.yaros.ae)
•
The only effective defence I can think of is regulation. Not in the USA, I can't see that happening, but the EU could and likely will put up some kind of fight. I'm not exactly the EUs biggest fan, but at times like this I'm so glad it exists.
Also, if you're walking down the street in headgear capable of always-on video capture and face recognition, don't be surprised if people knock (it) off your head.
•
This happened quite a bit when Google was marketing the Google Glass headset.
Counterpoint: I am looking forward to the opportunity to get fully open source, open hardware AR glasses. I anticipate that it will happen as first Meta and Google and big Chinese firms spend the R&D to create the hardware to make it possible, then Chinese knock-offs and discount brands appear, and then someone will start selling a pair through CrowdSupply which are truly open source. At that point I will be able to have the fun of AR (gaming with paper toys or other papercrafts, displaying characters on a table for my tabletop RPG group, getting directions in a foreign city, identifying plants and insects just by looking at them, seeing where my cats are located through walls via their airtag collars) without any ads, without any data harvesting nor privacy concerns, and even being able to write my own custom apps or firmware mods. It will still be a toy rather than a necessary part of life like a smartphone has become but a fun toy nonetheless.
•
Counterpoint, people will install content overlays and all of the same problems will exist with open source because "content isn't free".
> without any ads Why stop there? Stream the camera to a CNN and black out all the ads in real time you'd other wise be forced to see walking down the street or in the subway.
•
Letting a piece of technology mess with my perception 24/7 is the last thing I'm going to do, thank you.
Why wait? Meta Ray-Ban - already hacked by p0pcycle Rokid Glasses - rooted firmware https://github.com/jaskier-os/client-glasses Google Glass Explorer Edition - officially supported root access
•
So how many people run jailbroken smartphones? Society adapts to technology if it gets popular enough, and using it becomes basically mandatory.
The phones themselves are part of the surveillance state, u/privacyishuman
•
GrapheneOS and iPhones are generally more secure and therefore private than desktop OSes. The idea that phones are inherently worse for privacy is wrong. You can use them in airplane mode to avoid sharing your location with carriers. The apps you use, sure, those are also optional, but using those same apps on a desktop would give them even more information about you and more power over your system.
•
>> The idea that phones are inherently worse for privacy is wrong. Phones will always be worse for privacy. They are festooned with microphones, cameras and a variety of radios. The PC I am using to type this doesn't have any of those things.
And the surveillance state part?
•
Yes, that too. Open source / open hardware can be an effective counter-measure against the surveillance state.
My favorite purchase of 2026 was my pair of Xreal One Pro glasses, which I use as an external display while traveling or on the couch at home. These are not AR glasses; the category doesn’t yet have a well known, accurate, catchy name (Screen-in glasses? Facially mounted display? Spatial glasses?) I agree with the article that AR glasses are not a great future, but I think [ e-display eyewear / screen spectacles / whatever we call them ] that are dumb and just display what you feed them, are great!
•
I'm curious: - do you use these in 'ultrawide' mode (3840x1080)? - if so, do you find the head tracking works well (i.e. it just works)? - do you notice the lack of vertical resolution? (I don't own a pair of these or similar, and like the idea. But a portable monitor gives me a second screen in addition to my MBP. AIUI the glasses would mean I would no longer be able to see my MBP screen, so the glasses would be a substitute, not a complement.)
Talk to a fighter pilot.
•
Displays in a helmet aren't "display glasses" because they're not glasses. Display glasses are a subset of HMD's, a more specific term. The "display" part of it implies that they're monitor replacements -- both in their interface (DisplayPort alt-mode) and an FOV suitable for monitor replacement. Finally, being a monitor replacement implies a mostly-2D view, in contrast to XR/VR/AR which implies 3D.
They can't. They're just a display. If you're worried about the glasses, you should be worried about your computer monitor too.
•
Do I really need to explain what I meant? I feel like it’s pretty clear, everyone responding to you seems to get it. I really hate how prescriptive comments have to be on HN sometimes. Here: at present they are dumb and are generally not being used for spying or paired with invasive apps. However, if they become more popular , that is likely to change, which is something I am not looking forward to. It would mean you’d have to use older, inferior hardware, which is fine for basic laptops and Linux and such but displays get noticeably better every few years. I’d rather not have to use dated hardware for something my eyes have to stare at for long periods just because companies are greedy about data. Or I have to learn how to disable all that stuff, and I spend a lot of time as it is modding/breaking/getting around these things. I am not looking forward to yet another domain of tech/hardware where I have to constantly worry about what is going on under the hood because it’s exhausting and I just want to buy a product and be done with the interaction. Is that clear enough?
It sounds like you already understand what technological innovation is, and that failure of a country to govern its own people effectively has nothing to do with that... so I'm not sure where the misunderstanding is.
•
We need not stop innovation entirely, of course. But tech should not be in the driver's seat. Tech for tech's sake, and the maximised profits. To ensure that technology is better aligned to the interests of people a helluva lot more and better regulation is in order imho. There are obvious useful aspects to many new technologies, but it is also in a balance to all the negative externalities. Unfortunately the latter are more long-term consequences and the former are more on the short-term gains. There are obvious dystopian tendencies to all the stuff we are inventing now, and somewhere we should call a halt to that, before there is no easy return.
Ableton Live 13 (ableton.com)
•
Multiband Rack is going to be great. No more having to 3x a multiband dynamics rack into a group to get low/mid/high separation. Also the Device slots overview in session view could be useful. I'm kind of excited guys, ngl
•
Since Bitwig came out I think Ableton felt a bit clunky. I'm no expert in either of them, but as a beginner, it felt like Bitwig got a fresh start both with Performance and UX.
•
Ableton Live is a great DAW that is still unmatched in it's live performance capabilities. At the same time, I find it tough to approach price wise. The base version is $300 (the $79 version is basically a demo), and some of the best features are behind the $600 version. Not only this, but you have to pay for new major versions (although it looks like they are offering a free upgrade right now if you buy Live 12). This is tough in comparison to FL Studio, which gives you the full DAW for less than $300 with lifetime updates. Haters will say FL Studio is unprofessional noob software, but the last time that was true was in 2011 or something.
•
just upgraded (pre-ordered) from live 12 suite to live 13 suite for $183 USD. that's ~$15/mo for 12 months if we spread the cost out. looking back at my order history, I upgraded from Live 10 Suite (purchased 2018) to Live 11 Suite for $245.60 in 2021 and again from 11 Suite to 12 Suite in 2024 for $245.60. Everyone has a different financial situation, but for me this is entirely fair pricing for professional grade software that does not have a subscription that I use on an almost daily basis. I am happy to continue supporting Ableton, they respect me as a user and are consistent in their quality and output. (I don't use FL Studio, this is not a dig at that company/platform, just a happy Ableton user).
•
Still seems they're ignoring to fix PDC mid-chain though. It's the one thing I check to see if they bothered with on every release, but I won't hold my breath.
Instant buy for me as I’ve been an Ableton user for something like 20 years and can’t imagine a better environment for making music.
•
Probably my favorite piece of software, ever.
Still no built-in way to collaborate with other musicians, it seems. While I understand the technical difficulties, it's also very frustrating to work remotely with other musicians on an Ableton project. I don't need real-time Google Docs like editing, but it would be nice to have something better than "freeze the project, dump it in Dropbox, and don't touch anything until they've made their edits". Any Ableton Live users here that can chime in on how they solve that?
•
I always thought they'd eventually implement some sort of version control, ideally git based, or a timeline similar to Fusion360.
•
> Still no built-in way to collaborate with other musicians, it seems.. Asynchronous collaboration, there are a few non-native solutions. Or you can always exchange files via Dropbox or something as you said. Or share screen. Live playing over the public internet, there's no good way to do it , and can't really be due to latency. Many projects tried, all suck. Live playing locally, there's Ableton Link. This is a huge update (ARA alone, the step sequencer, etc) anyway, and many long awaited and several non expected items.
•
There is a this live collaboration project: https://api-production-006c.up.railway.app/ https://www.reddit.com/r/ableton/comments/1xrbj82/been_an_ableton_user_since_2012_and_finally_got/ > mainly it uses the underlying control surface layer to receive events with a python bridge then communicates those out to a central server, from there there's a websocket room you have to be invited to and you get all the updates. > For changes or additions of samples/tracks it sends it to an incoming temp directory and edit's the ALS to read from it instantly > The git portion is heavily inspired by git lfs, and stores your data in r2's but only diff's between the last version and current version. It's a hosted product, but self hosting is possible even now. I think the code is up on github.
•
I meant to reply to you here but managed to post a comment of my own https://news.ycombinator.com/item?id=50441616
It seems to me that the super customizable, plug-in heavy architecture of modern DAWs.. especially Ableton makes collaboration almost impossible, at least without a change in IP/licensing model.
•
Right. How often are you collaborating with users who agree to only use vanilla Ableton plugins? Every time I've collaborated we have to start the conversation with what plugins we share, which ones are freely available, which ones would are not cost prohibitive for the other side to acquire, and so on. That said, I think that vanilla Ableton provides a whole lot to collaborate with. Maybe there are a lot of people for whom the base set works, but "do you have Apollo UAD + the Neve preamp plugin?" or something like it is not a rare occurrence.
I have worked on the code of legacy applications like MasterTracks Pro, Studio Vison and SAW and my opinion would be that you need to start from the ground up with collaboration as the guiding light. The existing applications have workflows and data models that are very monolithic and tied into the concept of a single user, using a single application with application logic and workflows implemented in code. That code sometime exposes functionality through scripting dictionaries or plugin APIs, but the this is backward in my opinion. Other commenters have stated what a pain it is to just get two environments in sync. A complex production will have tons of plugins, various MIDI and audio interfaces, differing outboard gear and other variables that make life hard when sharing files. You also have asset management issues; where are the audio stems, vocal tracks, library resources, etc. stored and how are they shared. If you want to collaborate in real-time, then there is another layer of technical challenges. I have been working on a system that is influenced from my earlier experience building audio tools for earlier generations of sequencers and DAWs, rendering pipelines for Dreamworks and configuration management systems for Amazon. I feel you really need a system that uses a DSL and all operations are defined at that level. There shouldn't be anything you can do in the user interface that isn't available at the DSL level. You can then think about techniques used in Docker, k8s, etc. to define and deploy both the environment and the interpretation of the DSL in the user interface.
•
Wow, SAW… there’s a name from the past. Wasn’t that the one written in assembler? Kudos!
This is very solvable in theory, we've been doing package management and version control in software for decades. I'm not familiar with the plugin/VST ecosystem enough but I'm assuming there's no real central registry ala pypi/maven/npm?
•
Many of the producers of the plugins are against a central repository for reasons you can guess; licensing and revenue generation. One annoying part of working with various plugins is the companies tend to have gatekeeper applications the user needs to interact with to get plugins authorized and installed on their system. You will find applications like this one, https://www.pluginhubapp.com , show up frequently to try and manage this complexity. I am in no way at all recommending this application, but it is an example. This application does ship with all of its python code in the app under (possibly a mistake) so you can see the hoops they have to jump through to try and make their system work.
•
> I'm assuming there's no real central registry ala pypi/maven/npm? that's exactly right, unfortunately. it's a bit of the wild-west the it comes to plugins/VSTs in terms of distribution. and I agree, this feels like the sort of thing that should be pretty solvable, but I think there's a lot of hidden complexity in this problem space. Solving the "version control" aspect of this feels like it should be rather straightforward for a single user, involving multiple users with different Ableton Live versions, different plugins/VSTs (and different versions within those) is where things would undoubtedly get messy. I do think there is a niche market for this sort of thing, however.
Wish they would add Linux support. What is the best option for Linux?
•
Tracktion has always appealed to me.
•
Studio One has Linux support for non-open source and it's been around for longer than Bitwig. For open source, Ardour but yeah...
> latency you mean? Maybe timing is the wrong word. Latency is definitely a related concern. If something needs to fire every 1209 ms then it can't get fired in 1232 ms this time and then 1198 ms next time. Maybe a better term would be clock jitter or drift? As I understand it, a DAW needs something close to a RTOS.
•
Linux can run specific apps with realtime priority since 6.12. Just gotta configure your audio stack to run that way.
+1 bitwig. It's so fun
•
Best for hobbyist goofing around. Which is me ( and pbly most ppl here)
I think DAWs at the level of Ableton live are going to be hard to replicate, and at best, they will be a toy for not serious producers... Imagine working for 80 to 120 hours into a project that has 120 tracks and then the whole thing crashes on you. Not saying this cannot happen with Live (that's why it does backups on the background). What I'm saying is that companies like Ableton earn me more trust because I know they are serious about their work and more reliable. I mean, vibecoded apps can be fine if you are editing just an image, or a small video you are editing for nothing serious, as a beginner, etc.. but for people that is serious about making videos or making songs that take a lot of effort and time, paying 159 euros to upgrade every 3 to 4 years is a no-brainer (I already pre-ordered it).
•
I worked at Ableton for a bit. They were telling me about users that play 12 hour sets and absolutely must not crash or make any mistake. And it needs to never lose a feature or drop support for just about anything. They learn from every crash and make it a priority. When it does crash, you can restart and it can recover even your unsaved changes.
The main argument to me in creating your own DAW is that you have some workflow that simply can't be done with the other tools. Otherwise, you are going to spend massive amounts of time just to replicate Ableton 1.0, let alone Live 13. Thanks for sharing the song. This is material proof that your program can generate a composition. Did you come up with some new ideas about how to create and produce?
•
I don't think I have anything groundbreaking yet. Blending lots of ideas from other places (unsurprising I'm sure). I first used FL Studio, and am more recently an owner of Ableton. Some things I like and dislike about both, so what I tried to do with my app is blend what I like. E.g. FL Studio = step sequencer. Ableton = more intuitive (I think) for whole song composition. Of course, now Live 13 has a Step Sequencer... The other areas I'm exploring is sound design. One goal in this effort is to remove dependencies on other tools as much as possible. So every sound you heard in my song is from the app alone - not some external sample or other synth/VST tool. So, then suppose you sit down with a blank slate and draw a wave. Preview it. Now add bits and pieces on top. But more of a visual design canvas rather than the Reason-style rack wiring. PS: Thank you for checking out the song!
•
How did you implement the side-chain compression? (I think I am hearing that.) We can also move offline of HN if you would rather discuss there. gene at semitone dot audio.
New to music production but really want to give it a try. Can somebody please recommend resources/courses for beginners and which Abelton edition to buy: lite, intro, standard, suite? Also I was wondering if it is worth to buy akai mpk mini (play) to start with?
•
It's very likely that you already have some version of Ableton together with your audio interface. Make sure to register your product to see if you have any redeemable downloads.
I'd advocate for this as well. It's not hard to switch between DAWs, but if they are already familiar, they'll enjoy Logic.
•
I recommend GP just ask what kinds of things they might want. Or for a budding musician, a music store gift card would be really appreciated. I recommend Sweetwater (in the US.) DAWs and MIDI controllers are sort of like keyboards, notebooks, or text editors. They all do the same things, but when they're your primary work surface little idiosyncrasies add up to flow-wrecking annoyances. Lots of people love Logic, but I'm not one of them. It's not anything wrong with the product, it's just that Live clicks with my brain in a way that Logic doesn't. The Live interface has things arranged where I expect them to be. Logic hides everything in drawers. That said, your teenager might be using Garage Band because they really like it, or they might use it because it's free and what they have. On the controller side, if they have experience with piano, they probably want a keyboard. If they don't, they might or might not want piano keys. If they do play piano, they will have preferences about key feel and size. My old piano muscle memory can't handle mini keyboards, for example.
I love that it is not only clean and usable, but also they somehow managed to make it cool in a very minimalist and utilitarian way. It is like a digital version of a sleek physical synth with very raw industrial design. Reminds me of how NAD amplifiers look ugly-beautiful with their greyish chases.
•
It's because they grew up playing with Fischer Technik.
What's new in the .NET 11 runtime (learn.microsoft.com)
•
To all the .NET outsiders, C# is indeed the .NET darling but you can also use F# if you feel like living in the future. Or VB if you feel nostalgic. So in .Net land, C# is not destiny. It is a choice
Is this a joke, like "hen's teeth"? Those languages don't have async/await.
•
They don't need to mark functions as needing special compilation / rewriting to support asynchronous use since the runtime provides the necessary mechanism to pause and resume (e.g. stackful continuations). So 'async' is unnecessary and 'await' can be a library function (or remain a keyword of course).
•
No joke at all, not that I said "like implementation", not that they have async/await. https://github.com/dotnet/runtimelab/issues/2398 Be sure to read all the way to the bottom,
For the features that overlap between golang and .Net, can someone please let me know why people choose .Net over golang for non legacy systems? As far as my limited knowledge goes, go is much more efficient in syntax and memory.
•
Modern .net is surprisingly performant while also being very high level if needed. So it is very close to being a "learn once" ecosystem. This means you use it to write code for a much broader range of usecases than others, you will have a broader / more mature ecosystem than others, and your potential hiring market is more vast.
•
The languages are very different. C# has much more powerful abstractions and is a much larger language in general. That is both an advantage and a disadvantage. Modern C# is also very fast, I wouldn't bet on Go winning that comparison. My experience with Go is a while back, before it got generics. While I liked the overall idea of a language with little syntax and a focus on simplicity, I didn't really like Go in the end. It was a weird mix of too low-level and high level code. It exposed low level details that I don't need to think about in C#, and it is missing convenient abstractions like LINQ. Personally, I like async/await in C# more than Go concurrency. I know this is heretical here, but I don't care about function coloring or any of the abstract advantages of other concurrency approaches. Async/Await in C# works for me (in non-legacy code) and is easy to understand.
•
The tooling and development UX. Put things like their remote debugging experiences side-by-side and you will quickly learn why some of us go for the Microsoft tools rather than the others.
AlphaProof Code (deepmind.google)
•
Something seems wrong here. They took a non-trivial piece of human-written code that has had bugs in the past, formally verified the whole library, and found zero bugs? I can believe that it's possible to get the LLM to write proofs, but I can't believe there were zero bugs in the system they verified. I wonder if they got the theorems wrong, or if they only proved narrow properties of the system. I've had Claude formally verify crypto and data storage formats. It wrote theorems that looked fine and the formal verification passed but the resulting code contained many, many bugs that other implementations of the same things found with ad hoc testing. The way the announcement is written, we should expect zero bugs in libsignal moving forward, and I guess time will tell whether that happens or not.
Because, people keep confusing proofs with theorems. The proof can be correct, while the theorem is the wrong one. And if you got the wrong theorem, you might not be interested in its proof (sometimes you are, anyway).
•
This. Now, write a theorem describing a non-trivial piece of software. Is your theorem longer or shorter than the source code? Easier or harder to read?
•
The nice thing is that a theorem doesn't have to completely describe the software, it can just describe some property you care about. Say, no crashes, no dead or livelocks, O(n log n) in the size of the input, same number of instructions executed & memory accessed no matter what the encryption key is, etc etc. These type of theorems are significantly smaller than the source code, pretty re-usable across different applications, and extremely useful properties.
I have been experimenting with utilizing how easy it is for AI to code lean ( https://metamagic.substack.com/p/beyond-the-proof-dump-lean-specs ) and a few lessons 1. AI Lean is not perfect and AI can easily cheat given it is writing the lean. For anyone playing around with AI Lean code at minimum you need another adversarial prompt to review the ai generated lean. 2. In the paper poking around I see they did re-introduce some bugs to verify it would catch them, but they didn't find any bugs it looks like. Maybe signal is just amazing with many eyes reviewing it, but the real story for the rest of us is that if you start AI converting to Lean the value will be in what assumptions it finds. Even for stuff I thought was really logically tight, Lean found a few minor things I had to fix. Similar to fuzzing where I have never not found bugs when I introduced fuzzing into a codebase I expect the same for converting specs to lean. 3. Having the ability to generate Lean (cheaply) via AI is a very interesting unlock for coding. Potentially being able to go from spec to lean to code, using the lean as a logic gatekeeper has the potential to be a real capability that is used more everyday and not just in research.
•
I have been writing my own programming language _completely in lean_, from the parser down to the compiler. My current workflow is i have a coordinating agent, and then a bunch of long running sessions that are specialized (CS theory, Kernel, Surface, Lowering/Backend, Corpus, Docs, etc). I only talk to the coordinator, they only accept tasks from the coordinator, but they can ask each other questions. None of them do their own coding, they assign coding tasks to agents/workflows. The main purpose of that is to stop it from blowing out context windows. Each has a million tokens of long term context and their own memory/claude.md etc, and they don't waste it by writing code directly. All work is assigned via github issues and answered with PRs. The coordinator mostly just keeps big picture goals in mind and manages PRs, etc.. I've currently got a fully formally verified borrow calculus and effect algebra, with a formally verified guarantee of memory safety and that all programs either continue (don't get wedged, no deadlocks), or they terminate with the heap empty. The only thing _not_ formally verified is the lowering to LLVM. The language is mature to the point that I have real programs in it...
Not the OP, but I was asking gemini about a Google subscription I had, trying to figure out whether I would lose a particular feature if I changed the subscription. I asked whether my subscription was "grandfathered" and it assured me it was not, then later on acknowledged that I was on a legacy subscription that I would not be able to go back to. Compared to the other LLMs I've used, it seems to have system instructions that are far more adversarial to the user.
•
Ask for “grandmothered” for a more forgiving response
Show HN: A 15 MB self-hosted Netflix and Spotify for your media server (github.com/HolyArrs)
•
>"A normal media server runs six apps: Sonarr, Radarr, Lidarr, Bazarr, Prowlarr and Seerr." Here I was thinking people just used Plex! No idea what any of those are
•
Another option with Apple native apps, web apps, and native for all the TVs dropping Very Soon: https://demo.pixelbrite.site https://pixelbrite.site DLNA, proper Airplay and Chromecast support, file matching, ABR, all the HDRs, etc.
•
> When a show doesn't land, you check six places to find out why. Umm, no you check Sonarr.
•
Hmm idk, I'm gonna stay with my lidarr + navidrome and radarr sonarr + jellyfin
> Titles, artwork and charts come from the HolyArrs metadata server. Yeah...
•
This also happens with Sonarr / Radarr as you can't easily get a IMDb API key, and it works automatically because of this
Your assumption that 97% of a binary isn’t usually bloat is not well-founded
•
Your assumption that a vibecoded project with a single contributor behind it can cut 97% of the size of well established open source projects without breaking something very badly is not well founded.
I've seen multiple "consolidate all the arr" attempts over the years. None prevail. Not saying this one won't, but something tells me it's going to peter out and be abandonware. It's incredible how sticky the OG arr apps have been to be honest. Likely because they are extremely stable and well-integrated.
•
I'm working on one myself, but I probably won't ever release it to the world. I just want one that's simple enough for my wife to use, so we can cancel netflix etc. I need replicate the experience of browsing what's new or popular on her phone, watching trailers for them, and then a single button to download it and getting notified when it's on plex.
•
I don’t need to eat your cake but can you give me the recipe? TYVM
The problem is not the vibecoding, it is the release of a public facing internet app that is not a day old, hence it is impossible to know if it has security issues. He is supposedly a security engineer and he RELEASES a repo with less than a day old? how do you know it is secure? Again, this is something that will interact with the open internet. Gatekeeping would be "do not write vibecoded apps for yourself", which is not the case here, this is releasing code for the public in an irresponsible manner.
•
I mean, every repo was 13 hours at some point. can't hardly get security updates unless others can see and review it. I mean, I feel you... there's no way I'm running it when it's this new... I'll let others spend their tokens probing it and check it out in a month... no shade in the dude for releasing it, but anyone who has it running right now inside their network... I hope nothing bad happens.
> AI or MCP features. Not in 1.0. Why would you even want this, what desirable features could you add by adding AI?
•
To generate/translate subtitles.
That wasn't written by a human. It was written by an AI. AI does this weird thing where it will say things like this - "AI or MCP features. Not in 1.0" - when the user prompting it hasn't actually requested whatever it is the AI has hallucinated as not being included. I've been using Claude Code to update some internal tooling I use (basically a bunch of python scripts I've painfully hacked together for myself that automate stuff) and it often comes out with things like "Not in this version: XYZ" when I have never even asked it to build XYZ.
•
This. Just scroll down the readme, down to the "Version tag" section if you need more proof.
hi HN, im luis. 10+ years in software and security, homelabbing for about 5 "netflix and spotify" is how it feels to use, not what it does under the hood. holyarrs doesnt play anything. you browse your shows, movies and music like a streaming app (top 10s, new & popular, coming soon), tap what you want, and it sends it to your downloader and files it into jellyfin or plex. those still do the playing before this, my server needed 6 apps for that: sonarr for shows, radarr for movies, lidarr for music, bazarr for subtitles, prowlarr for indexers and overseerr for requests. 6 setups, 6 databases, and nobody in my house but me could use any of them - the image is 15 MB. the 6 apps it replaces are 718 MB together - one go binary, svelte UI, sqlite. the image has no OS and no shell - runs on amd64, arm64 and armv7 - works with qbittorrent, sabnzbd, plex, jellyfin, emby - imports your sonarr/radarr setup, and speaks their api so seerr can keep talking to it - no api keys to set up. posters and search come from a metadata server i run and pay for - free, AGPL-3.0 how it got built: claude code wrote most of the go and svelte. i wrote the specs, reviewed everything and tested it on my own server. what it got wrong: it never noticed cost. the app got heavier build after build until i started measuring every single one. thats the only reason its still 15 MB why you might want to wait: its young, 1.0.7 shipped today and im fixing reports as they come in. music is still being built out, and a few features are held back until theyre fully tested (plex watchlists, trakt lists, subtitle sites) why i built it: my family wanted netflix and i had 6 apps nobody but me could use im in the comments, tell me what breaks
•
How did you review it?
Anthropic launches roadshow for proposed initial public offering (anthropic.com)
•
Anyone else feel incredibly left out?
•
Left out of what? You can still lose your money if you wish to do so
•
In which way? If you want in you will have in after the IPO
•
> Anyone else feel incredibly left out? I'm sure there were a lot of people without enough money to invest in Madoff's scheme that felt that way as well.
•
https://x.com/findatasets/status/2120145211733180753 All these valuations seem nuts to me, but who knows. Maybe there's some reason big enterprise will keep shoveling money into the Anthropic furnace to avoid downloading GLM.
•
what value would you assign a company that has grown it's revenue run rate $1B-$10B-$100B in 2 years?
•
Past data is irrelevant given the company is completely changing its strategy moving forward. Their S-1 is very clear, they will be shifting to a capex heavy strategy to build their own compute infrastructure. Don’t do investment based on a series of heuristics, the actual details are what matters
•
Valuation at 968B plus green shoe?
•
Griftfest 2026 is on the road! "The proposed offering consists of 825,000,000 shares of Class A common stock. Of these, 801,351,354 shares are being offered by Anthropic and 23,648,646 shares are being offered by certain existing stockholders. Anthropic will not receive any proceeds from the sale of shares by the selling stockholders." WTF - so basically insiders / investors are dumping their stock on dumb money retail investors / our 401ks and the company is getting NOTHING?
•
Wouldn't "by Anthropic" mean by the company itself - new shares to raise money? In that case the 23M shares being sold "by existing stockholders" would include the founders, and seems surprisingly small ~1.7B at $75/share. Maybe founders and employees aren't allowed to sell yet?
•
They're offering about $65Bn, of which about $1.8Bn is from existing stock holders. That's a tiny amount of shares from existing stock holders and probably not anyone who works at the company.
•
See my other comment, I believe it’s the 7 founders.
•
Why would the company get anything from someone else selling? It isn't the company's share. The company is making a lot of money from the 800M shares they do own that they are selling.
Are they saying what the target valuation is?
•
I've seen estimates of $1.3T
•
They’re offering 825,000,000 shares for $70 and $78 per share. That would raise about $57B-$64B. It doesn’t say what percentage of the total shares that would be.
•
Is it crazy that they don't have to explain that? How can you know if that price makes sense without knowing the total?
•
up to $1.405T valuation on a fully diluted basis
Am I reading this right that the 7 cofounders are all cashing out day one? Lol.
•
They're selling shares but it doesn't look like they're cashing out to me. Dario is going from 3.6% to 3.2% and then also losing 2% of his voting power. Sure, he's putting aside the possibility of being a 10 trillionaire in exchange for merely being a billionaire and then maybe being a 100 billionaire later. But, I mean at some point there's diminishing returns on having a mountain of cash that would make a dragon blush. EDIT. Despite evidence to the contrary, I remain bearish on frontier models. However, unless I'm missing something the evidence also shows that Dario et al remain bullish. Except they're taking the reasonable route of also having a giant pile of money. Unless of course I'm missing something.
•
Do you have a source for that? The linked article just says “certain existing stockholders.”
•
Yeah sorry it’s page 299 of the amended S1 https://www.sec.gov/Archives/edgar/data/2130357/000162828026072484/anthropicpbc-sx1ax2.htm
•
Lol, can you quote that part? And yes, of course, the scam is almost done. Time to go the bank $$$.
•
It's not a scam if you do it in the open and don't break any laws. Look at SPCX. A lot of retail investors are just dumb. There are people here who will go off about how great a company it is-- fine, no argument. That's not what makes a good investment. Americans want to invest how they want. They want to strike it big and the way the world works is most of them won't. I think we need to be at peace with that and maybe adjust the tax code some.
•
Normal people are not reading an S1 and don’t understand the various levers that can be manipulated. The SEC is dropping the ball imo.
•
SEC has 2 of what should be 5 commissioners, it's hardly functional
•
The SEC is working exactly as it is bribed to work right now
I'm sure they'll do well, but I just can't get behind the investment thesis. Eventually the LLMs will plateau. Specialized expert models will dominate each knowledge area, because they can handle specific tasks without as much overhead. Then the swarm of agents will be burned onto silicon to reduce interference costs. Every X time intervals both the models and silicon will evolve, but less frequently than in the wild-west environment of today. Instead of new models every 3 days, we'll see a new set of models on a hardware release cadence. You'll be able to customize your model by mixing and matching expert model chips. Software > hardware is a hell of a pivot, and Alphabet and Meta already do hardware. Unless they are building a huge IP moat and have proven themselves competitive with hardware, I don't see the rosy future.
•
The bet behind Anthropic is whether they will be the first to reach recursive self-improvement (RSI). Some experts thinks that if anyone achieve RSI, then it would be easy for them to reach superintelligence. That's my understanding of things at least.
You can make that argument for just about any field, pre and post LLM. A lot of investing is point-in-time. I'm sure there was a point in time when everyone thought horses had a great moat.
•
I mean they kinda did for a few thousand years, no?
Why do their models always get Nerf'ed? Is Anthropic doing planned obsolescence or are they trying to encourage use of their latest models? Opus 5.5 was clearly Nerf'ed last week. I think they are at risk of getting a class action lawsuit for deceptive practices with this unannounced "model optimization" that actually changes performance as compared to the advertised performance in the official model cards.
•
>Why do their models always get Nerf'ed? Is Anthropic doing planned obsolescence or are they trying to encourage use of their latest models? Opus 5.5 was clearly Nerf'ed last week. I think they are at risk of getting a class action lawsuit for deceptive practices with this unannounced "model optimization" that actually changes performance as compared to the advertised performance in the official model cards. You have psychosis my friend. They don't nerf the models.
•
they don't have the chips and need the compute
•
And their customers seem to be okay paying
•
This is the answer. Old model makes way for new
What Constant Surveillance Is Doing to Children (theatlantic.com)
Kids now teens. We never had a tv. Only let them watch dvd on laptop. Never allowed them on tiktok. Never gave them surveillance watches (kiddyzoom). I also did not have whatsapp, or even carried my phone half of the time. They hated us for it. Other parents called us crazy. “They should learn how to handle social media!” And now their kids are unmanageable and ours thank us for shielding them.
•
> “They should learn how to handle social media!” They should learn how to handle reality before being inundated with an endless overwhelming deluge of unreality, outright bullshit, and lies. Kudos to you for giving them that chance.
Some of that might be true, but I can assure you, people _really do_ want to prevent harm to their children. Most of the people I know who are using this stuff do it completely voluntarily, not because of how they will be seen, but because they genuinely want to increase safety for their child. Maybe its not perfect, but most parents would give everything they have if it meant saving their child's life or health, so spending a few hundred at the chance is a no-brainer. Seems like "people only wear seatbelts so that they won't get tickets" type of reasoning, which is true for some, but many (myself included) like the additional safety and wear it regardless of law enforcement. I do actually care about my safety and health, and will take reasonable measures for a chance to preserve it; and that same feeling extends to my children.
•
> Some of that might be true, but I can assure you, people _really do_ want to prevent harm to their children. They do, and they should. But due to the fact that this really is a legitimate concern in society, and always will be, it is also an infinitely renewable source of discontent that sways public opinion towards pursuing policies that don't actually help protect children. Nothing short of a total panopticon can prevent 100% of harm to children, if even that. Yet saying "we will have less visibility into the safety of children if we choose to do this instead" is seen in the current climate as one of the most distasteful things you can say. So people are afraid to speak up and find alternatives. Anything short of absolute perfection in child safety is seen as a total disaster that merits the sacrifice of autonomy to prevent the next disaster just around the corner.
This is a classic short-term/long-term trade-off. Being informed at all times is gratifying in the moment. It is harmful for everyone, including the parent, long-term. And seatbelts are one of the cases where it is good short-term and long-term, but you’re right, the same mechanic applies. No one wears a seatbelt because “over a lifetime. I have a lower chance of dying in a car crash“. We wear it because “I’m less likely to die today.“
•
Strange, I wear the belt because I believe it may save me some day over my lifetime. I have very little concern for it happening this particular day. Or at least I used to. Its just SOP now.
It's so wild to me as a millennial who grew up with a single mom who worked all day to see the obsession with child surveillance/protection that permeates society today. When I was a kid, my mom required only that I let her know where I was gonna be, call her if those plans changed and let her know the new ones, and apart from that I was basically out the door by 7am and home for dinner, absent like sleepover plans or something. In the wintery months I was regularly gone for all daylight hours, and yeah she knew where I was, in theory, but I wasn't wearing a GPS, and her up-to-date information on my place of being was strictly down to my communicating that info. And this situation was not unique to me, my friends all had basically the same thing going on with minor differences. And like, I dunno maybe this is a reach, but these were the foundations that IMO made me a responsible human, who is able to move and function in the world autonomously, and it seems like newer generations of kiddos are really struggling with that in particular. Perhaps these are connected?
•
I have heard people say "free range kids" about this.. the one that gets to me is the line of cars in front of each school now.. this is a different age
Santa Claus for the very young; an omnipotent, omniscient and omnipresent God for everyone else. We have at least a several thousand year history of instilling a 'Panopticum[sic][1]-like psychology' in enormous swaths of society. More of the same. 1. please tell me this is a typo
•
It's true that the idea of 'someone is watching you' is very old and a well-tested method of social control. The religious angle may be why so many people are receptive to mass surveillance today. But not everyone is religious, and those that are rarely live with a true, 24/7 feeling of dread and fear that someone is actually watching. The fear of consequences is very distant, and there is often forgiveness for small infractions. That fear becomes very different when you can put a face and a name to the people watching you, and you know they can affect your life in very real and immediate ways. This is the preconditioning that starts with childhood surveillance.
•
It's not "everyone" else though is it. Especially not in the recent decades where this surveillance has become a real thing.
•
What does that have to do with the subject of discussion: instilling a Panopticum[sic]-like philosophy in said kids since their very early ages?
What in that article made you think the psychologist didn't know parents track their children?
•
> What in that article made you think the psychologist didn't know parents track their children? My own thought when reading that was that the psychologist was aghast at the extent of the tracking of that particular app, not by the idea of parental tracking in general.
Queens Public library under ransomware attack e-borrowing suspended (connect.queenslibrary.org)
•
So I do support authors being paid fairly for their work, with attribution, yet I do not support DRM. Since we are talking about e-borrowing I assume DRM are involved. If they are not, ignore the rest. The point of DRM (ignoring their terrible side effect) is precisely to keep on controlling data even after content has been released. There is a validation mechanism (typically pinging back the digital right owner) to insure that the file can indeed be read. So... do not validate all the signed books already out, issue a new key for the library to "e-borrow" (hate that term) once again. Why is this even taking more than 1min? I don't get it. It feels like once again in theory it could be positive but in practice the negative side effects of DRMs trump out everything.
It’s a library. Wipe the system and start again.
•
So you pull everything off the shelves, enter it into the system, then reshelve it. The library has something like 5 million books. How many could you enter into an empty system each day? Maybe 1000? That would take a decade to complete.
When the British Library was hit by ransomware, some systems were down for months. They were old software that didn't run on the newer more secure systems the library had to migrate to. And there was no funding to rewrite them, not without cutting already affected services.
•
The British Library is still recovering from the 2023 attack, more than three years later... some systems are still not available.
Agreed. This is just shitty. Libraries are one of the few things holding the world together right now, and no they don't make tons of money...
•
Yeah. But if 0.1% of humans are in the bottom 0.1% for personal morality, and there are more than 8 billion humans on the Earth...
Fossil CO2 emissions decrease by 0.4% in 2026 (news.exeter.ac.uk)
Scaling out causes us to climb an efficiency learning curve faster than bespoke, one-off weird data centers that require a jet engine to run
•
Again, how does that help us in regards to GP's point? Surely you understand that efficiency does nothing for us if we emit even more on the way there?
I laugh every time I see the power adapter for the Colecovision console [1]. I suspect that my laptop could emulate ten Colecovision consoles using less power than running a single real Colecovision. [1] https://p.kagi.com/proxy/jaJn771.jpg?c=LeUEJczBkA3eiHIb6Q3EKht-v0OYmrlOkzwDl9JghqUUquCOU9RCVEi84J9VF2kq It doesn't quite come across in the picture but this adapter is gigantic .
•
your link doesn't work, and I never seen a Colecovion in person (at least not that I remember). I'd guess the Colecovion has a linear power supply which is known to be very large for the power delivered, and very inefficient. A quick search says the power supply was 28.5 watts. I'm typing this on a laptop with a 15 watt power supply (pinebook pro - about as low power as you can get in a laptop); connected to a USB hub with a 20 watt power supply!. My work laptop has a 240 watt power supply. I'm not sure what laptop you have, but I'd guess it can draw more power than a Colecovision if you worked it - but also that if all you were doing was running 10 Colecovion emulators it would draw less power. We also should mention that our laptops have a screen built in and counted as part of the power consumption. The Colecovion expected to be connected to a power hungry CRT television.
•
Hmm. The link worked fine for me in an incognito Window, so I assumed it didn't require any sign-in. Oh well; you're encouraged to find a YouTube video or something showing it. Laptop is a Thinkpad P16s AMD Gen 2 (name rolls right off the tongue). I don't actually know what the power draw is, but it's plugged into a 100W power supply right now via USB-C.
One of the things that COVID make crystal clear to me is that radical changes for the better are much more straightforward than people think, and the only reason they don't happen is the people in charge couldn't be bothered. https://www.reuters.com/sustainability/climate-energy/chinas-solar-industry-losses-balloon-falling-prices-2025-08-26/ There is no excuse for every government in the world to not be covering every bit of rooftop or scrap land with solar. China is losing money on panels at the moment they have such production capacity. Its free money for anyone country who wants to do it.
•
Solar in Sweden produce at this hour 2.26 MW out of a capacity of 5000 MW, and it is 4 pm. The highest peak today was around 400 MW. Prices are also around 100 times higher than what prices are during optimal sunny summer days (right now it sits at around €0.5 per kw/h). It is possible that solar farms are earning more money today at less than 10% output than during an optimal summer day.
Again, I don't know the laws in other countries, but in the US, it's generally relatively cheap to build your own powerwall with used electric car batteries. Total investment would be less than ~$2000 (United States dollars) though you would need to check your local laws to see if you're allowed to install it yourself or need a licensed electrician. Might be worth looking into.
•
Yeah that's likely not allowed, or really doable. Anything beyond a simple plug-in battery requires a licensed installer. There are some small capacity batteries that aren't that expensive, you just need the room for it. A lot of houses here are terraced, so actual room for a powerwall is very limited. You usually only have a few meters of front and back exterior walls, with big windows. And any apartment owner is going to have to fight with the HoA to install something. Not saying it's impossible for all houses. But I was replying to the "why don't we cover all buildings with solar" sentiment.
•
Please don’t play with used electric car batteries.
•
The LiFePO4 batteries really are't that dangerous. Certainly other types of electric car batteries should be handled with extreme caution.
That the motorways are untolled is not the only relevant number. There is also the tax in petrol which is quite far from being 'untolled'. Taxing petrol is much better for privacy in general than a toll for the roads.
•
Well, it means that people who need petrol are basically paying for EV owners to use the roads. I also worry about privacy but ANPR is everywhere is it not? I remember paying for tolls with cash, but then, I'm ancient...
 Top