skysight-inc/HackerNews huggingface dataset:
I've noticed a pattern that many Ada advocates on HN don't really seem to know the language. So they often conflate SPARK with Ada (as you just did) and make unfounded claims about Ada's memory safety, portraying it as being on par with Rust.

It isn't on par, Ada has no lifetime management whatsoever. It doesn't even provide C++ style smart pointers out of the box. It is possible to implement something like shared_ptr, AdaCore even has a tutorial[1], but as the other commenter pointed out, the language doesn't provide the primitives necessary for unique_ptr.

SPARK does have something like this. In fact, in SPARK, every pointer assignment transfers the ownership. But SPARK and Ada aren't synonymous. SPARK is a formal verifier built on top of Ada. Like most such tools, it's very constraining and time-consuming. It's not something that every (or even most) Ada projects use.

Nevertheless, Ada is a perfectly good language, and it's probably safer than C++. It has some really cool features. I'm really fond of in/inout/out references (cppfront stole this), named function parameters, secondary stack, fine-grained control over records (struct) layout, etc.

However, I'm not so fond of the extreme verbosity. It isn't just because of Algol-like keywords, Pascal is less verbose than Ada. Even basic stuff like instantiating generics is very noisy:

procedure do_something is
package Integer_Vectors is new
Ada.Containers.Vectors
(Index_Type => Natural,
Element_Type => Integer);

vec : Integer_Vectors.Vector;
begin
return;
end;

In C++ that would be:

void
do_something(int arg) {
std::vector<int> vec;
}

[1] - https://www.adacore.com/gems/gem-97-reference-counting-in-ad...
> ...prevents experienced engineers from quickly learning it on the job

The problem is in the longevity of Fortran. The variety of codes accumulated through time makes up for more than one Fortran. Modern Fortran may appear as a new language, yet still very compatible with 'classic' Fortran. MPI adds another dimension to learning it, though there's tooling around it.

The aspect of tolerance to single letter variables and cryptic function names could also be a factor, no kidding.

In general, asking for prior experience with Fortran is reasonable, just as hiring someone to "quickly learn" C on the job is quite non-pragmatic.
I think that's why the parent comment was using the word "should" a lot
> in my opinion, a lot of folks won't take climate change seriously until it adversely affects their way of life in such a dramatic way that they cannot deny it any longer.

It won't. People you are talking about have access to air conditioning. They will not care about people dying in distant places, whom become an annoyance after a while. They will just wish people die silently without complaining.
? I think my comment offered a bit more than that.

I suffer from Keratoconus and have had to deal with the diagnosis that "you may be blind before 30". What I offered are two of my personal ways of dealing with that very same reality. Touch typing has meant that I can write confidently even if I can't see what I'm writing. And using devices + text-to-speech in a way that expands on existing reading habits seems like a reasonable way for their mother to adapt to the use of speech as a replacement for reading.

> Losing your sight is a profound loss, involving grief and other emotions,

The OP was specifically looking for "any tricks or solutions for non-technical people like her that could make her life easier" not psychological assessments and suggestions.
> True right to repair must put some downward pressure on technological advancement

I don't agree. True right to repair means that there are no intentional barriers to you repairing things. Complexity isn't such a barrier. When new tech requires new skills to repair, it is still possible for people to learn those skills.

Smartphones are a good example of this. There's nothing inherent in a smartphone that prevents home repair -- it just takes a different set of skills to do. What prevents home repair are intentional barriers such as digital signing of components, abusing the DMCA, making custom components unavailable, and so forth.
Yes, RDBMS, NoSQL, streaming and analytical systems are all supported.
It is way below the US average for new construction though.
Family of former British PM apologises for enslaver past in Guyana
Legacy... hard to overcome that in a few years when it took many, many decades to deploy the original gear. This stuff is quite expensive, deployed everywhere and needs to continue to be backwards compatible while the new solution is rolled out, which is difficult to achieve.
but pachico, your comment is one of those comments
Are you self-employed?
"Reduce, Reuse, Recycle" was never going to be compatible with our economic system.

Thus, our new slogan. "Buy Green!"
This article recounts an intellectual journey that began in curiosity about the structure of Coleridge's "Kubla Khan" in the late 1960s and has led to an interest in large language models at the present time. A close analysis of the poem revealed its two parts each to have a nested structure (think of a matryoshka doll) that suggested the operation of an underlying computational process (nested loops). That led to the study of computational linguistics (semantic networks), followed by neuroscience (Karl Pribram's neural holography), and cultural evolution. In the 2010s I began following work digital humans had been doing with machine learning. When GPT-3 was released in 2020 I was ready, though it took me awhile to establish a link, however tentative, between that conceptual universe and that of "Kubla Khan."
That's why they don't get involved in the industry, they get involved in something they do understand, administration. If you offer a product that you claim is too complex for anyone but you to service that's fine, we believe you. We won't tell you how to build your product, but in exchange that means your product is legally designated a subscription service with an initial deposit for the cost of the appliance.

And so to make it so your products don't all go to the landfill when they break each product requires a state-administered/regulated subscription service which is charged based on some fixed percent overhead and the rest going directly to the cost of repairs. And every repair except intentional destruction is included in the price.

This isn't making things more expensive, it's effectively a transparency law so that consumers understand the real cost of the goods they're buying and manufacturers can't hide it behind expensive repair bills.
Humans of AI Podcast #8

A great episode with Adam Steinle, founder and CEO of hona.ai, a customizable, HIPAA-Compliant AI that searches and converts 1000s of health records into one simple patient overview!

Adam started out as a biomedical engineer, and after stints at Goldman Sachs and Meta, he returned to his roots to help medical systems communicate so that providers can learn about their patients more effectively.

Definitely give the episode a listen to hear Adam's story!

And if you want to share your story on the Humans of AI Podcast or want to partner in any way, please reach out!
> Your post basically says "it's bizarre you're expressing your opinion, don't do that" - that is not healthy for productive conversation (ironically op's point about those products)

No it doesn't. They're just saying, millions are still using and enjoying Twitter / X and that is fine. If you don't like it, that is also fine and you can still be happy anyway. I don't see a problem with that.

There is no need to misinterpret the comment.
Would you mind being a little less vague about what's so bad about lambdas?
Wouldn’t the rain today spit in the idea of so-called “summer”?
100% Exactly this.

It's outright irresponsible to not take into account the chilling effect this is going to have on seeking treatment for mental health problems.
I think they are referring the the shear number of IPs available and ease of switching.

Not a solid argument, but it is the only thing I can think of though for their argument.
I don't dispute the calculus there, but that's not quite what I read in the passage from the article.

In this case it's the consumer that's made to look ridiculous:-

You can buy the car and get wrapped around a tree. But if the courts don't think Musk should pay you damages for that, then somehow you're more likely to buy the car.
In real world decisions, you have to account for both costs and benefits.

If we ignore the cost of 1700 people dying per day I agree with you. But to me the chance of saving a human life every 50 seconds vastly outweighs the risk to some random local mosquito species.
I worked as a snowmaker at ski resorts for most my my adult life before getting into tech. We always use wet bulb temperatures because it’s a representation of temperature and humidity. With extremely low humidity, you can actually make manmade snow at about +3 degrees Celsius. That was always fun but scary, because a small change in humidity can turn snowguns into water guns in the blink of an eye.
But think about the solution. It's making A/C very accessible and reliable. That requires cheap energy with a high-uptime grid. There are many ways to solve this problem but adding difficult to meet constraints to energy companies that risk price and availability is not one of them.
I believe a big chunk of the NY city budget is property taxes on the big boi buildings all over, as well as private houses. This is why NY is squeezing so hard on things like parking tickets and the MTA, because they are having budgeting issues :( Remember that time where they were overly aggressive ticketing people for seatbelt usage (I loved that because it made people actually buckle up) and it was 100% because they needed revenue.
It wasn’t that I couldn’t find a terminal supporting background images (indeed, this is very well supported). It was that I couldn’t find anyone referencing using subtly textured (slightly noisy) images to avoid a very solid background.
Or even not depending - if something similar happened in English I'd just 'autocorrect' on my hearing to assume they were saying the saner thing or that contextually made most sense, even if they'd pronounced the other perfectly.
The US does that too in most places. 5+4 zip codes. It's still not enough and suffers the same precision issues and we (the USA) are woefully ill-prepared for the housing build out boom that will happen in the next decade. We need a better system. We will exhaust our zip codes like we have our IPv4 addresses.
London could just require they be left in designated bike parking. The plus side being that London would have to build far more bike parking, which is sorely needed in any case.

Go one step further and require the companies to ensure their bikes/scooters are returned to the corretc spots.
> But if you’re trying to make a process than can take junior devs (not junior in tenure, but junior in the qualities above) and produce an output that scales almost-kinda linearly with dev count, it sort of works.

I don't think that's even the case. I've been brought onto teams of junior (in the sense that you talk about) developers to help fix broken, late projects. Those projects had always been managed under some sort of agile process, and they still ended up in trouble. I wouldn't even say the process "sort of" worked before then. I dunno, maybe it would have been even more of a disaster without the process, but I still don't think that lends much praise to the process.

I'm lucky that I can pick and choose what sort of projects I work on these days, and I will never work at or for a company where I'd be subject to any kind of agile garbage. Another toplevel commenter farther down mentioned a study that showed that projects managed under the "get to work and let me know when it's done" model outperformed all the others. I've always intuitively believed that model can work (though perhaps not in all situations with all types of developers), and it's nice to see some data to back that up.
I've never seen and article about 'therapeutic worms' that didn't include some discussion about the risks of worms, and indeed the article you linked to listed ten possible complications. There's almost always some comment about how we treat worms for good reasons, but maybe that comes at a cost.
I think it still depends on local circumstances.

For example, in Germany, a lot of the privacy culture (and therefore, laws) came about because of how the secret police terrorised the common people, for example, using secret recordings and worse (e.g., secret evidence).

But in other places, sure, I would agree with you.
Not even remotely the same thing. You completely glossed over me saying potentially broken software and heavily populated. Surely there is a way to simulate a left turn signal in a more safe manner on software this early in the testing process.
Being a farmer, that is likely. So wouldn't those who seek other types of up-to-minute news continue to see that for the same algorithmic reasons?
She's great. She also has a fabulous recent video on LOTR.
Teams doesn't use an XML message spec [0]

[0] https://learn.microsoft.com/en-us/microsoftteams/platform/we...
> When humans make this mistake, they stop the car themselves. When this car made this mistake, someone else (Elon) had to stop it.

For me this is the important part. Too many people already drive far too distracted. Imagine giving many of those same distracted drivers a great reason to ignore what they're doing even more. Very frequently when I'm stopped at a traffic light I'll see the person next to me on their phone waiting for the light. Would we trust that someone doing that would lookup when their car starts driving into the intersection?

I really do want self driving cars to be a thing but I wish we were going about it a bit differently and I wish other people who wanted it didn't play things down as much as they do.
I'm talking about FSD in general, but maybe I should broaden my statement: If it's being used on public roads with other drivers, it's moved beyond "testing" and into liability territory. None of the people on the road with Musk consented to being part of his life threatening experiment.
> not the least of which if a veteran is caught lying, he loses his benefits and may even have to pay them back

If you claim PTSD, trauma, or back/knee/joint pain without fabricating the material circumstances of your injury (lying about where you were stationed or what you were doing), there is a 0% chance you will be accused, much less convicted, of lying.

Look for a single vet disability fraud case (and there aren't many, period) where the conviction was for anything other than outright fabrication of service record.
Or if you have children or pets that still occasionally wake up needing something in the middle of the night. Once you've been up randomly for 30 mins somewhere between midnight and 3am, getting up at 4am is much less appealing
It wasn't that long ago when people on here thought that Twitter was about to be replaced by Threads.
And their command line `kbcli` did impressed me, very easy to use. kbcli helps me create various clusters in several minutes. I have been working on mysql developing for more than five years, and I guess the ApeCloud team are very experienced in operating at least mysql.
If a thing that used to be a 1 in 100 year event starts happening every 10 years and all the science says it's because of man made climate change then yeah we can totally do things to make it go back to happening once every 100 years again.
Don't find the time to learn after work, learn during work (unless you work in a different industry, such as construction).
… Wait, how does this work? Regulator slaps down a company for dodgy advertising, which… somehow has a negative impact on two unrelated companies? It’s (a) not clear to me what the mechanism of action is here and (b) unclear why a regulator should care even if there was one.

Note that even in cases where the company being punished was the company that governments cared about, regulators usually aren’t too shy about this. US and European governments are big Microsoft customers, say, but both US and EU regulators have punished MS for bad behaviour in the past (and, particularly in the EU case, forced it to change aspects of its business practices).
So ... someone or some entity should not attempt to start a new Twitter-style because Cal Newport says it will emphasize negativity?

Surely the vast amount of brainpower could go into perhaps modifying the style or the algorithm, or tweet length, or some variable to help? Surely there is an embedded solution, somewhere in there.

That's why I'm saying headlines like this are stupid, there are literally near infinite variables that affect outcomes. This opinion as a statement of "what is best" is literally useless, like what true value does it offer? Do you think companies read Cal Newports blog and are like "gee I guess building a new twitter clone exactly like it is could lead to increased world negativity... better not do it"

I would read this article if it were like "Ways to Reduce Negativity in Twitter-Like Algorithms." Now THAT would be useful, and interesting.

Or even, if he doesn't want to think about solving it, then "Twitter-like platforms lead to increased negativity". Now it's a statement of fact and its up to the reader to use the information usefully, ("Hmm.. maybe I shouldnt build this new platform, or I should change how I look at it") rather than treating the user like a bumbling child.
Grades depend on how students do on tests but also whether they do their homework and follow school rules. For example, schools can reduce grades severely for cutting class, even if a student has learnt the material by the end of the term. Since boys comply less than girls, this will hurt their grades more on average. Should grades not reflect behavior? If so, how do you get students to not be disruptive. It's easy for a class with 1 teacher and 20 children to degenerate into chaos if students can ignore rules with impunity.
That secondary stack is cool! I want it for my C++ programs, particularly std::string which always heap alloc.

begin

return "Forty Two";

end Get_Answer;
Yeah, a good nuance that my original comment did not capture. Thanks. I edited my original to try to make what I meant clearer.
There's a middle ground between "no right to repair" and "you can legally modify volatile Lithium battery packs in a multi-tenant building".

NYC has had over a dozen e-bike related fire deaths year to date, almost entirely killing bystanders. One guy was modifying battery packs in his kitchen, ran out the front door with his arms on fire and his whole family burned to death. A shop in Chinatown was letting dozens of customers charger their batteries overnight in the store and the fire killed tenants upstairs.

So we obviously need right to repair on electronics, but people questioning if we need carve outs for things like battery packs are not Unabomber luddites.

I have some home power tools that use lithium battery packs and they are extremely rugged and overpackaged for safety reasons compared to what I see on these e-bikes. That may be another avenue of regulation is simple minimum standards to thermal runaway resistance and containment in consumer grade lithium battery packs.
Earnest question: what makes you doubt the depiction? Trust in infrastructure or institutions?
Yes, about 50%. So for the same amount of energy you need a larger and heavier battery. Typically the largest capacity Lithium Ion in 18650 format is roughly comparable to a 26650 LIFEPO4. And then there is still the voltage difference (nominally 3.2 for LIFEPO4 and 3.6 for Li-ion).
Self taught programmers come in different flavors but people tend to think of one type when talking about them so it is hard to have good discussion. There are classic self taughts, like George Hotz who had an interest that naturally developed into a career. There is also the newer self taught, like the 40 year old fry cook who realized one day they needed a career and saw a bootcamp ad or a story of someone in their position brute forcing leetcode for 3 months and landing a 200k job at google. In some way even people with CS degrees are self taught programmers. You learn programming by spending hours in front of a computer just like you learn to drive a car by driving not just by sitting in a classroom.
Do you think so ? Maybe I've been immersed in Rust for too long but it doesn't seem difficult to read to me.

Here's Barry Revzin, a C++ programmer, explaining what he wants with a Rust example

https://brevzin.github.io/c++/2020/12/01/tag-invoke/#this-is...

Now like I said, I'm a Rust programmer, so of course I understand PartialEq's definition there, but, is it really hard to see what's going on as a C programmer? There's a lot of magic you don't have, you don't have traits, or references, or the Self type or the self keyword, or really any of the mechanics here, and yet it seems pretty obvious what's going on, doesn't it?

I literally don't remember any unpleasant surprises of this form when learning Rust. Actually mostly the opposite, especially for != I thought, from experience with other languages like Java, C++ or Python, OK obviously at some point the other shoe drops and they show me that I need a deep comparison feature. Nope, Rust's comparison operators are for comparing things, it isn't used to ask about some surface programmer implementation detail like the address of an object in memory unless you specifically ask for that. If Goose implements PartialEq, so that we can ask if one Goose is the same as another Goose, then HashSet<Goose> also implements PartialEq, so we can ask if this set of geese is the same as another, and HashMap<Goose,String> likewise, so we can ask if these two maps from geese to strings are mapping the same geese to the same strings.
Standardising the batteries so the connector imposes a certain level of safety would seem like a better solution than making it harder to repair. You can also discourage e.g. self made batteries through insurance policies like you do for cars and homes, i.e. you're not covered if you use a non-certified battery.
It’s funny, but the balance board makes it possible for me to stand for quite a while with no trouble. I think it’s because I’m constantly shifting my weight.
Looks solid.

Thoughts when viewing:

* Homepage looks aesthetic

* Hm, what does it do exactly

* [Clicked video]

* Oh, it's hosted on Loom, I don't like that because then it'll show my name if I play the video

* I wonder how it compares to the other prompt eng tools I know.

Suggestions: Use youtube for video hosting and embed it on the homepage and/or include some screenshots on the homepage. Consider also mentioning how it compares to other tools for prompt eng eg with a comparison table.

See also: https://news.ycombinator.com/item?id=36342910
There are two alternative behaviors I can think of:

1. The service operator prerenders link previews on its own servers, then sends them to the client, which means that it needs to be privy to the contents of messages. I suspect this is already the case for Skype, but it's a feature that (say) Signal can't do this.

2. The message sender prerenders the link preview. Where link previews are interactive (I'm always impressed by linking Bandcamp in Slack, for instance), one could easily accomplish the same with some malicious JavaScript.

I'm not sure any particular behavior is "better".
iOS allows for installing a website as an app. You can install PWAs without ever using the App Store.
And lots of crazy trolls. Not recommended.
The B&M Gate Foundation devotes $1.6B to fighting disease annually. It's an everyday occurrence for the organization to publish data like this and only contrarians living outside of reality will say otherwise.

https://www.gatesfoundation.org/about