skysight-inc/HackerNews huggingface dataset:
Throughout history, poverty is the normal condition of man. Advances which permit this norm to be exceeded — here and there, now and then — are the work of an extremely small minority, frequently despised, often condemned, and almost always opposed by all right-thinking people. Whenever this tiny minority is kept from creating, or (as sometimes happens) is driven out of a society, the people then slip back into abject poverty.

This is known as ‘bad luck'.
Maintaining the status quo is almost always the path of least resistance for organizations like this. Saying no to something new is easy, to say yes puts you out on a limb with uncertain strength.
Seclist actually has a similar password "correct-horse-battery-staple" in one of their dictionary.

curl https://raw.githubusercontent.com/danielmiessler/SecLists/refs/heads/master/Discovery/DNS/dns-Jhaddix.txt | grep "horse-battery-staple"
I guess the very fact that LINQ is so many things makes such discussions a bit annoying at times because everyone refers to a different set of features.

Is it the SQL-like query syntax? LINQ to objects? LINQ to SQL? Expression trees in general?

Expression trees and LINQ to SQL/EF/etc. are hard to find elsewhere. The query syntax often doesn't seem to be that big of a deal, especially since not all methods are available there, so pure query syntax often doesn't work anyway.
"My4BikesHave9WheelsBecause1IsATricycle?" is a valid one for example?
People in America have been losing trust in institutions for many decades now. Don’t believe the government, the scientists, the doctors, the corporations, etc. People bond over these things.

Add the internet and this amplifies x100.
> In science nothing can be proven. If I say all swans are white as my hypothesis this statement can never be proven because I can never actually verify that I observed all swans. There may be some swan hidden on earth or in the universe that I haven’t seen. Since the universe is infinite in size I can never confirm ever that I’ve observed all swans.

An amusing thing about a hypothesis like "all swans are white" is that if you do want to go around making observations to support it you don't actually need to observe any swans.

"All swans are white" is logically equivalent to "All non-white things are not swans". Thus you can gather observational evidence for the hypothesis by finding non-white things and checking if they are swans.

My monitor is not white, and I see it is not a swan. I've just made an observation in support of "all swans are white". I can make hundreds of such observations without even leaving my house.

I feel sorry for all those other swan color researchers who had to trudge around slimy rivers and mucky wetlands checking the colors of swans.

I think I first saw this in a Martin Gardner book. It is amusing, but actually there has been quite a bit of serious work among logicians and philosophers over this [1] since the logic seems correct but intuitively it seems you shouldn't be able to research swan color by looking around at the furniture in your house.

[1] https://en.wikipedia.org/wiki/Raven_paradox
Show HN: An LLM proxy that augments your prompts using hashtags and Markdown
"a reasonable way to feel given what you've been through"

Isn't our brain made of chemicals of all kinds, and how we 'feel' is based on many chemical interactions, and so the "a reasonable way to feel given what you've been through", is the brains natural 'reasonable way to feel' as a reaction given some environment it is in.

So this is just measuring that reaction.

Maybe think of it more as analyzing why things are, and not as fixing an error. Like science does. Measure it.
Thanks everyone for checking out my little website. It will forever be free although I will play with one sponsored ad at the top to monetize it at some point.

From the feedback here are the next steps.

1. Making the titles shorter with an ai model.

2. Tagging articles and putting the tags / topics on top bar for filtering.

3. Attributing sources like wikipedia in the footer.

4. Adding some more sources and have a minimum amount of positive stories. There are ongoing wars at the moment but it cannot be too depressing to read news either.

5. Improving contrast of the subtitles.

6. After titles are shortened have a way to see a very short summary (similar to the current title) somewhere

7. And finally add login and upvoting so we can rank stories better.

From what I understand people like the design so that will remain unchanged.

Feel free to suggest anything I missed
There was at least one in the first year after 1.0, we had warnings on for like nine months and then finally broke the code later.

That I only remember such things vaguely and not in a “oh yeah here’s the last ten times this happened and here’s the specifics” speaks to how often it happens, which is not often.

Lots of times soundness fixes are found by people looking for them, not for code in the wild. Fixing cve-rs will mean a “breaking” change in the literal sense that that code will no longer compile, but outside of that example, no known code in the wild triggers that bug, so nobody will notice the breakage.
It's also an argument, that even if you granted all there premises - could be quantifiable.

If the gift shop makes $x per year in toto, and some percentage is (or could be) 3D scans, you now have a maximum dollar amount that they can possibly be worth (by calculating the cost of a perpetual annuity). Can't be more - and so even in the worst case you've changed it from a "we will never" to a "we want $x before we do" question.
A text that mentions scourging, a crown of thorns and a spear thrust in the side of the body.

It does not prove anything either way with regard to it being genuine or not, as a later forger/artist would have followed that, but if it is shown to be a genuine shroud with genuine marks then it makes it probable it was Jesus's.
People in the 14th century were no dumber than people living today, and painters like Duccio di Buoninsegna had a great understanding of shadows, and were capable of drawing amazing portraits.

They were absolutely capable of painting a negative of a portrait.
Considering the methods live in the System.Linq namespace, I think the extension methods may also be called LINQ.
I always make that the default in my 1Password instances. If the threats we're trying to protect against are mainly 1) weak passwords and 2) password reuse, then there's still room there for human-friendly readable passwords. I don't see much marginal benefit of generating something like cnC*i8Npc2J7zWRYFfsy (the common default template across password managers) over teo-PRETENDS4cognac.
Yeah I’d be surprised if Amazon did that.

I figure they’d just give you an impossible pip and let you fail it and save at least 3 month severance.
Interesting they don't compare to open-bio. Page 7 charts are quite weak.

https://huggingface.co/aaditya/Llama3-OpenBioLLM-70B
There are easy ways to do some subset of what LINQ does in Java (using annotation processors), in Go (using generators), in Python (using double-underscore methods to capture all the operations the expression is working with at runtime, see SQLAlchemy) and in Ruby.

There isn't a seamless way to do what LINQ does in any of those languages. But if the runtime supports a LISP then you can do more than what LINQ does (Clojure for the JVM, something like zygomys for Go, Hy for Python, and ... well, Ruby for Ruby).
What effort? I just wrote two short comments. I also have no idea where to even begin getting the info from the horse's mouth in this case. Just getting ahold of a proper communication channel would be 1-2 orders of magnitude more effort than my comments here...

EDIT: again, I'm not that interested in the cost of this particular study - what made me comment was the negative reaction of many commenters to a legitimate, in my opinion, question at the start of this thread. I can both believe the question is legitimate and not be very interested in its answer, right? That's how it is.
That’s a pretty savvy open-core strategy: paywall features that create risk of legal liability so they are only used when there’s a paying customer/operator to assume that risk.
> It's already a travesty that many big name public universities have more people from Shanghai or Mumbai than the next town over.

Why is that a travesty?
> Some more optimizations can happen when the chain ends up with methods like Count(), First(), Last(), ElementAt() or Sum(). For instance, OrderBy(criteria).First() can be optimized to execute as Min(criteria).

As useful as that might be, we should really be writing better code. This is interesting for dynamically generated chains, I suppose. But if these operations are done on bespoke code, this is kind of perverse positive reinforcement. The library itself is recognizing a sub-optimal pattern and correcting for it. I hope there's feedback, at least, that suggests improvements to the underlying code.
Cell phone keyboards should have a "QR code input" and then you could just use a QR code generated by your password manager dynamically.
Good tools are worth paying for
Yes, but I think the point is practically every high level language can already do this pretty trivially.

If it's scripted you can typically just get a string representation of the function.

If it's Java, JAR inspection/dynamics have been a thing for a long time. And in other languages, they usually directly support metaprogramming (like Rust) and plugging code into the compilation logic.
Just use the dictionary on your local machine.

sort -R /usr/share/dict/words | head -n 4| sed 's/.\*/&/;$!s/$// ' |tr '\n' '-' |sed 's/-$/\n/'

unsterilized-compoundedness-betrayer-pentathlon
Drools is a rules engine, but Prolog is a fully-fledged, general-purpose language, yes? For example SWI-Prolog has a bunch of http libraries and can be used as a web development language (using Prolog's clause database itself in place of some SQL). I don't think that'd be a sensible use case for Drools.
Supermemory – Build your second brain
They didn't yet run of the extremely poor and desperate people to swindle them?
Many of the Cities Have Gotten Wetter
Who cares? This is a problem for podcast hosters like Spotify, but not for listeners. Listeners can just follow their usual podcasts and never see 99% of the stuff that is out there.
I wonder how his ideas could apply to scenes in games, where after all we have far fewer constraints (we can make any landscape or plant or tree), while we have other constraints that Olmsted didn't have (rendering).

For example,

Through all the designs that Olmsted created there runs one dominating and consistent conception. He always insisted on the subordination of details to an overall composition whose strongest and fullest effect was to act unconsciously on those who viewed it. He vigilantly guarded against distracting elements that would intrude on the consciousness of the observer. In the process, he simplified the scene, clearing and planting to clarify the "leading motive" of the natural site and heighten the effect of a particular quality of nature.

And at a greater level of detail ... do game studios work at this level of detail for the artwork (edit: I mean, do they think through the artwork conceptually at the level Olmsted did)?

When employed the style of the Picturesque, Olmsted introduced "complexity of light and shadow near the eye" to heighten another aspect of nature—its mystery and bounteousness. To achieve a sense of mystery, he used a variety of tints and textures of foliage that made forms indistinct and created a constantly changing play of light and shadow. At the same time, he planted profusely to secure greater richness and lushness of growth than nature would produce unaided. He planted one layer upon another, beginning with ground cover, then shrubs, then trees above them. To complete the effect he often added creepers that covered the trunks and branches of deciduous trees, keeping them green with foliage even in winter.
The quest to figure out farming on Mars
I hear you. This could be the most important improvement. Making sure the news is not too negative while also telling the most important stories.
'quantum software developer' became a job that exists
> Seclist actually has a similar password "correct-horse-battery-staple" in one of their dictionary.

There's a well-known reason for that (and for GPs comment): https://xkcd.com/936/
Why isn’t immigration via Mexico into the US similar to immigration into Taiwan? Uh. I suppose you could start with the difference between a land border and roughly 100 miles of ocean separating the nearest country.

Why isn’t it similar into Russia? From where? Whose life is going to be that much better in Russia?

Why isn’t it similar into Korea? I mean, I imagine the highly militarized border might play a role.

Did you think these were serious questions?
Papers on OpenAI o1 and test-time scaling
Thought terminating cliche below
TSMC may have breached US sanctions; Apple chip production could be at risk
Roku, who has about 50% of the streaming device market in the US, supports entering passwords via their mobile apps.

Having to enter a password on a streaming device is rare event for me at least. Almost all of the apps on my Roku support using an off device web browser to authenticate.
Not a Turing Machine, but with a Lisp interpreter and few atoms (Lambda Calculus in the end) you can state the peano axioms, then a basic arithmetic calculator, and after that, a basic algebra solver in minutes.

https://justine.lol/sectorlisp2/
He's probably threatening you. Warning you that if you don't feed him he's going to start destroying your precious house plants
it's a good anti-perfectionist manifesto, as avoiding things you can't do well enough to present for credit is stultifying. but moderation is key.

the secret to SOFA may be to STFU about it, as if you're the person who talks about things they've maybe done once or are going to do but never finished, you're kind of dumb, but if you just do stuff, you end up having some surprising skills.

the effect of not talking about it also creates an attribution bias in your favour, where after pulling a few surprise rabbits out of hats, you become the magic hat guy. if you talk about all the things you have kind of done, you're just opinionated. I've been both, and after more than a decade of being conscious of mostly STFU'ing, I can say that some humility can be a superpower.
It looks like you just reinvented CGI/PHP.
> How do you debug DCGs? I get "false." instead of "syntax error at line 23", which is unacceptable for bigger inputs.

I also sympathize. "false" as the default failure mode is a challenge with Prolog. Most Prologs I've used have good debugging/stepping features (see spy and trace predicates), logical debugging of pure monotonic Prolog can often help (explained by Markus Triska), you can easily write (use existing) meta predicates that assert a called predicate must not fail otherwise throw an exception. For example: here the ./ is supposed to look like a checkmark. So `./ true.` is true. `./ false` throws an exception.

:- op(920, fy, './').
:- meta_predicate './'(0).
'./'(X) :- call(X) *-> true ; prolog_debug:assertion_failed(fail, X).
> * Not understanding when something is evaluated.

Linq is lazy. .ToList() reifies. there, that's the gist of what you need to know. Not hard.

> Not understanding the expectation that Single() requires exactly one of something.

eh? There are a bunch of these methods, Single, SingleOrDefault, First, FirstOrDefault, Last, LastOrDefault and you can look up and grasp how they differ. It's fairly simple. I don't know what the problem is, outside of learning it.

> Not understanding how damn hard it is to test LINQ stuff.

Hard disagree. LInq chains can be unit tested, unless your Db access is mixed in, which is not a LINQ issue at all, it is a database query testing issue. LINQ code, in itself, is easily unit testable.
"var results = list.Where(x => x.Salary > 12345).Select(x => x.Name).ToList())"

Giant majority of ppl refers to this when talking about LINQ.

But yea, it is LINQ method chaining.

SQL like syntax is LINQ query syntax
Just one. It’s a compiler bug and not a soundness hole.
Not too much, it does actually work :) The concept is generally called "virtualized geometry" and Unreal's implementation is called "Nanite" but others are starting to pop up too, like the virtualized geometry implementation in Bevy.
It literally says under the image: code of the matrix (Cloned from Keanu’s GitHub), and links to hackertyper.net

I think it's popular due to hackertyper. If you search for things like "hacker code" on google, hackertyper comes first.
The first 754 standard (1985) was essentially formalization of the x87 arithmetic; it defines a "double extended" format. It is not mandatory:

> Implementations should support the extended format corresponding to the widest basic format supported.

_if_ it exists, it is required to have at least as many bits as the x87 long double type.¹

The language around extended formats changed in the 2008 standard, but the meaning didn't:

> Language standards or implementations should support an extended precision format that extends the widest basic format that is supported in that radix.

That language is still present in the 2019 standard. So nothing has ever really changed here. Double-extended is recommended, but not required. If it exists, the significand and exponent must be at least as large as those of the Intel 80-bit format, but they may also be larger.

---

¹ At the beginning of the standardization process, Kahan and Intel engineers still hoped that the x87 format would gradually expand in subsequent CPU generations until it became what is now the standard 128b quad format; they didn't understand the inertia of binary compatibility yet. So the text only set out minimum precision and exponent range. By the time the standard was published in 1985, it was understood internally that they would never change the type, but by then other companies had introduced different extended-precision types (e.g. the 96-bit type in Apple's SANE), so it was never pinned down.
The topic is about theoretical computer science which I would say is a math.

The authors last point is basically like what applied math is to math. It’s applied computer science.
Im genuinely interested here.
If you made some security bugs public due to the company not cooperating properly, would that damage your reputation in the community to the point it would jeopardise your career opportunities?

From the outside looking in, it seems that the community would applaud that behavoir, but I am not familier.
Because he is a messiah who will create a god, we puny humans will be worshiping. /s
Wow, I read the entire thing only to realize it’s an advertisement
On Lambda Calculus:

https://justine.lol/sectorlisp2/

Also, the original paper on Lisp it's beauty itself. It's describing Lisp... in Lisp, recursively stating both (eval) and (apply). Magic.
I'm glad someone is thinking about UX and ergonomics when it comes to passwords. Most people I interact with have by now realized that generating passwords is a good idea. But if you are already generating the password, please do not include special characters. I regularly use different keyboard layouts (sometimes it is not even clear which layout is active, like in the vSphere web console), and the fact that passwords are often not shown on the screen when typing them makes for terrible UX and causes frustration.

The usual advice about character classes is only for casual users who don't know what makes a secure password. Entropy is the deciding factor: Ten random lower case letters is much more secure than "Summer2024!", which satisfies most password rules and has more characters.

Personally I stick to lower case letters for things like my Netflix password or Wifi key, because typing with a TV remote can be a huge pain. To keep a similar entropy, just increase the length by one or two characters.
There is no supreme court in France, this is a gross mistranslation of "Court de Cassation", which is where you bring your case after you have lost your appeal, and is the last court where you can try to argue your point.
The Solar Magnetic Field from Solar Minimum to Pole Flip
Surprised me initially too, but then I remembered it's trained on web content, makes a lot of sense then.
It handles the basics of:

>shape union and intersection, clipping and masking.

in a fashion which most folks will find more familiar.
Arasaka Corporation is taking notes... :)
Yes! I agree with you, mathematics is not a natural science. You can study the physical reality or the intellectual reality, mathematics would be closer to the intellectual reality.

I guess this points back to the eternal debate about if mathematical objects are invented or discovered. If they are discovered, then that would mean that there is an underlying truth/semantics behind the mathematical formalisms. So in that case mathematics studies and interacts with reality. Take for example Calculus and Newton and Leibniz [0] who invented/discovered calculus independently.

I will let you decide on what side of the debate you feel more comfortable :)

[0] https://en.m.wikipedia.org/wiki/Leibniz%E2%80%93Newton_calcu...
The videos on this page are particularly interesting, especially: https://svs.gsfc.nasa.gov/5344/#media_group_376064

The solar magnetic field, propagated from the photospheric magnetograms using the PFSS (Potential-Field Source Surface) model. This covers the time frame from December 2019 through September 2024. This view uses a camera that rotates with the Sun so the view is over the same equatorial longitude.
Paper mail does have an issue with spam too. Though I guess the differences in price and scale make a quantitative issue into a qualitative one, which I guess was your point ?

You're assuming that everybody shares your opinion of cars being progress and/or progress being good - you're assuming too much.
Not just spotted, but easier to find after the fact when the problematic behavior happens.
Binding float to the IEEE 754 binary32 format would not preclude use of decimal formats; they have their own bindings (e.g. _Decimal64 in C23). (I think they're still a TR for C++, but I haven't been keeping track).
> ugly OSM bumper sticker on their maps

Displaying attribution for free worldwide geodata sounds quite good for me.
Just regulate AI, don’t mess with freedom because some abuse it.
Is your reply possibly meant for anthk and not me? I did understand what you wrote in the way you describe here.