skysight-inc/HackerNews huggingface dataset:
Those distinctions have absolutely no basis in reality.

Censorship is merely the act of limiting access to information. It doesn't matter who is doing this. Yes, governments often do it, but so can private entities. An individual can even do it to himself, in the form of self-censorship.

Moderation is the application of censorship in order to modify a discussion. Once again, anyone could potentially do this, including governments. An individual can do this to himself, too, by selectively choosing which parts of a discussion to consume.
It was in 3.5 only.

If they've replaced it with something else in the last decade and a half that does not mean that they didn't get rid of it, or that it wasn't short lived.

https://learn.microsoft.com/en-us/dotnet/framework/data/adon...
There are some new 10DLC self-regulations coming down the pipes. The cell carriers and “demanding” action on spam SMS and instead of letting the FCC get involved, they all said “hey, we can do this ourselves!” And The Campaign Registry was born, and along with it 10DLC. Starting December 1 at the latest (some are Sept 1) cell carriers won’t accept non-10DLC SMS traffic to ingress into their networks. The 10DLC registration process includes setting up and verifying your “Brand” (company) and “Campaign” (what you’re doing with SMS). A large part of it is proving you have end user permission for SMS, opt in and opt out information, privacy policy, and the like. Once all of that is done, it goes to the provider where your DIDs are attached to the Campaign. Now, can’t wait to see how all this works in practice!
No, that only thing clear is that the market expected better results.

Not achieving those results does not imply that results are going downhill from now, as you suggest.

Slowing growth and cooling margins are reasonable explanations for the stock being down even in light of continued growth.

If the market believed that demand had indeed peaked this quarter as you suggest, the stock would absolutely crater.

But nobody reasonable believes that. All the data from outside Nvidia (eg: Capex from hyperscalers) also points to continued growth.
> It was anticipated it would fail eventually.

As I stated in the part of that sentence you omitted, everything fails eventually. It is very reasonable to expect a better estimate than that for a human spaceflight. If something fails, you need to know why it failed, it doesn't matter if it flew once, 23 times, or 2300 times.

> Planes are meant to fly well more than 23 flights so that's a bad comparison.

The point of the comparison is that for aerospace hardware 23 uses is not decrepitly old, and a manufacturing defect can easily take that long to cause an issue.

> No other booster has flown more than 23 flights, this is unchartered territory.

And it will remain uncharted territory if the reaction to a failure is "eh rockets just aren't supposed to work after that point."
After the OpenAI voice demos I’d say anyone in the call Center space that isn’t spooked is just not paying attention
KDE3 will always be the pinnacle of Desktop Linux for me as well.

The functionality that was there at the time is astounding. Kmail was better than Evolution (minus the Exchange support), KOffice was half decent and a lot more performant than OpenOffice. KDevelop was a quite progressive IDE. Heck even Konqueror was a decent browser, with an engine that was so well designed and portable, that when Apple decided to make a browser, they forked KHTML.

Everything was cohesive, used a unified design language, worked great on a system with 1GB of RAM.

I don't understand how all these years later, on systems infinitely more powerful, desktop Linux is yet to get to a similar state. KDE4 was such a disaster, I left KDE and have never really gone back since.
Though it's less common.
I think the relative popularity of managed memory languages has grown and continues to grow. Even C++ is largely "managed" via mechanisms like unique_ptr, shared_ptr, or the standard collections. (Using new/delete directly is more or less a code smell these days.) C will always have a place, but despite working in it from 2011-2021 or so, I just don't use it at all these days. With "owned" allocations, you just don't need explicit free(). You're more likely to see memory leaks via unbounded collection size than actual unreferenced pointers.
Sorry for the dumb question but can I use this on private repositories or is it sending my code to OpenAI?
Meta Reportedly Plans Ultralight Headset with Tethered Puck for 2027
> In general the modern weaponry is very complicated

No

It is bad design

As another commenter commented the ability to repair in the field, in adverse conditions, should be a design criterion.
Pretty sure they mean what they said. "Lock-in" in this context typically refers to "vendor lock-in" which is a common practice among unethical corporations selling products or services. They will often use underhanded tactics and "dark patterns" to psychologically or physically (through hardware means) to lock an "end user" into the forced usage of that vendor's product, while making it as painful / inconvenient as possible to switch to any possible competitor.
It depends on the couple. My first marriage was not a happy one. My second marriage was a happy one.
Tracking down memory leaks is just one of things that valgrind can do.
I don't think there's any need for another TUI when we have VIT, I tried to make my UI as par with it in terms of information density, and keyboard access
It should be a “free for adoption” idiom
There are new rules and regulations in 2024.

https://clerk.chat/blog/tcpa-compliance/

We had to switch off Twilio for our integration and move to another provider that came with its own set of issues.
Buy the rumor, sell the news strikes again
Yes, call it current instead. It's not going to be modern for long.
You’re the only person who used the word “cooperate” in this thread, hence your argument ::= strawman
> I have seen a single line of code passed through 4 "interface functions" before it is called that call each other sequentially, and are of course in separate files in separate folders.

Procrustination. n. the act of writing an infinite regression of trivial nested 'helper' functions because you're not sure how to actually attack the problem you're trying to solve.

I worked with a guy that did this.

int CalcNumber(int input) { int val = GetNumberFromInput(input); return val; }

int GetNumberFromInput(int num) { int calcedNumber = 0; for (int i=0; i<1; i++) calcedNumber += NumberPart(i, num); return calcedNumber; }

int NumberPart(int part, int seed) { return actuallyGenerateNumberPart(part, seed); }

int actuallyGenerateNumberPart(int part, int seed) {
// todo
return 0;
}
I have certainly heard knocks against Sony cameras' reliability.

I don't assume anything about their market share; just the specs they currently offer. I wish Canon were more competitive for video shooters.

We'll see what happens with Nikon & Red.
Best explanation of the network topology yet, if I'm reading this correctly this removes the problem of not being able to participate on the global network just because the application you chose to interact with it is considered an "evil server" and banned from participation like mastodon, in other words, user accounts aren't associated with a home server that determines who they can interact with, is that right?

How does an application decide whose repos to index?
Also: https://github.com/trunkmaster/nextspace for various versions of Linux:

"NEXTSPACE is a desktop environment that brings a NeXTSTEP look and feel to Linux. I try to keep the user experience as close as possible to the original NeXT OS. It is developed according to the "OpenStep User Interface Guidelines"."
Go 1.23 Unique
tbh this is the main thing I was looking for on the webpage. It's hard for me to jump ship from my existing workflows unless I see a professional and highly sophisticated app example. I am sure it works for simple cases but I am concerned about limitations that one hits as one does more complex things
What article
Hello fellow builders, I just created a list of 60,000+ Manifest V2 extensions, their links and some details, because I see a massive opportunity for developers to step in and save popular extensions from extinction by building their ManifestV3 versions.
Anyone interested in this list?
Here's it
https://abasiofonessien.gumroad.com/l/onpedu
It's the opposite for me. I don't use bash.exe on my Windows machine and it is the first match when I type "bash". "Git Bash" is the second best match. I have no other results. Windows 10 Home Edition 10.0.19045.
I agree- I'd like to think I'm somewhere in the middle despite being a scientist. I try to write the best code I can, and keep up on best practices, but try to keep things simple.

A lot of the scientific code out there in research papers is so bad, that when you look at it, you realize the whole paper is actually B.S.. What the paper claims was never even implemented, but they just did the most kludgy and quick thing possible to produce the plots in the paper. The whole paper will often hinge on the idea that they did something that generalizes, and are showing specific examples, when actually they just skipped to producing those specific examples - cherry picked no doubt from other ones that they couldn't get to work - and did nothing else. As a reviewer if I notice this and really tear into the authors, it will usually get published and not fixed anyways.

This happens because you get inexperienced new people doing the actual coding work without any proper mentors or instruction, and then they're under enormous pressure for results from a PI that doesn't understand or care about coding at all. It makes the whole thing a house of cards.

Trying to do it 'properly' as a scientist is an uphill battle, because funders, collaborators, etc. expect the quick (and fake) stuff other people seem to be doing. The realities of developing good reusable software and maintaining it long term are not possible to fund through scientific grants.

People writing usable code in academia are doing it for free on the weekends.
In short, in my discipline, if you don’t free your memory you can eat a TB in 10 minutes. Moreover, if you fragment memory too much, then you’ll start to get segfaults when you want large segments of contiguous memory.

Lastly, the same fragmentation will cause advanced libraries like Eigen to use many small memory areas, and jumping between them kills locality, hence causing you performance losses.

I’m running tasks on (and administering) clusters with similar resources to yours, yet I always treat them like 486DXs with 4MB RAM, because I can’t restart them every week.
Per article, former CTO, not CEO, and of Leap Motion, not Magic Leap.
Several of the charges were about using unlicensed cryptographic tools; I am sure full E2E encryption would make those charges heavier.
How can I load a library in C or c++ with this in a way that will work in both Android and iOS?
I may have been spending too much time with Lean recently, but the number one thing I’d like to see for the future of TLA+ is an equivalent of Mathlib (https://github.com/leanprover-community/mathlib4). What’s so great about the experience of using Lean is that I can pull theorems off the shelf from Mathlib, use them if I want to, or learn from the way their proofs work if I want to do something similar.

> The reason for using TLA+ is that it isn’t a programming language; it’s mathematics.

I love TLA+, I’ve used it for a decade and reach for it often. I have a huge amount of respect for Leslie Lamport and Chris Newcombe. But I think they’re missing something major here. The sematics of TLA+ are, in my mind, a great set of choices for a whole wide range of systems work. The syntax, on the other hand, is fairly obscure and complex, and makes it harder to learn the language (and, in particular, translate other ways of expressing mathematics into TLA+).

I would love to see somebody who thinks deeply about PL syntax to make another language with the same semantics as TLA+, the same goals of looking like mathematics, but more familiar syntax. I don’t know what that would look like, but I’d love to see it.

It seems like with the right library (see my mathlib point) and syntax, writing a TLA+ program should be no harder than writing a P program for the same behavior, but that’s not where we are right now.

> The errors [types] catch are almost always quickly found by model checking.

This hasn’t been my experience, and in fact a lot of the TLA+ programs I see contain partial implementations of arbitrary type checkers. I don’t think TLA+ needs a type system like Coq’s or Lean’s or Haskell’s, but I do think that some level of type enforcement would help avoid whole classes of common specification bugs (or even auto-generation of a type checking specification, which may be the way to go).

> [A Coq-like type system] would put TLA+ beyond the ability of so many potential users that no proposal to add them should be taken seriously.

I do think this is right, though.

> This may turn out to be unnecessary if provers become smarter, which should be possible with the use of AI.

Almost definitely will. This just seems like a no-brainer to bet on at this stage. See AlphaProof, moogle.ai, and many other similar examples.

> A Unicode representation that can be automatically converted to the ascii version is the best alternative for now.

Yes, please! Lean has a unicode representation, along with a nice UI for adding the Unicode operators in VSCode, and it’s awesome. The ASCII encoding is still something I trip over in TLA+, even after a decade of using it.
Out of interest, are you worried that OpenAI would go against their API license terms and train on your data anyway, or are you worried that they might log your data and then have a security breach that exposes it to malicious attackers?
I vote ravenstine for "Supreme Overlord of Earth" 2024! (Be awfully hard to really do much worse than the "leaders" we've currently got in charge or on offer to choose from, yeah?)
Not “in a pinch”.
Out of curiosity, what are your existing workflows?

Note that Skip doesn't put any constraints on the iOS side of your app at all: if it can be expressed with SwiftUI or UIKit, then you can do anything. If there are bits that SkipUI doesn't translate to your liking (or at all), you can always drop down directly into Kotlin and Jetpack Compose to implement those any way you want. See https://skip.tools/docs/platformcustomization/ for details.
Lol, Windows search doesn't suck because of the filesystems it supports. I can only assume you're a Linux or Mac user who has never used the Windows menu before, as quite literally anyone who has seen it would not come to such a conclusion. I envy you, so I will not taint your view of reality with an actual description of why it is so universally hated.
There are some advantages and disadvantages of the approach.

However, there's just stuff that X assumes that isn't true anymore. A good example is how it handles input. How many cursors does a screen have? One machine? okay, One input device?

One of the folks behind both Wayland and X gave a fantastic talk on the issues and the hell. https://www.youtube.com/watch?v=HllUoT_WE7Y
Speaking as someone with terminal upgraditis, I've been satisfied with Debian testing. It's what I run now.
No. Purify was the commercial software that inspired Valgrind. It was Reed Hastings' first company, and I came across it working at a bank in 1996.

I moved to Java with the millennium, and missed the rise of Valgrind. I'm just happy that everyone has good tools now. Writing C in those days was a rough business.
I don't want to be negative at all so I'll ask for clarification. What is expected if you have filled in every single one of these "goals"?

I would honestly expect for the three disciplines where I am fairly confident I am good at, ie 10+ years of experience in an actual working environment. I would expect a relatively new to the industry person to have completed most of the goals. Completing the "skill tree" is the start of the journey in those disciplines not the end.

My take, if you have done this skill tree you are now equipped to know whether you actually want to become an expert in that field.

If this skill tree is up to the hobbyist level then sure, it's not too bad.
I think the cute names are more reliable than many of the small countries. In this case, .sm is a country TLD. I would bet .sucks and .rocks are better funded.
And the years of prep work to be able to run the software effectively.....?
The Problems and Shortcomings of Cosmic
While having nameservers in multiple TLD:s is a good idea, it does not help against a domain being suspended outright.
I appreciate the term 'modern', it's basically saying newfangled for better or worse depending on how you view recent styles. Simply don't equate modern with better, or only better in certain ways that you may or not agree with. For others who insist that modern is better, don't listen to them--don't try to correct the internet.
> "Nah! I think the CEOs should be the first ones sent into the combat front line zones."

At least then they'd be able to (somewhat) justify their insane "pay packages", "golden parachute" and "bonuses". CEO: "I risked my life for that money!"
Hacker News is biased so that the threshold for flagging is very low, in order to maximize the effective separation of signal from noise as much as possible (for as broad a definition of "noise" as possible.) If I had to guess it's probably 3, or it's tied to user karma (flags from higher karma accounts count more.)

And certain topics are likely to be flagged by multiple people, this can be assumed based on the topics that people complain aren't "HN worthy." Anything that can be considered politics, for instance, is probably going to get flagged because of the number of people who don't believe political stories of any kind have a place here.
Immutable Systems: NixOS and systemd-repart and systemd-sysupdate
LINQ is not the same as LINQ-to-SQL. The former is a language feature, the latter a library (one of many) that uses that feature.
$1B a month is almost unfathomable.

I know the world does work this way, but there are so many things we could do for humanity with $1B a month.
I was answering a question about what happens if it is disabled on the destination machine. The destination machine has no say over any other device along the route.
Well done. Very nice.

I really like the UI/UX, and admit that I am a bit jealous (as langcss.com creator) of how polished it is. I like the way it tells you what files it is working on but doesn't stick a full IDE in your face.

I am not worried this year about AI taking my job - it couldn't manage to capture the camera for my example app. It did get the permissons. Still this isn't useless - it can be easier to debug a non-working app than build from scratch.

So at this point you need a coder! But that will change pretty quickly over the next 2-5 years I am sure.

There is certainly a danger that this kind of app could do a lot of jobs, especially once mistakes are limited so you don't need an Engineer to come fix it. However learning some non technical skills like business analysis is probably wise for most of us :-).
Again, go read up on economics. You have no idea what you’re talking about.
Why Combinator?
An easy litmus test if a company is part of the complex is whether they're a defense contractor or not. The companies in TFA don't pass this smell test.
Postmodern to me has strong negative connotations, unless it is being used ironically.
Yeh. Linq to sql was a much more lightweight extension than EF, and was killed due to internal warring at MS.

Database people were investing a lot of time and energy on doing things “properly” with EF, and this scrappy little useful tool, linq to sql, was seen as a competitor.
I don't remember creating an account to use Brave. Have I misunderstood your comment?
I've done similar. Check Upwork, codementor, clarity.fm, now also intro.co. Also post specific questions on niche forums and subreddits and DM the people who give the most helpful answers.
Droom
+1 since 2013 according to my invoice search!
As another post said, just because a failure happened on this stage of flight, doesn't mean it couldn't happen on another, including a manned mission.
Now that Twitter doesn't let anyone see anything without being logged in, the concept of a "anyone can read, a permissioned few can interact" is growing on me. I still find useful information from listservs archived on Google groups, if we can keep something like that going for the next century we'll be better off than the timeline where everything happens in a discord or slack, and when it's gone it's gone.
I guess my question now is, why am I so dumb...
Multimeter Beginners Guide [video]
Yes but the one that they grounded is not some record breaking booster thats flown 23 times lol
Glad you asked! We have an FFI framework (https://skip.tools/docs/modules/skip-ffi/) that enables you to use the same native code on both iOS and Android. I wrote a blog post about it at: https://skip.tools/blog/sharing-c-between-swift-and-kotlin/ . It is what powers some of our own frameworks like SkipSQL (https://skip.tools/docs/modules/skip-sql/).

On the Swift/iOS side, it simply uses Swift's excellent C integration; on the Java/Android side, it uses the venerable JNA library to handle loading and calling into embedded native libraries.
Eh, it's easy to work around: run as a system service, and filter results when returning to client that queried it.

More likely they don't like it because it's clever hack and filesystem developers would be aghast at it - but hey, if it works 100x better than built-in search maybe it isn't that bad at all.
The prompt is what the screenshot shows. I give also a small example, and i put the code in the Real Definition. The whole command is shown above [1]. Replace the parse header with the function name/names.

I tried this command with GPT-O-mini, GPT-3.5, GPT-4.0, Llama-3-8b, Llama-3-70b, each one of them generates perfect formatting almost every time. No real differences between any of the models.

Using the factory defaults for formatting, GPT is better than any other model, but as soon as the user can control the formatting then every model performs well. But i like the defaults of GPT better, i agree with the article author about that.

[1] Prompt gist: https://gist.github.com/pramatias/0fa5c9c8145dafd67591f682eb...

EDIT:The browser renders the org markup, so click on Raw button.
A better analogy would be a Jet engine that has an expected lifetime of 5,000 hours, but operated for 100,000 hours caught fire on the tarmac while no passengers were aboard. Therefore all flights from all aircraft with the engine are grounded indefinitely.

Even by the FAA’s standards for passenger aircraft (Not an experimental Rocket) that’s incredibly unlikely.
How to crack MacOS Electron Apps
The last big surprise were the May 2023 earnings, it went from closing at $31.26 to closing at $38.95 the next day (up 24% in one day) after the earnings announcement.

Now it is the company with the second largest market cap in the world and enormous growth, so analysts are watching it more and talking about it more. Results are more baked in.

Also, it was announced the next-gen Blackwell chips had a flaw found late in the design and will probably be delayed three months, which will also affect revenues.
The real explanation: the original script used humans as a source of compute power (some quantum brain crap stolen from "Hyperion") but was later changed to batteries because audiences are dumb.
Its an interesting question. I've found personally people with previous imperative/functional language (e.g. JS/Go/etc) have picked up F# quicker, and people with OO knowledge (C++, Java, etc) have picked up C# quicker. There's a lot of implied/conventional knowledge with OO that many C#'s dev forget they have (i.e. its all sunk cost to them). If you just want to cut and paste code however C# has more Microsoft provided doco so there's that.