skysight-inc/HackerNews huggingface dataset:
How do you typecheck generics, with type inference, with comptime?

Or, more generally, address all the issues raised in [1]. You're saying that comptime can fully replicate all the features that a proper generics system has, which is plainly false.

[1]: https://typesanitizer.com/blog/zig-generics.html
How does Scallop scale on large knowledge bases (KBs) for doing probabilistic reasoning? I'm currently working on large KB with ~ 12M facts and trying to do probabilistic inference on it. So far I've been using [cplint](https://friguzzi.github.io/cplint/_build/html/index.html) which is based on SWI-Prolog. It works fine for toy examples, however, it doesn't finish running for the large KB - even after waiting for it for more than a week. Does know any Probabilistic Logic Programming (PLP) libraries that are fast and scale to large KBs? Preferably in Prolog ecosystem, but not a hard requirement.
Ha, I love that this is about Blue Jeans Cables. I actually just bought some of their stuff this week-- really incredibly well made cables. Their website looks like it hasn't been updated in the 90s, which leads me to believe that cable quality and website quality are inversely correlated.
Problem with buying a digital album is the same one as buying anything digitally rather than subscribing - since it's digital how do I know it'll stand the test of time? Does it have resale value?

I don't know the answer, considering I don't want to find room to store CDs or carry around a discman, but that's the problem.

Honestly, I would rather listen on Spotify and Venmo the band $5 towards their next track. Not sure what that looks like in a scaleable way.
YouTube video is already engaging social media content, I'm not convinced
Yes, this explains a lot of the "logic" behind the behavior of this Trump administration. I also think that its not just an end goal but that they enjoy the means to this end.

"There is a class of men whose sole delight is in destroying" William Blake
No Bottle ?
Engineers that only rely on docs never reach their full potential. Reading the source is a must.

I think junior devs often don’t realize they should be reading the source of the libraries they use.
TIL bandcamp and bandsintown are not the same thing.
Indeed, IBM PC certainly didn't had one and I had to wait until MS-DOS 5 to use one, that wasn't a game.

As someone that started on Timex 2068, I can certainly say that no one referred to CP/M, MSX, Atari, Amiga or Mac as being PC.

The word PC was definitely known as being IBM PC with either IBM PC-DOS or MS-DOS.
Using TypeScript in back-end is a downgrade.
> which was totally forgotten before other europeans

Was it? They just haven’t realized or cared that it was a different continent rather than a bunch of different islands far in the North.

Vinland sagas were written several hundred years after the last voyages and weren’t lost either (Iceland itself had very limited contact with the rest of Europe though (e.g. it took the plague an extra 50 years to get there).
As Eric Schmidt put it in his infamous conference at Stanford: "It doesn't matter if you steal at first, you will only have to get the lawyers to clean the mess up."
Every single thing he says is laundered pro-corporate policy given the veneer of an academic voice. He gets so much money and prestige from conservative causes, and has so little comparable serious academic research economist credibility. You can find his CV and confirm, he's a political philosopher that writes in the context of economics.

A good writer, an interesting person, but very overrated economist. And much more insufferable as he begun this self=laudatory fart-sniffing phase.
So they achived R1-Zero like performance without those long CoT that sometimes never end/are impacting inference time with fraction of fine tunining resources?
If they are able to reach out to folks who have purchased on their platforms and mark offending items as recalled due to safety issues, I don't see why not. It doesn't even seem like that onerous of a task. They're not _responsible_ for the items sold, but they should be doing _some_ level of footwork making sure that items that are recalled are labeled and/or delisted.

Just like Target, Walmart and other physical retailers often work with recalls on products sold through their stores.
Review – The Sleepwalkers: How Europe Went to War in 1914 (2015) [PDF]
Breaking up a "spaghetti clause": Apple iCloud terms of service update
This.

I'd also add that code readability goes a long way too. Rust compiler has better checks than Go, but when LLMs make mistakes it's a lot easier to identify and fix generated Go code than Rust.

So the balance between verbosity and readability is important too, in addition to soundness checks. Java and Go are both verbose, but Go is intentionally designed for readability.

And compile time as already mentioned. Go wins there too.

All of these help together to iterate faster with fast and often subtly wrong generated code. LLMs will continue to be less wrong as the available training samples increase over time. That's something for the future to see what wins there.
You kind of answered your question, didn't you?

Because the types in typescript don't need names. And the type "object with firstName and lastName" is one such type that doesn't need a name.

So:

> They don't seem to have a problem with names.

Yes. The problem is much smaller there, and mostly caused by programmer cultures that insist on naming everything.
To understand a complex system, sometimes it better to understand a (simpler) model system. Sometimes an older version of the same system is that good model system. This is not true always but a good rule of thumb.
I know, now it's time to open open ai.
A long long time ago the team I was part of managed old unix systems.

A coworker telnet'd (or rsh, can't recall) into such a machine to do some maintenance and after a while fat fingered:

umount /

Would you believe it, back then being root meant this was absolutely unprotected and the minicomputer OS (some ancient AIX) dutifully complied.

The chaos that ensued is but a blur.
I do not do that. I use the reverse sear technique popularized by Kenji Lopez-Alt. This involves heating the steak to near-doneness over indirect heat, followed by an intense sear over direct heat. A brief rest period in between allows an even better sear, as the surface has a bit of time to dry out and the internal temperature to drop a bit, enabling more time over high heat.
> Dude had bought two monster 1/4inch cables and gotten them replaced "for free" like 5 times.

Every time I've had a cable fail it was at one of the solder joints on the connector. Stripping it down and re-soldering takes a few minutes, sure, but it saves you from having to drive to a music shop or pay for shipping. For this reason I try to only buy cables that are built to let you do this instead of ones with closed, molded ends.
I've been pushing my clients to buy IT gear sooner than later. I'm seeing more price hikes and outages on new kit and the rate of those is increasing.

I'm not seeing an impact on the used hardware market from US sources - or at least not yet. UK sources got hit with steep shipping costs a month ago. I'm not sure about Canada.
I had to lock-down my private Gitea server when I noticed my commits were taking forever, because my meager 2-CPU instance was pegged.

Tail the nginx logs, sure enough some jerk is asking for every URL for every git commit ever done, with no delays/backoffs/anything. Just hammer the ever-loving crap out of me. Lovely, GTFO!

The simplest thing to do: add HTTP Basic auth, now my git server is no longer accessible to the public. Thanks AI startups! Maybe I'll re-enable after this craze is over.
Atiyah Riemann Hypothesis proof: final thoughts (2018)
Agile AI Engineering
The Finnish Twin Cohort's Odd Results for the Effects of Exercise on Mortality
It uses a noticeable amount of resources/energy. I mainly use it for text-heavy tasks like reading research papers.
These ideas are attractive to a lot of people who don’t imagine any second order consequences.

They become much less popular when people are faced with the realities, like if Facebook marketplace sellers were required to collect your information and register you as the buyer (can’t have anonymous sales if they have to track buyers), higher prices, and overall reduced availability of things for sale because it’s increasingly painful for anyone to sell or buy on these marketplaces.
I'm also an AI researcher and I'm not hopeful that the hype will die down anytime soon. People have been touting insignificant results through shoddy science for a long time now. They've noticed it works well enough because current ML is still pretty much alchemy (Ali Rahimi's 2017 NIPS Test of Time [1] talk still resonates today) so people rarely spend the effort to effectively refute the bogus claims.

As a result, I've opted out of the system and I'm working on trying ambitious ideas I have to try to upend the current paradigm of training on big data, which is truly insane (by age 4 the most erudite of children have probably only been exposed to 45 million words [2] and yet exhibit vastly more understanding and fluency than any language model trained on a similar amount of data).

[1]: https://www.youtube.com/watch?v=Qi1Yry33TQE

[2]: https://www.aft.org/sites/default/files/media/2014/TheEarlyC...
I'm glad to see a court agreeing that targeting specific characteristics of people and then Facebook using their knowledge of individuals to serve them ads is targeting specific individuals.
Right? Monster is lucky they didn't have to square up against the venerable and vicious Leonard "J" Crabs*.

* The "J" stands for "Good Work!"
The title is "What the Press Got Wrong About Hitler", and the majority of the piece is about German and foreign press consistently mocking and underestimating him even as he rose to power. It seems like the title and article are pretty well-aligned here.
Managers have three functions

1. Keep everyone on the same page
2. Keep things humming along
3. Keep shit from rolling downhill

It can be very easy as a manager to get caught up in putting out fires related to the second two and let the thrid happen or not happen on its own. But that's where ICs see them or notice their absence the most.

The thing I run into more is I often see managers as part of the machine, someone who I need to protect myself from rather than someone there to support me. This is likely as much a me problem as anything else, but its also something I've see good managers overcome.
I've recently been really trying to get up to speed on NATS. It would be great if JetStream had some degree of querying.
A contagious virus is not "poison". It can transmit to others. Anyone who takes actions that cause them to be infected with a potentially deadly virus, and transmits it to others, potentially killing them, should be tried for the equivalent of attempted murder.
It's crept up gradually on people how harmful the "personalization" model is.

My pet peeve is that many community organizations (such as a board game club and a game development club at my Uni) use Facebook and Instagram as their only communication channels. That kind of platform opens you up to so much bullshit, bullying and cringe (all these girls who look the same who supposedly want to follow me) You might be sharing content which is really wholesome but you have no idea what is getting served right next to it. It's rare to see an organization like this one

https://fingerlakesrunners.org/

where you won't find anything that isn't about running, where moderations can squash things that aren't relevant without cries of "censorship", etc. I wouldn't even mind if a site like that had ads for running shoes or Wegmans or local car dealerships but personalized ads and other recommendations can be so toxic and not things you want associated with your organization or your brand.
Mostly agree, but there are methods that truly are best co-located with their (immutable) data. A good example is Point.Offset(deltaX, deltaY) which returns a new point relative to the callee. Why force that into a static class?

There are plenty of examples where you want to use an abstraction over various immutable record types. Services vs. records is a false dichotomy and there is power in mixing the two.

Yes, there are lots of functions that don't make sense to co-locate with their operands. Static classes are fine for those functions if both of these are true: the function requires no dependencies, and there is only one reasonable implementation of the function. In practice I find it rare that both of these are true. With a good Dependecy Injection system (and bad ones abound), requesting a service instance is just as simple as referencing a static class.
>> Read great books, watch interesting movies, dance to the music, use latest gadgets, and eat good food.

> Does this assume I’m already a billionaire?

Why would you need to be a billionaire to do these things?

Books are not relatively inexpensive for the number of hours of entertainment you get per dollar, plus there are libraries and Project Gutenburg. Lots of interesting movies on streaming services, which are much less [1] than the price of a single cinema ticket. Dancing costs you nothing and cooking at home can be a great way to save money.[2][3][4] The latest gadgets would be the most price-y thing perhaps.

[1] https://www.criterionchannel.com/checkout/subscribe/purchase

[2] https://old.reddit.com/r/EatCheapAndHealthy/

[3] https://old.reddit.com/r/budgetcooking/

[4] https://old.reddit.com/r/MealPrepSunday/
Excising Dropbox
Simple blood tests could be the future of cancer diagnosis
C3: Reading and Writing Files
Cosmic anomaly hints at frightening future for Milky Way
Not creating abstractions has a cost too. Let say you have a string which is a user_id, just define a user_id type. That'll document the code, helps avoid mistake thanks to type checking, reduce cognitive load, ease refactoring and so on.

And if you need to change abstraction at some point, then refactor.
Or the reality could be holding some person on Facebook to the same standard as a company making hundreds of billions of dollars is absurd. This is an absurd argument against this.
Oh wait, it is a commercial offering ... Hardened? What do they actually do besides repackaging. I fail to see what this provides over RHEL or even AlmaLinux. They will always be a downstream/derivative who does not really engage with the upstream.
Potential bias warning: The Washington Post is owned by Bezos.
> I don't see why not. It doesn't even seem like that onerous of a task

It’s a hugely onerous task because it requires mapping every listing to a known product.

If someone sells a “green couch” then how do you track recalls for that?

You either force everyone selling anything to look it up in a big database you maintain and disallow generic sales, or everyone is just going to list things generically anyway to avoid the hassle.

It’s an idea that sounds easy when you assume everyone’s making perfectly formed listing, but sounds like a waste of time when you look at real listings.

EDIT: Replaced high chair example with a couch because people were pointing out that a high chair listing would be deleted. Though that proves my point, that any item covered by regulations wouldn’t be allowed on the platform, so if you extend regulations to cover every product ever made then you can forget about being able to buy things second hand. I’m guessing Amazon would actually love that, but you wouldn’t.
They trivially can: "aims to be" means "in the future they will be this way," not "they are presently this way." That's what "differences are bugs" means, that you may currently experience incorrect behavior, but that it is intended to be fixed in the future.
I don’t think that being partially owned by the state and the overall convoluted and organizational structure (unions etc.) have helped VW’s stock. It hasn’t been doing that well for a while and is quite cheap
Stopping Waste, Fraud, and Abuse by Eliminating Information Silos
Self promotion is fine, but you've plugged the company you work for four times on this thread already. It's also appreciated when you add a disclaimer like you've done in the past [0]

[0] https://news.ycombinator.com/item?id=39214461
It's interesting that Congress is talking about sunsetting section 230 which provides protection for web sites that display user generated content from being responsible for what that content says, and what Amazon wants here is apparently the equivalent for drop-ship/forwarding sales companies and the products those companies ship through them. But the argument is that safety agencies are unconstitutional?

For me, this suggests a high level of dysfunction in the Government if people asking for things from the Government do so using the biases of the people in power as the basis for their argument rather than reasoning to it by some set of principles. I don't know how much of this article was inferred by the person writing it and how much accurately reflects Amazon's position, so I can't draw strong conclusions from it but it's an interesting reflection on the extreme 'buyer beware' attitude of cut throat businesses that take no responsibility for the harms they inflict on their own customers.
Did you just restart?
Yes, "half of all floating-point numbers are in the interval [-1,1]" but measures over real numbers and other continuous spaces are about as toxic as you can get

https://en.wikipedia.org/wiki/Banach%E2%80%93Tarski_paradox

In my mind the "real" numbers as described by Cantor ought to be called the phony numbers, whereas there is a lot more reality in the integers or the rationals in that every integer has a name.

You could just as well say that "half of the reals are in the [-1, 1] range" in that you could say there is a 1:1 correspondence between x and 1/x or you could say there are as many reals in [-1, 1] as there are between [π, 2π].
> In hindsight of course we should have written the docs in a way that would prevent this exact situation

I would say the bigger failure is relying on a human typing things into a terminal rather than automating the tasks or changing the system so the task is no longer needed.
https://apnews.com/article/amazon-sues-cpsc-product-recalls-...
Larger companies with more profit have more political influence. This is fundamental. The fads you describe are just that. Tides of destruction are inevitable, but the fundamentals remain true. You're missing the forest for the trees.
Attention Is Logarithmic
How? By manufacturing more cars? Everyone can do it, Toyota, VW maybe even Ford..
For business sellers of course.
Denying math has a tradition among politicians: https://en.wikiquote.org/wiki/Malcolm_Turnbull
I object more to the data collection and sale that allows Facebook to target ads like that, than the actual targeting of ads (which I would block anyway) personally.
Thanks, this is interesting. I have done a lot of this sorta stuff (glob expanding giant directories) without a thought for this `ARG_MAX` libc parameter, but now I know I need to keep it in mind!
Tax revenue could drop by 10 percent amid turmoil at IRS
I have found throughout my life that the best gifts were ones that required me to give PII to the giver, and sign a binding agreement that legally restricts my use of said gift.

Bonus points if you harass me about your newsletter.
You're right, I'm mostly maintaining different private APIs. In that context, optimizing for individual developer velocity definitely makes code-first more appealing. But you're spot-on about larger orgs and standards—spec-first can simplify collaboration and consistency in those scenarios.
The code demo in the crabtime readme is actually a good example of something that is now hard to grep. Let's say you see a usage of `Position1`, and you want to find where and how it's defined - well, there is no `enum Position1` in the codebase, because the identifier is concatenated from two separate parts. You lose out on some IDE niceties as well - can't command-click on the definition site to find usages, because there is no definition site (available to you, at least).
Comptime can only properly express half of them:

- generics: comptime can implement some kind of polymorphism, but not at the type level. In other words it implements a templating system, not a polymorphic type system;

- interfaces/traits/concepts: comptime implements none of that, it is plain duck typing, just like "old" C++ templates. In fact C++ introduced concepts to improve its situation with templates, while Zig is still behind on that front!

- macros: comptime solves some of the usecases where macros are used, but it cannot produce arbitrary tokens and hence cannot fully replace macros.

I do agree that it can neatly replace conditional compilation and const functions/const expr, but let's not make it seem like comptime solves everything in the world.
https://archive.ph/QjYh6
Sorry, none of this is relevant to "idiomatic rust". It's just a list of a few random ... things. That, combined with the site name "a-i-nstein", makes me pretty confident that this is LLM slop.

For folks looking for actual guidance on "idiomatic rust", I highly encourage you to check out "Effective Rust" [1].

[1] https://www.lurklurk.org/effective-rust
Tesla did have pretty massive growth over the last few years. Now that’s all over. Even their last quarter was quite awful and it’s going to be downhill in the foreseeable future (losing Europe as a market alone is going to hurt and make any revenue growth near impossible).
$9B in pre-orders for super-slow, super-quiet aircraft
As someone who has been around for decades I assume, do you thnk anything tech has created has made it easier to manage people or teams?

I'm only 35, but I don't see how it could of. Systems should be able to improve collaboration and alignment, but I don't see many that do.

Or maybe I don't know how much worse it could be.
Iirc Facebook has dealt with this for lots of children's stuff by banning it's sale. Certain items (forgot which, maybe car seats etc) you have to look up creative misnamings to find them, although maybe Ai has crushed that by now.

What will actually happen is this stuff just becomes less accessible to poor people and now their child had no safety equipment at all instead of a 1/100 chance of a recalled item that probably still would be better than nothing.
Control-F Privacy. Hmm.
I'll leave this here, try guessing what this prints:

const std = @import("std");

const myType = struct {
const info = @typeInfo(myType);
const before = info.Struct.decls.len;

pub usingnamespace (if (before == 0) struct { pub fn baz() void {} } else struct {});

const after1 = info.Struct.decls.len;
const after2 = @typeInfo(myType).Struct.decls.len;
};

pub fn main() void {
std.debug.print("Hello, {} {} {}!\n", .{ myType.before, myType.after1, myType.after2 });
}
Agreed, but i think we are allowed to be happy about meta taking the L on this
"Here is your employee bag."

"You mean badge, right?"

"What are you holding?"

"A ba... oh."
We've moved the comments thither. Thanks.
Yes, it's really unfortunate that having a Meta account is just assumed by society
In other words, it would make the business model of running a marketplace that sells dangerous junk from alibaba less profitable. Say more.
> Chang established the basis of this research in a previous publication with an intentionally simplified model that ignored such complexities as geography and migration. Those precise mathematical results showed that in a world obeying the simplified assumptions, the most recent common ancestor would have lived less than 1,000 years ago. He also introduced the "identical ancestors point," the most recent time -- less than 2,000 years ago in the simplified model -- when each person was an ancestor to all or ancestor to none of the people alive today

This is clearly ridiculous. We have historical written records to know this isn’t true.
Here's the other photos of Earth eclipses seen from the moon,

https://fosstodon.org/@AkaSci/114163135356046535