skysight-inc/HackerNews huggingface dataset:
I just noticed this bit:

>> Second, you need the ability to recombine these functions into a brand new program when facing a new task – a program that models the task at hand. Program synthesis.

"Program synthesis" is here used in an entirely idiosyncratic manner, to mean "combining programs". Everyone else in CS and AI for the last many decades has used "Program Synthesis" to mean "generating a program that satisfies a specification".

Note that "synthesis" can legitimately be used to mean "combining". In Greek it translates literally to "putting [things] together": "Syn" (plus) "thesis" (place). But while generating programs by combining parts of other programs is an old-fashioned way to do Program Synthesis, in the standard sense, the end result is always desired to be a program. The LLMs used in the article to do what F. Chollet calls "Porgram Synthesis" generate no code.
I could not get into it either. But I tend to agree with the various favoritism comments. But with a twist and it applies to all US Pro Sports.

I believe in the US, due to TV revenue, the Professional Orgs want playoffs to occur between Nationwide popular teams to maximize TV revenue. So they they want to avoid having 2 teams in the finals that will not generate nationwide ratings.

I have not watched any pro sports for decades. But going back, in basketball the 2 teams that generated huge ratings and buzz a long time ago were LA and Boston. I do not know what the "magic" teams combinations are now, but I am would not be surprised if the refs subtilely try to get the "popular" team to win.
Your comment gives me faith in humanity.

Well played!
FireWire hard drives still work fine though. (FireWire 800 to Thunderbolt adapter, connected to a Thunderbolt to TB3 adapter).

Why support the adapter and hard drives, but not audio devices?

(What else used FireWire besides mass storage, audio stuff, the original iSight, and Time Warner Cable boxes from 2005?)
is it really that hard to add a sodimm slot.
> That's exactly what Jesus did and every prophet that has been before him also.

I don't think Jesus thought of himself as a prophet. I think he believed he was the Messiah.
I think the GP knows what cross-platform means, but is confused by using "X" as shorthand for "cross". In my opinion, it's not widespread enough for the four-letter saving to be worth the confusion.
> I guess this could be a facet of whether you see economic advantage as a legal conceit or a difference in productivity/capability.

Does a billionaire stop being wealthy if they hire a money manager and spend the rest of their lives sipping drinks on the beach?
A lot less! Sponsorships. Merch. Tournament wins. The best of the best might make millions a year but it falls off very quickly.
Yep, good point. I was just hoping I could see if there was an example out there of something that had a good balance between fresh and highly usable/efficient to get prospective customers the info they need quickly, reliably, but also in an inspired way. I think some modern restaurants strike that balance, but others fall flat. Perfectly valid point though.
Wild hyperbole? https://x.com/AndrewDBailey/status/1772275077280858370

Being +1017 in FTA differential when the next closest is +358 isn't explained by whatever crap you're selling
> I'm not talking about any imaginary research breakthroughs. I'm talking about today, right now.

I explicitly said so was I. I said today we don’t have large impact societal changes that people have conventionally associated with the term AGI. I also explicitly talked about how I don’t believe o3 will change this and your comments seem to suggest neither do you (you seem to prefer to emphasize that it isn’t literally impossible that o3 will make these transformative changes).

> If however you're "this model passed this benchmark I thought would indicate AGI but I don't think it's going to be able to do this or that so it's not AGI" then I'm sorry but that's just nonsense.

The entire point of the original chess example was to show that in fact it is the correct reaction to repudiate incorrect beliefs of naive litmus test of AGI-ness. If we did what you are arguing then we should accept AGI having occurred after chess was beaten because a lot of people believed that was the litmus test? Or that we should praise people who stuck to their original beliefs after they were proven wrong instead of correcting them? That’s why I said it was silly at the outset.

> My thoughts or bets are irrelevant here

No they show you don’t actually believe we have society transformative AGI today (or will when o3 is released) but get upset when someone points that out.

> I'm just not interested in engaging "I think It won't" arguments when I can just wait and see.

A lot of life is about taking decisions based on predictions about the future, including consequential decisions about societal investment, personal career choices, etc. For many things there isn’t a “wait and see approach”, you are making implicit or explicit decisions even by maintaining the status quo. People who make bad or unsubstantiated arguments are creating a toxic environment in which those decisions are made, leading personal and public harm. The most important example of this is the decision to dramatically increase energy usage to accommodate AI models despite impending climate catastrophe on the blind faith that AI will somehow fix it all (which is far from the “wait and see” approach that you are supposedly advocating by the way, this is an active decision).

> My bet ? There's no way i would make a bet like that without playing with the model first. Why would I ? Why Would you ?

You can have beliefs based on limited information. People do this all the time. And if you actually revealed that belief it would demonstrate that you don’t actually currently believe o3 is likely to be world transformative
To clarify, what neural nets are missing is a capability present in classical, logic-based and symbolic systems. That's the ability that we commonly call "reasoning". No need to prove any negatives. We just point to what classical systems are doing and ask whether a deep net can do that.
AI's assault on our intellectual property must be stopped
https://archive.is/eYgGT
I dig the flow. Thanks.
What % is bot traffic? 50%?

https://soax.com/research/what-percent-of-internet-traffic-i...
Fully agreed. Soccer is like your esports example too – 45 minutes uninterrupted, followed by 15 minutes of some ads + analysis, following by another 45 minutes uninterrupted. I find it hard to keep attention if I try to watch NBA or NFL because of all the interruptions.
This is a cultural problem.

What is considered impolite in the US or the UK is considered just being straightforward in e.g. Scandinavia.

I am German, we're kind of in the middle between someone from e.g. Finland and someone from e.g. or the UK or US with what we consider "ok" or rather crossing into rude territory.

A common exchange I witnessed in a meeting at work (Nokia):

Finnish developer: And if we follow this suggestion we will all look like idiots.

UK developer: I hear you.

Deciding which one is more impolite or impolite at all is left as an exercise to the reader. ;)

You get my point.
The corps want you to believe that but it's not true.

India requires direct customer support by law.
This article is so bad - the thesis is that competitive parity is the main problem with the NBA, yet it actually calls out that the NFL is doing fine. The NFL has the most parity and a true salary cap. Why does Bloomberg even publish this.
Also SEO provides at least something for the long tail. My belief is that the algorithm is able to predict what looks like “content” to a broad consumer base. Then the fatter the tail gets the more they manually tweak the results (like editors doing publishing).
I love whining about paywalls as much as the next guy, but I copied the URL into the "saved snapshots" search at archive.is and got this pretty quickly: https://archive.is/VgwLx
"A key reason behind Amex's adoption of WebAssembly is that WebAssembly demonstrated superior performance metrics compared to containers."

Wasm faster than containers? I guess they mean under there specific circumstances. Rust or C on a Linux container running machine code should definitely be faster than Wasm bytecode.
Interested to hear why you shut it down when you had over 6 million users?
If your scaling requires you to ignore some laws and regulations, maybe your scaling is just a wet dream that should not become reality, and still attempting it should be punished. It's just the cost of doing business.
One that really annoys me is inability to monitor/control my kid's device useage and time limits.
You need to look at the docs.
I'm sorry but I have no idea how to answer your question, which is indeed philosophical. You see, I'm not a philosopher, but a scientist. Science seeks to pose questions, and answer them; philosophy seeks to pose questions, and question them. Me, I like answers more than questions so I don't care about philosophy much.
That's a good point, well taken. Especially now that "X" is the name of a social media platform :-)
Look at the docs it links to.
If your looking for an early community that wants to press vinyl and create an online community, check out kushtybuckrecords, it’s a project me and my son are building, we have friends that own a vinyl press factory (Press On) and we are trying to build an online community that will help Artist create vinyl records
Flopping techs should be handed out like candy. They can be determined during commercials. I don't know a single fan who wouldn't love this. I'm curious why the NBA doesn't crack down more. I'm assuming it has something to do with internal politics, maybe with the star players.
Something in this vein has actually been made quite some time ago: https://www.bltt.org/software/dasher/
Primary lithium batteries absolutely do leak, given enough time. Often the victim is an old Mac motherboard, search for "mac pram battery ruined motherboard" on an image search engine of your choice.
The number of crimes they've committed is also disproportional to their size.
Tai Mo Shan to Pay $123MM for Misleading Investors About Stability of Terra
Rust doesn't have a specification or standard yet, which would make it difficult to formally verify.

https://stackoverflow.com/questions/75743030/is-there-a-spec...
This is why I hate duck typing. I have to deconstruct the entire goddamn program to figure out what kind of object is being manipulated.
I don’t see any probability analysis in that at all. If there is something about a team composition and strategy that leads to a large free throw differential you’d expect that to persist across consecutive seasons. Going back further you see other teams with similar strategies and free throw differentials.

https://www.reddit.com/r/nba/s/yNKebuc8V7
In tldraw the text is always in the DOM, so the browser can use your native font rendering (for example ClearType on Windows). In Excalidraw the text is only in the DOM while you're editing it.
> The fact that they let law enforcement know when someone is stalking someone with an AirTag shows that the data is available to them.

Not technically correct. Apple devices (and Android phones with the appropriate app) detect if an unknown AirTag is moving with them and makes it home, possibly signalling a stalking attempt.

The heuristics for this happen locally; Apple isn't "aware" of this happening. That said, when you first set-up an AirTag, the serial is tied to your account. Therefore, when you physically find an unknown AirTag and report it to law enforcement, they can then subpoena (or get a warrant?) Apple for information on the AirTag owner's identity.

The serial itself, and any personal identifiers, are not used in the locating process, however.

This is well documented in the paper above, in articles, as well as in reverse engineering efforts.
> But I think that complex architectures are going to win out over the "just scale up with more data and more compute" approach.

I'm not sure about AGI, but for specialized jobs/tasks (ie having a marketing agent that's familiar with your products and knows how to copywrite for your products) will win over "just add more compute/data" mass-market LLMs. This article does encourage us to keep that architecture simple, which is refreshing to hear. Kind of the AI version of rule of least power.

Admittedly, I have a degree in Cognitive Science, which tended to focus on good 'ol fashioned AI, so I have my biases.
season length - how are a 7’ guy’s knees supposed too go at even 85% effort for that many games?

unlikeable players - Moses Malone wasn’t nice, but without getting into culture war, it’s different know.

athleticism has beaten the rules. Shrink the rim 2” and force the game back into the paint. (And while you’re at it, make soccer goals bigger.)
The victims are the good guys. Meta is just not happy that their platform was exploited. Even if you consider them to be the bad guys, they needed to sue to curtail the bad PR
Players are just shooting to much 3s. It’s boring to watch, every game it’s like a shooutout with barely no defense.
In 2019 the NBA's competition committee examined Kirk Goldsberry's proposal [1] to eliminate the shorter-range corner threes. Brad Stevens was on the committee and reportedly said, "You'll never see a slam dunk again" if we do that, because the guys who now have to defend the guys in the corners will go cut off the lanes to the basket.

When faced with prospects of two different kinds of boring, Goldsberry points out that the NBA could either make its courts several feet wider to at least diminish the statistical make-percentage advantage of those 3's -- but that this would mess up arena seating arrangements -- or could outright allow teams to draw their own 3-point lines like the local variation in baseball and soccer [2] fields.

Basketball requires control of space and pace, but as athleticism has increasingly been optimized, there's just not enough space there to force interesting trade-offs on every play. So it forces less interesting ones.

[1] https://www.espn.com/nba/story/_/id/26633540/the-nba-obsesse...

[2]
https://www.thisisamericansoccer.com/why-are-soccer-fields-d...
Perplexity's value triples to $9B in latest funding round for AI search engine
Sure, there are a ton of reasons to archive. And if it's cheap to do (in terms of money, yes, but also in terms of time, effort, mental health, etc.) then I am of the mind that we should archive everything.

But, it often isn't cheap to do, and in that case, it makes sense to prioritize. The high priority items for me are the things that I might want to share, the ideas I want to amplify for my contemporaries and future generations that might examine my life. Stuff like [1] [2] and [3] which has influenced my thinking fundamentally, that I hope to build upon so that others can build upon what I have built.

I'd argue that you do this intuitively: you're mentioning a letter from your family's past because it is a high priority item--it's relevant because it was the last written words of your great-grandmother's first husband.

But, there's a lot that isn't worth keeping. My first form of archiving as a teenager was keeping ticket stubs for movies and concerts--a decade later I was going through my pile and found that I didn't even remember most of them. The better movies, I remembered--and I had them on DVD. The better concerts, I remembered--and I also had journal entries and CDs to remember the experience and the music. It's not important to me where/when I saw Everything, Everywhere, All At Once in theaters, but I have it on DVD and I can't wait to show it to my niece when she's older. And sure, I saw Amigo the Devil live, but frankly, he's not an artist you need to see in concert--the greatest impact of Cocaine and Abel[4] on me was when I listened to it alone in my room. The ticket stubs simply don't matter to me.

[1] https://www.viridiandesign.org/notes/451-500/the_last_viridi...

[2] https://www.ted.com/talks/brene_brown_the_power_of_vulnerabi...

[3] https://digital.wpi.edu/pdfviewer/wm117p10z

[4] https://www.youtube.com/watch?v=ZzjtLm0G49E

EDIT: All the things linked above, I have backed up in one form or another. Notably, the Schutt paper isn't at its original URL.
AGI and the Beginning of Infinity
It would happen in China regardless what is done here. Removing billionaires does not fix this. The ship has sailed.
> Personality is prohibited. This highly sanitized product is pretty lame to watch. If a player just delivers a nasty dunk and then even so much as looks at the guy they just dunked on, that’s a foul.

Aside from the league and refs, a major issue here is simply lack of personality. Players today are just carbon copies of each other. They all do that lame shoulder flex with their arms down (which looks dumb to begin with) and intentionally try to step over the defenders. Either that or the played out three pointer celebrations. Like, come on. Get a personality!

This is a stark contrast from personalities in the 80s and 90s who either treated dunks as business as usual, which is fine in my mind, or had stylistic celebrations.

Have any players of today even heard of Shawn Kemp? https://youtu.be/HQeMhYJe5JA. None of his celebrations were even insulting. They were just stylistic flairs. Not to mention that his, Jordan's, Dominique Wilkins', etc. dunks were far more stylistic than in today's game.

I blame today's NBA on the players as much as the league and organizations. They're just plain boring, from their personalities to play style. It's like just watching pickup games. There's no tension, no style, no personalities, no "must win" attitudes.
If it's gaming the system, then it's much less likely to reliably come up with novel proofs or useful new theoretical ideas.
yet the team valuations are higher than ever. this article is baseless.
When we're talking about longevity, I often think about this old comic. It showed two very old women, crumpled in seats in a nursing home, and one turns to the other saying, "Just think, if hadn't quit smoking and drinking, we might have missed this!"

Facetious of course, but the underlying point has merit. Just what part of your life are you extending? Are you extending the healthy, active period, or just dragging out that bit at the end when someone else has to wipe your bottom and feed you apple sauce? Especially with the current topic, it seems very likely to be the latter, and I'd rather eat the other half of my sandwich, and die a few years earlier.
mdwiki.info? I wrote it because back in 2012 you had a "Public" folder in Dropbox that also was a public static web space. So a way to create a homepage without installing any software and without need to learn html.

Times have changed, Dropbox removed that feature - and no one uses Dropbox even anymore.
I think poor people in the US are against legalization mostly due to the decades of “war on drugs” propaganda or other forms of conservatism (eg religion), not because they’ve seen people close to them being destroyed by drug use
No, the cost of training is the one that isn't dropping any time soon. When data, compute and parameters increase, then the cost increases, yes?
It’s a Tyler Cowen article.

The guy has always led with his conclusion before even looking at the evidence, since a long time, right through his Marginal Revolution blog years.
Well, the person I replied to aparently understood, so it wasn't as "sweeping" as you are implying.
Let me know when OpenAI can wrap Christmas gifts. Then I'll be interested.
MacPro5,1 is the new 8500 then
I don't actually read CNN, but having a look at the Wikipedia for "Islamic terrorism" which I guess is the kind of stuff CNN avoids, there's quite a lot of coverage from non corporate sources, the first three references being The Oxford Encyclopedia of the Islamic World, The Princeton Encyclopedia of Islamic Political Thought and And God Knows the Martyrs: Martyrdom and Violence in Jihadi-Salafism from Oxford University Press.

Just saying that saying it's all CNN like stuff may be a bit unfair to Wikipedia.
I didn’t get informed consent to be born to my mother and father.

No choice in being alive or who would be my parents.

Isn’t that normal?
IMF 1 – El Bitcoin 0
Interview: Overseeing the Research That Might Start a Pandemic
so a comment would have done the same job? you don't need htmx to add a comment.
Reading: Before the coffee gets cold book series

Learning: GoLang

Working on: Making HiCafe.co more stable and building an image generator

Happy holidays
Well in this case (and if it was POPL, but it's a pretty safe bet considering the format and the timing) it looks like reviewers have indeed rejected it.
And I completely agree, it is namespace squatting. Sadly every once in a while it does work (and very effectively), so there is little incentive for the community to punish it.

Sorry if my previous comment came off as dismissive, it's just that I'm getting increasingly disillusioned with the state of things in this space.
Hey look, it's almost like we're back at the end of the First Industrial Revolution (~1850), as society grapples with how to create happiness in a rapidly shifting economy of supply and demand, especially for labor. https://en.m.wikipedia.org/wiki/Utilitarianism#John_Stuart_M...

Pretty bloody time for labor though. https://en.m.wikipedia.org/wiki/Haymarket_affair
Well you're free to define and redefine anything and as you like, but be aware that every time you move the target closer to your shot you are setting yourself up for some pretty strong confirmation bias.
What about Apple Automator and Applescript?
I feel like it’s nail in coffin was Temu and the like. That sapped a lot of the high margin cheap products, and probably a lot of the costumes for Halloween
Author discuses theft of work it took her over a decade to create.

Pols get more brown bag cash from tech than writers.

Thus the Author observes a political/legal tilt in favor of AI scraping, making it hard to avoid what she rightly calls theft.

Laying flat is an interim solution. Not a final one.
First I've heard of libriscv. What exactly is it? A wasm alternative that uses RISCV byte code?
It does have a specification: https://github.com/ferrocene/specification

It also strikes me as extraordinarily unlikely that any formal verification effort will use the existing specification, and not build their own (using their own formal language) as they go.
Yep, I agree that this kind of descriptive representation, role model thing is very real and can have significant effects. It's the best kind of evidence that someone of the same demographic likely can/can't achieve similar things.
The owners have ceded way too much power to the players.
Yup. Dealing with Google often gives me strong "I'm being held hostage" vibes.

Our apps have been rejected from the Play Store for bogus reasons multiple times. Sometimes it's an easy fix (aka just release the same update but with higher version number - to get another bot or human to take a look), sometimes it takes a week, sometimes we've had to pull strings and had to escalate our issue through a contact at Google. But if you're a small fish, they will absolutely let you rot.
At what point in the curve of AI is it not ethical to work an AI 24/7 because it is alive? What if it is exactly the same point where you reach human level performance?
FT: Person of Interest 2024 – The Longlist
What you are saying sounds like hyperbole, but all it takes is for the management within google to blindly chase metrics and they end up doing exactly that.
The influence of Steve Jobs in Sweden was basically nil at that point in time when it comes to cellphones and internet on cellphones. What put the nail in the coffin there, was the launch of a new company (called 3 or "Three", was new in Sweden at least) which promised connection to a new network/stack called 3G. With 3G, you no longer needed to use WAP. We were all using Sony Ericsson and Motorola Razor (Razer?) when 3G arrived, and the iPhone was still years away at that point.
Agreed. And no sensible adult should refer to the genecide in Gaza as being deep in the algorithm.