skysight-inc/HackerNews huggingface dataset:
I've been using it since the beta, and am still paying for it. I shared your concerns at first, but in practice I've never run into the limit. In fact, checking my history, I've never actually gotten close to the limit. I pay $10/mo for 1500 searches, and most months I do less than 500 searches.

I don't think the search quality is anything special. I have never figured out how to use Lenses, and I don't even care to try them again. I like it for privacy, and I like that you can give weight to different websites, and even block ones you don't want to see again. I know there are Google plugins for blocking sources as well.

I don't have any tips. I think Kagi is about as good as DuckDuckGo, and the advantage it has is that it costs money. I'm at the point where I don't even trust a nominally privacy-focused search engine like DDG not to drift into the unethical. For some reason—maybe naivety—I think a company that takes money in exchange guaranteeing my privacy is theoretically more reliable, if only because it would be too audacious to outright lie about that.
It's basically a way to restrict search results to particular websites. So you could create a "programming" lens including Stack Overflow and Github, for example, and a search using that lens would only return results from those sites.
Sorry, but I intend to raise a bit of guilty conscience. I know it's unpopular and useless, but I feel I have to, once in a while...

A week before this submarine exploded, a boat capsized near Greece. Between 400 and 500 persons died. In both cases, it's a tragedy, but I have much more empathy for those who fled (mostly from Pakistan and Afghanistan), struggled for weeks or months on a very dangerous path, and hoped for a better life in Europe. Their deaths were probably much more painful than the crash that suddenly ended the lives of the Titanic tourists.

There is still a mist of mystery around the refugees deaths: the Greek coastal guards had been cruising near the boat, and they have changed many times their story of it. They finally admitted that they tried to tow her, but deny other claims from reporters, NGOs and even the European coast guards. There's a suspicion of unintended mass-murder, or at least (racist?) negligence. Shouldn't that draw as much focus as the failures of a submarine company?

I know that news coverage is unfair. I believe that most people don't even realize that they're biased on this — we all are in different ways. It's the same with Russia: I think most people are sincere when they say that this war is unprecedented, that our human values are at stake in this war, and that UN and international justice should act against Poutine. Ever heard of the mote and the beam? In a near past, USA invaded Iraq. And today, our country leaders lick the boots of MBS, the dictator of Saudi Arabia that started a war in Yemen which killed 380,000 persons, and who ordered thousands of bombings on mostly civilians targets. The irony is that MBS' order of chainsawing an opponent brought him trouble, while this bloody war and the regular decapitation of dozens of opponents went almost unnoticed.
https://www.bcorporation.net/en-us/find-a-b-corp/?query=Soft...

But beyond the ones matching that search, won’t most of them actually need IT oriented people even if they don’t explicitly say so?
What does "a perfect mirror" even mean? The mirrors produced for the NRO were very good but they're not alien artifacts indicating some paradigm shifting technology gap between government and the private sector. They are roughly comparable to the mirrors produced for astronomical purposes in the same era. Better because they had better funding, but not so much better that anybody should deduce that aliens had anything to do with it.
Heh, too bad finance doesn't use SI units. Instead of billionaires we'd have gigadollarbros.
What does this mean in practice?
It is not confirmation bias. It is a different tendency.

It is a tendency to absorb whatever we read or hear - regardless of its information content.

IMO: Human languages evolved more for bonding than for conveying information. So, words exchanged were more to soothe the emotions of individuals involved rather than convey useful information about the state of their environment.

Hence we are fundamentally wired not to process the information content critically but to be soothed emotionally by whatever we read or hear
U.S. Supreme Court curbs affirmative action in university admissions
But somehow, some people only feel the need to mention it when they don't like the result.
Oh okay. I was thinking of self-modifying, not just code generation. That was something that was done occasionally by DOS and Windows programmers before the introduction of DEP in Windows XP.
I suspect that this is only the tip of the iceberg. Probably many more companies have been contaminating the environment with PFAS during the decades when it was not yet forbidden.

If we would take PFAS samples across the country I bet that Dordrecht would not be an exception.
Do you allow commercial employees to read the code and incorporate knowledge obtained from the code into their brains?
It becomes harder and harder to pretend that this level of data scraping and disregard for consumer privacy is acceptable when things like GDPR exist.

Just because I posted something on reddit because I thought it was funny, doesn't implicitly give permission to anybody to take that post and profit from it. You're doing a disservice to consumers by acting like it's their fault for being exploited.
It's a shellscript manager app from GUI that have CRUD and exec
> Could you be a bit more specific here about what you do, why you do it in embedded (and not elsewhere), what it protects you from, and how it does so?

We create, upgrade, maintain, validate applets for emv and other cryptographic and sensitive embedded (MCUs) applications; I try to guarantee safety using tla+, coq, z3 and agda. Or just on paper. And we deliver that as paper with our software.

It’s just some functions, not all: we often have to, because of certification, show ‘a story’ (not proof) that things will be ‘secure enough’. I personally enjoy it more to prove some of the crucial parts as ‘the story’ not write a story.
These have always been documented. Hit the version selector: https://docs.python.org/2.7/glossary.html#term-decorator
most Garmin watches give you at least 1 week of battery life with 7-8h of GPS activity during that week. if you do less than 8h, you can get 1.5 weeks of battery life.
The main problem is that Microsoft is trying to use a WebView. If they really want a single cross-platform app, they should develop a native framework that will work everywhere instead of shoving everything into a web engine.
The Judicial branch also has the job of ensuring whatever misguided ideas the Legislative branch may come up with, regardless of what they are (Communications Decency Act, anyone here?) are compliant with the US Constitution and other applicable laws.
In this case I think it's a little different. People are saying that they don't want to have their own productive or creative output used to undermine their own standard of living. That's not the same as simply not wanting to have your job automated away by someone else's business innovation.
As GP noted,

> an example of reliable manufacturing

A mechanical watch doesn't need any intrusion and can work for years if not decades, and if it needs a service there are a lot of qualified people who can do it, including full disassembly and assembly. From that point of view, it can be a "lifetime" device.

Any smartwatch, no matter how expensive, will reliably and predictably turn into a paperweight when it stops being supported by the manufacturer. Many smartwatches will do it sooner — when their non-replaceable battery is out of juice.
A hash table is not a good backing structure for a search engine.

Hash tables almost guarantee worst case disk read patterns. You use something like a skip list or a b-tree, since that's makes much better use of the hardware, and on top of that allows you to do incredibly fast joins.
I did that once, almost a decade ago, when I was working on some PHP backend code implementing some moderately complex data processing in context of reservations of venues (the complexity came from the fact that venues could sometimes be reserved fractionally, and reservations could sometimes overlap, based on a variety of factors). I had a huge mental block then, caused by overall burnout on the project I got stuck in.

Back then, I've had my first crush on Lisp, which made me think a lot in terms of higher-order functions. When I noticed that thinking "in lispy ways" lets me avoid mental blocks, I used this to finally figure out the solution for my work problem; I then implemented a quick and dirty prototype in Common Lisp, tested it, and proceeded to rewrite it in PHP.

Obviously, it was a slog, but half-way through crying and thinking things like "if only PHP had #'mapcan...", I finally figured that, with a little abuse of some more obscure (back then) PHP features, I could implement in PHP all the high-level constructs I used in my Lisp solution. So I did, and then I was able to trivially translate the whole solution to PHP.

End result: it worked, but it's good that the CEO didn't manage to hire those promised additional developers for that project, because I do not envy anyone who would have to read through my hacky solution implemented on top of a non-idiomatic Common Lisp emulation layer...

So sure, write the PoC in whatever obscure language you like, but be aware that past certain size/burnout level, someone (or you) may figure it's easier to port the language you used than just the PoC.
Laws aren't (and can't) be written to cover all current and future use cases. The judicial branch is meant to provide interpretation of the law.

Federal courts enjoy the sole power to interpret the law, determine the constitutionality of the law, and apply it to individual cases. The courts, like Congress, can compel the production of evidence and testimony through the use of a subpoena.

https://www.whitehouse.gov/about-the-white-house/our-governm...
more asians, less blacks and a bit less latinos at top schools, especially private ones. Will be interesting to see if they move toward an income based affirmative action.
Minecraft's devs exit 7M-strong subreddit after Reddit's crackdown on protest
It is the same in USA as well. After about 2-3 years one needs to yearly check out competitive rates.

I have a hunch that the risk is the longer they keep you the more likely to have an accident they have to pay out. So if you are a good customer, no claims for 3 years your engagement with them has been very profitable. If they keep you for another year and you have an claim then that engagement is unprofitable. Just a hunch as insurance math is complicated.
>Legislating via the judicial branch is a bad idea.

If the Citizens United decision didn't teach us that, nothing will.
There also has to be an aspect of the price of mozzarella in the post WW2 boom in America or else we wouldn't use such an indulgent amount of cheese as standard.

Even Canadians I know will take home an American pizza because of the ridiculous amount of cheese we put on pizza compared to Canada.
The new outlook also shows other Office365 apps in an icon column on the left — which I really don’t need because I already have them in the Windows task bar.
I don't really disagree you had your magazine and maybe newspaper subscriptions and otherwise you mostly went without other than occasionally going to the library, surfing in a waiting room, picking up a free newspaper, etc. If you didn't care enough about a publication to subscribe you mostly did without and you were generally fine with that because you were unaware that you were missing anything.
An introductory course to the use of Dafny for writing programs with fully verified specifications may be found at [1].

[1] https://www.doc.ic.ac.uk/~scd/Dafny_Material/Lectures.pdf
The latest casio lcd screens are amazing in terms of readability. They don't have the digits shadow problem anymore (this was especially plaguing the negative displays). It's really night and day.
They are clearly heavier which causes more wear and tear. The estimation that they are nearly twice as heavy is inaccurate. Do you agree with these statements?
600 million?
My insurer's app sometimes complains I drive too few to determine my driving style, hence, cannot grant a discount. However the system averages the whole year, taking months into account where this actually did work.

For 200km / Month it's working just fine. Below that sometimes fails.
My account(s) are 17 years old on reddit.
This is going to sound hacky, but would a screen of 1" chicken wire mounted several inches above the panel (the stuff stretches) make for some cheap insurance? The wire is thin enough that it shouldn't interfere significantly with the amount of light the panel gets.
Even for murders, this is the case. The US significantly underperforms other developed countries in the "clearance" rate for murder cases, i.e. the number of murder cases resulting in at least one arrest. In 2020 the clearance rate reached a record low of slightly less than 50% nationally, and much worse in some cities.

https://www.npr.org/2023/04/29/1172775448/people-murder-unso...
I’ll need to read the opinion but why not eliminate consideration using all protected statuses (race, color, religion, sex (including pregnancy, sexual orientation, or gender identity), national origin, age (40 or older), disability and genetic information)?

Affirmative action is not just about race. It doesn’t make sense that you can discriminate on any protected status to begin with.

In any case I doubt this will change the makeup of schools at all:

> “Nothing in this opinion should be construed as prohibiting universities from considering an applicant’s discussion of how race affected his or her life, be it through discrimination, inspiration, or otherwise,” Roberts wrote.
Nice, thanks for showing it!

I tested on my sass that has a CDN and got scared a little bit, but then did a second call and cache hit everywhere, thank god.
Usually, in the context of these privacy-preserving payment systems, online vs offline refers to whether the merchant has to be online to check if the 'coin' they received is valid (authentic and not doubly spent). The user usually has no reason to be online at all, since they withdrew the coin already in the past.

By that definition neither the wallet holder nor the merchant would have to be online for a real 'offline' system.

GNU Taler e.g. is an online system on the other hand, where the merchant has to be online for pragmatic reasons. It's kind of sad to see them being categorically excluded by this requirement. Their the best we currently have afaik.

(Check out my answer below for sources https://news.ycombinator.com/item?id=36520725)
The population of the US is roughly ~330M
https://github.com/seancorfield/honeysql
> 600 million

You mean 330 million?
Good - lets do the workplace next.
So how would that apply to academic searches? Do you manually create a lens for the journals and arxiv etc.?
I like how this applies to commit messages and patchset cover letters as well. You write the whys and wherefores to both explain to others what's going on, as well as to make sure you understand yourself. For sure that increases your audience, nobody cared about your fix before! And you need to narrate all this -- a patch that fixes an issue should read a little bit like a whodunnit. What the issue is, how to trigger it, what the impact is, how the patch fixes it.
Admissions departments will find proxies for race. The next year of Harvard freshmen will not be majority Asian. The admissions department won’t allow that to happen.
Apple Watch Ultra has juice for about 10-13 hours of active GPS activity tracking time. Non-Ultra Apple Watch does less. My Garmin Epix2 can do about 24 hours with full battery, Fenix series does a bit more.
> Why is vaccine safety such an important issue to him that he's bringing it up during a presidential candidate town hall?

I didn't catch this particular part of the live broadcast, but if it's anything like the rest of it, either the moderator or the audience asked him about it.

It seems like everyone associates him with vaccines, so it's a question that would obviously come up in the context of "how are you not a kook", and so he has to talk about it. I've seen him say explicitly in another interview that he's not running on vaccines, but if people ask him about it he'll respond.
I work at a company that has a fucking nightmare of a C# project. It's total hell to work on. I don't think the language makes much of a difference.
> Sotomayor, the court’s first Latina, has been the boldest defender of what she prefers to call “race-sensitive” admission policies and has referred to herself as the “perfect affirmative action child.”

That will probably not do a lot to convince those happy with this outcome.
> and a store is totally allowed to treat a customer they suspect has a committed a crime differently.

That's not true either. There are vastly different standards of enforcement.

This issue is a lot bigger than returning items at the store. Every social system we have was built with assumptions about how people would behave. For example: the Seniors who are easily scammable are those who grew up around people who didn't scam each other.
These things are just not going to go anywhere, big reason being AI is part of the technological race. If AI research gets constrained in the US, progress will happen in China. Since that can't happen, this won't go anywhere.
Nets which could be deployed (manually or automatically) during periods of high-risk for hail might be an alternative.

Minimises the risks you highlight, maximises protection of the solar panels themselves.

In this case, the netting need not even be particularly transparent. You're looking for loss-minimisation, rather than maximising electrical production at all times. So a fairly thick or heavy webbing might work.

Keep in mind that as the damage inflicted increases with the kinetic energy, that is, with the square of velocity, even a net or webbing which permitted contact of hail with panels but at significantly reduced speed should serve to avoid most damage.
Mind giving a concrete example? I read through the entire thing but couldn't make heads or tails of it. Is the point that your user stories should touch upon every aspect of your app, while still being incremental?
Gimp 3.0 Release Candidates Hoped for This Year
I don’t love the decision, but I actually like the process. And I don’t think it is legislating. It is interpreting the law.

I’d like term limits on Supreme Court justices. But I think the arguments on both sides of this debate are well thought out.

Again I don’t love the decision, but Im OK with it. That said I’d love to see universities stop giving weight to legacies. But the money is just too strong.
Harvard used "personality score" to sort out applicants. Now, they got rid of "personality score", SAT/ACT/LSAT/MCAT, etc., scores. They can tell their feeder schools even four years earlier, how to prepare admission packets for prospective students. Schools like Harvard, Princeton, Yale and Stanford can pick whatever students they want.
Yes, I've been planning to move all my machines to BSD for a long while now. I've been procrastinating because I have a lot of machines and the scale of the task is a bit intimidating. The window for procrastination appears to be ending, though.
It is more of a culture thing than a off beat thing. Some language communities care more about backwards compatibility than others, e.g. one famous example that is brought often here is Common Lisp and that is certainly far from mainstream.

On the other hand while JavaScript-the-language is indeed backwards compatible, the culture around it is anything but - and that is despite JavaScript being as mainstream as it can get.
The working from home illusion fades
>use reddit anon....

Read, yes - post no.

And - you can no longer create an account that is not tied to an email...
Yes, absolutely. Or they insist on only integration tests that take hours to run and are horrible to maintain.
Start with How To Talk So LITTLE Kids Will Listen (Faber and King) in the How To Talk series. Read the others as your child grows.
Can't wait for the deluge of AI generated content dumped en masse on the internet purely to harvest "AI Dividends".
Oh no not the soularino!
For the uninitiated, what does Fly do that Amazon does not through AWS?
Could anyone comment on how often Dafny finds proofs for useful theorems on its own in practice, without requiring the programmer to use expert knowledge of the proof search system to break it down into a sequence of gettable lemmas and/or refactor the code?

If the answer is "not that often", is there a possibility that LLM integration could help with proof search? This seems like an application where getting it 95% right is actually OK since proofs generated by the LLM can be automatically checked for correctness.
"In April 2023, Microsoft started pushing an option to Microsoft 365 users to switch their desktop Outlook programs to the New Outlook as well. This has been optional for Insiders for a while, but now everyone gets a taste of the New Outlook. One of the key benefits appears to be full support for 3rd party e-mail and calendars, such as the very popular GMail. No doubt that many home users will welcome this option, but if Microsoft 365, which shares its code base with perpetually licensed Microsoft Office packages, loses Outlook, this will be one less reason for Microsoft to keep improving it."

All the Microsoft Office seems to be going to web programming for use on the Microsoft 365 websites and a unified codebase for PWAs / "native" clients that are WebViews or similar.

This leads me to believe that the future of Windows is as a ChromeOS-like thin client with everything happening in Azure to maximize Azure use, enable Copilot / AI, and increase subscription revenues.
On the internet, nobody knows that you're secretly a Venusian.
Insurance.

Risk profiling.

Hail-rating.

Preemptive / mitigating measures (see discussion of nets or webbing elsewhere in this thread).
Sony Wena, if anyone is searching too.
> Legislating via the judicial branch is a bad idea.

Perhaps, if there is no 75% majority of opinions at the supreme court, then the case is just put on hold indefinitely until new clarifying laws are passed?
What's the best way to use this bookmarklet in Firefox?

Nevermind, I'm dumb. Just create a new bookmark and post the raw contents of the file into the URL field.
My fear is that more and more Linux software will depend on SystemD facilities directly.
I would like to see lotteries used for this type of thing, because they would be much easier to accept. You could have 10% or 20% percent of candidates chosen by lottery, or have a lottery for all candidates who have the minimum pre-requisites, etc. Some sort of randomness whould guarantee a diversity of candidates and would even span across dimensions which are not even considered currently.
That discrimination is discouraged in any form or shape.
Likely hoping for whatever settlement they can squeeze out of OpenAI as the first such suit against them...

They picked 3B hoping to get several million...
Here's the opinion: https://www.supremecourt.gov/opinions/22pdf/20-1199_hgdj.pdf
Lots of code in the stdlib does not have type annotations. Though I think most popular modules in the std either are annotated or have stubs somewhere.
I agree that the network effect for multiplayer games is a real.

For my current project that isn't as big of a deal because its a playground meant to be used IRL.

For my next planned project the network effect of players will have to be a bigger consideration. It'll be a MOBA except different ^_^