skysight-inc/HackerNews huggingface dataset:
> I'm pretty good mathematically, and the syntax is just beautiful to me.

Ironically, I think the syntax probably is causing some of your problems here. Haskell seems to have a problem where the syntax is so dense that simple operations get confusing. And the strong typing pulls a lot of the learning pain up front. You might be better off learning functional programming independently of Haskell's type system to get a feel for how to do it, then come back and get the types correct and learn the advanced tricks.

If you want an unsolicited tip; don't bother trying to "understand monads", there isn't much there to understand - they are what they are (it doesn't get much more basic than the Maybe monad). Look at the code that uses monads - they are an answer to being unable to solve problems the imperative way. So the point of a monad is programmers want to write code in a certain way and without monads there would be a monad-shaped hole in the code that needs to be filled. If the code was written in a dynamic imperative style, monads wouldn't be so interesting.

A chunk of monads are just obviously necessary and simplifying once you start using ... whatever the Haskell equivalent of a pipe or threading macro is ... and make the mistake of trying to use functions designed for an imperative style.
Did they control for Amish?
If everyone is average at reasoning then it must not be a very important trait or we’d all be at reasoning school getting better at it.

Really philosophy seems to be one of the least important subjects right now. Hardly anyone learns about it in school.

If it was so important to success in the wild than it would stand to reason we all work hard at improving our reasoning skills, but very few do.
make people smart
Show HN: Agile Query – Your Top Choice for a ThoughtSpot Alternative
Key Features

1. Multi-table calculation expression: It allows you to define a metric expression that creates an aggregate value from multiple tables.

2. Nested aggregations: It allows you to use nested aggregation functions for multi-level aggregation metrics.

3. Multidimensional aggregation calculation: It allows you to define a metric expression that contains factors from aggregations at different levels.
Yeah, that's a good question.

However, I'm not sure the size comparison of Zen4c to Zen4 is very useful, because AMD didn't just optimise Zen4 for performance, they also optimised it for an earlier release date.

My understanding is that AMD could have made Zen4 quite a bit smaller, but capable of the same clock speed, if they were willing to spent a lot more time and effort optimising for area.

And while AMD has a reputation for not optimising their layout for area and relying on simpler floorpans and automated routing (at least until Zen4c), Intel has the opposite reputation of going overboard with their layout optimisations when they perhaps wen't needed. So the "cove" cores are probably already area optimised. The delta of a Golden Cove core optimised for a lower clock speed should be much lower than the 35.4% delta that AMD got for Zen4c.
Excellent and interesting read.

This question definitely does not pertain to the subject of the answer specifically but rather these Stack Exchange posts I see on here from time: this answer is so in-depth, so well written and so informative, it could be an entire article in a neuroscience magazine. Who goes to these kinds of lengths to post an answer on a niche Stack Exchange question? And why?
Can you elaborate on what you mean by the "Postgres way of doing things"? Also, what is wrong with using Postgres to query data in external object stores? It is a common occurrence for businesses to store parquet artefacts in object storage, and querying them is often desirable.
One thing that I find problematic is that it is nearly impossible to create images of Mother Goose rhymes.

For example, in Three Blind Mice, the farmer's wife cuts off their tails with a carving knife. Try to get ChatGPT to create an image of three blind mice without tails. It's extremely resistant to do so, even without the violent description. The response text insists that it has made the image as requested, but the image does not adhere to either your text or ChatGPT's text. They always have one or more tail each, and other artifacts like increasingly mangled blindfolds.

It's still the same with 4o.
> Nuclear has already lost.

Classic nuclear did lose. Microreactors have a chance unless irrational fear prevents it from entering the game.

And yes, it gives me a great pleasure to see the rapid deployment of wind & solar installations.
It doesn't even really need to be rendered by a backend. An SPA with pushState and it could literally be just a single file.
Yeah need that muscle memory and not just the eyeball/ear memory

Neurons aren’t special. Electrical state is all over our bodies. Need to use it to trigger the chemistry that builds muscle not just neurons
Providing the first example yourself here
First impressions as a 1-year subscriber.
I just tried GTP-4o to evaluate my code for suggestions and for discussing other solutions and it is definitely faster and it comes up with new suggestions that GPT-4 didn't. Currently in the process of evaluating the suggestions.

The demo is what it is, designed to get a wow from the masses.
Correction: children have been going blind and dying for more than a decade now because of Greenpeace’s (and other’s) Golden Rice activism, and now that toll will continue to grow.
Companies are companies. Oceans are oceans. Of course. It's a metaphor.

Are you in control of your company's sales or corporate strategy? If so, are you in control of the markets they operate in? You are so not in control of your job. It just seems so based on some level of statis in the environment. What's your concrete advice here?
It's based on a Fujitsu custom ARM, with 32GB HBM2 and 512b SIMD.
There have been a few discussions over the years.
I am not sure how such chips could replace GPU if there is a shortage of them as it's highly customized and fairly expensive to get the hand of them.

https://www.fujitsu.com/global/about/resources/publications/...
> if all states are equally real then why does it seem like some states are more likely than others?

Because some states are more probable than others. That is what the wave-function tells us. It does not give equal probability to every possible outcome.
because area density is not the point, power efficiency is. That where zen4c gone wrong.

https://www.anandtech.com/show/10025

The clustered instruction decoders is more scalable and power efficient than the coventional approach.

The "mont" cores is just so much more interesting with much higher potentials.
Most people who claim "it's CGI" about anything and everything can't tell good CGI from bad.
Not an endorsement but a criticism of how schools teach math: https://www.mentava.com/

According to Mentava their program has 5th graders ready for AP math and middle schoolers ready for college computer science.

20 minutes a day.

It’s just another language. A lot of people see it as esoteric wizardry; the debbil in der math, Bobby!

One plus one

1+1

Same thing, less parchment, less writing stick needed. It’s data compression for an era where Walmart didn’t exist
What are some of the more unusual examples of Veblen goods?
Came here to post this comment. It's a common misconception even among people who sort of know how GPS works.
Microreactors have no chance at all in the world because nuclear scales very well with size, and as a result, is bound to be very expensive when small. In Russia, they have a bunch of microreactors, they work fine, but very expensive to run and are kept only in remote places with no other way to power them. Niche thing at best.

How many microreactors do we need to replace all the world's final energy consumption (ok around 20% will be replaced by heat pumps net energy gain)? That's 11,000 GW of continuous power. A million 10 MW ones? How many people does that take to build and maintain across the entire value chain? Sounds like hundreds of millions people, easily 10 or maybe 20% of entire world's workforce. Not going to happen.
A friend of mine in college around 2002 was from Russia and had lived under communism.

He told me his grandma cried the first time she entered an American grocery store.

It was interesting to hear.
Its not going to be achieved by 2025. There are lots of issues piling up. Like a giant mountain range in fact, if you talk to people behind the curtain.

The hype machine is not going to advertise these things, and they do the opposite to stay in the Center of Attention given the Attention Wars unfolding. So they immediately latch on to whatever people want to talk about and act as if they are thinking about it and working on it, even when they aren't.

They Hype up every thing they know will capture Attention, cause they have no other option while taking on Google/Amazon/Apple/Meta et al who can easily out spend them.

The total attention available in the world is limited and finite, while "mind blowing" Content has exploded way past that limit long ago. So to get limited attention of investors, customers, prospective employees, govts (which everyone else is furiously competing for) there are no other moves in this game of Attention Capture everyone is trapped in. They are doing a good job capturing Attention. Even Trump knows how to do it. But as we have seen with Trump it will blow up in your face as contradictions build up with time.
Was it Velocity Raptor? https://news.ycombinator.com/item?id=40342086
If it uses $50 worth of electricity to generate $25 worth of income to pay for ChatGPT it is not a money printer. This thread has nothing to do with generating profit. I'm not looking for a money printer.

What I'm looking for is an intelligent system that can figure out a creative way to keep itself running without asking humans for help with API keys or anything else (even if it is doing so at a financial loss; that is out of the scope of my experiment).

Basically "pip install X" and boom it magically works 24 hours later. Behind the scenes, in those 24 hours, it did some work, somewhere on the internet, to make its own income, register a bank account to get paid, buy a VISA gift card, register for ChatGPT account, pay the $25 fee, jump through all the captchas in the process, get a phone number for the idiot SMS confirmations along the way, then create the API key that it needs. Everything, end-to-end. It may have used $200 worth of my electricity, that doesn't matter, I just want to see this level of intelligence happen.

I honestly think we're not that far from this being possible.
This is clearly not just another story of human innovation. This is not just the usual trade-off between risks and opportunities.

Why? Because it simply automates the human away.
Who wouldn't opt for a seemingly flawless, super effective buddy (i.e. an AI) that is never tired, always knows better? if you need some job done, if you're feeling lonely, when you need some life advice..
It doesn't matter if it might be considered "just imitation of human".

Why would future advancements of it keep being "just some tool" instead of largely replacing us as (humans) in jobs, relationships, ...?
Paper can be made from reeds and cereal straws. However harvesting reeds will destroy bird habitat and straws are also used to feed livestock during winter.
Came in to say this. Thanks. Looks interesting
> you should only get the notification if the tag isn't with its owner

My airtag occasionally thinks it's not with me and apple watch wakes me up in the middle of the night even though my bag is in the next room of this tiny flat.
Tell HN: Anthropic Now Available in the EU
Just now I got an email from them that they've made changes in their policies and besides increased business quotas and the like, they are available in the EU as well. Recent OpenAI announcements have nothing to do with it, I suppose.
This book (and the timeless way of building) were so important when we designed our house with our architect.

Two points that have stuck with me in the decades since:

1- find the nicest place in your property and don’t build there

2- corridors are wasted space because you travel through them and don’t linger. In the end we had only one corridor like space, and it had glass walls on all sides (one side was doors open all summer) so you felt like you were outside, plus it expanded so there was a place to sit.

The two page chapter structure works well for this. The Society of Mind uses the same structure.
There are many converging lines, climate change concerns have leveraged increased support for nuclear in general and modular nuclear in particular.

On another front a loooong standing high level global 'plan' for nuclear waste storage in Australia has advanced.

As a concept it's kicked about since the dawn of the atomic age, with Mark Oliphant, Tube Alloys, and beyond. It gained propasal status several times, eg. as Pangea in the late 1990s

https://en.wikipedia.org/wiki/Pangea_Resources

and more recently it's back on the table as a somewhat redacted clause of the AU-UK-US (AUKUS) partnership:

https://en.wikipedia.org/wiki/AUKUS

https://www.crikey.com.au/2024/02/01/aukus-nuclear-waste-sto...

https://www.theguardian.com/world/2024/apr/02/poison-portal-...

with many rumours and little confirmed as to the extent of intended nuclear waste storage, whether just military waste from Australian submarines, or more general UK+US military waste, or even further.
wild https://gpt4o.ai
Are you blocking some of your traffic? I had the same issue until I (temporary) disabled NextDNS just for signing in.

Sadly, the error returned is not related to the cause.
any cameras on your property must not reach areas beyond property borders. so doorbell cameras would have to be above the door facing down or be mounted on the side facing the door if you do not have a sufficiently large front yard.
Exactly. Renewables are resoundly economically advantageous over micronuclear and don't have the Chernobyl, forever waste problems, physical security issues, or potential proliferation risks. It doesn't save the planet or save money, so don't spread risk throughout populated areas unnecessarily.
I wasn’t complaining, just stating a fact. I am very familiar with the constant complaints about paywalls, and 99% of those complaints are on posts which already have an archive link posted for people to read.

I personally do not have any issue with websites choosing to paywall their content, so I have no motivation to complain about the existence of paywalls.
There are some early benchmarks which put its performance behind iPad:

- Snapdragon X Elite (2,574 / 12,562)

- iPad M4 (3,630 / 13,060)
How am I just hearing about this?! Aider looks cool
I use Google and it gives me AI answers.

But I agree seems SO often helps more than Google-AI.
I believe you, and I do turn to an LLM over Google for some queries where I'm not concerned about hallucination. (I use Llama 3 most of the time, because the privacy is absolute.)

But OpenAI is having a hard time retaining/increasing ChatGPT users. Also, Alphabet's stock is about as valuable as it's ever been. So I don't think we have evidence that this is really challenging Google's search dominance.
Yes, you can implement your own loops in Haskell and OCaml (and Scheme and even the GCC-variant of C).

However, I meant specifically that OCaml is so 'pragmatic' that they have a for-loop as a built-in syntactic element in the language. They also have mutable variables built-in. In eg Haskell those are 'only' available as part of the standard library.
You weren't! Even with the stuff you knew was fantastical. Congrats :) You've proved Cancel Culture is fake.
I find mine mostly via links from other blogs I already read, via recommendations from friends, and via submissions to the likes of HN.
"We shall not be very greatly surprised if a woman analyst who has not been sufficiently convinced of the intensity of her own wish for a penis also fails to attach proper importance to that factor in her patients" Sigmund Freud, in response to Karen Horney’s criticism of his theory of penis envy.
There’s a huge part of the equation you’re forgetting in all of this. Storage. Renewables are great and have proliferated spectacularly and I’m excited to see that they continue, but our societies are stuck on fossil fuels to plug the holes in intermittent sources. Either we have some pretty rapid and miraculous advances in large-scale battery storage and deployment infrastructure, or we stay on fossil fuels. But when those run out, are you hedging your bets on battery storage and energy management infrastructure handling ever-growing demand? Or would you rather small-scale nuclear offset some of that.

There’s room for both solutions here, and frankly we need all of them because it’s not just about intermittency. We urgently need to quit fossil fuels entirely, implying nuclear energy sources are rolled out even if they cease to become necessary. That’s a lot better than ignoring the option and continuing to pump greenhouse gases into the atmosphere and polluting our air.
it's like saying drugs are bad. there are definite harms done by cocaine, but penicillin has saved the world. PE'a easy to hate because, as a group, there are hateful things that happen. we don't have any mechanism for not letting the group be represented by an outlier individual.
> Microreactors have no chance at all in the world because nuclear scales very well with size, and as a result, is bound to be very expensive when small.

Solar is cheap because it has hit the economy of scale. Hell, fences made of solar (sometimes, not even connected!) are now more cheaper than those made of wood (at least, in some countries).

While I would not bet my money on the economic feasibility of nuclear microreactors, I would like them to have a fair market trial. If they do succeed, we all win.
You can (and people do) do graph coloring on SSA form, just the same as you can do linear scan without SSA. SSA helps graph coloring, in fact, thanks to the discovery that the interference graph of SSA values is chordal and the consequences of that...which was only discovered in 2005.
Have you worked with Nix much?
makes sense since humans started farming for only 10k years. bookmarked!
Mobile NixOS – NixOS, on your phone
I just used the voice on my phone after switching to gpt4o and clicking the headphones in the bottom right on iphone
I was quite surprised by this, I was certain it wasn’t true, but I checked and it is!
> That might be possible in some supermarkets.

Yeah, I was going to say, it's worth asking.
We now know that keyword expansion is idiotic and have moved past it.

The worst ones are the ones that expand the log messages, when they are implemented in such a way that it becomes permanent.

A wall of short commit messages condensed into a block comment don't help anyone understand anything, without the actual changes to refer to.

Keywords are supposed to help someone who works outside of the context of the version control, but that's ironically the person who is trying to apply a patch that is failing because of the expanded cruft, whereas the person working in the version control system may have a way to do the merge on unexpanded artifacts.
I'd remove the proliferation risks - face it, proliferation is a done deal and everyone who can afford a nuke will have one in the next 30 years, including many private entities (Elon Musk for sure but quite probably, many much smaller ones, plus churches as well). Otherwise, right.
They are probably just selling this B2B in which case most of which you are quoting doesn’t apply.

Also I’m not familiar with USA laws in particular, but often domestic consumer protection laws surrounding warranties etc do not apply to overseas sellers.
if you take photos for your own use and don't share them online then you will be fine. if you want to share them, making sure that people can't be recognized, like blurring the faces, should probably be enough. but IANAL
This dark mode mania is truly annoying. Why can't you people understand that many users cannot read in dark mode?
Well, we have entire libraries in Haskell that implement `traverse` for a specific data type, too. The nice thing in Haskell is that the language is strong enough that we can tell the compiler that all those disparate implementations have something in common.
Must be nice to be a US autoworker. Almost no US industry gets similar protections. Certainly my job isn’t protected in the same way. And yet, a base Corolla runs more than $27k out the door, and I have no choice but to buy these over prices ICE vehicles.
not really. Even a human bad at reasoning can take 1 hour of time to tinker around and figure things out. GPT-4 just does not have the deep planning/reasoning ability necessary for that.
Branding aside, this pretty much is GPT 5.

The evidence for that is the change in the tokenizer. The only way to implement that is to re-train the entire base model from scratch. This implies that GPT 4o is not a fine-tuning of GPT 4. It's a new model, with a new tokenizer, new input and output token types, etc...

They could have called it GPT-5 and everyone would have believed them.
There's a lot of heuristics. Big sites get more crawl time. Some crawlers will back off if pages are slow. There's usually some sort of 'interestingness' calculation, so repetitive content won't get crawled as much.
Kids Hooked on Video Games Prompt a Flurry of Lawsuits
I’ve commented about this book here before. It’s very useful across multiple disciplines. What drew me to it was video game level-design. There’s a section on how churches and temples often have these increasingly smaller and more intimate chambers as you go deeper into the building. I found it super helpful as a lot of these little details are difficult to intuit. I appreciate that you can open the book to almost any page and gain tremendous insight.
The questions I ask ChatGPT have (almost) no monetary value for Google (programming, math, etc).

The questions I still ask Google, have a lot of monetary value (restaurants, cloths, movie, etc).
I understand. But for every one of you there's 5 glassholes thinking it's great fun secretly recording people in public places and posting it on tiktok.

This is why everyone hated on google glass. Which had a much more noticeable camera than the ray-bans. I have one myself (the glass, I 3D printed a camera cover for it).
Why not? If your comparison is eg C, Haskell and Lisp share a lot in common.
> There’s a huge part of the equation you’re forgetting in all of this. Storage.

Let me come and defend the California strategy for the energy production. As can be seen on the California grid status page ([1]) (click on the Supply tab, find batteries and play with dates), the battery capacity grew from negligible to something that eclipses imports in the peak consumption hours. I fully expect that in 2-3 years, California will have enough of solar + storage to stop firing its gas generators and importing coal electricity from Utah.

1. https://www.caiso.com/TodaysOutlook/Pages/default.aspx
I really don't give AF about George.
The current link (as of one hour post your comment) goes straight through to a full article in French for myself in Australia: https://www.linforme.com/medias-culture/article/le-combat-ac...

The archive.is snapshot ( https://archive.md/mBig8 ) is of a partial article with a subscribe nag ... this suggests the issue is cookies and|or geolocation.
Since OpenAI has gone completely closed, they've been increasingly opaque and dodgy about how even things like basic chat works. Assuming the various leaked details of GPT-4 [1] are correct (and to my knowledge there has been no indication that they are not), they have been actively misleading and deceptive - as even the 'basic' GPT4 is a mixture of experts system, and not one behemoth neural network.

[1] - https://lifearchitect.ai/gpt-4/
I think 4o is actually noticeably smarter than 4, after having tried it a tiny bit on the playground.