skysight-inc/HackerNews huggingface dataset:
Estimating in something other than hours still needs to be converted for hours in order to be useful (for resource allocation, budgeting, etc). The only thing you can do with "points" is compare things. Not unimportant, but still not enough.

In "estimating in the small" such as for a development iteration one can often get away without a precise conversion to hours and dollars. But in deciding whether to do ProjectA or ProjectB each being 100+ man-year projects, or whether to reassign the new hire to the team of ProjectA or ProjectB, you still need hours. It's not going to help to say the project is six hundred thousand points, unless you can convert it to the real estimate which is "a 20-40 man team for 4-8 years"
There's no way in C++ to _statically_ guarantee that you don't simultaneously have the floating pin handle and the output pin handle. You cannot do it.
My bad forgot about Ubuntu.
Sorry, coming back to this comment quite late. Duolingo usually offers some introductory notes for each unit, where stuff like this should be described. I agree that the progression in Duolingo could be better and focus on phrases and conversations that occur more likely in daily life, but that's the choice they made. Also note that the example above was in English. There are languages where the extrapolation is more difficult, because of what are prepositions in English, become suffixes, for instance in Finnish or Turkish. Nevertheless, these topics are usually covered with in the first few units, so I really do not understand the criticism on "useless phrases".

In case there really is a language course that does not cover saying "Hello", "How are you?", "I'm good, thanks." in the first 5-10 units or so, I apologize, I was not aware. That should obviously be different.
Direct political power is one thing, but indirect political power is very much another. The monarch gets briefed in advance on pretty much everything. Where there’s direct commercial impact to the crown’s businesses the laws are often changed to favour them.[1] There’s also a wide range of exceptions written into the UK’s legal system after direct political pressure specifically for the royal family.[2] This might be done in the shadows, but done it nevertheless is.

[1] https://www.theguardian.com/uk-news/ng-interactive/2015/may/...

[2] https://www.theguardian.com/uk-news/2022/jul/14/queen-immuni...
I've done geoip for a film streaming company, my job included getting the error rate low enough to satisfy the rights owners from whom the company leased content. It was a bit of work, but not really difficult.

If you think Disney's happy with "half-ass", then "half-ass" is what I mean.
> I guess the misunderstanding comes from the fact that you consider a garden "environment/nature".

It's cities that depend on gardens and parks to serve as the only available "nature". Rural areas are filled with forests and woods and grasslands and support far greater numbers and varieties of wildlife than cities do.

We could decide to pack people like sardines into the smallest possible space, completely destroy the local ecosystem in the areas where we live (allowing the pollution to spread outside of our overcrowded cities the same way China's pollution currently crosses the ocean to fill the skies in California), while also suffering the countless costs to our own health and safety those conditions cause in the process just so that we can have vast expanses of polluted but undeveloped land that no human can use for anything, but I propose something a bit more balanced, where we spread out enough so that the biocapacity of the land we settle on isn't exceeded, but still near enough to each other that we can still efficiently sustain a civilization. That means a population density that isn't overcrowded, but not so far apart that we lose all of the efficiencies we gain by living near each other. I'd much prefer to have biodiversity within the places we inhabit and keep space to roam for humans as well as the other animals.
Langchain --> query_with_sources function (semantic search context)

If you finetune, you'll get mostly the style and sometimes worse factual performance. Source through semantic search context/RAG is a better approach.

Source: Creator of AnyQuestions.ai which works like that plus some extra neat tricks. (released the first demo in August 2022 before the onslaught)
used to be really useful for detecting text written with the same model, as it was high probability... unfortunately the probabilities are messed up by RLHF.
Apple blocking iPhone browsers without Webkit (excluding Chrome and Firefox).

Android not exactly making it easy to change the default browser for average users either tbh

Relevant XKCD https://xkcd.com/1118/
The US Republican party, as with all parties even in America, has a continuum of members.

Some would be fine letting the US default if their demands aren't met (e.g. Tea Party types).

Others not so much.

One difference this time is the amount of trouble the House Speaker had getting elected by his own party, and any closed door concessions related to that were very likely promises around budget and the debt ceiling.
What recently happened with me is that we proved an open problem, and while writing it up, we found that the result was claimed in an arxiv paper that never got published anywhere. Their proof was incomplete.

This meant that we had to acknowledge that the result already was claimed by someone else, but that we couldn't understand the proof attempt.

This of course leads to problems because now our result is somehow viewed as less valuable, and more difficult to publish. Which again means that research in that area will suffer from an unpublished claim.
Now I'm thinking I should build a better Jira where the basic unit of everything is a range instead of a number. I wonder how long that would take me.
Interesting timing.

2 days ago a place I'm at switched us from Google mail + calendar + meet to Microsoft outlook + calendar + teams.

I almost can't believe at how good Google's suite of tools are compared to Microsoft. I never used any of MS' office tools until a few days ago.

Outlook's web app doesn't even let you click into an email to mark it as read. You have to explicitly click the mark as read button. It also doesn't intuitively support filters with emails that have + in their name (each email ends up being unique instead of Google doing the more expected thing of letting the filter match all + variants). It also doesn't update its title bar with a count of emails in your inbox. That's things I discovered after using it for about 10 minutes.

Microsoft's calendar is designed so poorly, there's so many quality of life things that aren't there vs Google. There's too many to list but the biggest one is not being able to see the calendar details of team mates when inviting them to an event. All you see is a blocked out amount of time, you can't see their exact schedules even if they shared their calendar with you. This removes a huge human element to scheduling meetings because often times I'll avoid scheduling meetings when folks are just getting out of a long meeting, or I'll buffer it by 15-30 minutes depending on who is doing what beforehand.

I'm not not looking forward to the day when we'll need to use all of MS' tools to replace Google docs + spreadsheet and Slack.
awww!
Regexes, airtable formulas, excel formulas.. its superb for this.
Gene therapy reverses vision loss in primates
Modular releases new AI “Engine”
Nobody is suggesting we shouldn't improve on it. The point is that the jump to a significant improvement is not necessarily very big once you add reinforcement of the limits of the models knowledge, be that through conversations or senses (they're both just data).
The knowledge gained from cases like that is never "We'll never do anything like it again" but "We pushed too hard, next time we need to push, but not as much".

They're trying to find the limit for what they can do, so they can be right next to the limit. If they get fined, they try to correct by either finding a different way of doing the same thing, or doing something just enough to not get fined.
A 16 bit computer simulated on circuitverse
An in-depth look at using assert to improve the reliability of your Dart code during development and testing.
I stated two things I like about it over it's competitors, I didn't brand them as the best or most important features on offer.

I specifically stated PDF editing, not just viewing PDF files.

SSO works better on Edge in a work environment, mainly as it connects to the Windows profile. This means that I do not need to make changes to additional browsers or have end users struggling to sign in to various applications. Specifically with Edge, I can simply provide each user profile a folder with shortcuts to the likes of email quarantine, support, Outlook etcetera and they will either see their account listed or only need to enter their email address.

Coupled with appropriate training, this has cut down on users signing into Microsoft login pages that have been designed to look like the legitimate organisation using logo's and other branding. When in doubt, the users can visit the shortcut provided to them.
I would also have a 2nd plot that has all banks / banking / bank assets with the failures in a different color, so we could identify the relative size of the failed banks, and also see the actual size of the big players in banking.
I sent an email a minute ago.

Thank you for this coordination! I'll make sure to add my email to my user description for future contacts.
Can you use all extensions available for vs code in vs codium? I thought the best ones, provided by ms, were vs code only.
If the US is losing in demographics, what do we call China demographics? Dropping off a cliff?
10^{2.55+1.68} = 10^4.23 ≈ 17000

What’s the shortcut by which the author calculates the approximation without a calculator in the second step here?
> just like any other public company

Except way more mercenary.

Companies compete like boxers in a ring. You win some, you lose some. MS is the boxer who would hit below the belt if no one is looking and will try to main/kill you if they can.

https://www.folklore.org/StoryView.py?story=MacBasic.txt
Know only things to be dangerous in OpenSCAD – Cubehero Blog (2013)
> And it's not Apple leveraging one monopoly (they don't have) into trying to take over an other domain as a new entrant. iOS started from the position of being completely locked down.

Apple is absolutely trying to leverage their OS in order to drive usage in other markets. One big example of this is Apple Maps, which is being used as a default on iOS no matter if you like it or not. Both "Contacts" and "Find My" uses Apple Maps as the only option for starting navigating to another address, and if the application is not installed, but Google Maps or any other app, they still ask you to install Apple Maps instead of doing what everyone else in the ecosystem is doing, which is to ask which navigation app to use.

> Which was almost certainly on Apple's timeline anyway, though we'll never know for sure.

Yes, absolutely. The manufacturer who almost never use standard connectors were gonna start using standard connectors suddenly, no because regulation forced them to, but because that was in their timeline anyways...
The article says Nordstrom is opening five stores in other cities in California, so reality doesn't seem as harsh as you suggest.
Also, looking at the article in question. It seems to suggest a policy of punishment as a solution to solving the issue of people, companies not following recycling rules: "the government should continue to closely monitor and punish violators of laws and regulations."

So I'd like to add incentive (4): A way to seemingly have established researchers suggest punishment as accepted way of enforcement. Drive agenda, basically.
So anyone still thinking MS is now all good and it's not an issue that it own github + vscode + a endless list of other things relevant for especially smaller development companies?

Microsoft will do whats best for them.

Temporary this includes embrace open source to some degree and being reasonable nice to Linux. For example WSL can help with trying out Linux and help cross platform devs on Windows to develop for Linux which can help with a to Linux migration. But it removes the main reasons why a lot of students, scientists and server devs had to use it. So for now it's net-good for them, which can be good for Linux, too.

But what will happen if it again is more profitable for MS to not act nice?

How long will it then take to WSL to have features in a way which make it likely software only works on WSL Linux and maybe Azur servers but won't be available on
normal distros.

How long until GitHub will have some small but very usefull features which happen to only be available in some Windows GitHub client pushing companies to require Windows first desktop systems?

How long until they will influence legislation around computer security in a way which have effects like being practical impossible for normal desktop Linux clients or require some proprietary Linux core component due to a combination of legislation and patents, which distributions for Azur or Google cloud surely will have for free, but the competition?

Honestly I hope so long that you could say never.

But I believe open source and free desktops are as much threatened by MS today as many years ago when people aware about it often treated MS as a evil company for good reasons. But today it's in a way more roundabout, very subtle very hard to pin down way. This gives them the chance to succeed where they failed before, but us the chance to both profit from them and while preventing them from succeeding. Optimally leading to some form of stalemate where both are profiting from each other.
Most companies don’t have the resources and manpower to run their own chat and videocall service. A previous employer of mine did (using some open-source tools) and it was painful to use due to the tools’ wonky UX and networking glitches.
I've tried using an LLM to vet training data as "factual or fictional" or "from a informed and reliable source" and didn't find the magic enough setup get get results that seemed like they could be used for boosting model quality.
while that may be, i'm not sure how it relates to what the previous commenter was saying.
Doesn’t the United States have to most people in prison?
No the "not rational" part is that wages are not commensurate with cost of living increase because short term thinking yielding record profit margins is addictive.

Workers are leaving because they can't afford it, not because they want to stratify their families and leave their homes.

For those thinking this is the market successfully working: has the market successfully worked in the Bay Area? How does SF look right now?
For Apple, the wall around the garden is so high that you don't realize there is an outside in the first place. So no one notices it.
They're FOSS friendly because they don't have a choice.

They have to support linux on Azure, so they're all in. Meaning they're joining boards and steering committees, becoming platinum level donors, and buying github that hosts a lot of open projects.
Or, if the polars library is any indication, Rust.
That's the correct way of going about any software development. The problem though is the customer will likely be unwilling to agree to a contract that doesn't have at least 75% of the scope or the product is "unusable". Their existing/previous product is usually better all the way until every single feature of it is available in the new system (I have not yet in my career ever seen a system that isn't replacing a previous system - at least if you count an excel sheet or a piece of paper as "previous system").

What you end up with when shipping an MVP is you also convert a minimum number of users and you end up with two systems. The "MVP" is thus often "whatever allows all existing users to switch" which is why projects snowball to be too big and too late. You won't realize what people used the old system for, until you try to replace it. And it always turns out it has 2000 features when your discovery had found 20.
I use a Firefox addon that spoofs the user agent for Google-owned sites so it delivers the Chrome version of things.

Works without any issues and it's a much nicer product experience.
> (Which was probably inspired by reading Stephen King's "The Stand," and worrying about how my life would be if there was no electricity.)

Reading ‘A Connecticut Yankee in King Arthur’s Court’ ATA formative age had a similar effect on me. :)
Land or farms in the US are extremely likely to transact their value or production in dollars, so you'd still be exposed.

Believe parent's comment was that you would want something where no/minimal part of its 'value ecosystem' touches dollars.

E.g. Chinese real estate, with rent paid in yuan and sales transactions happening in yuan
There are essentially two use cases for "zero-knowledge" proofs:

1. Zero-knowledge

That's proving a statement without revealing information, this is the example your're giving. For instance, you could prove that you have an account number (private information, input to proof generation, but not input to proof verification, so not revealed to the counterparty) on a blockchain (whose state hash is public, input to both proof generation and verification), with enough quality assets to back your loan.

2. Succintness

It turns out you can verify zk-SNARKS (where SNARK = Succint Non-interactive ARgument of Knowledge) in less time than it takes to execute the program being proven. Some schemes do this in constant time, some in logarithmtic time (the STARKs currently used with Cairo are logarithmic).

This lets you offload computation to a third party (like AWS) but without trusting that the third party will not perform a modified computation instead. The third party gives you back the result along with a cryptographic proof that you can verify relatively fast.

In this use case, there doesn't need to be any private input at all (though there can be, and the verification will still be succint), so it's not even necessarily "zero-knowledge". People sometimes call this "validity proof" to distinguish, but the underlying cryptography is the same.
What service do you happily pay for that you could do yourself?
I find the benefit of outsourcing stuff in my life. I'm looking for some inspiration.

E.g. cleaning service, eating out instead of cooking yourself, bookkeeper for doing taxes, etc
It probably decreases revenue. Like the Edge "enagement" manipulation with Teams.

Are there managers who has their pay tied to some KPI? I have such a hard time believing there is a from above decision to do all these user hostile changes turning their main product into a BS joke.
>Now we are getting sideways looks with a mixture of "You doing OK America?" and quietly diversifying their portfolios.

From who exactly? Most of developed and developing world is facing demographic collapse over the next 50 years.

The US is the largest energy producer, one of the largest food producers, the most dominant military, has relatively stable demographics and has no trouble assimilating immigrants, etc.
We do not have sufficient knowledge of what reasoning entails to be able to tell whether there's any meaningful distinction between human reasoning and LLMs. It's likely there is some difference. It's not clear whether there's any major qualitative difference.

Claiming we can tell that there's a distinction that merits saying people are reasoning and LLMs are not, is "hallucination" to me. It's making a claim there is insufficient evidence to make a reasoned statement about.

EDIT: Ironically, on feeding ChatGPT (w/GPT4) my comment and your reply and asking it to "compose a reply on behalf of 'vidarh'" it produced a reply that was far more willing to accept your claim that there is a fundamental difference (while otherwise giving a reasonable reaffirmation of my argument that reinforcement of the boundaries of its knowledge would reduce its "hallucinations")
There's a small difference between type-level programming and type-driven programming, Idris does the latter while Rust the former (at least in my opinion). The library uses types to make illegal states impossible and therefore should qualify as type-level programming.
Ah so it is! I guess my point was that even this simple function is enough, you don't need any 'magic' beyond that. In particular, this continuous function can be used (infinitely) to represent discontinuous functions - the step function being the usual example. That is the more interesting and relevant mathematical fact I think.
Writing a browser engine is a lot of unprofitable work just to get to harass your customers with popups, ads, and scams. Especially when you already wrote one and couldn't keep even that in pace with standards and the evolving web technologies.

Taking an existing engine and building a malicious frontend to harass your customers with popups, ads, and scams has way better returns in comparison.
Cool. I always suspected that hanzi is actually more phonemic than English, but nice to see this confirmed.
Show HN: Logss – BETA Release. A simple Rust tool to helps visualize logs
I've already show this in the past, but this time is a beta release with many new features.
What does the USA censor?
Our Fashion Deep Tagging API Is Now Free
Rewrite above with an academic tone:

With regard to my linguistic aptitude, grammatical proficiency, and autism, I compose an electronic message in a substandard manner. Subsequently, I transfer this message into the relevant text box and proceed to prompt "chatgpt" to efficiently and amiably revise the content of said message.
Looking here: https://huggingface.co/docs/transformers/perf_train_gpu_one#...
It looks like the most standard optimizer (AdamW) uses a whopping 18 bits per parameter during training. Using bf16 should reduce that somehow, but it wasn't really considered in that section, I'm not sure if that part of the guide is a bit outdated (before A10 / A100 this wasn't an option) or if it still has some instability issues ("normal" float16 can't be used for training because multiplying gradients through the hundreds of layers you'd get 0 or infinity values that would kill your learning). You can switch to different optimizers (Adafactor) and modify a few other things, but that typically comes at the cost of either lower accuracy or slower training, or both.

For multiple GPUs there are quite a few ways to improve memory footprint and speed: https://huggingface.co/docs/transformers/perf_train_gpu_many
Although I'm not sure if the implementations in HuggingFace are really on par with the SOTA methods (they shouldn't be far away in any case). I guess they should be at least on par, if not better, with whatever OpenAI used for GPT-3 back then, things evolving so quickly in this realm...

On the last point, I can only assume there are some hard thresholds which are difficult to overcome in order to add more memory, otherwise they would. Just an 80GB memory GPU was something unthinkable a dozen years ago, before the deep learning explosion around 2GB was the norm. A couple of years ago, when 16GB or 32GB was the best you'd get from Nvidia, AMD did come out with consumer grade GPUs having significant larger memory (maybe 48GB back then? I can't remember), which could have stirred the market a bit I guess, but it didn't pick up for deep learning (I suspect mostly due to a lack of the equivalent to cudnn / cuda, that makes it possible to "easily" build deep learning frameworks on top of the GPUs).

My take on this is, if there's a competitor who fights hard to regain market share, and bets big on offering more memory, and still the best it comes up with is just a couple of times more than what the others have, it must be not as easy as "let's stick another bank of memory here and sell it", or they would have...?