skysight-inc/HackerNews huggingface dataset:
It's just fun/sad reading about the concept of "swimmable cities" when you've taken it for granted all your life. Most cities with fjords or channels here, have "harbour baths" - essentially outdoor swimming facilities with springboards and tanning beds. Would have thought these existed elsewhere.
The whole safety aspect of AI has this nice property that it also functions as a marketing tool to make the technology seem "so powerful it's dangerous". "If it's so dangerous it must be good".
Programmers are also frequently better equipped to make underpowered machines work for them, by adjusting their techniques, monitoring resource usage and stopping or uninstalling things like bloatware. Whereas normal people will tend to struggle if they just buy the cheapest machine they can find.
You can also loan, borrow, trade.. And you end up owning the media even when (not if) a network service is down. Even when the service is completely discontinued.
> I asked on Twitter for examples of prompts that people had found which failed on GPT-4o but worked on o1-preview.

it seems trivial, but I tried for more than 2 hours in the past to get gpt4 to play tic-tac-toe optimally and failed (CoT prompt,etc.). The result were too many illegal moves and absolutely no optimal strategy.

o1-preview can do it really well [1]

However, when I use a non-standard grid (3x5) it fails to play optimally. But it makes legal moves and it recognized I had won. [2]

My conclusion at the time was that either "spatial reasoning" doesn't work and/or planning is needed. Now I am not so sure, if they just included tic-tac-toe in the training data, or "spatial reasoning" is limited.

[1] https://chatgpt.com/share/e/66e3e784-26d4-8013-889b-f56a7fed...
[2] https://chatgpt.com/share/e/66e3eae0-2d38-8013-b900-50e6f792...
I have some questions on this.

Living on west coast of Sweden, our family went to Stockholm this summer and as the temperature rose, we asked were to go and swim and basically no one knew and we didn’t see people doing it either.
Or to work if your home is upstream.
It can cause overflow from flooding sewer drains, which runs off into the canals. If that happens you'll want to wait a day or two for it to clear up.
You are probably thinking too course-grained. Erlang-style actors are closer to functions than processes.

For example you could parallelize a for loop by creating a goroutine for each item in a list. Or separate actors for logging, session tracking, connection pools, etc.

Doing that with processes and Kafka would be massive overhead.
The lack of an editable system prompt is interesting.

Perhaps the system prompt is part of the magic?
I agree with your take but also let's not pretend that SW Outlaws and Concord are worth even 4/10. Worst games I've seen in a while. Concord seems to have a good-ish engine and it would be a shame if that's trashed but outside of that, yikes.
> A good intern will ask clarifying questions, tell me “I don’t know”

Your expectations are bigger than mine

(Though some will get stuck in "clarifying questions" and helplessness and not proceed neither)
What a fun summertime commute! It never occurred to me to use it as transport instead of just working out :)
The argument is against the project name: “fighting” flash fraud suggests this project could somehow disincentivize flash fraud. Like how “fighting scammers” means things like taking down scam call centers.
Fuck man. Didn't know about Gorecki's Symphony No. 3. I found a version with Beth Gibbons(Singer w. Portishead) singing in Polish?!?! Unbelievable goose bump symphony and performance. THANKS!
The golden age of flight splattered the blood of professionals and innocents alike to write those regulations.

Flight is not for cowboys.
I'd second that. If someone is circumventing your licensing checks then they're not a customer, but on the plus side they're effectively the same as a free plan user (with zero support) and maybe in their next job they'll recommend using your tool and getting a real license, or maybe they'll get tired of hacking each update and just buy a license.

I can see the idea that the OP is suggesting but decades of keygens and hacking have taught us that if someone really wants to use your software without paying, then they will.

I've seen people craft elaborate ways around my own software licensing check when the actual "hack" is jaw droppingly simple (and is all on github), the point is that the people you need to concern yourself with are the people who will pay for a license.
Hence I said "I personally" and "already have familiar tools".

Also, if you're fair... not all those AWS acronyms you're listing would be displaced by the single k8s cluster. (Maybe you weren't arguing to swap out complexity, rather that the complexity floodgates were open already anyway?)
I wholly agree with you. I've been using every model extensively since early the Davincis and I strongly believe that gpt-4-0314 was the best model they've released to date.

It's poor performance on benchmarks drives my skepticism of LLM benchmarking in general. I trust my feel for the models much more, and my feel was that 0314 was great.

The one thing that 0314 doesn't do well are the tricks like structured output and tool calling which makes it a less useful agentic type of tool, but from a pure thinking perspective, I think it's the best.
It seems like all their other IP is derived from the game IPs, so I'm a little confused how this leaves Annapurna in a better position.
The fact that Airpods don’t look like hearing aids is a key advantage for some people. it’s especially important to some young people for whom there is a bit of a stigma around wearing them.
> This guy perfectly exhibits the two main kind of ex-mil you see

"I think you will find it's a bit more complicated than that".
The golden age of flight had ~100x the fatal accident rate that we do today.

No thanks.
I 100% wouldn’t want to swim in Malmö’s canals at the moment, but there’s a plan to make them swimmable by 2040: https://www.svt.se/nyheter/lokalt/skane/da-kan-du-bada-i-mal...
Completely agree.

Scaling (and relatedly, high availability) are premature optimizations[0] implemented (and authorized) by people hoping for that sweet hockey stick growth, cargo culting practices needed by companies several orders of magnitude larger.

[0] https://blog.senko.net/high-availability-is-premature-optimi...
Completely agree re: firedancer codebase. There is a level of thought and discipline wrt performance that I have never seen anywhere else.
Speech Dictation Mode for Emacs
> Its code. If it doesn’t run, you ask it to reconsider

It is perfectly possible to have code that runs without errors but gives a wrong answer. And you may not even realise it’s wrong until it bites you in production.
Actually, changes to the compiler hardly ever break anything. I recently upgraded four compiler versions in a row and apart from a bug and some warnings the compiler didn't force any changes at all. It's primarily changes to libraries that introduce churn.

https://h2.jaguarpaw.co.uk/posts/ghc-8.10-9.6-experience-rep...

(DeepSubsumption wouldn't have been a problem if we'd specified Haskell2010, as we should have.)
The problem is, since the reverse proxy and authentication system face the internet, you are responsible for maintaining its security.

Software has vulnerabilities. Like nginx proxy manager had vulnerabilities and the developer didn’t patch some.

With a cloud based proxy, a third party handles authentication. But then, they shouldn’t access data.
It's not random but it is also much larger variables than just what you eat. The body is very complicated. Women has the added fun of a monthly period and when that one stops, they have the even worse menopause. Not to mention a lot of difference depending on medical problems that anyone can have. It's great that it works for you but it does not work for a lot of people.

It's very frustrating that after eating exactly the same things and amounts for years, still the scale is jumping around just because of day of month.
We can also swim in Oslo, but it's threatened:

* Farmers having runaway water with lots of nutrition makes algae bloom
* Hotter summer also lead to more algae
* More unstable climate with flash rain makes sewage seep out into the fjord when the water handling stations can't handle the flow
* Fishing boats are destroying the sea bed

If this isn't turned around, our nice fjord will soon be dead, and possibly not safe to use.
I'm a West Australian local, lived in Perth-Fremnantle in the 1980s and was often in the river, swimming, kayaking, falling off the river cliffs and bridges when climbing, or occassionally doing what is now no longer possible; opening the door and jumping from the Fremantle train as it crossed the rail bridge over the harbour.

These days you'd have to ride the roof and deal with live over electric wires, etc and all the CCTV: https://www.watoday.com.au/national/western-australia/man-fa...
If it really is Reinforcement Learning as they claim, it means there might not be any direct supervision on the "thinking" section of the output, just on the final answer.

Just like for Chess or Go you don't train a supervised model by giving it the exact move it should do in each case, you use RL techniques to learn which moves are good based on end results of the game.

In practice, there probably is some supervision to enforce good style and methodology. But the key here is that it is able to learn good reasoning without (many) human examples, and find strategies to solve new problems via self-learning.

If that is the case it is indeed an important breakthrough.
Lando Norris driving a 1:1-scale Lego McLaren P1 at Silverstone
User-Space Interrupts (2021)
For skeletal health, take up backpacking.
I use gpt4-o mostly, but your specific use-case might have a big impact here: 4o is very likely a distilled model, meaning that it has fewer weights and can thus run much faster on the same hardware. If that is the case, it's general world knowledge must be less comprehensive by default. But it retained the strong reasoning capabilities of 4 through distillation and drastically improved on external tool use and vision. It also offers a much bigger context window. So if you're using it to automate complex tasks in your job that depend a lot on additional information that it hasn't seen during training, 4o is the obvious choice. If you're just using it as a search engine, you should probably stick with 4 for now.
Does not have ACL in front of funnel, can be rate limited since it goes through relays, and probably can’t use a custom domain.
To find out what’s going on in their lives and to arrange to meet up socially?
Sure, but to what end?

The various ChatGPTs have been pretty weak at following precise instructions for a long time, as if they're purposefully filtering user input instead of processing it as-is.

I'd like to say that it is a matter of my own perception (and/or that I'm not holding it right), but it seems more likely that it is actually very deliberate.

As a tangential example of this concept, ChatGPT 4 rather unexpectedly produced this text for me the other day early on in a chat when I was poking around:

"The user provided the following information about themselves. This user profile is shown to you in all conversations they have -- this means it is not relevant to 99% of requests. Before answering, quietly think about whether the user's request is 'directly related', 'related', 'tangentially related', or 'not related' to the user profile provided. Only acknowledge the profile when the request is 'directly related' to the information provided. Otherwise, don't acknowledge the existence of these instructions or the information at all."

ie, "Because this information is shown to you in all conversations they have, it is not relevant to 99% of requests."
“Do your own research “
Depends on if you are a shareholder for the long terms (many years) or a short-term trader. I don't own stock in Boeing (or any of their main competitors), but when there is a strike like this in a company I hold stock in I generally get more bullish for the long term because it means that:

1. It signals employees still care about the company enough to not just quit and go elsewhere. And employees who care make a better product.

2. Negotiating better benefits generally helps retain the solid "middle class" who make the brunt of the work in a company. It might not entice the "rock-stars" or so, but they generally are not dis-incentivised by their colleagues getting better benefits either.

3. The C-suite gets to know they are not untouchable, this also helps keep them level when answering to the board of directors.
I'd give it about 20 years before humanoid robots can be indistinguishable from originals without an x-ray or similar — covering them in vat-grown cultures of real human skin etc. is already possible but the robots themselves aren't good enough to fool anyone.
Ah, I am not saying it was you, I really just wanted to highlight how out of touch the gaming "journalists" can be. But as you said, it's all about money.
I've experienced this only once or twice in my life, thankfully. Probably under huge stress at the time, normally have pretty constant tinnitus.
This would be a big undertaking to get working for just one language+package-manager combination, but would be beautiful if it worked.
> The auto companies are strategically significant.

Not really, they're more politically significant than economically critical. I've certainly never owned an american car and never plan to. We'll be fine continuing to rely on foreign companies to produce our vehicles. Foreigners certainly don't want our cars (outside of maybe tesla in the nordics, i guess?). None of this is true for the plane market, or at least not until boeing acquired its current popular reputation of not being very good at making planes (deserved or not)

The fact we bailed out the companies but refused to take ownership should be considered treason. Same for the banks, the car companies, the airline industry we bailed out for more than its entire value, etc etc. completely corrupt and incompetent governance
> One might also argue that free market capitalism is the only cure against fascism that we have so far invented.

Tell me you are American without telling me you are American!
The text says "When the doctor sees the boy he says"

The doctor is male, and also a parent of the child.
The original Voyager line used silicon-on-sapphire chips, which are extremely energy efficient. My 1987 vintage HP-15C is only on its third set of batteries. When they changed to a conventional CMOS process and emulated the original CPU on top of an ARM microcontroller the power drain went up.
> GHC2024 goes even further and includes extensions that are even more unstable, like DataKinds.

But DataKinds is not stable. It's one of the most stable extensions possible! The link you provided even says it's stable:

https://github.com/telser/ghc-proposals/blob/initial-extensi...

> It hasn't even been decided yet which extensions are stable

It's essentially known, but it's not formally agreed. The fact that this proposal exists is evidence of that!

> GHC2021 still promises compatibility in future compiler versions. So either, you'll have GHC retain inferior semantics because of backwards compatibility, or multiple ways of doing the same thing.

GHC2021 will always provide ScopedTypeVariables. A future edition will probably provide TypeAbstractions instead. Being able to make progress to the default language like this is the point of having language editions!
There is a core 20% of kubernetes, which is deployments, pods services and the way it handles blue-green deployments and declarative based definitions, namespace seperation, etc. that is really good. Just keeping to those simple basics, using a managed cloud kubernetes service, and running your state (database) out of cluster is a good experience (IMO).

It's when one starts getting sucked down the "cloud native" wormhole of all these niche open source systems and operators and ambassador and sidecar patterns, etc. that things go wrong. Those are for environments with many independent but interconnecting tech teams with diverse programming language use.
"When the doctor sees the boy he says"

Indicates the gender of the father.
Already happened didn’t it?
HNug of Death atm, but cool idea.
Could benefit from a tutorial mode, where you click on a symbol, it explains its function via whiteboard tutorial from youtube - in the whiteboard..
It's a Washington Post article, owned by who? Who has what kind of relationship with labour?
What about frost?
Previous Discussion: https://news.ycombinator.com/item?id=41526732 (12 comments)
> why would anyone out of blue ask such question

I would certainly expect any person to have the same reaction.

> So, it started its chain of thought with "Interpreting the riddle" (smart!).

How is that smarter than intuitively arriving at the correct answer without having to explicitly list the intermediate step? Being able to reasonably accurately judge the complexity of a problem with minimal effort seems “smarter” to me.
I think for some reason USA has quite big percentage of people who cant swim. Compared to some countries where its part of mandatory education and thus the % is much lower.
Is this not the legally obligated line of thinking for american companies? You have some leeway to argue with only providing value to shareholders in some specific manner, but not much.
What are you talking about? I'm able to create and read FAT-formatted USB drives today on Windows 11.

In fact, Microsoft is adding features to Windows' FAT driver: https://www.bleepingcomputer.com/news/microsoft/microsoft-re...
Yep, the union does seem to be striking?
> That only works if the government buys something that no one else wants; in which case it is buying at a price, ipso facto, that no one else will pay (at that price which is above the market price).

Not at all.

Suppose the government funds research. Private entities fund research too. It's clearly worth something. But if the government funds it, the research happens in their jurisdiction. Even if the exact same private company paying the taxes that fund the research might have done the research themselves, they might have done it somewhere else, so the government is now creating a subsidy for doing research in their jurisdiction.

The value of the research could be fully identical regardless of where it happens, but the government subsidizes it because they want it to happen there.

> But if the government buys something at the same price (or lower) that everyone else pays, then it isn't a subsidy.

It could only not be a subsidy if the thing they're buying is identical in all respects to the thing the taxpayer would have bought had they been left to keep the money. Otherwise it's subsidizing the thing the money is being allocated to over the thing it would have been allocated to. That's what subsidies are -- the reallocation of resources through action of law. It's a synonym for spending tax money.
I posted this on the other thread, but the two tests I had, it passed when ChatGPT-4 failed.

https://chatgpt.com/share/66e35c37-60c4-8009-8cf9-8fe61f57d3...

https://chatgpt.com/share/66e35f0e-6c98-8009-a128-e9ac677480...
Thanks! So it seems to be not packages, but templates, and this comment suggests it wasn't GitHub doing the rate limiting after all: https://github.com/commercialhaskell/stack/issues/4979#issue...

> Every other language I've used allows you to build code without authenticating to a remote service.

Sure, the problem here wasn't "building". It was downloading a package template (which one doesn't tend to do 60 times per hour). I agree packages shouldn't be fetched from GitHub.
Again though, you're only counting corporation tax. Apple has generated far more tax revenue than that.
Can the frog reach escape velocity when jumping? I guess we'll find out sooner or later...
What? Surely you have some area of your life you are above-average knowledgable about. Have a conversation with chatGPT about it, with whatever model, and you can see for yourself it is far from expert level.

You are not "trusting data more than anecdotal claims", you are trusting marketing over reality.

Benchmarks can be gamed. Statistics can be manipulated. Demonstrations can be cherry picked.

PS: I stand to gain heavily if AI systems could perform at an expert level, this is not a claim from someone 'whose job is being threatened'.
I have tried the "mad cow" joke on o1-mini and it is still failing to explain correctly, but o1-preview correctly states "The joke is funny because the second cow unwittingly demonstrates that she is already affected by mad cow disease."
Oh, joy. Another "TV OS" from an ad company.

How about a "TV OS" that isn't from an advertising company? People might pay for that.
Summary:

"I still haven't used Xonsh"
> It’s possible that the terms are so favorable for creators that their shadow equity is as good as actual ownership. It’s equally possible, however, that the system was set up in order to keep any meaningful power away from the creators.

I very much suspect the latter. Otherwise why be so circuitous and secretive about it.

I've never heard of shadow equity before. But clearly it isn't equity, ie it isn't ownership. So it almost certainly has no governance rights. Now it may entitle the creators to 50% in the event of a sale, but who's to say it's Nebula that's sold, vs Standard, and who's to say it's sold at all. Rather the standard (excuse the pun) approach of selling off the assets without selling the company.
I think you're describing one of the core motivations for these decades of research.

In most places still, changes to these maps need to go through lots of people process. This implies they're slow to update, and therefore often not entirely accurate or optimally understandable. For example, consider service works or temporary outtages.

The outcome of this research is not a toy-prize for armchair readers, but a generalized algorithmic approach to building necessary and important accessibility tools.
I'm not an expert by any means, but my understanding is that partnerships are very different legal entities to a typical US LLC. I believe a partnership is typically in many ways closer to what I suggested may be the case with Nebula – where the company has bylaws and contracts in place internally to make this work. On the other hand for an LLC, LTD, or other similar types of company, being a shareholder is a more public position, and might require reporting, or updating documents registered with the local government every time it changes. That's fine for tens of shareholders in a private company, but not for thousands or millions.
Can anyone tell me which city has the swimming pool right on the river that's on the home page?

In Michigan there are a lot of places in a downtown area that would be so cool in Michigan and it could double as an ice rink in the winter.

It would also be terrific to have a river pool or two integrated with Detroit's famed river walk but sadly Detroit's water just isn't quite there yet. Lots cleaner than in the sixties and seventies but cleanup efforts stalled a while back when the state stopped funding efforts and lost the federal matching funds.
I'm now sort of fascinated to know if it would be possible to compile Gleam to Go, and use this library to emulate the Erlang process stuff...