skysight-inc/HackerNews huggingface dataset:
I might be missing something, but this seems to require ownership annotations on all functions, e.g. a compatible and correct prototype for `fclose` to correctly note that the owned `FILE *` is moved into the call.

If that's correct, then this is somewhat practically limited: either pre-existing codebases will need to be retrofitted with an essentially bespoke set of macros, or the compiler will need to be "fail open" by default. The tradeoffs between these two are hard (substantial developer pain versus being ineffective against the bulk of a compiled program's API surface).

(Also, this design appears to be for temporal safety only, not spatial safety. But again I might have missed something.)
Because (a) you can't tell the future and (b) telling the kid to learn to be a plumber is ignoring the OP's entire point that why the fuck are we making humans be the plumbers while computers get to be artists and (c) even if you were right being an asshat isn't the right kind of response.
> There are very real differences between rebinding, reassignment, and mutation.

Hmm, what would be the difference between rebinding and reassignment in Erlang?

To avoid complication, it's simpler to just use "change" and understand that there are variables and data. The variables themselves may change or may not change. In Erlang they don't, while in Elixir they do. The data won't change in either language, unless we are playing with NIFs or use atomics or counters.

> All three are distinct from one another in meaningful ways, so reusing the same term is actually wrong and misleading

If we're talking in the context of Erlang is quite simple, it's enough to just say variables are immutable. When it comes to Elixir we need to add a distinction, and that complicates things. When talking about Javascript or C++ or other languages, then more nuances are needed.
It seems to emulate fan noise, too!
Also, Phoenix and Liveview.
to whom it may be useful

- `.` - precision flag [1]

- `150` - precision amount [2] - bytes to count after casting to binary representation

- `B` - special conversion type [3] - bytes

[1]: https://docs.python.org/3/library/stdtypes.html#printf-style...

[2]: https://docs.python.org/3/library/stdtypes.html#printf-style...

[3]: https://github.com/yt-dlp/yt-dlp?tab=readme-ov-file#output-t...
Planning the next day on the evening before has to be the single most important productivity hack in the world.
The survey methodology is biased toward old technologies, from the era where you sent HTTP headers that advertised the stack you were using. Modern stacks often hide that info. (It's also biased toward techs used in blogs, since when it detects a tech used on blog.example.com, that tech is counted for example.com)
Grokking Algorithms (2nd Edition)
I'm no expert but I think the idea is to avoid a scenario where someone would take a brain scan and declare someone's transition to be 'invalid'.

Transition (and by extension gender) is something deeply personal that shouldn't be gated by physical characteristics, including brain development.
Pray tell, where should we be talking about?
My favorite was the tiff exploit to install virtual CFWs by scrolling through an album of digital chickens. Good times
This is what I was told as a child when the bridge sold. It's definitely a meme from before Dawkins.
Hah. "error correction of some sort" is doing a lot of heavy lifting there. Bit level correction is what I generally consider under the "error correction" umbrella. Which we have no problem with -- curious the bit error rate that would make text unreadable. In the context of compressing a large part of the English language wiki -- I think lossy also includes loss so significant that you wouldn't be able to reproduce the exact text. So, well beyond what we would generally consider "error correcting". But intuitively understandable as equivalent by humans. Impossible to quantify that objectively, hence lossless only for the competition.
How large are the files you're formatting? I have prettier set to format on save in vscode and even for the largest files in my codebase (>1000 lines) it formats near-instantaneously on my 2019 macbook pro. Definitely well under a second.
VSCode is a good successor imo. I liked Atom for it's simplicity and not getting in your way - which i think vscode does well.
Dropping the R would still make the name quite apropos for a formatter. The pettiest defaults.
right....which would include a delivery service or subscription of some sort. like loadstar, the monthly disk magazine

right back into the eighties
That's just a great TLDR for what you this is all about.

Thanks for clearing that up.
I know someone who wasted two years trying to use a capital one secured credit card to help rebuild their credit history. The initial card offer was a $300 secured card and they figured it was the best they could do, ho hum, and just patiently plugged away

For two years, they used the card routinely, paid if off religiously...sometimes having a monthly spend three times the limit.

They would periodically request either a security deposit refund or to have their credit limit raised - more security deposit or not. Constantly denied, automatically, even when trying to escalate it with customer service agents. I forget the term, but when you essentially trade in one type of card for another from the same company - tried that too. Denied.

Finally, on a whim they tried another company, and got instant approval for an unsecured $3,000 limit card.

They stopped using the Capital One card except for a service or two that totaled $10, maybe $20/month.

2-3 months later, Capital One did a soft pull where the new card showed up and within days of the pull, refunds the security balance and moves them to an unsecured card with $3k credit limit.
There’s absolutely no fucking chance this deal goes through in the current climate. It’s not clear why they are even trying.

It’s not just the Biden antitrust contingency it’s going to be Visa/MC and the other big banks lining up against it too. And there’s a non-trivial coalition of Republicans also against this kind of thing.
How can we spot exoplanets 20M light years away, but not have absolute metaphysical certitude about the number of planets in the solar system?
What’s an example of Prettier breaking code?
This would only give the illusion of paying attention to the road, without paying attention to the road. It might actually be worse.
Considering how confidently utterly wrong the author of this article seems to be about Vim and to an even more substantial degree Emacs, I'm not inclined to put much stock in this as an insight.
Relying on glorified matrices (that's what machine learning is) for world data curation is just begging to handicap yourself into a cyborg dependent on a mainframe computer's implementation. An implementation and design that is rarely scrutinized for safety and alignment features.

Why not just make your brain smarter, instead of trying to cram foreign silicon components into your skull?
> The most interesting applications of LLMs are not chatbots.

In your opinion, what are the most interesting?
Why America doesn't win wars anymore (2018)
a republican admin denied Visa + plaid... so I wouldn't assume anything
Browsers can run on platforms that don't have secret baseband firmware, obligatory auto-updates, etc. etc.. Obviously a layer on top of a specific platform can never have better security than that underlying platform, but you can run a browser on a better platform.
I'm not sure when investors are going to get that tech bros are fleecing them for billions and not making anything that actually helps people or the world. It's like there's no adults in the room. Just bobble head monopoly men hoping if they give away enough cash, someone's problem will finally get solved. But I am little jealous that I'm not also getting rich on flash-in-the-pan tech startups.
What’s your max WPM with the one handed setup?
I tried to re-learn from Vim to Helix but failed. No sure if this is a muscle memory problem or perhaps article is right about the cons Kakoune-like approach for me. Even adapting with something like https://github.com/LGUG2Z/helix-vim did not work. So if you like Helix it probably a good thing that you did not learn the vim at the time.
Did you find anything cheaper for local installation?
> youngsters

Age and therefore lack of Knowledge/Experience.
I spend more time, and get more done on the internet than at any point in the past. I think the internet is by and large doing just fine.

It’s the “real world” that I’m more worried about.
It’s unfortunate for business planning but probably fortunate for consumers that the FTC and DOJ change leadership with presidential terms —- Biden’s FTC is a much different entity than Trump’s was when Sprint and T Mobile merged.
>functions are global so you now need to name them uniquely to avoid collisions

I hear this here, and elsewhere I hear that PHP has evolved into a decent language. Both can't be true.
The end of the Affordable Connectivity Program is almost here
A couple thoughts to add to the conversation:

I think I prefer visual mode when I'm doing a _really_ complicated edit and need to rely on visual feedback. I think having visual feedback as the default, though, (1) causes too much visual clutter (I don't want random things to be highlighted all the time when I'm moving around) and (2) wastes keys needlessly, and causes you to have to do weird stuff as a result. For instance, if I want to select 5 words in visual mode, it's just 5w. This is not (afaict? I may be wrong) the case for the Kak/Hx editing models, which have to rely a bit more on chording (pressing shift to extend a selection in the case of Kak; I guess in Helix you could enter its visual mode and do the same?). It's also difficult to replicate Vim's repeat command.

Switching verb+object to object+verb is great, and useful-- I just don't want it to be the default. Having it be a mode seems to be a very natural solution.

Or perhaps there's a way to get visual feedback that doesn't come with these drawbacks-- but these seem inherent to the concept. Visual feedback is super useful, but it definitely doesn't come for free.

And at least IME, I usually don't need this kind of visual feedback; the edit actions I'm using in normal mode scale with the complexity of the edit. So if I'm trying to delete to some specific place, I'll probably use f/t or search as a movement or <verb>i<delim> since those are a lot more precise than trying to figure out the number of words/characters/lines to delete. And on the rare occasion that this doesn't do what I wanted, the right thing is usually just a matter of pressing . away (or, rarer, u + the thing I meant to do. I'm never really scared of doing the wrong edit, since n/vim preserves your undo history as a tree).
100 percent on things moving to the center of the curve.

For now, that’s not a bad thing if you need to know what the average information is.

As time goes by it might not be a good thing.
The interesting part is it’s not the tag. It’s the adhesive behind the tag. I agree 99% is not good enough. But if it’s some sort of backup verification to the tag itself, at no extra cost, there might be something.
I have recently been amazed by the doublespeak used by these media outlets to describe China's economy. China's real GDP growth for 2023 was 5.2%, yet it was labeled as 'sluggish', whereas the US growth rate was 2.5%, but described as 'thriving'. Not to mention, major economies like Germany, Japan, and the UK are in recession.
One issue based on a recent HN item ... Do not imply in your question that your colleague has overlooked something obvious or easy in how something has been done: avoid "Why don't you just X?" for example. And do try to ask mainly the questions that only your colleague can answer, eg about the specific system that they are working on, and try and keep most of the background general questions for Mr Google.
> the Matias Half Keyboard (I paid $95; now $595)

Ha, same here. Seems like they discovered that the mainstream demand for this is quite low, but the reimbursement potential for ADA/HR purposes was much higher.
The difference between your thoughts experiment and Einstein's is that Einstein's had some testable implications. Yours is closer to belief in a teacup drifting in deep space.
> nearly all of humanity is blissfully unaware of what modes even are

Including, apparently, the author.
Tough recyclable carbon-fiber composites via a tailored vitrimer-fiber interface
[dupe]

More discussion over here: https://news.ycombinator.com/item?id=39433109
No, it's not. There's a long analysis of this in The Atlantic, with the verbatim quote.
Thanks it looks like a Goldilocks GPU for personal HPC with 64GB memory to perform AI training. Not sure why this GPU is not on my radar before this.
How a secret oil trading ring is funding Russia's war
In what way? You get that the Gaza offensive can be a long series of war crimes and unjustifiable civilian casualties and the quote can not mean what the parent comment said it meant, right? If you think the quote is an unimportant side detail, I think we can agree on that generally.

This is a thread about rhetoric, not a judgement of the whole conflict.
Take a look at Biome formatter and linter. Blink of an eye fast on very large projects that prettier feels like forever on.

Just don't enable the experimental or potentially breaking format options on a large existing code base. They aren't enabled by default.

Deno's in the box trolling is pretty nice as well. YMMV of course.
Correctly calling the smartest person in the world an idiot is only absurd because intelligence was improperly defined in the first place. And the dominant cultural trend is all about improper definitions.
I don't understand what the author bases his claim on. Pulsar is based on Electron, so it isn't going to be faster than VS Code. And taking a quick look, it's way behind VS Code in terms of features. It doesn't even have a built-in terminal.

If you want to use anything other than VS Code as an editor, why not pick something based on native technologies? What's the point of picking an editor that takes 6-8 seconds to start and still is way behind VS Code in terms of development?
Not sure if I understood. the usage of old and new (checked and unchecked) is a challenge.We may have the same headers used in both codes.
The other challenging is that same source may compile in compiler with or without support.

Ownership Feature Strategy (Inspired by stdbool.h)

If the compiler supports ownership checks and qualifiers such as _Owner, _View, _Obj_view, etc., it must define __STDC_OWNERSHIP__.

However, even if the compiler implements ownership, it is not active by default. The objective is to have a smooth transition allowing some files without checks. For instance, a thirty part code inside your project.

For instance, when compiling this file, even if the compiler supports ownership we don't have errors or warnings because the checks are not enabled by default.

#include <stdlib.h>

int main() {
void \* p = malloc(1);
}

A second define __OWNERSHIP_H__, is used to enable ownership. This define is set when we include <ownership.h> at beginning.

#include <ownership.h>
#include <stdlib.h>

int main() {
void \* p = malloc(1); //error: missing owner qualifier
}

The other advantage of having a <ownership.h> is because owner is a macro that can be defined as empty in case the compiler does not support ownership, allowing the same code to be compiled in compilers without ownership support.
Make sure no foreign transaction fees for any cards. I haven’t had much luck with discover and international travel. I got one for 5% rotating rewards, no ^ fees, and rarely use it but kept it in case I need a credit score.
Jolly Rodger Telephone service has worked wonderfully for me.
The highlight of this event was running with Jeff at Rice University before his talk:

https://x.com/JeffDean/status/1756319820482592838?s=20
NVDA has established effectively a monopoly status in the ML training hardware business and you cannot get into there without putting billions of upfront costs. OpenAI is far from there and we're seeing lots of competitors rapidly rising from both big techs and startup scenes.
I'm not saying this will be everyone. It's a movement. And the past shows that the start will be the "elite" that has the luxury of saying no to what the majority of us considers essential. Spending too much time online will be as square as wearing a shirt with a big brand logo or eating processed food. It'll be "something low-class people do."
I suspect the author meant that gofmt doesn’t break lines, which dramatically simplifies the complexity. See https://journal.stuffwithstuff.com/2015/09/08/the-hardest-pr... for a fun, related read.
Water molecules detected on the surface of asteroids
> "Why don't you just X?"

you are being too "polite" ... I think it can be a fair question.
Please carefully re-read what I've written in the parent comment. I do not talk about wishing, nor suggesting we should change. My point was, if we add more CO2, we make the situation worse. Maybe natural gas and carbon capture make the situation worse less fast than before. But they are still making the situation worse. There is no bargaining with physics. These "solutions" also involve mining and manufacturing, which in itself are extractive practices, further advancing the use of limited resources.

As an example, take a serial murderer. Now they say they plan to reduce their murdering from 3 people a month to 1. You argue that is good, full stop. I say it's less bad, but I wouldn't call the new situation good.
That certainly sucks, but also kind of makes sense?

Once they had the additional data that another company evaluated them as trustworthy, their trustworthiness to Capital One seems to have gone up. They didn’t want to be the only one bearing risk.
One thing I have been considering after using the Vision Pro is how spatial computing potentially could make "slow computing" more in vogue, where more experiential activities get preference over sludging through toxic social media histrionics.
It's a link to a Github repo, not a "paid commercial".
https://archive.is/G6POi
I can say I had a great customer experience with Discover recently. I'm saddened by this news
> LLMs are an important stepping stone on the way to AGI, in which case OpenAI is in a great position as the company with the best LLM

We don't actually know this though. Assuming an AGI hasn't yet been developed, we don't know whether LLMs will actually get us there. We know they seem to have more use than previous ML systems, but until we have an AGI we can't say what will get us there.

Further, are we really assuming that developing AGI is either a shared goal or a given regardless of what people would actually want to happen? It sounds like we agree on the fundamental impacts an AGI would have on our current societal structures, do we as a society not get a say in the change? Have we effectively blessed a handful of people working in the private sector to make that decision for everyone? And if so, when do we grapple with the moral questions, like whether an AGI has rights similar to humans, or if unplugging one is murder, etc?
> someone is going to think waves travel at different speeds

That's a good thing, right[1]?

Something about "the one thing all models have in common..." comes to mind.

[1] https://en.wikipedia.org/wiki/Velocity_factor
> hard in perf and price benchmarks

I just showed you that Apple is equal or better in terms of single core performance. This thread is a bunch of childish fanboy nonsense, attaching egos to some brand of CPU manufacturer and ignoring actual benchmarks.

Personally I don't care about $20 price differences. On a developer salary who gives a shit about price? I own Apple, Intel, and AMD cpus. They're all good.
currently cake uses existing msvc and gcc headers.
These headers does not have any owner qualifiers.

The temporary solution, is the re-declare the malloc etc when compiling with cake and not complain withe the function signature difference only by owner qualifiers.

if this ownership were standard then gcc and mscv headers would have the qualifiers there enabled or not , but they would be there.
Currently reading Quicksilver - this ties in nicely
> And that's why you have an in-house support departments whose job is to solve these issues.

There's a market for software that doesn't require that.

Small companies don't have in-house support departments. They contract with an IT provider. Big companies do, but theirs isn't materially different than the contracted one (a typical "big company" is really just three small companies standing on each others' shoulders wearing a trenchcoat). Their purchasing decisions are going to be based on what they think will reduce the amount of support calls they have to deal with.

> It's like buying a tractor, then relying on the company several towns away to provide repairs.

John Deere software locks their parts. They haven't gone out of business, so a lot of farms must be doing just that.

Edit: This is not an argument against RTR. Anyone who's willing to break a warranty seal and tinker with the inside of the computer or tractor they own should be allowed to do so. Being able to customize is good. Being able to accidentally customize is bad.
Direct link to HTML article: https://arxiv.org/html/2402.08934v1

Unfortunately it only contains still images with teeny thumbnails: https://arxiv.org/html/2402.08934v1/x2.png
Subresource integrity hash checks are supposed to let you pin a particular version of a webpage / webapp, but the W3C managed to not let SRI work on bookmarks. If you could bookmark a specific version of a url with SRI, that would make so many problems go away.

You can have a personal startpage saved on your device's local storage, with an SRI link to a webapp, but that takes a bit of fiddling.

E2EE: https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...
Like the worst case scenario for individuals is their friends do it to them as a joke or they misdial and lose $1. I doubt most people would exercise the option for a wrong number though. I need to iron out some edges cases, like it must be ineligible for 800 and 900 numbers. But then I am pretty certain all carriers will be able to miraculously trace and block unwanted calls on midnight of the day it takes effect.
Well are you going through the motions of doing 'curious' behavior, but you're not _actually_ curious?? That's kinda what it sounds like? If not, then the stuff you said first is helpful -- find out as much as you can beforehand. Then also maybe a little bit of setup that frames what your interest actually is, or what you checked out previously. It's a bit of a balance because asking pointed questions could in some cases be interpreted as a challenge. Maybe just being totally straight up "I checked out this other thing and I'm really curious how you saw the trade-offs in XYZ choice?" idk.
When Less Is More: Database Connection Scaling
The article itself has a blurb that says what it stands for:

> OTP stands for _Open Telecom Platform_, which is literally a meaningless name that was used to get the stuff open-sourced back in the old days of Erlang at Ericsson.
Well I didn’t count anyone who has taken a proper intro analysis course , but that’s safely within “most”.

Floats are a bit of a pain in the ass but there is nothing particularly strange about them.

The reals contain a lot of interesting structure, and things that are still being studied and understood.
I think more than tax what you need to be learning about/seeing if you can outsource is KYC.
That's the basic idea, yes. The link in the caption [https://images-na.ssl-images-amazon.com/images/I/61llDf3WTvL...] is unusually helpful, showing each port using four connectors of the uplink. So: 100mbps max, and you'll just get garbage on the other end unless you're careful.

It's an ugly hack, but hey, there's a lot uglier in active use.
The lack of memory safe casts drives me a bit batty.

You would think casting something as signed or unsigned wouldn't promote to a int / unsigned int. Ditto for const and unconst.