skysight-inc/HackerNews huggingface dataset:
From the sibling link, I'd highlight:

Alan Kay: A powerful idea about teaching ideas at TED (2007)
https://tinlizzie.org/IA/index.php/Alan_Kay:_A_powerful_idea...

Alan Kay: Normal Considered Harmful (2009)
https://tinlizzie.org/IA/index.php/Alan_Kay:_Normal_Consider...

Back to the Future of Software Development (2003)
https://tinlizzie.org/IA/index.php/Back_to_the_Future_of_Sof...

All of the STEPS reports - I especially like appendix E in:

https://tinlizzie.org/VPRIPapers/tr2007008_steps.pdf

> Appendix E: Extended Example: A Tiny TCP/IP Done as a Parser (by Ian Piumarta)

> Our first task is to describe the format of network packets. Perfectly good descriptions already exist in
the various IETF Requests For Comments (RFCs) in the form of "ASCII-art diagrams". This form was
probably chosen because the structure of a packet is immediately obvious just from glancing at the
pictogram.

> If we teach our programming language to recognize pictograms as definitions of accessors for bit
fields within structures, our program is the clearest of its own meaning. The following expression cre-
ates an IS grammar that describes ASCII art diagrams.

> (...) We can now define accessors for the fields of an IP packet header simply by drawing its structure.
Mojo but for Javascript
https://www.mojeek.com/ self-disclosure, mojeek team member
https://archive.is/50eQC

Related:
"Daily 4000 in Portugal Offer Iris Scans for Worldcoin Cash, Inquiry Started" - https://news.ycombinator.com/item?id=39576147
How is it stunted or limited?
People are perhaps not so enthusiastic about giving away their countries just so multinational companies with no loyalty to them don't leave. On the other hand, China, Japan, Taiwan, and South Korea all manage to have highly-successful tech industries (tech, not ads and social media) with near-zero immigration.
Is this the datetime format they use onboard on the ISS or why is it being used in this webui?

This is the first time I come across this particular format, but also never near space-stuff so wouldn't surprise me if they use some specific format for some specific purpose.
As is so often the case where there are two “camps”, the public conversation degrades quickly because of binary extremes taken up by enthusiasts and naysayers.

The reality is that there is truth in both. LLMs are revolutionary, and are already enabling things that didn’t seem possible a few years ago. I’ve experienced this personally as I use GPT4 as a research and troubleshooting assistant.

But the fact that it seems so good on the surface (because sometimes it is) is what also makes it so dangerous. And the doomsday crowd rightly points out that this isn’t what many people think it is, and that people should not trust it in the way many people blindly have been.

I think the public has been primed by a broader tendency towards polarization on social media to have exactly the wrong kind of conversation about AI tech as it emerges.

The truth is some combination of all of the above. There are reasons to be excited. Reasons to be concerned. Transformational use cases. Dystopian use cases.

What does worry me is that “the horde” seems like the default state of all public discourse at this point, which does add some credence to the doomer narrative. But the validity of that stance seems less about AI, and more about the current state of public social discourse.
> That does make it a lot better

Why?
The thing about the notifications though, is you can turn off every single one of them in the settings.

When I tried to turn it off though, I was hit with 100s of different types of notifications. I generally like it when apps/sites do this. This way I can turn off the garbage i dont need, and keep the ones I want. But 90% of thosr categories were garbage. It is really shocking that one can take a good idea this far and make it frustating.
Have you look at Austral?[0] It is a system language with affine type as the main selling point. I really, really like its specifications, in particular the design goals and rationale.

[0]: https://austral-lang.org/

[1]: https://austral-lang.org/spec/spec.html#goals
DMA became a regulation in Nov 2022, they had like 18 months.

Like with GDPR, everyone waited until the last second.
The type system was built to describe memory layouts of types to the compiler.

But I don’t think it prevents any more logic bugs than any other type system that requires all branches of match and switch statements to be implemented. (Like elm for example)
This is exactly like a plot from Silicon Valley. OA's "middle-out compression" will revolutionize the world! I agree with hackernews Habosa's starkly simple comment. These people are up their own ass.
Is that a blessing or a curse?
The two problems with generative AI that everyone is rapidly spotting:

- it's not "reliable", for any reasonable definition. If you use it for customer service, it will make false claims, which you are then liable for - or, as a customer of such a company, you have to put up with false claims being made, incur costs, and take legal action.

- it is, however, very suitable for generating large quantities of text and images. This can overwhelm human creators, moderators, and consumers. It has made search and social media less "reliable" as a result.
Go-Command-Line-Tools
It's 299 words (so close to a round number!) of worse-than-useless filler before the recipe. You get two amazon sponsored links and one blog plug for some author with that. There's also an interstitial you have to click through.

I can see why GP was not impressed.
Oh don't worry it's not just an American thing: social democrats get called “far left” on French TV on a regular basis too…
Without lifetimes, Pins, Boxes, Clone, Copy, and Rc (Rc as part of the type itself, at least)
Have you played at all with Gleam?

https://gleam.run/cheatsheets/gleam-for-rust-users/
I don't think it's necessary to understand every single `Rc<T>` method[1] to use Rust smart pointers to learn Rust. Perhaps try a different learning resource such as "Rust By Example"[2], instead?

[1] https://doc.rust-lang.org/std/rc/struct.Rc.html

[2] https://doc.rust-lang.org/rust-by-example/std/rc.html
No. My approach to security is to never admit that an application had an error to an unauthenticated user.

That information is accessible to two cohorts:

- authenticated users (sometimes; not even authenticated users get access to errors as low-level as "The app's BigTable quota was exceeded because the developers fucked up" if it's closed source cloud software)

- admins, who have an audit log somewhere of actual system errors, monitoring on system health, etc.

Unfortunately, I can't tell if the third cohort (unauthenticated users) is my customers or actively-hostile parties trying to make the operation of my system worse for my customers, so my best course of action is to refrain from providing them information they can use to hurt my customers. That means, among other things, I 403 their requests to missing resources instead of 404ing them, I intentionally obfuscate the amount of time it takes to process their credentials so they can't use timing attacks to guess whether they're on the right track, I never tell them if I couldn't auth them because I don't recognize their email address (because now I've given them an oracle to find the email addresses of customers), and if my auth engine flounders I give them the same answer as if their credentials were bad (and I fix it fast, because that's impacting my real users too).

To be clear: I say all this as a UX guy who hates all this. UX on auth systems is the worst and a constant foil to system usability. But I understand why.
>> IMMUNE TO JAMMERS

No. That is not a thing. At most, one can make equipment less susceptible to jamming. Jamming is not like hacking, it isn't a matter of whether an attack works or does not. It cannot be fixed via a patch. Pump out enough energy close enough to the target and even a hyper-directional antenna can be jammed.

Have a look at military GPS jammers. They aren't the little dongles that you can buy online and run off USB battery packs.
sorry noob q, but do you mean that the company probably didn't think to search for the unencrypted traffic? I'm not sure if I understand why the encapsulated traffic being unencrypted is "advantageous" for the adversary
The Race to 2nm: RISC-V Chips in Japan
So that is how they block a people's search/crawler. Didn't thought they would use the most complicated method.

They also use block lists to add every single TOR node (even if not an exit) and every VPN under the sun (except for streaming, because, why would them, that's why they exist)
Spain tells Sam Altman, Worldcoin to shut down its eyeball-scanning orbs
My current fiat currency is absolutely based on trust that the State will uphold any disagreement, even though I know it is not benevolent.

I also don't understand your point. The current world is not what I want, so let's make it worse according to my values ?
What do you mean? Computations very naturally organize into batches of 40 cards each.
What if I have 40TB of tabular data?

XGB still beats Attention networks, CNNs, VisionTransformers etc...

Again, point being that "AI" doesn't mean anything so making broad sweeping statements about trust or whatever is nonsensical
New York City and London Could Have Looked Different
When ohm turns into ohmygod, the experiment is over.
It was always to some extent, but the feed was a lot more formal IMO at the beginning. Content was more like actual articles and links.

But I think users just love / gravitate towards a more facebook style feed.
I was struggling to put words to my thoughts here, but you nailed it.

It doesn’t make sense to engage in a public spat with someone who has such a negative reputation. Staying silent would have made more sense.

Posting it publicly is an odd and very unprofessional move. I can imagine Satya doesn’t like this blog post.
World War II 'rumor clinics' helped America battle wild gossip
Pre-2000, Java and Object-Oriented programming were the big fad.
> but in the end it's adoption and the ecosystem that keeps me from using them.

Well, since you can't really use without high adoption even if something comes up with all features you want, you still won't be able to use it for decades or longer.
A long time ago, it did have specialized syntax! We fought to remove it. There’s a variety of reasons for this, and maybe it would make sense in another language, but not Rust.
No one person gets fired but there might be a round of layoffs to pay the bill.
It's actually a very clever structure! Please open the following image to follow along as I elaborate: https://pbs.twimg.com/media/F_PGOPOacAApU8e.jpg

At the top level, there is the non-profit board of directors (i.e.: the ones Sam Altman had that big fight with). They are not beholden to any shareholders and are directly bound by the company charter: https://openai.com/charter

The top-level nonprofit company owns holding companies in partnership with their employees. The purpose of these holding companies is to own a majority of shares in & effectively steer the bottom layer of our diagram.

At the bottom layer, we have the "capped profit" OpenAI Global, LLC (this layer is where Sam Altman lives). This company is beholden to shareholders, but because the majority shareholder is ultimately controlled by a non-profit board, it is effectively beholden to the interests of an entity which is not profit-motivated.

In order to raise capital, the holding company can create new shares, sell existing shares, and conduct private fundraising. As you can see on the diagram, Microsoft owns some of the shares in the bottom company (which they bought in exchange for a gigantic pile of Azure compute credits).
I don't buy entirely into "FB did it" kinda thing. They found it ... but users LOVE it. That's a choice in the last part.
It is the first and foremost goal of every language choice in rust.

I think traits muddy that goal, personally, but their usefulness outweighs the cost (Box<dyn ATrait>)

I should’ve probably said “the whole point of rusts type system, other than providing types and generics to the language”

But I thought that went without saying
checkout Gleam.
It does not. Modulus is only defined for integers. The point was that the 57 or 75 does not matter when you are looking at the remainder.

Modulus in this case means divide into 7 parts and when you cannot divide anymore keep the reminder.

If x = a*b+c

x ℅ a = c and x % b = c
Right now the devs are in jail so you wouldn't be able to seed from them (computers off) so you'd need to trust another reference
This article is incorrect. The rule implemented a safe harbor for large card issuing companies that have to comply with rules regarding late fees. The safe harbor means issuers can charge $8 late fees and be sure they are in compliance.

Card issuers can still charge more than $8 for late fees. They just need to comply with existing regulation, specifically that whatever late fees they charge are “proportional” to their costs.

Don’t expect an $8 cap on late fees as a result of this.
Isn't "right leaning" supposed to mean "lower taxes" in most places?
does not load the page.
No, they don't tail notch berried female lobsters where I live. But I know what you're talking about. I'm diving for Spiny Lobster in California. I think you may be thinking of American Lobster (aka Maine Lobster). Same Order (Decapoda), but different Family/Genus/Species. Also, ours don't have pincers! :-D

I say I dive for lobsters... I do dive, but I have yet to actually catch one! I caught one out of season just to practice, but put it back.
I think the fact that a number of top people were willing to actually leave OpenAI and found Anthropic explicitly because OpenAI had abandoned their safety focus essentially proves that this wasn’t a thing that had to happen. If different leaders had been in place things could have gone differently.
Doesn't matter. Do u think frauds will not apply to 2 jobs because one pays well ? Hiring remote is a lot harder and requires a lot more trust on both sides. Employers are finding that if they have the supply locally, they can choose not to do full remote. Right now, it is an employer market so they can do this.
> I've explained it several times, yet you keep ignoring the complexity in your trivialized binary option: the amount of effort differs even if rebinding is an option, so key layouts still matter

Oh, I didn't consider this because it's super obvious, and also the presumption of the whole thread (switching Fn/Ctrl) until you entered it. What's the value in pointing this out yet again?

>> you take small, generally inaccurate swipes at trivial stuff I write

> The swipes are also generaly accurate, thus you keep trying to do all the meta instead of addressing them directly.

Of course you write this in a post where you again only pull out very small things in my previous post, and engage with none of my larger points:

- It doesn't seem like any of your suggestions are possible

- even if they are with something like Karabiner, "My point is that it's always gonna be a little imperfect and maybe a lot of work"

>> Sorry then, what did you mean by "docs" here

> Company's keybinding help web page? You're making it up by trying to move the goalpost to narrower scope of "newer hardware" or "API docs"

No, all I'm saying is that going from "docs" to "API docs" on a site like HN isn't a big leap, and I was just making an off-hand remark that you've dug into multiple times now.

> 1. You can spend very little time with a few tweaks (like using a different keybind to cancel in the terminal).

You've not responded to my questions about specifics on this for either Terminal.app or iTerm2. I'm forced to conclude you don't actually know how to do this, if it's even possible. Also FWIW "using a different keybind to cancel" isn't something you've suggested before, which I know can be done in config files. You've only gestured vaguely at some context-dependent logic and rebinding Copy.

> 2. And no, it's not about consistency with other OS since the better design of Cmd on a Mac is NOT consistent with Windows. The goal is to achieve consistency WITHIN the OS so you can, for example, use the same key combo to copy in all apps

You can't really mean this. Are there macOS apps where Cmd-C isn't copy and adjusting the binds in System Preferences or Karabiner will fix it? I find that hard to believe.
>Globally, trust in AI companies has dropped to 53%, down from 61% five years ago.

This trust survey doesn't really make sense given the fast-moving pace of AI development.

There was no OpenAI and LLM proliferation five years ago, so at best this survey is only talking about very surface level generic sentiment regarding unspecified/undefined AI.
That wasn't the point of the question. The question was a hypothetical to test if there was any possible response that would've satisfied the original poster.

They're not suggesting to assume good intentions about the parties forever. They're just asking for that assumption for the purposes of the question that was asked
"Better to ask forgiveness than permission" has ruined us.
Connect arithmetic expressions into a smooth geometry space [pdf]
A geometry theory in a very early stage. Just imagine millions of millions addition-multiplication operations in GPUs connected into a smooth space, and we can do gradient tricks on it.
in addition to the omission of intellifont which mnw21cam's comment points out, this is missing most of the historical development of computerized fonts

it's also missing hershey fonts, which are public-domain vector stroke fonts from 01967, and knuth's computer modern fonts, which are bézier outline fonts from 01979 with the final version published in i think 01983. one origin of the concept of outline fonts seems to be from p. j. m. coueignoux's 01973 master's thesis at mit, which he elaborated on in his doctoral dissertation in 01975 (including many examples of fonts he'd represented with bézier splines). even earlier, urw founder karow's outline font design system 'ikarus' was in use starting in 01972, and a very substantial fraction of the fonts people use every day were originally outlined in it. from 01974 the fred system on the alto at xerox parc was also being actively used to design outline fonts, though knuth doesn't seem to have known about the parc work or karow's work. a couple of people who worked on the parc project went on to found adobe

coueignoux's dissertation cited out mergler and vargo's 01968 program for making parametric outline fonts, called 'itsylf', but it was not able to produce a complete font (just 24 letters), and its objective was just plotting out the characters on a plotter for later use with more traditional typefounding approaches, not computerized typesetting. even coueignoux doesn't seem to have attempted computerized typesetting; the letters in the specimen sheets in his dissertation are not even aligned on a common baseline. hershey did write a full typesetting system, although unlike his fonts it has fallen entirely out of use, and of course the typesetting system knuth wrote at the time remains in wide use to this day, often using the outline fonts he designed at the time

so 'adobe introduces the concept of outline fonts' in 01984 is a bald-faced lie, and the authors should be ashamed of themselves for publishing such ignorant tripe, which is contradicted by the very page they link to on the history of computerized typography
Two words, Duke nukem
Everyone always says this, that there's "bots" all over Reddit but every time I ask for real examples of stuff (with actual upvotes) I never get anything.

If anything it's just the same regular spam that gets deleted and ignored at the bottom of threads.

Easier content generation doesn't solve the reputation problem that social media demands in order to get attention. The whole LLM+spam thing is mostly exaggerated because people don't understand this fact. It merely creates a slightly harder problem for automatic text analysis engines...which was already one of the weaker forms of spam detection full of false positives and misses. Everything else is network and behaviour related, with human reporting as last resort.
LDB: A Large Language Model Debugger via Verifying Runtime Execution
This is the top-performing model for for humaneval code generation https://paperswithcode.com/sota/code-generation-on-humaneval
> Then why do functions with sync syscalls (ie file, timers or mutex ops) not expose the same contractual differences? They’re just regular functions in most languages including Rust.

Because the kernel doesn't expose that contract, so they don't have that behaviour.

> The only difference is whether the runtime sits in the kernel or in user space.

In other words, what contracts you have control over and are allowed to provide.

> My take has been for years that this is throwing complexity over the fence and shaming users for not getting it.

I'm sure how we got here would seem baffling if you're going to just ignore the history of the C10K problem that led us to this point.

You can of course paper over any platform-specific quirks and provide a uniform interface if you like, at the cost of some runtime overhead, but eliminating as much of this kind of implicit runtime overhead as possible seems like one of Rust's goals. Other languages, like Go, have a different set of goals and so can provide that uniform interface.

It's probably also possible to have some of that uniform interface via a crate, if some were so inclined, but that doesn't mean it should be in the core which has a broader goal.
How is this different than the mlir infrastructure of llvm and xla implemented in https://iree.dev/?

Bias: I implemented an integration for iree.
Hopefully I'm not embarrassing myself with this question, but:

If you know an satellite's orbital path and velocity, and the Earth's gravitational strength, is that enough to compute the satellite's mass?
Part of that might be the "reward for spamming" - any "social media" site is always amazing at the beginning, because only the die-hards know about it and the spammers have no return on investment.

LinkedIn has slightly different style of spammer, but it's basically the end game for anything.
Microsoft has a lot of baggage they’re dragging around, though.

Getting started on C# and Windows App SDK sucks a lot for example, because everything you google about them returns boatloads of results for myriad incarnations of C#, .NET, and XAML-based UI frameworks which makes figuring it all out somewhat painful.
lobsters, rustaceans, I see...
https://web.archive.org/web/20240225134243/https://www.ffam....
It won't, though. It'll just make it more obnoxious.
> I learned English before and "theirs" was plural..

Its been done before. See royal plural

https://en.wikipedia.org/wiki/Royal_we
In my experience, a good platform team will increase velocity a bit while a bad platform team will tank it. Perpetual migrations and re-writes, "simplified" platforms that fail to meet future developer needs, half-abandoned NIH systems as people move teams, ownership moats if product teams try to touch platform code, etc, etc. So if a company has been burned a couple times they may decide to just not bother.
> The word haptic existed long before touch screens and capacitive buttons. What else could it have been used for then?

Haptic is anything having to do with touch, it's not specifically feedback (although you can tune the haptic feedback of physical devices as well). A handshake is haptic communication for instance.

> They need to be specified precisely because today buttons that don't have any haptic feedback exists.

Again, that's not the case of physical buttons. So you have three categories of buttons:

- physical

- virtual (non-haptic)

- virtual (haptic)

You don't need to specify that a physical button is haptic, it is that by definition. You can discuss the haptic properties (UX) of different kinds of buttons or physical controls, but that's not the subject here.
Does it matter, someone will always have 'absolute control' of a company, and in this case it's Sama