One novel part here is every function is required to have tests that run at compile time.
I'm still skeptical of the value add having to teaching a custom language to an LLM instead of using something like lua or python and applying constraints like test requirements onto that.
I'm not sure that it's novel but I'm skeptical about the noise to signal ratio for anything that is not an example.
I think that a real world file of source code will be either completely polluted by tests (they are way longer than the actual code they test) or become
and the test code will be written in another file, and every function in the test code will have its own shadow function asserting true, to please the compiler.
My only comment is being able to call emergency services wherever you are is very useful. Pre-cell phone times was just hoping there was a landline somewhere. And you weren't able to get instructions from the operator and be with a fallen person at the same time.
I'm saying you don't even need a substitute. Genuinely looking back, I was more anxious when I would browse reddit in my free time.
I promise, disengage from social media (and the doom news cycle for that matter) and you'll be happier, or at least you'll worry about stuff you can control instead of stuff you can't.
"Extreme left" said by someone likely from the USA is slightly left-of-center basically anywhere else.
The USA democrats and "left" have been overton window'ed so hard that a actual democratic socialist, Mamdani, is compared to being a communist. https://nypost.com/cover/november-5-2025/
There's also hundreds of Lemmy federated servers. I'm sure some are actual communist. But there's plenty for all walks of life. And it's like Mastodon in that regard.
And honestly, if "killing SNAP and other public benefits for poor people" is capitalist, I want nothing to do with that. That is completely ethically bankrupt. Doubly so being one of the richest countries in the world. Absolutely 0 people should be starving. And I'd also say that 0 people should be involuntarily homeless. (some may want to, and choose to be vagabonds and travel. they should have that right! but they should also be able to choose to have a home.)
>"Extreme left" said by someone likely from the USA is slightly left-of-center basically anywhere else.
This is a 2000s era meme that was started to try and get people to see reason and vote against Bush, but it is not true and has not been for coming up on a decade. The Democratic Party is to the left of many European left parties, especially on issues like immigration and freedom of identity, and its politicians (especially the young ones) regularly pitch welfare state expansions that are more generous than European counterparts (see Kat Abu on 'medicare for anyone physically present in the US, for free'; a more generous offer than even the NHS).
Is that the democratic party or a fringe left that is trying to accomplish something as part of the party ? what policies did the democrats actually implement across the years? Bernie is considered by the democratic party leadership to be a radical(hes not) and would prop up anyone but him
>What policies did the Democrats actually implement over the years?
Roughly in order: Don't Ask/Don't Tell repeal. Dodd-Frank. Lily Ledbetter (extends the statute of limitations on equal pay suits). Making it clear that sexual orientation and gender identity are equal to race in hate crime law. Banning lifetime coverage caps so your insurer cannot simply decide your life is not worth living and banning the practice of excluding pre-existing conditions from healthcare coverage so that you are not enslaved to whatever employer you happened to be working for when you got the worst news of your life. Establishing the CFPB to end unfair credit practices like medical debt reporting. Capping the cost of insulin at $35 per month for Medicare. Allowing Medicare to negotiate drug prices. ACA subsidy expansion. People our normie centrist presidents put on the bench decided Obergefell. People our normie centrist presidents put on the bench are protecting human expression.
You have to engage in motivated reasoning not to recognize these things as making life better. If you want to make life even better, consider voting for Democrats. When you don't vote for them, they become the minority party. When they are the minority party, no amount of impotent screaming or saying please can turn 49 votes into 61 votes, nor can it force Republicans to help them help you.
Bernie is a loudmouth with almost no legislative accomplishments that spent his life building his own brand and ratfucking the party. Of course the party leadership doesn't like him. When you get a rock in your shoe, do you like the rock?
Actual leaders are in the trenches right now embarrassing the GOP with this shutdown to force them to make COVID-era healthcare subsidies permanent. What's Bernie doing except derailing news events to complain that party leadership isn't supporting his faction in comparatively irrelevant local races?
Ah yes, so one candidate for the Democratic primary (she isn’t even a Dem primary winner yet) for one of 434 Congressional seats may have a position that on the edge might be slightly more “left wing” on one issue in one of the more right wing Western European nations, is clearly evidence that the U.S. is no longer far to Europe’s right…
To be fair, setting aside my snark, I don’t disagree with you. The real problem here is simply the fact that the single axis left-right political framework is insufficient to capture even the simplest democracy in the world right now.
And the US has made huge leaps to the left on some axes, but is still far to the right of the European center on many other axes.
The OP says tankies. Those kinds of extreme left are extreme even by non-USA standards. A European-style democratic socialist like Mamdani would be, one hopes, to the right of them. Tankies were largely forced out of European mainstream parties after the shocks of 1937, 1956 and 1968.
Lemmy is occupied by tankies and Marxist leninists and that’s not my type of lefties. They also espouse violence which I don’t like.
For example the main federated server is called lemmy.ml ml standing for Marxist leninists. They are also the developer server hence all federated servers have to federate with them.
I built my private version of Infinity for Android. The steps were 90% automated. They were in a Reddit thread like this one (I just pasted the first thing I found now), although I don't know if the build process still works. https://www.reddit.com/r/Infinity_For_Reddit/comments/1izm7c... -- you have to side-load the app, which is a little tricky because you have to load it onto your phone. I think put it on a private Google Drive.
Maybe similar solutions exist for iOS, but maybe the side-loading is not as easy?
Anyway, on Windows/Chrome I use uBlock Origin and never see any ads in Reddit online. There was a lot of drama about reddit selling out in 2023 (I was sad to see Infinity die), but there are tech solutions to avoid its enshittification.
Well, they could easily push a software update to add ads to your TV without a rollback option and disable features if you don't allow it.
If you upgrade your TV on the regular I guess you'd just buy a new one, but treating it as a dumb display guarantees you can keep using it as long as it physically works.
It should be! When I was a complete newbie at AWS my first question was why do you have to pick a region, I thought the whole point was you didn't have to worry about that stuff
One might hope that this, too, would be handled by the service. Send the traffic to the closest region, and then fallback to other regions as necessary. Basically, send the traffic to the closest region that can successfully serve it.
But yeah, that's pretty hard and there are other reasons customers might want to explicitly choose the region.
I'm still skeptical of the value add having to teaching a custom language to an LLM instead of using something like lua or python and applying constraints like test requirements onto that.