skysight-inc/HackerNews huggingface dataset:
Firstly, your claim about Stillwell's "conclusion" is a misrepresentation. Stillwell makes no such conclusion about the lack of transmission. In fact, he explicitly states that the Kerala school knew these mathematical series before 1540. This selective reading and distortion of Stillwell's work is intellectually dishonest and undermines genuine historical inquiry.

The Jesuits sent to India weren't not your typical bible thumpers; they were highly trained mathematicians and astronomers with a specific mission to study and acquire Indian mathematical and astronomical knowledge. The primary motivation for Europeans to import knowledge from India wasn't mere academic curiosity - it was a matter of practical necessity, particularly in navigation. By the mid-16th century, Europeans were grappling with significant errors in their calendar calculations. The true solar year was about 11.25 minutes shorter than the assumed 365.25 days, an error that had compounded over centuries, leading to serious discrepancies in timekeeping and navigation. Matteo Ricci, the Jesuit astronomer and mathematician in a letter from India to Giovanni Battista Maffei (Italian mathematician) he states that he requires the assistance of an “intelligent Brahmin or an honest Moor” to help him understand the local ways of recording and measuring time.

If one wants a smoking gun—a direct admission of knowledge transfer—is either naïve or deliberately obtuse. Do you also believe that tea plants magically teleported from China to India? The British East India Company's industrial espionage in China's tea industry parallels the Jesuits' activities in India perfectly. Both were covert operations aimed at acquiring valuable "know-how" for economic and strategic gain. Do we have a signed confession from Robert Fortune or his kin admitting to tea espionage?

The cumulating circumstantial evidence isn't just substantial—it's overwhelming. We have documented records of Jesuits studying Indian texts, teaching Indian concepts, and corresponding with European mathematicians (see my other comment for examples). The methodological similarities between Kerala mathematics and later European work, like the striking parallels between Wallis and the Yuktibhasa (15th century), where Wallis (in 17th Century) is using the exact expression and reasoning as given in the Yuktibhasa, aren't coincidences—they're smoking guns.

Your dismissal of this substantial body of evidence goes beyond healthy skepticism. It appears to disregard the complex realities of historical knowledge transfer risks coming off as a deliberate attempt to erase non-European contributions to mathematical history.
No access to reasoning output seems totally bonkers. All of the real cost is in inference, assembling an HTTP request to deliver that result seems trivial?
I hope whatever entity these people reform has the same magic.

Every single game they published had something unique. Outer Wilds, Telling Lies, Twelve Minutes, Edit Finch, Neon White, etc.

They didn't develop these games, but they have an eye for talent.
Interns are cheaper than o1-preview
Vienna is very swimmable. Not right now, because its cold and rainy, but on a hot summer day thousands of people gather and swim in the Danube every single day. It's amazing, the water is relatively clean, small fishes inside, its a joy for children and adults alike.
This rant reads like absolutely psycho shit just for the record.
Do they really want to restrict their consumer buyers to (questionably) fashion-forward rich hipsters?

I mean if you have to pick a group to target, you could do a lot worse. That being said 80-90% of the ID Buzz's I actually see on the road are company cargo vans, so that might be the actual target market.
Yes it's so strange seeing people who clearly know these are 'just' statistical language models pat themselves on the back when they find limits on the reasoning capabilities - capabilities which the rest of us are pleasantly surprised exist to the extent they do in a statistical model, and happy to have access to for $20/mo.
I believe Haskell is worth learning.

But I don't want to spend any more time near purely functional programmers in my professional life, so I will spend some time to unfairly nitpick the article.

> a lot of the new features ... are either inspired by, or at least more robustly implemented in, Haskell.

This is like some programmers, who don't know much about the history of programming languages, saying Java is stealing features from Kotlin (a language I enjoy). In both cases the inspiration usually comes from ML (a language family which includes OCaml - a language I deeply admire).

Type classes (first implemented in Haskell) are neat though. I heard that Java is considering adopting them.

> Let’s imagine we represented these as plain old strings ... `Theatre String String -- venue name and event name respectively` `checkForSeats :: String -> String -> IO [Seat]`

If your language has named arguments, and sum type cases are records where you have to name your fields, using plain strings is just fine, and probably more ergonomic than wrapping the strings in another type.

> `Either AddressParseError ValidAddress`

Real world procedures usually involves many steps which can fail in many ways. The HM type system does not have subtypes. To stuff all possible failures into the `Left` case of `Either` you have to wrap all possible failure types into a sum type, possibly with multiple layers of nesting (huge PITA).

> concurrent Haskell

For all the hassle with the IO monad, you cannot offload your understanding of memory model to the compiler when you use an `IORef`.

Maybe most your problems are embarrassingly parallel and STM is fast enough for the rest. Maybe.

> exactly encode the effects we want a function to be permitted to perform

https://degoes.net/articles/no-effect-tracking "Effect Tracking Is Commercially Worthless"

See "Tagless-Final Effect-Tracked Java™" for a chuckle.

> small sample program

The `Money` type is monomorphic, and `Functor`s are higher-kinded.
You get the error message `Expected kind ‘* -> *’, but ‘Money’ has kind ‘*’`
I don't really see the advantage compared to your Cafelat Robot, or a Flair.
The author doesn't go through this in nearly enough detail to make that argument convincing. Rather than spending the entire time trying to find what the "real" ownership amount, the author should've spent the time contextualizing the situation.

The author basically spends the entirety of one sentence dismissing the idea that there could exist a corporate governance model that allows creators to have a meaningful way to direct the company's decision making process and spends the rest of the time on a wild goose hunt to figure out the "actual" ownership percentages.

It was pretty obvious from the beginning given the repeated mentions of complex ownership models that the "real" numbers were not going to mean that creators owned "real" equity in the company. An investigation about what this actually means would've been a much better way to write this kind of essay.

Instead all we got was a long article with a conclusion that was reasonably obvious in hindsight, and no real evidence to support the thesis that "it's all just smoke and mirrors".
I was expecting this to be a joke about rising sea levels.
You can't have spatial and logical reasoning without qualia.
I have some production experience with Golang and one thing that helps it emulate Erlang's BEAM VM (also used by Elixir, FYI) is to have the goroutines be short-lived and/or disposable. No need for persistent workers most of the time anyway unless you are chasing every last millisecond of performance -- in those cases persistent workers waiting to snatch a job definitely perform better (though only by something like 1-2% in my limited experience; but that can be still a lot depending on hosting and workloads and customer expectations f.ex. in finance forgoing 1-2% perf is almost criminal).

So the BEAM VM definitely handles things a bit better but Golang can get quite close.
Maybe some consumer protection agency will use the tool in conjunction with random purchases and some kind of enforcement action.
How to Explain Things Guidelines for Effective Scientific Communication
It would be a feature on the TV, probably.
FlexLM is a name from the past! I remember cracking their protection with back in 99 or so, I remember it with the Highland name.
> So it's also possible that the prompt loop has no special sauce and that the capabilities here do come mostly from the model itself.

The prompt loop code often encodes intelligence/information that the human developers tend to ignore during their evaluations of the solution. For example, if you add a filter for invalid json and repeatedly invoke the model until good json comes out, you are now carrying water for the LLM. The additional capabilities came from a manual coding exercise and additional money spent on a brute force search.
When you know how much can be done on a $10 vpc, you'll realise how much compute in a kubernetes cluster is only used to support the cluster
I just learned something! I realize now I was talking about parallelism in a recent interview question about concurrency. Oh well.
> "Gee, this effects library I built my entire code base around to date is really nifty but also I can't actually express my needs in it after all"

This is why I recommend IO-based effect systems like Bluefin and effectful. If you find that you get stuck you always have the escape hatch of just doing whatever you want in IO. Maybe feel briefly sad, but it works.

(I'm the author of Bluefin)
As much as I am a fan of Erlang's BEAM VM (and made a career out of Elixir that is still going today) I have to say that you are right -- Golang is doing extremely well and the incremental improvements over the last several years truly pulled it ahead. Unless you're constantly copying big objects and just produce a lot of trash then having your loaded program in Golang is going to be a super smooth sailing. And even if you stumble upon some of the traps, there is a lot of tooling to help you out identify a pain point and remedy it.
It's hard to generalize. The whole field of behavioural intelligence has lots of fake/unrepeatable studies.

Even Kahneman, who got a Economics Nobel has this issue:

https://retractionwatch.com/2017/02/20/placed-much-faith-und...
Same. Just like "[we need to ] unpack [this issue]". It was a big grass roots political Shibboleth from 2015, and from 2021, indicated a silicon valley elite type. I think the opposite equivalent is the word "enterprise".
Bitcoin and NFTs get legal protections as 'personal property' under UK law
Hate to be that guy but this is a nouning of a verb
There's a large creek that feeds into lake Erie nearby that we used to hike and swim for several miles until we got to the lake. It was an all day affair, but it was a great time. Our dog at the time was a lab shepherd mix and I think those hikes were some of the best times of his life, getting to explore and swim and run like a goof. I don't ever want to live in a place without good access to large bodies of water, summers wouldn't be the same without it.
It depends on what you're doing. On some projects we've put the job queue into our database, which works great at low and medium traffic volumes and means we can do exactly the same thing for external systems if they let us send them an ID.

I agree that the first port of call is to make your operation legitimately idempotent without passing IDs around, and the second is to ask if it is really important enough to care about delivery, but if you're not operating at ridiculous scale and you're okay with having a single point of failure then you get to avoid the "distributed systems are hard" rule by not actually having a completely distributed system.
Having used Mu I concluded that Haskell got function laziness correct. (Data type laziness is a different issue, but that can be solved by `StrictData`).
Why does it exist 1000 times in the training if there isn't some trick to it, i.e. some subset of humans had to have answered it incorrectly for the meme to replicate that extensively in our collective knowledge.

And remember the LLM has already read a billion other things, and now needs to figure out - is this one of them tricky situations, or the straightforward ones? It also has to realize all the humans on forums and facebook answering the problem incorrectly are bad data.

Might seem simple to you, but it's not.
https://archive.is/2X1KV
This is brilliant. I’ve been tempted to get my Macintosh SE online just for fun and this would be a great use for it. Permanent little IRC terminal.
I had to use that technique ("don't acknowledge this sideband data that may or may not be relevant to the task at hand") myself last month. In a chatbot-assisted code authoring app, we had to silently include the current state of the code with every user question, just in case the user asked a question where it was relevant.

Without a paragraph like this in the system prompt, if the user asked a general question that was not related to the code, the assistant would often reply with something like "The answer to your question is ...whatever... . I also see that you've sent me some code. Let me know if you have specific questions about it!"

(In theory we'd be better off not including the code every time but giving the assistant a tool that returns the current code)
That issue exists in the context of all other novel "social media" careers as well.
I am not against the cloud. VMs are also cloud, unless you run them on your own servers. For instance, the Hetzner Cloud (mostly VMs, plus load balancers and disks) is so cheap and has such a nice CLI API that it competes aggressively with dedicated servers - I would definitely start any with VMs, not with iron.

The biggest problem is the so called cloud native stuff which is both more expensive and more complex. There are contexts where it makes sense but for startups they are doing more harm than good.
A mother can have a male gender.

I wonder if this interpretation is a result of attempts to make the model more inclusive than the corpus text, resulting in a guess that's unlikely, but not strictly impossible.
You can't count all the dead from flight being held back FAA. It's similar with housing regulations -- the code inspector sees dead in a house but not the 10 homeless people he killed by making housing less accessible.
Yeah, the MySQL part of that is kind of faux pas these days.

Thankfully. ;)
Apple managed to pay a 0.005 percent tax rate in 2014
I think the issue is that the marketing is a half truth. Standard is in fact majority owned by content creators, it's just that the marketing makes you assume that the creator saying the line is the owner when that might not be exactly the case.

Honestly Nebula always felt off to me because of this marketing. They never sold it as a place where creators had a more equitable share, or where they had more creative freedom and control (which seem to be true), but they used the idea that they were "fighting the man" by going at it alone. It always felt like a half truth which, turns out, it is.

Also the price always felt too good to be true to me so I always suspected some sort of investment from somewhere to create a loss leader. Though the jury's still out on that. But having worked on video streaming online myself I know first hand how expensive it can get so I wonder how profitable the company is.
It doesn't. It's the people who actually did all the work who are benefiting, not the corporate entity. The coordinated mass resignations make it obvious that the former management is ready to immediately start up their own company in the office next door and hire on everyone who just quit Annapurna.
Swift Build Times and Module Verification
Inference is nothing without training.
Kagi is most likely evaluating it mainly on deriving an answer for the user from search result snippets. Indeed, GPT-4o is plenty good at this already, and o1 would only perform better on particular types of hard requests, while being so much slower.

If you look at Appendix A in the o1 post [1], this becomes quite clear. There's a huge jump in performance in "puzzle" tasks like competitive maths or programming. But the difference on everything else is much less significant, and this evaluation is still focused on reasoning tasks.

The human preference chart [1] also clearly shows that it doesn't feel that much better to use, hence the overall reaction.

Everyone is complaining about exaggerated marketing, and it's true, but if you take the time to read what they wrote beyond the shallow ads, they are being somewhat honest about what this is.

[1] https://openai.com/index/learning-to-reason-with-llms/
You could also interpret networks if you want to. But who wants to go through millions of neurons?
New Bloomberg Terminal for 2 EUR / month
Tom Lehrer famously retired when Kissinger got the peace prize declaring satire to be dead. The really funny one to me is they gave literature to Winston Churchill because they thought they probably couldn't give him peace, then when Kissinger came up they thought "Why not?"
Would be nice to get the canal swimmable too.

And enough water in the Wien to even contemplate it :D
Yeah, a NIF can bring down the entire OS process but I've used quite a bit of Rust NIFs with Elixir and never once had a crash. With Rust you can make sure nothing ever goes down, minus stuff that's completely out of your control of course (like a driver crash).
Microsoft stock: all data and estimates
I don't invest in stocks so this might be a stupid question: I get that Intel is undervalued now. If things go right it should have a significant premium over its current value. But doesn't that also depend on the rest of the semiconductor sector? Let's say the AI boom bursts. Wouldn't this be a big hit for Intel due to slowdown of semi market, although they are doing good?
A lot of them are still there
I understand what you're saying, but the lack of acknowledgement isn't the problem I'm complaining about.

The problem is the instructed lack of relevance for 99% of requests.

If your sideband data included an instruction that said "This sideband data is shown to you in every request -- this means that it is not relevant to 99% of requests," then: I'd like to suggest that the for vast majority of the time, your sideband data doesn't exist at all.
Well, those civilians who can think for themselves, especially about the consequences of their actions, are clearly in advantage. I am lacking empathy for those who are apparently so hooked up to the here-and-now that they seem to ignore the future. If you sell your body, most societies will punish you. Thats fine, societies have all sorts of norms we all need to learn.
> I find some code easier to express with procedural/mutable loops than recursion

Do you mean like this example of calculating the 5th triangular number with a procedural loop and mutable state? Haskell supports them just fine!

https://hackage.haskell.org/package/bluefin-0.0.7.0/docs/Blu...
To my (totally uninformed) eyes it looks like maybe this could count as a SLAPP suit [1], in which case there's a possbility for a counterclaim for legal costs. However, Massachusetts apparently has "much weaker anti-SLAPP laws" [2] (than California, in the context of the article)

[1] https://en.wikipedia.org/wiki/Strategic_lawsuit_against_publ...

[2] https://www.vox.com/future-perfect/23841742/francesca-gino-d...
I like this observation! It explains a lot.
Putting Android TV into "basic TV" mode pretty much does that. Disable the internet connection for sure, but that's a cheaper option than going for those business display models that will charge you through the nose.

Android TV itself is open source, and I've seen a few people running LineageOS on their TVs. Anyone can make a TV OS based on it and it comes with an SDK already, but nobody is incentivised to do it.
And it's not just that it's no longer acceptable (as a normative declaration), people just stopped caring. At least in a bubble that's large enough so you can lead a comfortable life without any serious ramifications.
If you can only bond with computer software and not other humans, there's something pathological going on there. You definitely have some severe issues that should be worked out in therapy.
Does the commutative property change anything here? A, B and C are not constrained in any way to each other, so they can be in whatever order you want anyways...

Moreover, addition is commutative so it doesn't matter what order the division is in since a/b/c = a+b+c = c+a+b = ...

So I'd say that the model pointing this out is actually a mistake and it managed to trick you. Classic LLM stuff: spit out wrong stuff in a convincing manner.
In my 8.5 years of Elixir practice I found it much easier to just use a Rust NIF or, in extreme cases, publish to an external job queue. Had success with one of Golang's popular ones (River); you schedule stuff for its workers to do their thing and they publish results to Kafka. Was slightly involved but IMO much easier than trying to coax Golang / Java / C++ / Rust nodes join a BEAM cluster. Though I am also negatively biased against horizontal scaling (distribution / clusters) so there's also that.
Levels of Laravel Optimization: From Rookie to Optimization Overlord
Jensen's Inequality as an Intuition Tool (2021)
> Oh wow. I can see the appeal when you're a kid,

I was 18 or so at the time and it was pretty small beer next to, say, solo shooting the horizontal falls in a kayak or climbing the Centre Point Tower in Sydney *

> but that guy should probably have known better!

I have no way to judge, I wasn't there and I don't know the person involved. If it was a drunken spur decision he was likely an idiot to try, if he had the angles sussed and knew where the piers were then that makes it a calculated move rather than how the newspaper article paints it <shrug>.

> I may just not know the good spots though!

There are many - Swan Canoe Club might suit you, and there's always Blackwall Reach: https://www.youtube.com/watch?v=LGvCtLxi59Q https://www.youtube.com/watch?v=GyhOT0itbvA

* crew, not lead: https://www.youtube.com/watch?v=qch1Gd8VLK0
This is kind of normal in the industry too. Some nodes are skipped by the fabs, some are skipped by the customers even (TSMC 20nm, 7nm etc). If there's not much customer traction why bother.
The Post-Jamstack Era: Just Use Rails
I think its more likely this is just an easy way to trick this model. It's seen lots of riddles, so when it's sees something that looks like a riddle but isn't one it gets confused.
>But these days you can ask AI chat, so it’s not a big deal.

Yesterday I asked chatGPT about OnceCell. It said "SyncOnceCell<T> in Rust is the thread-safe version of OnceCell<T>". This is incorrect, the thread safe version is OnceLock.

When confronted with this it went on to say "What I was actually referring to is OnceCell<T>, which is thread-safe when used as a static/global value" which is also not true.
Should be back up!
Same here with v3 and now being flabbergasted that my "open" project is suddenly dead-ended. (Re)doing an alternative software for PCB v3 is definitely possible, it just runs into economics, at average hourly rate we would put into it it just cheaper to buy decent espresso machine and move on.
Dr Dr