skysight-inc/HackerNews huggingface dataset:
I think that both AppArmor and SELinux are unusable in practice due to lack of better tools for generating those configurations.

There needs to be better graphical tools for this, like a "profiler" or similar that watches a process for a specific time for errors in the config and that incrementally adds features while the process is running.

In my opinion, systemd sandboxes are where it's at. [1] They are seccomp based sandboxes, but have a lot of isolation and sandboxing features that are very easy to use, and they can also be incrementally enhanced with both SELinux and AppArmor profiles.

[1] "man systemd.exec" or https://manpages.ubuntu.com/manpages/bionic/man5/systemd.exe...
If they can succeed in making anything that is good enough to be approved by the FAA or to be used in anything then honestly I would say that as a massive win for them.
I remember approaching it at least twice, but it didn’t click for me. Should try again, thanks!
The usual reason would be because you need a large infusion of capital to expand your successful business into a major corporation. Slow growth might be a slow death if some other bigger company gets into the space and eats your lunch. I don't disagree that too many companies go public with little plan beyond "make lots of money for the founders", but there is a time and place for it.
Despite appearances, dynamicland isn't about any particular paradigm on its own. It's a set of values and a way of looking at media that come together to create computer-literate communities and even culture.

This is obviously a bit vague, especially if you look at all the things they're doing with the cameras and the projectors and the dots and all that. There's nothing stopping anyone "running" dynamicland on anything else.

It's a completely different way of looking at computers, and it's basically saying "monitors, keyboards, mice, projectors, smartphones, tablets, laptops, vr headsets and xr headsets are all different kinds of ways to experience computation in the flesh. We want to explore what happens when we change the fundamental assumptions that computing is something you do (alone) in front of 'a computer'. What could computing look like if it was reimagined from the ground up, and we used people instead of person as our target audience, space instead of product, extensions of existing media rather than inventing new media, literacy instead of profession".

It's difficult to really explain in one go, I've been following Bret Victor since before he even started ok CDG

Regardless, I think it's the future for precisely one reason; it's easier, cheaper and more powerful. People can and people will integrate it with all the high tech stuff that we already have, that includes powerful desktops, vr, smartphones etc.
It's fascinating to see how Zen architecture has evolved and how its advancements are impacting performance in both general computing and specialized tasks like those using CUDA and Tensor Cores!12345
I’d love to be able to use the GitHub integration with a personal account. Currently I use claudesync that works pretty well but I’m figuring it’ll stop working at some point
Change Management Tips
I’m looking for a tablet coding solution.

I’ve just been hating siting at a desk for any period of time. I can’t figure out what it is about a desk. Maybe it’s an adhd thing?
Thank you. I still don't exactly get it though. What's with the books on a shelf?
I have a Supernote A5X! It's great! I got it to replace my old rm and never looked back. I also recently bought the Supernote A6X2. Not sure which I prefer size-wise. Sometimes the smaller A6X2 is great, especially for reading. Other times drawing on the A5X is more comfortable.

One thing I don't like about the A6X2 is that there is a noticeable gap between the screen and the pen. This gap isn't there (or maybe is just way smaller) on the A5X. The screen on the A6X2 is also textured, I guess to try to mimic paper, but I grew to like the gel pen feel of the A5X screen.
I agree- but I don't think anyone is saying it is right for every dam. However, a lot of dams probably just aren't worth it on net when you do consider all of the factors, and massively decreasing prices of alternatives.

There aren't really solutions for migratory fish that support the kind of populations the rivers supported without dams... especially the ancient and poorly designed dams already in place. For example historical estimates are that ~16 million salmon migrated in the Columbia river despite being a major food source for a large number of Native Americans over a massive area. Nowadays, with every practical measure in place, lot of hatcheries, and almost no fishing those numbers are only up to ~1 million.

Obviously we're probably not going to return to ~16 million, but the impacts of not doing so are widespread and far lasting- for example salmon coming upstream are historically a major source of nitrogen for the forests in the northwest, and without them long term, the forests will be something substantially different and diminished - with far reaching impacts on the entire ecosystem and many other resources of value to humans[1].

Gradual loss of the deep soil and peat from those forests also causes flooding and drought as the soil no longer stores large amounts of moisture that is slowly released over the dry season- e.g. ecological changes from dams may in the long term actually make flooding and drought more severe rather than less.

[1] "total annual growth per unit forest area (m2·ha−1·yr−1) was more than three times higher at spawning sites relative to reference sites"

https://esajournals.onlinelibrary.wiley.com/doi/full/10.1890...
Not necessarily. I sometimes get higher framerates on Linux via Proton than I get on Windows for the same games and same system.
You said: "In a typical suburb, providing a 2-3 minute wait would require one idling self-driving car per hundreds of houses." with the implication that this is an alternative to car ownership and would vastly reduce the number of cars.

>it can displace a lot of second and third cars even when it's barely touching primary cars.

I agree although things like Uber and Zipcar have already reduced the need for lightly-used second cars which are what I mean by marginal cars.

All I'm saying is that if the only way to get fully autonomous vehicles is through a third party service, most people will pass and just take whatever autonomous features they can get in a vehicle they buy/lease and live with that. I certainly would.

Very few people would argue that having the option of owning a vehicle capable of safe fully autonomous operation (with manual override) is a bad thing. We're just saying that having full autonomy only available as a third-party taxi service just isn't very interesting relative to today except perhaps at the margins.
Since VSCode can be installed as a PWA on chrome, is it installable on iPad as a PWA app to use from the desktop and avoid pressing back to a webpage?

Also interested how it handles when network is lagging. Is the input laggy or does it smooth on the client and it syncs once network stable things sync?
Ballistic missiles, being ballistic, have limited accuracy. It's also easier to detect them (flying higher and with larger radar signature) and tell where they're heading.
Agreed. I got the RM2 because I thought it’d be “a notebook I can search.” No. I regret every piece of writing that has ended up locked up inside that device vs on paper notebooks.

It’s like an anti-discovery device.
This is ultimately why I returned my M4 iPad pro. Amazing hardware that's so limited by restrictive policy that it amounts to little more than a fancy dumb terminal.
Solves a key need to make AI Agents useful!
Since the time that many of those dams that are worth demolishing for poor repairs/maintenance the federal government has also made it harder to get permits to build new dams. They require more environmental studies up front. They require more study of downstream effects. Things like salmon, which are very sensitive to changes in river conditions, now have to be taken into effect earlier in planning stages and it is a growing requirement that any river to be dammed that include salmon hatcheries now has to plan for sub-projects like salmon runs (or with certain exceptions salmon cannons).
It's about propaganda, if they keep saying Musk didn't found SpaceX(real comments on Reddit) and keep upvoting those comments, and downvoting anyone saying he did with sources, then eventually new folks will believe that he didn't found SpaceX.

On Reddit, mods of large subreddits like /r/news are permabanning people that just post an official SpaceX response and are censoring the comments. It's wild out there.
> Honestly, it's probably the one science demo that blew my mind when I saw it. It's SO slow. And we had already learned about the math behind it, but was amazing to see in practice.

Many years ago (searching... Amazon 2017) got a fidget toy that did that... and digging around, its https://www.moondrop.space (It was $25 when I got it (for the set of three)... I wouldn't spend the current price on it).
Massive respect for the craft. Knowing the details of the text rendering myself, goosebumps. :)
You said that each state has equal importance to the union, right? So what would you say if California had a state vote and decided to split into 5 states. There would be states for the LA, Bay Area, San Diego, Sacramento, and a 5th state for all the other areas. California would gain 8 new senators just by dividing its boundaries, and it would probably all be the same political party.

Or the same for Wyoming. Why not Wyoming just declare that it is now 4 states and quadruple its representation?

See the problem here? This assignment of senators is arbitrary and has nothing to do with representing states. States aren’t people.

This system isn’t really designed with the incentives or guard rails to do what you say it does. There’s nothing that requires a senator to be this image of a dignified senior statesperson that represents the interests of the state in the way that the founders imagined.

Case in point: JD Vance became a senator with zero public service experience. He has no longstanding relationship with state congresspeople in Ohio.

The founders made the constitution in a time before our advanced financial and media landscape. It was also conceived at a time when states were barely even agreeing to be united into a single country. It was also made at a time before mass urbanization.

With all this context in mind I can’t really see what the Senate’s purpose is besides disenfranchising voters in larger states. Congress isn’t really there to make sure that smaller states are satisfied, it’s there to pass federal laws in areas where the federal government has authority over states.

It’s not even legally allowed for a state to secede. So why are the needs of arbitrary state boundaries more important than those of the people?

I would argue that the founders might have been wrong to decide that we need a check on the desires of voters. They were clearly wrong on the electoral college, which should just go away entirely or at least change to a more granular system like the states that split their electoral votes.

I would say that the best thing we could do is expand the House of Representatives to around 2,000 representatives and then eliminate the senate entirely. Or, perhaps, turn the senate into a subcommittee of more tenured representatives elected by members of the House of Representatives.
Pick Your Distributed Poison
What an unfortunate naming, I thought I'd see some gravitational waves (as I have no idea what alphafold is).
The best thing about this website is that it was made in Dynamicland, which is the most bootstrapp-y & Dynamicland thing ever:

https://x.com/worrydream/status/1831035663703212350
I enjoyed our collaboration to integrate with our MultiOn agent platform. Try it our if you are building AI Agents for the web.
Guess I will stick with Windows 10 IoT Enterprise LTSC 2021 which is supported until 2032, and just home some better option is available by then.
For anyone reading this site, sure. Generally public, hell no.
> 1. How did a SWE start and raise funds for this company

Back when I was a CompSci student two of my friends did their dormmate's fluid dynamics project overnight in exchange for half a liter of fluid dynamics. Personally I was more into helping my other friend with his analog circuit assignments.

What I'm getting at is that Software engineering is not completely removed from the rest of STEM fields.
Nobody is actually offended.

You are only offended on behalf of hypothetical other people, seeing an opportunity to score political points.

Not only am I not impressed, I am disgusted. Being offended on behalf of other hypothetical people to score political points at other people's expense is a scourge on our culture.
Internet Archive Responds to Appellate Opinion in Hachette vs. Internet Archive
Some numbers: Swedish electricity production in 2023 was 163 TWh. It's for all practical purposes 100% renewable or nuclear, with a mix of approximately 40/30/20/10 hydro/nuclear/wind/other, where "other" contains 2% solar and the rest is pretty much just electricity byproducts from district heating.

Also in 2023, district heating delivered a total of 53 TWh to customers. About two thirds of this came from waste and biofuels, specifically 47% renewable biofuels (mostly woodchips, bark and other forestry industry byproducts) and 20% waste. The remaining third came from an eclectic mix of inputs such as industrial waste heat (7,5%), heat pumps (5% net, that is after the electricity consumption has been subtracted), exhaust gas condensation (11%), biogas from landfills and compost (2%), fossil fuels (2,5%) and various other stuff. Turns out my info about peat was kinda out of date; it's been almost entirely phased out now.

Average CO2 emissions for the electricity generation was 41g CO2 equivalents per kWh, and for district heating about 55 g/kWh. Countries with less emissions than this do exist, for example Norway and Iceland are down around 30 g/kWh, but this is already better than almost every other country on the planet. US electricity generation for comparison averaged 369 g/kWh in 2023.

So: replacing all of the district heating with heat pumps would be an insanely huge project requiring a massive expansion of electricity generation, and it would have very low return on investment when it comes to reducing CO2 emissions. There is also the problem that heating energy demands are extremely uneven and unpredictable, both over the year and between years. You need a significant amount of extra capacity for very cold days, and even averaged over the year the difference between an average winter and a cold one can on the order of 20%. Just burning stuff works great as a solution for this, it's easy to have capacity on demand. Air-source heat pumps also become much less efficient on very cold days when you need them the most, which is why they're not that popular for heating here (people prefer ground source heat pumps, but those have limitations in densely populated areas because the ground doesn't contain infinite energy).

Also, a side note: the heat generation in district heating plants is extremely efficient compared to electricity generation using combustible fuels. The average efficiency of the heat generation in these plants in 2023 was 96%, and that's before exhaust gas condensation is taken into account.

In other words: there's a reason we are doing things this way.
Location: Germany
Remote: Only (though occasional travel for RL meetups are OK)
Willing to relocate: no
Technologies: Python, Perl, SQL, Gitlab CI, container, ansible, ...
Résumé/CV: https://moritzlenz.de/files/CV-Moritz-Lenz.pdf
Email: moritz.lenz@gmail.com

Software Architect and prolific individual contributor, always with an eye on security and long-term maintainability. Very happy to interact with Open Source communities.

I speak English, German, and bit of Norwegian (Bokmål).
I fly a fair amount, and I haven't been in a situation where I had to arrive at the airport 90 minutes before a flight in years - typically 1 hour is plenty of time, and if I weren't optimizing for low-stress, could get away with 45 minutes most days for domestic flights.

90 minutes out of 17.5 hours of travel ( 16 hour flight from SFO to Singapore) represents a small amount of 'incompressible' time - cutting that 16 hour flight down to 8 or 10 would make a HUGE difference, especially given timezone/IDL issues.
Just until the $50B series A
I recently went back to community college for Calculus; partly because I'm sick of being a CRUD developer, and partly because it's cheaper than therapy. One main issue I have with math education is that it seems like professors go out of their way to come up with contrived examples in order to demonstrate a concept, but they don't apply similar effort into coming up with pragmatic examples of how to USE the concept. (I was the "when will I ever use this?" kid). I think math exists to solve real problems, so we should give examples of solving real problems

Math classes are often constrained for time because their curricula are mandated by an accreditation institution rather than designed by education experts. I feel that math could be taught less mechanically and with more historical context for the concepts. I've heard that people retain information better when it's paired with a story, so I feel strongly that history should be taught side-by-side with math
There are some similar-ish systems with alpha-level install instructions: https://folk.computer/pilot
There aren't a lot of Indonesias left.
Semi-Annual Reminder to Learn and Hire for Web Standards
I get the feeling that companies like this are trying to get a bunch of IP together, and then get acquired by a major player that wants to get ahead.
Some people think 38 TOPS claimed was itself some sort of groundbreaking achievement, despite it being just a lesser substitute to iGPU, closer to a biggest shipped E-core so far or fastest on-chip video encoder back then. That's the misleading part.
Link to the full court decision: https://ww3.ca2.uscourts.gov/decisions/isysquery/797361df-8d...
They are not "light," though.
I don't like the implication either. And I agree with you that focus
is different. It seems unfair to compare Debian and Redhat this way.
One is a "bottom-up" DIY distro where you can start with almost a
kernel and basic userspace and build-up. The other is a more mature
product targeted at commercial, public facing infrastructure.

The former strongly implies that, if you're using it for the latter
case, then you really better know what you're doing. But this
capability/competence versus task-fit gets glossed over in the
paragraph where the author basically says; because Redhat chose to be
a bag of dicks, jumping ship to Debian is the "logical move". It isn't
if you don't know what you are doing. And it's sad that RH exited this
space leaving a civil cybersecurity hole. The lack of a truly Free
and "OOB secure" OS seems the case in point.

There are other reasons to doubt the security of Debian, but "you're
using it wrong" isn't the best one to discuss.
Matter in other galaxies would behave differently from matter in the Milky Way if fundamental constants are not always true. I argue about this sometimes. Others keep stating that the wavelengths are equal, so everything else must be.
Some of the issues are way downstream of those NIMBYs:

Non-housing costs are quite low in Taiwan. Food and childcare, in particular, are so much cheaper than California that it’s hard to believe.

But the NIMBYs aren’t totally in the clear. Rental housing with 3+ bedrooms (for families) is severely lacking in much of the US. Maybe fire codes are to blame. Taiwan is full of very nice new high-rise development that contains units with lots of bedrooms. Wandering around those developments and the new 3-story developments in California, the ones in Taiwan are much, much, much nicer, even from the outside. The NIMBYs should take note.
>If rooftop solar costs me $300/MWh, that's a third cheaper than the $450/MWh charged by my local utility provider. So, even without any subsidy or feed-in tariff, it would be rational for me to install solar, use it when available, and fall back to the grid when it's not.

If you want the capability of using your own rooftop solar, you need to install a much more costly battery backup system. With a typical solar system, the electrical output is sent to the grid. (So, if there is an outage on the grid, it will also shut down your panels since they don't want you to possibly electrocute the electrical workers.)

https://help.pge.com/s/article/Will-I-still-have-power-durin....
Weightlessness no doubt ruins a lot of the fun we have on Earth, no doubt adds a good deal more though.
The intro video looks very cool! I would love to try it but I doubt that'll be possible.
It was one of the first foundries that focused on external ip and not producing its own chips
This happens to me periodically as well. I can't explain it, but all the sudden I just hate being at my desk and/or in my office.

Luckily I don't use an IDE (just Vim) so my solution has been to take my laptop to different places, sometimes around the house and sometimes outside. A coworking space a couple days a week seems to help a lot too.
I'm telling you the emperor has no clothes.

Either way: Honest people would tell you the terms and conditions like that before asking about your price. Even if it's legal, its dishonest. "Whoops we accidently made as much duress as possible for you to sign our contract that we are just revealing now."
Learning to Code Without Mathematics
Did you read the remark at the end of my comment? In the practical cases I was exploring, that combinatorial explosion does not happen. It's relaxed in the sense that it is coordination-free.
I think we just call that a small business owner.
I prefer Debian as a workstation, though I tend to use FreeBSD for storage (ZFS), and OpenBSD for network edge servers.
The books are the books that are recommended to read if you want to understand what they're doing and what prior work they're building on.

Bret mentioned computer literacy on the website. The books you can consider as "the curriculum" or "the theory" or what have you.
From what i can see as an admitted outsider, payment rails are more complicated than they look, and most of the crypto partisans arguments to "replace" functionality are a mix of 'ignoring that part', or 'we don't want that part anyway' + a few API calls.

Problem is, the world consuming these things mostly seems to want those parts, and can't ignore those other parts. Which seems to explain relatively low uptake.
My question is, why aren't existing airplane manufacturers and airlines doing supersonic?

Why is it a startup without the same engineerforce or airline experience?

Is the goal to sell another dream after dream to enough whales to be able to cash out on secondary like Uber and WeWorks?

Seems like the most successful startups isn't actually finishing a product or providing forever jobs but sell enough of the half baked dream to enough investors to discover liquidity.

That doesn't seem like a very good thing for the economy in the long run. Money and resources are spent with the sole purpose of producing a few billionaires who will park their money outside the economy and pay little to no taxes and have it insured by bailouts by the people who made it happen.
No, it's trying to prove that Euclid's parallel postulate can be derived from other axioms is what goes back millennia. People were certain it's a) true, b) necessary consequence of other axioms. Gauss was probably the first to consider the possibility that it may be false; others at best tried reductio ad absurdum, arrived to some wildly unusual theorems, decided those were absurd enough to demonstrate the truth of the fifth postulate, and went back to trying to derive it.