skysight-inc/HackerNews huggingface dataset:
Of course there is still pressure on it to become less deadly. If deadly virus starts spreading, no matter when the symptoms show, people will start washing hands, wearing masks and socialize less. All those acts put pressure on virus to become less deadly.
Even if that were the case, you'd be working very hard, wasting your assurance budget, to prove something underwhelming, like memory safety or other similarly low-level properties. After all that hard work you'd only end up at the same point where most of the software world -- which is already using memory-safe languages -- is today. On the other hand, if you were to spend your budget how they do (rather, should do) with modern unsound methods, you would likely end up not noticeably worse than if you did both.

Remember, the goal isn't to prove some technical property, but to find the greatest number of bugs that matter to you -- those you believe are most dangerous for your particular program or library -- within budget. Researchers are often interested in discovering what properties they can verify, but practitioners care about the functional properties they need to verify.

Deductive methods (including type systems) are particularly myopic in that regard precisely because they're so limited in their effectiveness to begin with. People interested in those particular techniques are rightfully very excited when they discover they can do a little bit more than they previously could, even if what they can do is still so far behind what practitioners need (and are getting elsewhere with more practical methods).

In general, the gap between research and what practitioners think it might mean for their industry work is large in this field and greatly misunderstood by practitioners.
The charitable interpretation, especially for early stage investors, is that your investment will not be the last one necessary to realize a successful outcome.

If a company is having a hard time finding investors now, in the future when it needs more money it may fail for lack of takers, spiking current investments.
>those who were once bullish on full remote, would like to see some form of hybrid setup if it makes sense.

interesting, so many of my peers are full on the remote train. I guess it depends on the age of the workers? I know for sure I haven't heard any one of my coworkers > 35 ever preferring hybrid to WFH.
Don’t do business with people who think putting the wrong date matters.
Look, they are comparing Europe to the US, the current hegemon, and criticise that the US does not include it's history of violence and abuse in its curriculum to the same extend as they do in Europe.

I honestly don't think your comment addresses this criticism at all. You seem to look for reasons why the US shouldn't be criticised to start with, which sort of strengthens the point op made.
I know people here mostly vent, but I was compelled to help because I type in the phone a lot and felt a similar pain after a recent update and it is fine now that I changed the settings.
There is nothing like data.table in Julia, Python or JavaScript (if you want to stick to high level programming languages). It's the best combo you can get for speed + syntax.
> So it's not like this model is alien to Our Kind Hosts at YC. They understand that this is a crap shoot with a slightly tilted table, but they're optimising for staying out of the zones where everybody else is betting and not that much more.

Do you think this still applies, given recent waves of following the crowd in the last few years like crypto, and now AI? It seems that YC is actually in exactly the same hype zones as everyone else these days.
Product-Led AI: Adept CEO David Luan on Upleveling Human Work
Quick TLDR on the podcast conversation:

1. Seth Rosenberg from Greylock hosts "Product Le AI," a podcast exploring AI applications, featuring David Luan from Adept, developing AI agents for enterprises.

2. David Luan, CEO/co-founder of Adept and former early employee at OpenAI, discusses transitioning from robotics to AI, emphasizing the need for products that educate models.

3. Adept focuses on multimodal agents that assist professionals across various tasks, aiming for a future where AI elevates human abilities rather than replacing jobs.

4. Adept's AI agents are customized to enterprise needs, highlighting the importance of reliability and the ability to execute specific tasks based on user instructions.

5. The future vision includes humans coordinating with AI agents to accomplish tasks more efficiently, suggesting a significant shift in computer interaction and a need for infrastructure to support agent operations.
I was hoping the video would show it actually blowing leaves.
Not exactly correct, you are now partners. You own X% of the company and they own Y%. If you want to continue raising you better not be that guy that is constantly fighting with their partners... but your partners are definitely not your bosses.
Here is something that I don't understand. Roman Empire had advanced science, it had lot of people, lot of money and resources, and could have more weapon and soldiers than anyone else. Where did tribes from Asia, who had no advanced technologies, poor economy, no literacy, get the resources and soldiers needed to successfully invade and win against the Empire? Where did they get the weapon? Why they were so numerous if all they did was riding the steppes on their horses? Is riding the steppes on a horse more profitable than building cities, roads, bridges and aqueducts?

Also why don't we see similar things in modern times, why don't wee see poor undeveloped nations successfully invading large developed countries?
Honestly I see this as a losing argument, to be honest. The real answer here is that Rust relies on certain guarantees from its system and when those are not provided what it layers on top of that is not guaranteed to be valid as well. Whether you mark the interfaces to do this as safe or unsafe are really a choice made by the implementer, not a hard-and-fast rule. Nobody will make the interface to open files unsafe, even if it lets you open a file that lets you touch memory that should not be modified. It's because the actual usecase for it is so overwhelmingly likely to be safe that it makes little sense not to. But there are plenty of "unsafe" ways you can subvert the Rust model, by changing what the OS or processor or hardware does, and it's not worth classifying all of those.
Honestly, it looks like it would take pretty minimal effort to just enable SSO yourself. It's not like they can do anything to stop you, right?
Oligoscan
What info did they leave out in the MKUltra series?
The digital world is about to undergo a significant transformation with the introduction of Google AI Search. While the full impact of this technology is yet to be seen, one area that may flourish is organic SEO. In this preview, we delve into the reasons for optimism within the SEO community and explore the potential evolution of the search browser market.
Request for Participation: UK Government Horizon Scanning Distributed Ledgers
Dear Hacker News Contributors,

I'm part of research team at Queen's University Belfast, commissioned by the departments of Science, Innovation and Technology (DSIT), and Culture, Sport and Media (DCMS) within the UK Government. Our mission is to gather evidence on the development paths of distributed ledger technology and assess its likely impacts on industrial, social, and commercial environments through novel use cases. The output of this project will benefit the DCMS and DSIT analysts and policy teams who will be tasked with who will be tasked with shaping future Government policy towards distributed ledger applications.

At this time, we are looking to identify people and groups working in distributed ledgers and adjacent areas who are willing to participate in our project. This will involve interviews and questionnaires aimed at understanding the potential industrial, social, and commercial impacts of novel distributed ledger use cases.

For this, your participation is crucial for guiding our approach and ensuring that future policy recommendations are well-informed and forward-thinking. I've been a long time reader of this fourm and I know there are lots of people here with valuable insights. If you are interested in contributing, please follow the link attached to this thread to register.

Confidentiality will be maintained throughout the project with access restricted to project team researchers only. Information given will only be used for the purposes of this project and will not be shared with others. After the completion of the project, information shared via the linked form will be deleted.

If you have any questions about the project or our future outreach, please comment here or follow the link attached that will show my email for private inquiries,

Thank you for your interest and for helping shape a progressive, thoughtful Government policy towards distributed ledgers!
I'm a hobbyist developer. I haven't been employed in six years. In the past few months I've been fortunate enough to find work as a TVC for Mozilla, which has been wonderful. It's a good lifestyle that affords me a great deal of freedom and autonomy, but certainly not a lot of GPUs. I have an RTX 4090, a few XTX cards, and I rent stuff from Vast occasionally, but that's about it.
HN commenter with this exact idea 2019 https://news.ycombinator.com/item?id=20379490 haha. Good stuff
Cool description :)
> you can suffer more inconvenience to use it everywhere to communicate in immediate mode

If it was as awfully inconvenient as some here claim, I would reply to comments or write emails on my laptop. It simply is not.
Ok, but you claimed otherwise in your parent comment.
KVM Nested Virtualization Bug Hunting
> Virus is not killing as much as it did.

Even that really is impossible to say. Our methods and frequency of testing for CoV-2 infections, both before and after death, have changed dramatically. Previously we were telling everyone to get tested when they feel sick at all, and considering anyone who dies after testing positive to be a Covid death. Now we rarely test and only considering it a Covid death when its as obvious a death from any other cold. We simply can't compare the numbers at all, at best we could say we have drastically reduced how often we mark Covid as the cause of a death.

Noe the excess deaths data has absolutely reverted to pre-pandemic levels, but again we were horrible about collecting unbiased data. Excess deaths actually seem to line up better with the vaccine rollout than with the initial viral outbreak. That could be completely coincidental and a sign that the virus was more deadly in its second year, but again we didn't collect the right data and don't know because during the rollout no one was willing to (or allowed to) consider that the vaccines could be killing people, leaving us with a gap in data that would have been really handy to now be able to definitively show that it was a more deadly virus killing people rather than the vaccine itself.
The switch to electric will help a lot in this situation. Unfortunately I don't think the equipment is good enough contractors yet.
I don't think a May 2021 article – before widespread vaccination even made return-to-office policies possible, and before the tech layoffs – is the best starting point.

Okay, calling CEOs that demand a return "bad" and "fearful" is a provocative take, but the article doesn't back up these assumptions. Much less does it actually explain the reason why bad, and only bad, CEOs "fear" remote work.

With, for example, Apple enacting RTO, one has to wonder whether the author would go so far as to say that Tim Cook is a "bad" CEO who "fears" remote work.
My peers (similar age bracket) are the same. That’s not to say there aren’t downsides to remote work; of course there are. But on balance I don’t know anyone who would willingly go back to in-office or even hybrid.
> Could you sketch in a few bullet point what you think is missing and how to fix the gaps?

Not yet, I am planning on writing some blog posts about it but there are still enough fuzzy points I don't want to share yet.

> ... since the proliferate transitively along the control flow graphs. ... suffer from the same cancerous growth.

This is one of the biggest and most difficult issues of verification, I fully agree. The 'promise' of verified code is that you don't need to understand the code, you can just look at the smaller, higher-level spec, but right now verified code has a specification & proof overhead > 1, it needs to drop to < 0.1 for it to become economical.
Won't help much until these are mandated by law, or.. we just wait for a couple generations to die out. There's a section of folks who enjoy loud engines. It's their jam, they love being 'outdoors' with loud gas powered engines, big trucks, riding lawn mowers. It's a fantasy escape world for them. Over time, the next couple generations may hopefully adopt more battery powered outdoor stuff (mowers, blowers, etc) because of environmental concerns, or... goodness - maybe actual sound concerns. But it's going to be another couple decades, I think. Yes, I live in a rural area in the US. Things ain't changing here any time soon.
https://www.youtube.com/@MentourPilot

Mentour Pilot - a pilot who does air crash investigation videos with aviation safety in mind. There are 100s of episodes at this point and the recent ones are near documentary quality and 45+ mins each.
For drones something similar is done:

"The 1.8 gigapixel sensor is made up of a matrix of 368 Aptina MT9P031 5-megapixel smartphone CCDs."

https://newatlas.com/argus-is-darpa-gigapixel-camers/26078/
The best setup is that my organization builds an office that is a 10-15 minute walk from my existing home and I come in whenever I want. And whenever I decide to come in, everyone else does too. Until that happens I guess I'll just have to settle with fully remote.
I always loved the broken phrase because it implies something really went terribly wrong ;)
Another reminder that crypto is simply an ever growing bug bounty.
This not about blue collar vs white colar. After all corporate programmers and web programmers can both be blue colar, and systems programmers can be white colar (if we're using "blue colar" to mean smaller salaries and fewer percs - otherwise programming is a white colar job anyway).

This is about how many work in kernels/embedded systems/etc vs more common programming gigs. And that's less about how many are trained to do so, but rather how many are needed.
"Their design cuts the most shrill and annoying frequencies by about 12 decibels, which all but removes them, making them 94% quieter. The team reduced the overall leaf blower noise by about two decibels, making the machine sound 37% quieter." [1]

Somewhat upsetting here... I don't have a problem with people doing things like this and students need encouragement, but we are talking about shifting from the sound of a leaf blower to the sound of a vacuum cleaner [2]... in the best case.

One particular annoyance here: the sound emission must be from the end of the blower but also from its casing. I feel many products like these are cheaply designed, and the OEM could solve many of the nuisance issues with simple housing changes... or spending a few more pennies on the bearings or blades in assemblies. These are not OEM primary goals, as they are looking to save pennies in a lot of the parts in these designs.

JHU should make these comments!, and also offer their designs for free given these are public orgs using mostly public dollars... if the result is such a big deal, getting manufacturers to commit to sound reduction in licensing deals would be a true result!

https://audiology-web.s3.amazonaws.com/migrated/NoiseChart_P... [2]
It looks like the same structure.
Jonathan Haidt has a book out (The Anxious Generation) arguing for a causal link between children having smartphones with social media, and the massive increases in depression, suicidality, anxiety and other negative effects in teenagers and young adults over the last decade or so (I believe 2012 is roughly when Haidt claims it all started).

It may well be that Tiktok and the like turn out to have worse second-order effects than DDT, smoking, CFCs, leaded gasoline and other things we've banned or heavily restricted.
I mean I know that...
Count me as anecdotal evidence in the 35+ bucket of those who went from full remote to hybrid and highly prefers hybrid (after a decade of full remote).

Having a thriving office has been a breath of fresh air for when I want to see people. The key is it being optional and up to employees to decide what's best for them.
> From here, it appears you have very much retained your paternalistic European attitude toward other cultures which you deem to be less learned or morally inclined.

Well, the current issues that the US face are so large they are hardly to ignore here. Y'all's regular occurrence of mass shootings even makes national headlines in our media, and we see the cultural issues seeping from US-made media (both entertainment and social media) into our societies. We don't have a real answer to that other than regulation though.

> While you scratch around for an answer, you might also like to remind yourself that European countries maintain undue influence in their former colonies to this very day.

Fair point, France does have its issues in Africa, but at least the colonies are their own independent nations (and do exercise that right, as we've seen the last few months).
Elicit – AI Research Assistant
Dependencies can also do that in node with post install hooks (or in rust with build.rs even if you don’t call into them, I think)
This is going to sound like whataboutism, but while I deleted my FB 10 years ago, it is worth noting that there are also legacy factors like CNN & Fox News (>200k dead in Iraq,) the petroleum cartels, proudly neo-nazi friendly X.com, the greed is good C-suite circle jerk, and many more a-holes in addition to FB.

FB deserves derision, but it is far from the sole reason that civilization is declining.
The critics in mention are annoyed by the lack of mention about AI Bias: "But civil society leaders were frustrated that the road map only made a cursory mention of AI bias, amid widespread concerns that the technology can replicate and exacerbate harmful stereotypes"

AI Bias becomes a First Amendment issue, which is detracts from the larger mission of incubating R&D capacity for the AI/ML space, which was the primary goal of the Senate Working Group.

Also, it's staffers who read and write these - not the Senators themselves.
Unpaid internships in general are the same "people with rich parents only" filter, to a lesser extent.
I don't know, there aren't many countries that imprison more people per capita than the US, including historical countries. There are also lots of political prisoners, secret courts and that kind of stuff.

In terms of winning elections, it maybe is better to simply only have two parties that are propped up by oligarchs' money and offer pretty similar politics but different coloured flags. That way you don't have to imprison any opponents to start with....
I think lockdowns deteriorated a lot of peoples mental health and we will only see the consequences of not addressing it over the coming decades.
The author really seems to hate AI. He has more posts about it than this one
Maybe it's just a UK thing but I can't think of the last time I even saw a non-electric lawn mower. Even going as far back as the 80s they were the standard, just don't mow over the cable!
How would you be able to ensure you that? Even if say, Zoom itself wasn't recording, you can run OBS in the background.

Trust runs both ways.
I also have one, it's called a rake.
What are these "stops" in this context, for the non-photo nerds ?
Would love to know what neighbourhood you live in so that I dont have to get it for my gardener
Generally being a nuisance can be illegal, depending on the circumstances.

https://en.m.wikipedia.org/wiki/Nuisance

If there's a quiet option and someone deliberately uses a noisy one, could that be considered a nuisance?
The Matrix (1999): A Collection of Enlightening Scenes
Note that Haidt's work is... disputed, to say the least.

https://www.thedailybeast.com/the-coddling-of-the-american-p...
It's probably getting there given what Ego has on offer, but I think until it is downright better in at least some dimensions, it's going to be a hard sell. Right now it seems like it's more expensive, at best similarly powerful, and obviously batteries take time to recharge. I think it's gotta be niche for contractors.

That said, given how bad gas lawn equipment is for the air in a locality, maybe regulatory nudges are in order. I suspect if the incentives were right the rest of the problems would solve themselves.
The poetry equivalent would be renv.

R is a highly functional language modeled after Scheme. In many ways it's more powerful than python, especially due to its metaprogramming capabilities. It's possible to write maintainable, readable, high-quality code in R (just look at the Tidyverse[0] libraries). The issue is that the user base is mostly scientists and statisticians, and they just don't.

The bioinformatics space seems especially dire with dumpster fires like Bioconductor.

[0] https://www.tidyverse.org/
I wonder what the fallout of this will be, it seems a lot worse than the maps launch that's given as the reason for Scott Forstall leaving the company.
> One way to look at reference counting is as a sort of eager, optimized form of garbage collection that works in the case that you have strictly acyclic data (or can tolerate leaking cycles).

It's interesting to note that python operates with the refcounting + tracing hybrid described (and I know of production deployments where they force the tracing collector to e.g. only run once every N requests because python's never got that fast either).

perl, meanwhile, is pure refcounting but has weak references so you can make data acyclic from a refcounting POV at the cost of having to pay attention to which parts of the cyclic structure you keep references to (and for cyclic object graphs there are some tricks you can pull to move the weak link around so you don't have to pay such attention, but that would be a whole comment on its own).

koka does refcounting in theory but tries to lift as much of it to compile time as possible in practice, plus if you do e.g. 'y = x + 1' and x has only a single reference to it and is guaranteed to not be used afterwards, it re-uses the storage for y and so can do in-place mutation.

nim, meanwhile, offers something called ORC, which is automatic reference counting plus an implementation of Bacon+Rajan's Recycler algorithm which is designed to collect -only- cycles in an otherwise refcounting based system and as such is really rather fast at doing so.

Coming back to Rust: There's a stop the world Recycler implementation (rather than concurrent as intended both by the original paper and the author's future plans if the itch returns) here - https://github.com/fitzgen/bacon-rajan-cc - released as the bacon-rajan-ccc crate from this fork - https://github.com/mbartlett21/bacon-rajan-cc - and the README for those contains an Alternative section linking to other experiments in the same area.

(I've yet to play with any of the rust versions but love Recycler sufficiently as a concept that I suspect if/when I encounter a situation where it might help I'll be going back and doing so)

If you're having trouble finding the Recycler papers, I stashed a copy of each under https://trout.me.uk/gc/ (and if you're a similar sort of strange to me, you might also enjoy the ones stashed under https://trout.me.uk/lisp/ ;)
I love my battery powered mower and trimmer (wow there's so many names for that)! I can mow the lawn and come back in and relax with a quiet show or game!