skysight-inc/HackerNews huggingface dataset:
> No, that would error in julia.

Okay, but '[[1,2,3] [4,5,6]] .+ 4` does work! Looks like Julia distinguishes between a two-dimensional array and an array of arrays (which Futhark does not). To me, it feels like semantically '[[1,2,3] [4,5,6]] .+ 4` is two levels deep even if operationally it has some underlying flat representation. (But I'm not familiar with Julia's programming model.)

> The trick is that it just turns into function calls.

Ah, okay. I think `a .+ f.(b)` can roughly be understood in Futhark as `map^N (+) a (rep^M (map^Q f (rep^S b)))` where `map^N` means do N `map`s and you can locally determine N, M, Q, S from the input types. We actually essentially had this in our very first prototype of AUTOMAP but found it insufficient for our purposes because it doesn't play nice with arguments whose types aren't fully known (i.e., that have type variables) and we cannot wait until runtime to figure out those types.
> And the subscription turned out to be about the same cost as upgrading every year.

Is it common for people to upgrade LR or similar software every year?
Structured output should not be assumed is limited to JSON. Claude performs very well with XML, as it has been trained with it, so there's no real need to put in extra work. Not XML as in conformant, schema-compliant XML, just XML as delimiters.

https://docs.anthropic.com/en/docs/build-with-claude/prompt-...

Give it examples and instructions in tags, ask it to output in tags, and force it to return early by completing for it. (Assistant:<output>).

When you think about it, it makes a lot of sense. Even if the output is chatty, parsing it is easy because you're not looking for } which may or may not match an opening {, instead you're looking for </output> which is much easier to parse for.
Right, but in this case the short summary being posted is poor. In the context of a language like Java, floating point is synonymous with IEEE base-2 floats. BigDecimal is not used to store arbitrary precision floats, but rather fixed precision decimals. Otherwise it would be called BigFloat.

Also the scale parameter really isn’t an implementation detail. Virtually every non-trivial method defined in the class requires you to understand the scale parameter in order to get the result you want.
Shutting down so called Russian-propaganda sites on DNS level, hate speech regulations, mantra about disinformation regulations, even though nobody can define disinformation legislatively, remove access to bank accounts because of supporting protest against goverment, unavailable books to buy that are too extreme even though few years ago they were fine... It's all driven by politics.
Duolingo, the App That Always Wins the Battle for Your Attention
The vast complexity of the 21st Century has still not managed to land a single person on the Moon.
Here is the correct link: https://github.com/cohere-ai/notebooks/blob/main/notebooks/a...

And here are the docs: https://docs.cohere.com/docs/multi-step-tool-use
But that's something that Signal implements on their own backend, not something that runs on consumer devices, so it's not really relevant to a discussion about the risks of undervolting your CPU.
There was nothing to "rush".

Generics, by the time the first version of Go rolled in, were a well understood field with proven strategies of inference and lowering. Not by Go designers, I suppose.
I run my own email server, and I'll add that SFP /DKIM and spam filtering should be done at the connection level during SMTP session. Your MTA should not accept a message for delivery that has been filtered. This ensures that the sender of false positive gets a notification from his MTA and also, in my experience, it works very well to discourage spam senders from trying again as they think your MTA is broken.
GDPR doesn’t apply to New Zealand.

Although I’d gladly welcome our Kiwi friends into the EU.
You don't need to use langchain with Cohere, it's just nice for demos since Langchain comes with pre-built tools.

Check out the examples here: https://docs.cohere.com/docs/multi-step-tool-use

and this notebook
https://github.com/cohere-ai/notebooks/blob/main/notebooks/a...
> as long as you prove that yours is equivalent to everyone else's it's fine

That’s exactly the point I was making in the first place.

“Unsatisfactory” just means “unsatisfactory” in the sense that some mathematicians out there won’t be able to use your definitions and still get the subset property. This means that you are, in all realities, forced to deal with the separate notions of “equivalence” and “equality”. Which is what the article is talking about—all I’m really saying here is that you can’t sidestep equivalence by being clever.
That's not what I meant, but I'll go with it for the moment. You can design and build a functioning automobile without math. You cannot design a functioning airplane without math. You cannot design a functioning spacecraft without a very, very strong math background.

With aircraft parts, you can make mistakes up to a point, but those mistakes will make the airplane cost more, such as being overweight. There is always an optimum answer, and I took it as a point of pride to get things exactly right.

I knew some engineers who couldn't do arithmetic very well. The results were parts that were overweight and often would not even fit together, causing expensive redesign and rework. Engineering management knew who they were, and assigned them tasks where their deficient work was not going to cause much trouble.

But in no case was 2+2 not equal to 4.
For the last 50 years Saudi Arabia was obliged to sell for US dollars? Wow!
Only if we also make a case for criminalizing managerial misconduct using an equivalent metric to the author's proposed QALY measure.
I'm going to upvote you without even reading your comment.
HN guidelines say "please use the original title, unless it is misleading or linkbait; don't editorialize".

This should probably be titled "uuidv7: A JavaScript implementation of UUID version 7"
Yet, as someone teaching electronics and programming to art students, many of whom "hate maths" there are many people who would have understood it in school if it was explained right and/or if someone gave them a good motivation why they should bother understanding it in the first place.

The truth is that many math teachers suck. I had a math teacher that managed to do integrals with us for a year without ever explaining to us (in a school specialized on mechanical engineering) what real world problems would be impossible to solve without it.
there was an albino gorilla called snowflake however i doubt it is relevant in this case

https://en.wikipedia.org/wiki/Snowflake_(gorilla)
In response to the sign: then learn to code or make art that is better than AI art.

It's an existential complaint. "Why won't the nerds make something for meeeee." Do it yourself. Make that robot.

Sucks to think that you're not that special. Most art isn't. Most music isn't. Any honest artist will agree. Most professional artists are graphic designers, not brilliant once in a generation visionaries. It's the new excuse for starving artists. AI or no, they'd still be unsuccessful. That's the way it's always been.
Honestly I can't even handle normal chess.
If iterators are hidden magic, how are the following not hidden magic:

for i, v := range someSlice { ...

Shouldn't that be eschewed as magic, and instead we should write:

for i := 0; i < len(someSlice); i++ { v := someSlice[i]; ...

They both de-sugar to the same thing (well, now they do, it used to re-use the same 'v' in the first one, so it used to be subtly different, but they changed the language's hidden magic).

How is the channel loop not hidden magic?

for v := range channel
// magic for
for {
v, ok := <-channel
if !ok { break }
}

The iterator proposal is adding some sugar which is _less hidden_ than the current 'for range' loops, and people are complaining that's magic?
a good place to find stuffs about AI
Loved that scene. Reminds me of all the "autobiography" stories we had to write for various items such as cars, horses, computers and pens, back in school.
One my cats attempts to lure me around the back of the shed so that she can then race out the other side, down the driveway, and jump the fence to precious freedom.

She has a number of variations on this theme, and with each failure she tries something slightly different. Until I catch her and bring her back inside.

The reason I know this is because, before I was aware that it was happening, it succeeded at least twice. (I'm picturing people reading this saying, in Lisa Simpsons's voice, "is my brother dumber than a hamster? Hamster two, Bart zero" - because that's what my inner voice is saying right now).
US ICBMs been inertially guided for decades. They predate GPS. Once launched, they have no radio inputs.

Some weapons do use GPS. The Joint Direct Attack Munition, the US's most common "smart bomb", is GPS-dependent. There's an inertial backup, but it's not that good. With GPS, it can hit a bunker or an artillery emplacement or a parked vehicle. Without GPS, small targets are out.

DARPA has been working on small, low-cost inertial systems with enough accuracy to remove GPS dependence. Exactly how good those systems are and which weapons systems now use them is not talked about much. Here's the project poster.[1] This is an improved form of MEMS accelerometers and gyros, not new physics. DARPA has a project for that, too, but the near term goal is small, cheap, and disposable for munitions.

There's much current interest in weapons which combine gun, bomb, and missile technology to boost range. Bombs with a small jet engine and wings for extra range exist. Both the US and Russia have them. Artillery rounds with a rocket upper stage are becoming available. The general idea is to have stuff you can shoot into heavily defended territory.[2]

[1] https://eri-summit.darpa.mil/docs/ERIsummit2020/posters/25_P...

[2] https://www.youtube.com/watch?v=0vIPNElDkns
Understood, but it took me reading the reply to your initial comment to realise this. You could have been clearer in your first comment.

Getting out too far ahead of your message is a constant challenge in advocacy.

(And FWIW, I strongly endorse the IA, and AFAICT your own viewpoint here.)
I worked in a company that used golang but my position did not and that was pain because golang's syntax is "we do things differently because we can" so whenever I needed to make a small change in existing code, it always turned into a bigger project because I never understood what the fuck was going on in that program.
>Spamcop (lol)

What is lol about Spamcop?
Nobody is blaming the victim, perhaps read again. I am in fact reinforcing your point. A baby can't be blamed for poking an animal, they are a baby. But it can (and often is) the reason for the attacks. Blame is different from cause and effect. I don't blame gravity for dropping my stuff, but it is responsible.
Which is a pity because my i7 Lenovo laptop is acoustically and thermally some kind of jet turbine in a case, because I was foolish enough to believe a review, and I really wish I could undervolt it so it can make it to lunchtime on a charge.
I feel it's more of leadership of Alphabet saying, "Our people literally invented transformers, so how come we're at the bottom of AI race instead of at the top? A random non-profit took out research and run with it, and they're the hottest company in the world now. This is unacceptable![0]".

Bad idea. People good or lucky enough to land in R&D like doing R&D. Force them to be product people, I expect most of them will leave.

--

[0] - Like Muffin from Bluey, https://youtu.be/hZVlBQXVtZA?t=8.
Simply renting out products is not necessarily the same as rent-seeking. Rent-seeking is the extraction of uncompensated value from others without increasing productivity. The classic example is putting up a chain across a river and charging passing boats a toll to lift the chain.

Ostensibly Adobe's customers are paying for continual improvement and support of its product and maintenance costs associated with whatever cloud features they offer. That's not rent-seeking.
> This is unnecessarily harsh.

Which part? All I can tease out from your comment are "the lies are impossible" (agreed!) and "close enough afaik". (it's not, the closest in the Big 5 has percent error of 32%, see end of comment. ex. GPT4o has a tokenizer with 2x the vocab so you'd expect ~1/2 the tokens)

> Not every model has a publicly available tokenizer,

Right. Ex. Claude 3s and Geminis. So why are Claude 3s and Geminis listed as supported models?

> using a fallback

CL100K isn't a fallback, its the only tokenizer.

> like cl100k is usually a decent enough estimator from my experience.

I'm very surprised to hear this, per stats demonstrating minimum error of 32%.

> If you're upset with the implementation, you can always raise an issue

I'm not "upset with the implementation", I'm sharing that the claims about being able to make financial calculations for 400 different LLMs is lying.

> or fix it yourself

How?

As you pointed out, its unfixable for at least some subset of the ones they're claiming, ex. Gemini and Claude 3s.

Let's pretend it was possible.

Why?

If someone puts out a library making wildly false claims, is th right thing to do to stay quiet and fix the library making false claims until its claims are true?

> usually a decent enough estimator

No, not for financial things certainly, which is the stated core purpose of the library.

As promised, data: I picked the simplest example from my unit tests because you won't believe the divergence on larger ones.

OpenAI (CL100K) - 18 in/1 out = 19.

Gemini 1.5 - 41 in/14 out = 55. (65% error)

Claude 3 - 21 in/4 out = 25. (24% error)

Llama 3 - 23 in/5 out = 28. (32% error)

Mistral - 10 in/3 out = 13. (46% error)
How does that have anything to do with white supremacy, though?
> a strangely profound impact

Something like power consumption being proportional to the square of voltage iirc.
An article posted here a few days ago (https://news.ycombinator.com/item?id=40611058) wasn't so charitable. The Wikipedia article on the expedition also hints that sending these two specific people to climb Mt. Everest was pretty irresponsible:

> The question of which mountaineers would comprise the climbing party was no easy one. As a consequence of World War I, there was a lack of a whole generation of strong young men. George Mallory was again part of the mission, along with Howard Somervell, Edward "Teddy" Norton and Geoffrey Bruce. George Ingle Finch, who had gained the record height in 1922, was proposed as a member but eventually was not included. The committee's reasons included that he was divorced and that he had accepted money for lectures. The influential Secretary of the committee, Arthur Hinks, made it clear that for an Australian to be first on Everest was not acceptable; the British wanted the climb to be an example of British spirit to lift morale. Mallory refused to climb again without Finch, but changed his mind after being personally persuaded by the British royal family at Hinks's request. [...] Andrew "Sandy" Irvine, an engineering student whom Odell knew from an expedition to Spitsbergen, was a so-called "experiment" for the team and a test for "young blood" on the slopes of Mount Everest.

So Irvine was very inexperienced, and Mallory's absent-mindedness also didn't bide well for their chances of coming back alive. However, the article also directly contradicts the Wikipedia page (Wikipedia states that Mallory initially refused to go without Finch, while the article writes that "he would not think of joining the new expedition if Finch was going" - so make of it what you will...
In this context, a cloud provider of data storage and related services https://www.snowflake.com/login/
"Some" vegetarian cuisines. What I had in mind was specifically South Indian Udupi vegetarian cuisine, which you'd find at Saravana Bhavans the world over. The vast majority of North Indian vegetarian cuisine is still unhealthy fried food, server with dollops of ghee.
energy most certainly is "mipmapped" but this would be a funky way to think about inverse square type of laws
No, that’s not how analogies work.
The fundamental problem with increasing prices is that you create an opportunity for competitors.

If Photoshop would cost 5€ a month, then everyone would buy it because it is the best.

If Photoshop costs 50€ a month, they make more money, but they are leaving a huge opportunity for competitors to make a 5€ a month product.

I actually think the latter is better for the ecosystem. There's going to be multiple products, with Adobe at the top, but also a lot of apps from smaller developers. On the Mac there are for example Acorn, Pixelmator, Affinity Photo -- none of them are a full replacement for Photoshop, but they are decent options for people who just need to edit a photo.

Back when pirate Photoshop copies were ubiquitous, there just weren't any opportunities for smaller developers like there are now.
> I want my airplane engineers to understand the concepts and reason through them and not have a shallow understanding of memorized solutions.

So do I, and I had some disrespect for the engineers who relied on memorization, but memorization is the first step towards understanding.

For example, if you want to play guitar like Van Halen, you gotta start by memorizing the finger positions.
"you're naive"

Indeed that might be the case, but I do trust the US FDA more than an Internet of recursive Google results from Lithuania. We will soon learn if the medication trials are repeatable in the general population, and whether it is effective for greatly slowing cognitive decline.

The food intake tips are something people should look into if they want to stay healthy, but it is not some new-age recipe for replacing medication.

This should be obvious, and have a great day =3
Sometimes they are. There's a network of seedy international banks that scammers use to take their victims money, because otherwise the scam wouldn't work.
To clarify, I’m not an admin or editor, just a reader. In any case, as a reader, wiki.gg looks good to me and better than fandom.
There are some apps that change that behavior if you want. [0]

I didn’t reply to the wrong comment, I was just trying to be helpful.

This OS behavior has seemed second nature to me ever since browsers implemented tabs. Like in each of your described scenarios I usually forget which browser tab is in the foreground when I switch, I will have to Ctrl+tab until I find the relevant one. It will stay on top once I do though.

That is what MacOS does; the window of an app you had in focus last will stay on top of the stack. It makes intuitive sense to me personally but I agree it does make finding stuff a little onerous.

In your scenarios, you know which applications you have your relevant documents opened in so once you have them on top switching is easy. But again, I understand that a decade of muscle memory and using a different paradigm will make this behavior infuriating.

[0] https://superuser.com/questions/193922/is-there-any-program-...
PostmarketOS Now Boots on over 250 Devices
No need for personal attacks. I am not trying to sell anything and have literally 0 vested interest in VVVV. It's unfair to label it "garbage" though.

Your argument that companies are holding their clients "hostage" by not sharing their source code indicates that we fundamentally disagree over one of the core systems that makes an economy work.

By your logic, everyone producing anything should reveal exactly how they do it. Even in a totally open source world we would not do this. Some methods are dangerous in the wrong hands.

> SolarWinds? LastPass? Microsoft?

Naming a few high profile security blunders does not negate the far greater consequences that open sourcing all code would have.

> You are, for your branch.

Ain't nobody got time for that. I just want to use software, not maintain it. I pay others to do that for me.

> It's that "competition" thing you claim to love so much.

Fragmentation does not automatically lead to competition. I would argue it actually makes a product weaker, because attentions are divided and it would have to compete with more consolidated efforts.

> unexamined priors ... pure nonsense

So no real counterargument here.

> don't merge patches

No time for that.

> grants and crowdfunding

These usually rely on the expectation of future profits or a unique product that delivers value. Sure, it would be wonderful if all software was supported by altruistic contributors, but again: most of us have to deal with that pesky reality I mentioned earlier.
don't worry, some people already do

or at least that is my read of academics that say the universe is deterministic
Are there fine tuned models that perform better for structured / parsable outputs?
Very interesting perspective - thanks for your time!
Introduction to Windows Log Analytics
Introduction to Windows Log Analytics
Windows Analytics is a set of solutions for Azure Portal that provide you with extensive data about the state of devices in your deployment. There are currently three solutions which you can use singly or in any combination

Device Health
Device Health provides the following:
Identification of devices that crash frequently, and therefore might need to be rebuilt or replaced.
Identification of device drivers that are causing device crashes, with suggestions of alternative versions of those drivers that might reduce the number of crashes.
Notification of Windows Information Protection misconfigurations that send prompts to end users

Update Compliance
Update Compliance shows you the state of your devices with respect to the Windows updates so that you can ensure that they are on the most current updates as appropriate. In addition, Update Compliance provides the following:

1.Dedicated drill-downs for devices that might need attention.
2.An inventory of devices, including the version of Windows they are running and their update status.
3.The ability to track protection and threat status for Windows Defender Antivirus-enabled devices.
4.An overview of Windows Update for Business deferral configurations (Windows 10, version 1607 and later)
5.Powerful built-in log analytics to create useful custom queries.
6.Cloud-connected access utilizing Windows 10 diagnostic data means no need for new complex, customized infrastructure.

Upgrade Readiness
Upgrade Readiness offers a set of tools to plan and manage the upgrade process end to end, allowing you to adopt new Windows releases more quickly. With new Windows versions being released multiple times a year, ensuring application and driver compatibility on an ongoing basis is key to adopting new Windows versions as they are released. Upgrade Readiness not only supports upgrade management from Windows 7 and Windows 8.1 to Windows 10, but also Windows 10 upgrades in the Windows as a service model.

Navigation and permissions in the Azure portal
Go to the Azure portal, select All services, and search for Log Analytics workspaces. Once it appears, you can select the star to add it to your favorites for easy access in the future.

Export query from Log Analytics
Start by creating a log query that returns the data that you want to populate the Power BI dataset. You then export that query to Power Query (M) language which can be used by Power BI Desktop.

1.Create the log query in Log Analytics to extract the data for your dataset.
2.Select Export > Power BI Query (M). This exports the query to a text file called PowerBIQuery.txt.
3.Open the text file and copy its contents.

Export query from Log Analytics Workspace to Power BI
When Log Analytics report is already being built in Azure portal itself, and we must migrate all the report to Power BI.

Click the below link to explore more
@ https://www.rayminds.com/post/windows-log-analytics-using-power-bi
Funny that it does not need that much data to train your average 20th century human genius. I'd say that if we are dreaming of the future of ai, learning and reasoning seems the greatest issue, not data. That said, the article title is about LLMs, so that's what will need changing I guess.