skysight-inc/HackerNews huggingface dataset:
Anton Petrov regularly covers topics like these and encourages sharing with people interested in space and sciences.

https://youtube.com/@whatdamath
I’m noticing a pattern in your arguments.

You need to understand that I (and I suspect many others) don’t have the same experience as you. I don’t _fight/battle with_ the type system, I work with the type system - and I enjoy it. It saves me countless hours. I don’t actually use javascript without TypeScript anymore - it’s simply not worth _not_ using it - for me.

You ask whether it’s worth using it - and you keep telling people not to explain the primary benefits to you. The answer is yes for many people. It seems like you’re looking to be convinced that it’s worth it but you don’t want anyone to tell you what you already know. I’ve done this myself in the past - I’m not saying the situation is the same for you but it might be worth looking inside at: when I did this it was because I knew that x was worth it but I’d put myself in a position where getting down off my hill and accepting that x was worth it would require me to admit that I’d been wrong about it. Now I could double down on my position that x was simply not worth it, or I could come down slowly and start to enjoy the benefits of x more openly.

If you kinda feel that what I’ve just said might be a factor for you, then that’s already incredibly brave. If you’re interested in taking it further I can recommend role playing: for a week (just a week) role play as someone who thinks x _is_ worth it. Adopt the positions on the benefits that you already know. Act like you love it, act like the type checker REALLY helps you and saves your time, act like the types aren’t all that bad and CAN be used in usefully-constricting ways, and of course, help make your code even more self-documenting. You’ve gotta convincingly act, as if you’re going to win an Oscar. The audience fully believe you’re a true, light-seeing advocate for x.

Being able to change your mind is a great, noble and immensely valuable skill, and I can see that’s what you’re trying to do. Consider role playing as an advocate like I suggested above and perhaps you’ll have a new tool in your toolbox.
third party libraries can be a pain even when completely typed, if their types rely on complex inference, are really complex, or make heavy use of subtyping
Show HN: An AI Assistant for Obsidian
As a non-American, the “pay for the kids’ college” (in cash) meme stumps me. How do people expect children to value their education, or the importance of that investment in terms of time, effort and money, if they’re handed such a gift on a silver platter at an early age? Frankly it smells of status signalling on the part of the parents
CppCon 2022: -memory-safe C++
They're not though. Your comment says

> people who are bad at it likely just aren't trying very hard.

which rather ignores the differences in how people's brains work. The person you're replying to says they're definitely not remembering names well because of any kind of effort they put in moreso than you might.
>I agree that is not a good example

It's actually a great example, because in JS Math.sqrt("4") returns 2 because of JS's idiotic type coercion rules. So if you're passing in user input and don't typecheck it, it will work fine until someone inputs a letter instead of a number.
I mean who can forget Butt Boy
Sure in a sense, but my feeling is that this is often taken too literally.

Sometimes the work is "making the script beautiful and universal" and then you should indeed consult that xkcd.

Sometimes the work is spitting the commands you had to figure out anyways into a shell script in 5 seconds. Then it is a no brainer to do it, because it will safe you time even if you use it only once.
Something to keep in mind: it's not just an either/or; even some of the people who will get you real funding and real deals also have a strong Reality Distortion Field.

It's fun to dance at the Faerie Court, just (a) don't spend so much time there that your family will have aged significantly, and (b) do keep a social distance while attempting to discern if any gems and baubles granted you are still going to turn out to be useful dry leaves*, once you leave the mushroom circle.

* I made it out of my startup days with a handful of novel ideas and a suitcase of dead presidents; dry leaves that are fungible tender are the best kind.
> Ultimately people use TS on the back end because they want to simplify hiring and reduce context switching loss in developers mostly

In my experience this hasn’t panned out particularly well, but I believe it works for some teams.

> because their application is isomorphic

This is one case where it had worked out okay for me. The scope has tended to be relatively limited and there was a framework in place which was generally good at gluing things together and ensuring people work along the same rails.

> I wouldn’t write most services in rust…

No, me either. I tend to teach for Go for web services these days, but I do like rust for CLIs and situations where optimizations are crucial. Admittedly I don’t even like Go as a language that much, but it’s great at what it does if I’m willing to put my head down, deal with the quirks and verbosity, and crank something out. It’s not a language of cleverness or elegance, but the results tend to be excellent and easy to maintain.
Twitter allowing ban evasion and discussions about it had been a real clever move IMO. Users make a lot of noises and calls for exodus, none working, because it always happens inside the very platform.
This is a common but erroneous thinking. Man influenced climate change is an ongoing process.

It would have been great to start doing something thirty years ago to avoid some of what’s happening now but we didn’t. Now we still have to do something or it will get even worse.

This is not a throw your arms in the air and wait for the end while screaming situation.
Not really and only on a vanilla browser.

Most of my operations on a web browser involve scrolling or swapping pages, which I typically do with a keyboard. Besides every browser has keyboard extensions that allow one to select links through keyboard press. Being a neovim user I like vimium on firefox. I also like to use text based browsers for a better browsing experience and less distraction when I am coding.
> 5.25-inch minifloppy disk (1976 - early 1990s)

I mean, no one ever called it a “mini floppy”. I never heard that term until I visited this website, and I spent more than a decade using 5.25” floppies. I realize they are smaller than 8” floppies, but they were still called floppies.
If you buy a house and move into it does it suddenly break apart? If not, does the new owner get credit for it not breaking apart?

It’s working _in spite of_ the new owner, not because of.
Not all of it is from chatgpt. It's a good starting point, and essentially tells me what to google and how to read further. When I get something, I anyway want to read more so would google around the topic. The ability to ask a cross question is what makes learning easier. If the answer is not true, i will end up finding that out anyway from google or other science publications.
Elite universities insider. People lie in elite science just about as much as in politics. A lot of data from schools like MIT and Stanford is intentionally baked to lead to politically-popular but incorrect results.

By "politically-popular," I don't mean primarily in a red-blue sense. If you're publishing a study for therapists to read, it should ideally use a clever methodology to re-affirm their viewpoints.
I'm not sure why it would need to be "disclosed", other than to suggest the author knows what they're talking about due to "domain knowledge".
If you’re going to argue against what “people” say, you’re always going to look like you’re the smart one and the person you’re disagreeing with is the stupid one.
it even has a name: benchmarketing :D
Isn't that pretty standard for compiler error messages? The C# compiler uses CS\d{4} for example. MSVC, MSBuild, various other build tools (at least on the Microsoft side) all use similar patterns with different prefixes.

That being said, it seems like Clang or GCC don't do that at all, which perplexes me a bit. Perhaps it doesn't matter much when error messages are never localized.
Better to think of expansion as being a 2D dot on a balloon.

As balloon expands, in all directions there is same rate of expansion. You are not inside the balloon close to one side to observe the difference.
Just under 12,000 http requests since Jan 1, 2023:

http://floppy.museum/status.htm
DaDaBIK + OpenAI API to create SQL reports and extract knowledge from a CRUD Web application using natural language
Slightly related

https://github.com/diagrams/diagrams-braille/
I suspect it's not really about transitions between accelerations, but rather sudden changes in force.
I’m paraphrasing the book, which resonated with me not
maligning anyone else.
The issue is not the ordering, it is that it contains tweets from people i am not following.

Before i could hide those by muting suggest_activity_tweet and suggest_recycled_tweet_inline

This does not seem to work anymore
Downtime isn’t the metric their procedures are optimised to minimise. It’s optimised to minimise air traffic accidents. Moving fast might minimise total down time (though I seriously doubt that), but what effect would it have on accuracy and reliability? Mistakes mean dead people. In this incident zero people died. You really sure you know you can improve on that?
By the way, now that I think about it, I could draw a parallel here, remembering another recent thread here on HN:
- TypeScript is easy for reading but hard for writing code
- Tailwind is easy for writing but hard for reading code
Not advocating throwing my hands in the air, but the deliberate delay has narrowed our choices at a rate faster than technology has come to the rescue.

There is going to be a lot of complaints as choices keep getting removed and decisions forced upon us by the escalating crisis. If you are a freedom loving libertarian, you are not going to enjoy the next few decades. Which would be deliciously ironic if it wasn't such a monstrous tragedy.
Cannot speak about motion, but in surface continuity you will also look at higher "derivatives" if you want really really smooth transfers between two curves. So you make the transition of the curvature comb of a curve's curvature comb tangetial or so. There they just call the transitions g0, g1, g2, g3, g4 and so on.

I cannot judge whether snap, crackle and pop are things people actually use when they talk about those derivatives in motion.
Nobody said "absolutely no outages happened [..] for decades" and the fact that they did doesn't refute what you're replying to.

You're not being downvoted for not being irrationally angry at Musk. You're being downvoted for being disingenuous in a very obvious way and then pretending the downvotes prove you right.
which other social app allows using chronological-mode?
How to fight against decision fatigue
It’s a low IQ point of view popularized by VCs. You can hire A/B/C if you pay enough, within some competency band as well.
The CMB is famously not exactly uniform https://www.esa.int/ESA_Multimedia/Images/2013/03/Planck_CMB

I have not read that any particular directions are evident in the sense you suggest though.
There's two reasons to leave a service, you can make a political statement - you leave because you disagree with their politics and you don't want to endorse them by associating with them. That's a legitimate reason to leave (although extremely often people declare they're doing this and then don't). But it's also perfectly legitimate to say "I'm leaving because the product got worse". It's sort of orthogonal to the political reason. Some people don't buy from Nestle because of Nestle's terrible track record, but I don't buy from Nestle because they're not selling anything I want. The second reason, generally is the thing that actually kills services. Digg didn't die because it conducted business unethically, it died because they fucked up the product, and that's what's happening here.
Care is needed to use C++ std:optional with non-trivial objects
Indeed, we wouldn't want magnets to become a potential source of global warming if they oxidize.
On a related note, Kaze has done a deep dive into optimizing the Super Mario 64 source code for his ROM hacks. Here’s one of his more popular videos on the subject: https://youtu.be/t_rzYnXEQlE
Sounds like they’re actually too dumb. It’s a bad sign you haven’t realized this.
I haven't used Bazel for CLI apps and may have significantly underestimated how much other complexity they have around their deployment processes. That said, it's also very possible and common to make Node apps a pain to work on and distribute, too.
> omitted the single character options of 'y' and 'Y' but it still has 'n' and 'N'

'n'/'N' were removed already in 2006:

https://github.com/yaml/pyyaml/commit/8f9b8bed40a53c28
There seems to be a fairly wide selection between state of the art and just glueing together a bunch of phonemes it’s just that tortoise-tts is up there with the state of the art.

I haven’t looked into the mid range stuff but there’s probably something out there with pretty good quality if you don’t mind doing some coding, end user applications seem to be mostly in the startup SaaS charge by the character domain.
Ironically, we can know about this through posts to the FediVerse from the developer of Tweetbot, and ensuing discussion.

* https://tapbots.social/@paul/109679939029741163

There are additional reports in the #TwitterDown and #TweetBot hashtags on the FediVerse.

* https://tapbots.social/tags/twitterdown

* https://tapbots.social/tags/tweetbot
Since editing window is already out, I am not arguing against Rust, and would welcome first class support for Rust on the Android tooling (Android/VS Studios, NDK, AGDK, Modules/Bundles) and being visible across https://developer.android.com documentation.
Wait, what? Since when? I'm regulary reading using the chronogical timeline and I'm not seeing anything like you describe (I only see that using the "for you" algo timeline). Very concerning anyway. :(
Yes, I know. That's why I wrote

>> Up until last year nobody had thought to see whether anything eats viruses! Turns out some do.

> Nah, lots of things eat viruses. It's nothing unusual at all. You eat viruses, I eat viruses. They are everywhere, after all.

> The novel finding was a critter that lives / can live solely on viruses.
I wonder if it would be possible to automate this by pairing the speech synthesis with a ML model that understands the context of the text it is parsing.
Camera on Danuri reveals permanently shadowed region of moon
For a given production of wind I would agree with you, but the installed capacity is only going to go up for the foreseeable, so the network needs to take that into account
It's most likely animal fat and meat demonisation
https://www.youtube.com/watch?v=hzQAHITIUhg

It's one of those things were effects are so far ahead in time you don't really realise they're there until you're 60 and cancer kills you. And then it's "oh well, old people die" or "he had too many beers"

I was striving to be vegetarian for more than a decade (avoid red meat, low fat diet) because of the "science", before I started developing issues.

Good luck in finding research to back this up, the trend seems to be going all towards vegan highly processed food.
I was impressed when mainstream science recently reluctantly backtracked on animal fat and meat.

The USDA is still to update recommendations of course.
This is all sorts of awesome.
What you just did is whataboutism.

You claimed "Iranians want X". I asked you who made you a representative of Iranians. You - of course - failed to answer and come up with a BS reply.
Maybe I'm juvenile, but floppy is just such a weird word and it puts a smile on my face every time I hear or read it.

Especially if you realize that the 5.25" is just a "floppy floppy"
Or at least to your own familys. My guess is, that if you made it a science to search for likely unaffected regions of the planet by climate change, you would find a lot of oil-executive real estate there.

Interesting idea, would be to ban them from owing properties or living in those places. If you nail the escape hatch shut, survival instincts might even set in.
It's because he has reason to destroy other competitors. Nice read otherwise.
You can give staff users limited privileges, such as view only.
Nope, since the early sensors were very low resolution, many cameras included interpolation engines inside, and some of them were pretty good at what they did.

They used blurry language to thinly veil the fact that the 1024x768 image you got indeed started its life as 640x480 one out of the sensor.
Respeecher is a completely different product with different goals and usecases...
I agree, but isn't it necessary to reckon with the fact that historically, explicitly and intentionally racist policies (for example, Jim Crow voting laws) often laundered themselves, when convenient, through classism in order to escape scrutiny? Put differently, would you contend that poll taxes were not racist?

Also, wouldn't we expect that organizations that are explicitly anti-racist would conclude that because classist policies or laws have racially disparate impacts, addressing them still increases racial equity even if they are ostensibly motivated by race-neutral class concerns?
It's a good starting point. It may get some things wrong, but that's where my ability to research and truth seeking lies. I usually google more anyway because i want to go deeper than what chatgpt offers. I will eventually get to the truth. But the basic questions are well answered. I once asked it to explain the whole "Field has momentum" theory in a way a Feynman lecture would. It did it surprisingly well. I had some background so I kept asking more questions, and it was alright. Augments the curiosity, and make the topic seem simpler. Tools I use are: Google, science publications, and archive to see if there is text around it.

One small thing, the idea that chatgpt will feed bullshit is possible, so you have to be a bit skeptic and check the info, but it gets things right most of the times. Fun fact: I confused chatgpt about static electricity ie "Why does my hair get a static charge by rubbing a balloon?" It kept saying positive charge or negative charge, with transfer of electrons. Truth is, it's still poorly understood. [1] this paper highlights the conundrum.

For a beginner in college level physics, chatgpt is an excellent resource for understanding concepts.

[1]: https://www.researchgate.net/publication/360674587_Derivatio...
Memgraph compared the freely available open source editions of both databases. Neo4j Enterprise seems to have more performance optimizations compared to the community Edition.
Love it. Bookmarked. Thanks for sharing.
Very nice and well illustrated explanation, I really liked the key phrase “…an infinite sum with a finite value” that explains this paradox.
There are also countless ways to evade this: iodide (tunnel over dns), encapsulating encryped traffic in non-encrypted http, etc.

DPI just makes it harder, so does terminating ssl earlier, or blocking outbound ports.
I'd be interested in seeing cancer occurence rates over death rate.

Sure, it's great we got good at keeping incredibly sick people alive, but it'd be better to avoid it in the first place.
I don’t think you understand the hobby at all. Every game master, without exception, is a content creator. Most of them want to try new systems just to see what they are like. If they decide to go to other systems, that’s it for D&D. They can make all of the movies and books they want, but that won’t make people DM it.

It doesn’t matter if they succeed in court or not. People will stop writing right now (and write for other systems), because who knows if the rug will get pulled under them in the future. Six months from now, maybe they decide the new license is that they get 100% of your revenue — we know they untrustworthy businessmen already. Hasbro pulling an Elon is not them “learning from their mistakes”, it’s just another offense.
That's just a heuristic.
He does "disclose" in related blog post [1]: "I don’t work for Neo4j anymore, why am I here defending them? Well… that and the fact that I still have a dinghy load of vested shares I have to sell so I can buy a place in the Villages and begin a new life as a golf cart driving day drinker."

This seems like a series of post on benchmarking results from different vendors so if he "disclosed" it once I don't think that there is need for another one.

[1] https://maxdemarzi.com/2022/12/06/khop-baby-one-more-time/
This is actually a very good point and unfortunately formal verification is not the current norm when developing DMBSs or complex systems software. If you asked how do you know DBMS X is correctly implementing snapshot isolation, no one will be able to provide a lesson for you. This is true for every system out there I'm aware of. This goes more deeply actually about questions like this: "how do you know you implement SQL or Cypher correctly". In fact, we can't even sometimes very formally answer "what is the meaning of this query X". Back in the day my PhD advisor Jennifer Widom, who had a background in programming languages, talked a lot about how we put DBMSs into everywhere, e.g., planes that are flying up in the air, yet we can't really precisely state what the outputs of queries should be. She had some excellent writing on this for implementation of triggers that were coming out of different groups. She was one of the pioneers of triggers before triggers existed in SQL. And as I assume you might know better than me, Leslie Lamport is known as a pioneer in the distributed systems space for formal verification of programs.

Your comment on shortened URLs is noted. This is my first HN post ever :), so I might need to pick up the customs.
Hi Kevsim, thanks for your comment :)

I've probably under-highlighted in this article the fact that each operation is intended to be used locally by a developer as an intermediate step during a refactoring of a legacy code.
All these tips allow to transform a function to a new state #1, supposed to be easier to understand, and as a root point to perform some modifications in your code.They are just easy-to-implement solutions to assist developers with a messy code.
Then, you can start implementing tests to avoid regressions and continue your refactoring to a newer state #2, which will then be commited on your Git repo.

Hope this can help :)
Ask HN: Cgroups v2 tooling to corral processes?
I'm looking for a modern-day equivalent for cgred/cgrulesengd that allows me to automatically move named processes to a specific cgroup. I've been poking around at various documentation, but most of what I can find is from the earlier version of cgroups, and although cgclassify is still around and works, the daemons seem to have been removed from modern-day Ubuntu and Debian.

Anyone got any useful pointers for this?
> Basically, the model subscribes to the "mistake theory" of political disagreement ( https://old.reddit.com/r/slatestarcodex/comments/74vpwm/soci... ) that there is a single outcome that's best for everyone and disagreements only happen because sometimes people are mistaken as to which outcome that is.

Ok thanks for this....it doesn't make it make sense, but it's useful to know where people's errors lie.
I feel that my downvote won’t accurately express my dislike of this comment, so to provide a further explanation: you’re making absolutely zero effort to engage with this conversation. You’ve completely fabricated a point of view to oppose. Nobody here can be construed as being on the opposing side of “things have downtime sometimes”. I’ve every right to believe that you’re an Elon Musk fanboy because your reaction seems incredibly emotionally driven.