skysight-inc/HackerNews huggingface dataset:
What prevents everything in 4 from becoming a part of 3 the first time the test set is run on a proprietary model, do you require competitors like OpenAI provide models Kaggle can self host for the test?
If you look back at the crews from shuttle missions, there are people of many "colors" besides the abundance of Europeans.

Perhaps the dropped promise differs from ruling out the possibility: it's very plausible these qualified astronauts would through their own skills produce the same result as was promised.
To achieve what exactly? More visibility on LinkedIn? Does the algo boost you for it?
It looks like they want the sort of person who wouldn't work at the sort of place they are.
So.. For which company? The sentence "there are scam profiles all around the IT world" would not be on any real company of scale guidelines, and no company would put that much liability in one "slide" even if they had them.
I was just puzzled to see this paper posted, when we have discovered tens of objects like this over last years. Again, no harm done here, really, but I thought the context is useful.
I have wondered how people who have spent their career jumping from runway to runway feel when they look back over their shoulder and only see plane wrecks at the end of derelict runways. Perhaps they made a ton of money, but it has to hurt on some level to have never seen your work amount to something.
We had a fellow stop by for some, call it off grid activity. They were from a small metropolitan and looking at our 3/4 acre experimental garden, asked "so if you grow all your own food what things do you still have to buy?"

We were nice and tried to explain calorie counts per person for a year and micro nutrient requirements but we still laugh about that one. And that guy was in food service. Most people do not understand the complexity of our food supply, not only overconfident programmers.
Can you share some code created using it?
No idea about mruby/C or picoruby but MicroPython is very popular, enough that I'd just settle on it for devices can handle it. It runs nicely in 256k of flash and 32k of ram, on the small adafruit trinket devices. It was shoehorned into the v1 BBC microbit which had 256k of flash and just 16k of ram, but that was apparently painful.

Smaller include Lua and maybe Hedgehog Lisp. Below that there is ulisp but that is sort of a toy. Also there is Javacard and J2ME depending on device size.

Below that you're probably best off forgoing garbage collection and using Forth or a cross compiled language.
This project looks like a very nice lightweight way to implement policy in a Rust application; I really like the ergonomics of the builder. Despite being very different systems, the core permissions check being the same signature as a call to SpiceDB[0] (e.g. the subject, action, resource, and context) shows the beauty of the authorization problem-domain regardless of the implementation.

I would like to add some color that a policy engine is not all you need to implement authorization for your applications. Without data, there's nothing for a policy engine to execute a policy against and not all data is going to be conveniently in the request context to pass along. I'd like to see more policy engines take stances on how their users should get that data to their applications to improve the DX. Without doing so, you get the OPA[1] ecosystem where there are bunch of implementations filling the gap as an afterthought, which is great, but doesn't give a first-class experience.

[0] https://spicedb.io

[1] https://openpolicyagent.org
Those who disclose that they’re doing it, sure.
They want you to fumble around with a phone app to adjust the machine, while you're presumably going to be at least somewhat wet from its use? WTF.
>community nature of naval shipyards

I'm guessing from the other thread, this was way back in Rickover's youth as well?
https://news.ycombinator.com/item?id=43450884
Good question! This was one of the main motivations of our "Paper Prize" track. We wanted to reward conceptual progress vs leaderboard chasing. In fact, when we increased the prizes mid year we awarded more money towards the paper track vs top score.

We had 40 papers submitted last year and 8 were awarded prizes. [1]

On of the main teams, MindsAI, just published their paper on their novel test time fine tuning approach. [2]

Jan/Daniel (1st place winners last year) talk all about their progress and journey building out here [3]. Stories like theirs help push the field forward.

[1] https://arcprize.org/blog/arc-prize-2024-winners-technical-r...

[2] https://github.com/MohamedOsman1998/deep-learning-for-arc/bl...

[3] https://www.youtube.com/watch?v=mTX_sAq--zY
In the future, buy used ones and repair/restore them.
The benchmark section ("But is it fast?") contains a common error when trying to represent ratios as percentages.

For the "Tweets" case, it reports a speedup of 229%. The old value is 11.73 and the new is 5.108. That is a speedup of 2.293 (i.e. the new measurement is 2.293 times faster), but that is a difference of -56%, not 229%, so it's 129% faster, if you really want to use a comparative percentage.

Because using percentages to express ratio of change can be confusing or misleading, I always recommend using speedup instead, which is a simple ratio. A speedup of 2 is twice as fast. A speedup of 1 is the same. 0.5 is half as fast.

Formulas:

speedup(old, new) = old / new

relativePercent(old, new) = ((new / old) - 1) * 100

differenceInPercent(old, new) = (new - old) / old * 100
> The author? It can't do it for the reader; to my knowledge it's a correct sentence, just a a bit verbose.

It contains a classic beginner's error -- object ambiguity. Rather funny in this specific case.

> Yes, you sure had trouble understanding it, come on.

Not at all -- but it was abundantly clear that the author didn't take the time to unambiguously identify the sentence's object, with a humorous outcome.

> Some are trying to win a Pulitzer, others just to write a substack article.

This is called a "false choice". But I think you know that. A vast middle ground lives between those extremes.

> Let's not pretend those were the reason why you didn't like the article, come on.

I have no stake in the article's topic, only its form. For all I know, these people are acting to protect irreplaceable historical artifacts. Just for the sake of argument.

I just noticed something. The article's title -- "The great Hobby Lobby artifact heist" -- is itself a classic example of begging the question, because it presumes the truth of what it should be proving.
That's definitely strongly advisable already.

And: if you cannot find the manuals readily online, that's another black strike / red flag against the product and vendor.
Honest question, are these startups not also asking "leetcode puzzles within strict time controls" ?
Search YouTube for videos of Ukrainian drones striking Russian military aircraft on airfields. One reason not to attempt this is that it would be seen as an attack.
#4 (private test set) doesn't get used for any public model testing. It is only used on the Kaggle leaderboard where no internet access is allowed.
Jeff's opposition to this technology is not based on principle, rather it is based on the question of convenience of a few hours of time. A lot of commenters reacting to this story based on principle should take note of how many others gripe but roll over for it. Certainly, vendors are taking note of that.
You're right. If there are methods to get creators paid, while ensuring unfettered access to all - it absolutely should happen. The legal system in America doesn't have a good track record of nuance, especially when nuance is necessary. My views come from the idea that the American legal system will either smite them into bankruptcy, or it will give them the precedent they need to exempt past violations, and carry on as usual.

Nuance is needed, and I hope that they find it.
> Now ... XAML

Microsoft has been pushing XAML for long enough that it could drink, drive and vote in my country
The defense minister really said that, but we were not in formal negotation phase. I'm portuguese,and I actually fully support what was said (the minister of defense is not a popular guy)
I believe it was so.
Concrete benchmarks like these are very valuable.

Defining the reward function, which is basically what ARC is doing, is 50% of the problem solving process.
I'm not the author of the post you critique.

I suspect if you just have a "label" it doesn't do much. But the label now makes information a keyword search away. Hence their commentary:

instead I can learn from and lean on hundreds of thousands of other people who have to cope with the same thing.

Which would lead to learning strategies to deal with the day to day rather than struggling to find your own way.

Knowledge is power. But power still has to be used to mean anything.

Once you've learned the strategies that work for you. Then I guess the label loses it's power.
>Nobody in big companies wants to hire from other big companies is funny.

That's a misinterpretation. They simply want some non-zero amount of startup experience, presumably because they're a startup.
I don't find it weird.

There are more European academics in the US than American academics in Europe. Mostly because it has been easier to get an academic position and research funding in the US. As long as European countries are not making major permanent increases to university/research funding, they are not serious about attracting academic talent from the US.
LLM engages with UI in a pragmatic way. It doesn't care about aesthetics or structural complexity, it doesn't care about latency or tactility. It doesnt have anywhere close to similar preferences and reasons for why it Vs a human being would and wouldn't click on or engage with something on a UI.

Do you really see no difference in the way a hollow algorithm interacts with UI vs how a person would go about interacting with UI?
This already happens to you every time you go to sleep and wake up. You have absolutely no way of discerning whether the consciousness you are now experiencing is a new consciousness created by your body when you woke up, or whether it is the same consciousness as before you went to sleep.

A body produces consciousness, consciousness does not 'inhabit' a body.
Thanks for the enlightening response.
Chain of Thought Mcp Server
Made this mcp server that calls a reasoning model and injects the thought tokens back into the agent's context. Currently running qwq on Groq. Also includes some system prompts designed to mitigate AI blindspots. I've had decent performance with it so far in Cursor.
Where does it say 2 years?
Zizmor: Static analysis tool for GitHub Actions
That should work, if the AMA ever allows it.

I'm thinking AI + MRI imaging could figure out a lot.

Much work to do...
Bosch!

I ran into the same situation. I specifically told the salesperson I didn't want wifi, and they told me it's only if you want it to operate from your phone.

I was done installing it and got rid of the packaging by the time I read that it needs to use their website for some functions.

Beside the fact that I doubt the store would take it back after using it for a week or two and havi go no packaging, I had no time nor energy to remove it and return it.

I tried to contact Bosch who keep redirecting me to some other I ternal department and eventually stop responding.

Do NOT buy a Bosch diswashe, even though you pay full price upfront you cannot use all the functions without creating an account on their website and have them run those functions for you.
Thanks for your awesome work Greg!

The success of o3 directly contradicts us being in an "idea-constrained environment", what makes you believe that?
A separate policy language is explicitly useful for those that want to be able to reuse policies in programs written in different languages. It's a part of the best practice (for larger orgs/products) for decoupling authorization logic and data from your application codebases.

When you're just hacking something together, you're totally right, it might as well be Rust!
Democracy is just a handful of key people following some norms. This can change very quickly once the wrong people are in power. See the timeline of the downfall of the Weimar republic.
I'm glad to hear you are not hoovering up this data for your own purposes.
At the same time the environment of the times and place (encompassing the political sphere here as well) they rose to power also tends to select particular types of people to rule. I'm not a pure structuralist for sure, there's a lot of room for randomness and individual quirks in history for sure I think structure is a lot more powerful in science/tech since you can generally have a lot more people working away at a scientific problem than you can have running France for example. It's also waaay harder to study because you don't get the counterfactual of who would wind ruling post WW2 USSR if not Stalin.

> If the 1941 winter was mild instead of extremely cold, Hitler might have defeated Stalin, and we'd have a very different world.

That's actually less true than it might seem. Warmer winters can be worse for highly mechanized armies like the Wehrmacht, really any army but tanks and mud are not friends. That part of the world especially in the early 40s where many of the roads were unpaved turns into a giant sucking mud pit during warmer winters. It's bad enough it's bogged down modern armies miles south in Ukraine when the weather warms up from the winter freezes and the mud season sets in. On top of that they needed a lightning victory because their fuel situation was already pretty bad in 41, part of the reason for going East in the first place was to get oil for the war machine.
> just a high quality panel and barely anything else

LG 48GQ900
That theoretical result of the golden ratio is completely entirely useless for any practical scenario, and, even for its extremely-contrived scenario where the only allocations ever happening are from a single array being expanded, and using an extremely dumb allocator, it's just optimizing memory usage, not performance.

Amusingly, it looks at Java, which typically uses pointer bumping for the allocator and can do compacting GC, making the argument entirely meaningless.
If there are 10 remote labor contractors waiting for every quitter (equivalent to a strike breaker "scab") how is google hurt at all?

There are many kinds of " strike" and they require planning and thought.

Here's a quick link I quacked:

https://lawbhoomi.com/types-of-strike/

Ineffective action doesn't multiply into effective action.

Gesture based political action has the same problem of terrorism, which is also ineffective, almost certainly for many of the same reasons

Effective action can be had but it requires coordination leadership, strategic thinking - one off or wildcat action may politicize people towards effective action but alone is (sorry to say) pointless
Yep, locked the PC up dead.
I used to think big files were a problem but I've come to like them more as the years go by. I don't have to wrap my head around some organization scheme which might be half baked - it's all right there.
That's more or less what I expected. I've recompiled some older D3 stuff in modern Delphi and most just works. The ones that were really troublesome used third-party components.
I love that this _doesn't_ have a persistence layer. Authorization _should_ be just a library
Wasn’t the news feed what made Facebook big? That digital slot machine with uncertain payoff every time you pull the lever (refresh the page) is what gets you to associate the social media app (eg LinkedIn) with dopamine hits. So you spend more time there = “engagement” = more ad spend etc
Interesting results.

>> Oral cholecalciferol 100 000 IU every 2 weeks

Wow that's high. The study didn't state issues of too much vitamin D.

https://www.ncbi.nlm.nih.gov/books/NBK557876/
Can you name an example of this actually happening, or is this just yet another echo of the utter nothing-burger that was Peterson's complaints back when he transitioned from being an educator to a professional grievance monger that, and I can't stress this enough, has never, once, ever, one time, produced an actual complaint that has resulted in actual penalties?
What term would you use?
Might boost their subs. This legit got me to resubscribe to the Atlantic.
Imagine if someone had a broken arm and you told them to focus on their calcium intake. I mean, yeah, for sure, but it's kind of primarily important to put the arm in a sling before we discuss the finer points of mineral uptake efficiency. This may not be your intention but this post reeks of crunchy granola holistic fluff woo.
That’s not a valid defence, it’s moving the goalposts and whataboutism. ISPs shouldn’t be bad actors at all and they have the ability to do the most harm.
If it's any consolation, the video I posted on YouTube is getting some traction.

If it can get a good number of views, maybe it can at least generate enough impact to cut off a few hundred units of sales. That won't make a massive impact, but it's better than nothing.

If Bosch allowed me to update the firmware of my unit to not lock out features, I'd maybe consider doing that locally over an ad-hoc connection. Wish they would've just included Zigbee, Z-Wave, or Matter instead.
Sorry, I probably phrased the question poorly. My question is more along the lines of "when you already scored e.g. OpenAI's o3 on ARC AGI 2 how did you guarantee OpenAI can't just look at its server logs to see question set 4"?
Those assumptions make you understand the problem, it is the scientific method after all.

If you consider ALL the variables, you would end up with something like the Standard Model Lagrangian, and even that makes some assumptions (explicitly or implicitly) in order to work.
People who work at Google may have an influence on that more than those who don't

And are likely to be more motivated anyway as they have skin in the game

Once you quit its not as compelling a problem
Operationally, there's still some of that

https://youtu.be/R6-0_VEl978?t=4m14s
That would make a lot more sense if the information hadn't been accurate. You don't leak real operational data deliberately to try and catch someone who might publish it. Because if they do, you've compromised your real mission (the attacks on the Houthis in this case).
If your life improved when you stopped believing in the symptoms that's a good thing for you but it also means you probably didn't actually have symptoms.
Some perhaps, but I have a few distinct headaches where I feel the pain fairly localized. Perhaps surrounding tissue feeding that but still...
They don't. They want you to have to use their cloud service, either to sell data you generate or to try to push you into a subscription of some sort in the future. They're evil, not stupid.
Perhaps there's an opening in the market for an appliance company that brands itself on self-repair and self-hosted connectivity? All most people want is "push button and do the thing as long as I live".
Surely a carpeted closet full of clothes is better than a car
So if 30% of people develop high blood pressure should be pretend that doesn't exist anymore as well?
I think I had this dishwasher or one similar. The control board went out and the cost to replace it was more than a brand new dishwasher. I got a new cheaper dishwasher with fewer features/buttons/connectivity but it washes the dishes just as well. It also works.
1000% to all of this, but especially this:

> I've had a very successful career considering my origins, and I attribute a lot of that success to that fact I hold myself strongly accountable in a way that is rare, both in my generation /and/ in older generations. Managers trust me, even in dysfunctional organizations, because I am razor sharp about what I do know, what I reasonably believe/assume, and what I do not know, and I have no qualms whatsoever about speaking the truth to anyone, regardless of title or position.

I've been at a few tech companies now, and what I've consistently found is that people far above me tend to respect my opinion and listen to me, while often times, people at my level or just above it resent me for having the audacity to know things, and to figure things out from first principles, and to demonstrate this ability quite publicly in incidents and the like. I think part of it is an unwillingness to be wrong, which is idiotic. I will frequently state a hypothesis, my basis and assumptions for it, and then test it. I'm sometimes wrong. This is not something to be ashamed of at all, but people seem to treat being publicly wrong as the worst imaginable outcome. So you were wrong - great, now you have more information. Continue, folding this new data into your next hypothesis.
That seems very unlikely, why would you think that will be a requirement?
Thanks for pointing that out! I've updated the table to use speedups rather than (incorrectly computed) percentages.
I Ditched "Guru Marketing" and Building a Co-Op Agency Instead
Once they starting working federal contracts their fate was sealed

Trump has promised to pull hard on the leash of federal dollars.

If Google want "freedom" it will be free of those federal dollars. I suspect they don't want freedom on those terms
My hope—which has been borne out by some correspondence I've already gotten today—is that some other consumers may be spared the experience I had.

Since I have a tiny bit of reach online, I figured I'd use it FWIW to maybe impact Bosch's sales by like 0.000001%. Because that's better than 0.000000001% :)
Then you might want to read Douglas Hofstadter's famous "Gödel, Escher, Bach" which draws analogies between mathematics and music and in one of its playful dialogues does in fact feature things called "Piano Postulates".

(The conceit is that one of the characters in the dialogue interprets mathematical notation as music, and claims to have an immediate sense of whether any given melody is "beautiful" that in every case seems to correspond to the truth or falsehood of the proposition expressed -- but denies all awareness of any connection between these melodies and anything mathematical. He mentions in particular five short but elegant pieces called the "Piano Postulates", which are of course Peano's axioms[1]. It eventually becomes clear, though it's not stated directly, that the character in question knows perfectly well what the notation really means and is trying to pull a hoax on his interlocutor, but his bluff gets called.)

[1] Though I'm only now realising that the notation they're using isn't actually expressive enough for it to be possible to write down the induction axiom in it.
`rm -i` shows the same warning for write-protected files'

because for write-protected files '-i' is a no-op.

you are probably right that the risk of accidentally deleting a write protected file is very small, simply because using those permissions is very rare.

but there is another problem i have with using an alias, this may not apply to you, but i work on multiple machines and in containers, and i keep creating new ones for projects, that there is a high risk that i forget to set the alias. so every time i use rm i can't be sure, did i set the alias, or did i not. and if i rely on 'rm' always asking me, then it makes me complacent. ah, i don't have to pay attention because rm will ask me anyways.

writing 'rm -i' explicitly every time makes it much easier to see that '-i' is indeed being invoked. it makes me pay attention and i know that i am running the command that i want. it's three extra characters to type each time, but it has become muscle memory. i don't think about it anymore, except when verifying what i typed. the '-i' just has to be there.