skysight-inc/HackerNews huggingface dataset:
It could just be that they are unfamiliar though, right?

“The armor has been proofed” doesn’t look so bad. “The armor has been proven” actually looks a tiny bit more awkward to me because it brings in too much of the math meaning.

Prove as a noun, though, I agree it is a little awkward.

But this is a request to change the language (where are those filed?) so I guess we will get used to it if it goes through.
this is really neat.
I don't see any charts or 2d stuff. I see 3d globs and cities.
Nothing, I have aphantasia.
> that your pad generation is actually random

The one thing that stood out to me with the original blog post and a quick glance at the code was that it appeared as if the pad was certainly not actually random.

Could anyone that has actually understood it a bit more confirm or reject this?

Edit: It seems that the random generation can be found starting here https://github.com/Vulacode/RANDOM/blob/d6a1a1d694b22e6a115b...
With three methods, one (RAND2) seems to use the basic interpreter rng more or less directly and the other two seem to be fairly simple prngs seeded from the basic interpreter's rng.

I don't actually know what the state of basic interpreter rngs was in the early '80s but I would be fairly surprised if they're anything that is secure.
Great, now FL will have a King Cobra problem :)
The observations in this article are useful, but the analysis is not as much.

1. It's silly to talk about "India"'s culture. The cultural differences between Bangalore and New Delhi are as great or greater than any 2 nations in Europe.
2. India's formal institutions are terrible. The author seems to confuse the construction of infrastructure with the establishment of institutions. The formal institutions are the same or maybe even worse than they were pre-Modi, with the only caveat being that India has taken huge leaps digitally (India is at least 1-2 decades ahead of where the US is in terms of digital identity, digital commerce, etc) which might give the impression that the formal institutions have improved, when in reality the formal institutions are as poor as they were, but some of their terribleness is now constrained by technology.
3. The indian "informal institutions" or "culture" are largely a response to the poor formal institutions. The author asks why the "West" is able to follow traffic speed limits whereas India is not, ignoring the fact that in the US, for example, with the reduction in enforcement during and following the pandemic, speeding in the US has shot through the roof. Jumping red lights has also increased dramatically. The reason Indians don't follow traffic rules is the same as everyone else. A lack of enforcement.

Now, it's possible that after severe enforcement for an extended period of time the formal institutional value will modify culture enough that even if the enforcement is rolled back traffic speeds would continue to be followed, but India has never experienced that.
I like examples in documentation and unit tests to be separated like how Go does it.
Probably because it has relatively painless GPU sharing with pass through. As far as I know that sort of feature requires a hypervisor-level VM, which is not something you get with VirtualBox.
And then you'd be limited to only one change at the time and lose the benefit of making lot of changes with one request.
I think people are tired of extremism.

The culture of questioning AI and its usage already exists. I would agree if people said it needed to be more prevalent and have more people engaged with it, but going to an extreme to get a conversation started ignores that fact that the conversation is already going.
A couple points on Go assembly:

1. On amd64 those ints are actually 64bit. If you used int32 then they would be be word aligned in the parameter list. However, there is a gotcha with that. The return values will always start at a dword aligned offset on 64bit system.

2. NOSPLIT is defined in "textflag.h" which Go's compiler automatically provides. However, NOSPLIT is, from everything I've read, only respected on runtime.XX functions, so it's not doing anything there, and it's also not necessary. NOSPLIT tells the compiler not to insert code to check if the stack needs to split because it's going to overflow, which is technically unnecessary if the function doesn't need any stack space. It's basically only there on the function that checks for stack splits, to prevent that code from being injected into itself.
Oh dang! Really! That's a huge bummer.
I guess they're optimizing for being impossible to google. Compare "worldcoin privacy issues" vs. "world privacy issues".
Specifically python 2 :)
// personal opinion: I think machine learning as it currently stands is widely overhyped

How is this the top comment?

> I am starting to notice a pattern in these papers - Writing hyper-specific tokenizers for the target problem.

This is merely expressing what they consider as part of a game state, which is entirely needed for what they set out to do.

> I argue this is just ordinary programming

"Ordinary programming" (what does that mean?) for such a task implies extraordinary chess intuition, capable of conjuring rules and heuristics for the task of comparing two game states and saying which one is "better" (what does better mean?).

> How would this model perform if we made a small change to the rules of chess and continued using the same tokenizer?

If by "small change" you are implying i.e. removing the ability to castle, then sure, the tokenizer would need to be rewritten. At the same time, the entire training dataset would need to be changed, such that the games are valid under your new ruleset. How is this controversial or unexpected?

It feels like you are expecting that state of the art technology allows us to input an arbitrary ruleset and the mighty computer immediately plays an arbitrary game optimally. Unfortunately, this is not the case, but that does not take anything away from this paper.
Unless I’ve missed some major development then I have to strenuously disagree. AI is primarily good at writing isolated scripts that are no more than a few pages long.

99% of the work I do happens in a large codebase, far bigger than anything that you can feed into an AI. Tickets come in that say something like, “Users should be able to select multiple receipts to associate with their reports so long as they have the management role.”

That ticket will involve digging through a whole bunch of files to figure out what needs to be done. The resolution will ultimately involve changes to multiple models, the database schema, a few controllers, a bunch of React components, and even a few changes in a micro service that’s not inside this repo. Then the AI is going to fail over and over again because it’s not familiar with the APIs for our internal libraries and tools, etc.

AI is useful, but I don’t feel like we’re any closer to replacing software developers now than we were a few years ago. All of the same showstoppers remain.
No, not at all it's not! The most beautiful thing about the Faustian is that it's very much applicable. You know what they say: the virtual is just as important as the real, if not more important. Like any device in language, the very application thereof is what defines, attracts, multiplies its meaning. (To risk being exactly philosophical about it: see Wittgenstein.) For something to be real, or indeed for a device like the Faustian to be useful—it must be rooted in reality, not supernatural. And yet some Acts are so exceptional, the thoughts that make them so–are so elegant, it helps to read them as divine so as not to risk colouring it mundane!

I'm sure you've come across acts and thoughts like that.

If you eliminate the mundane like "power" and moneys, what remains? Well, plenty remains in fact. Imagine a scientist that would try and test dangerous experimental new drugs on themselves—to save their dying daughter—disregarding the established process, in spite of conventional wisdom. There have been cases like that, and sometimes they succeed. Sometimes they don't, but it's not the outcome that makes it interesting but the act itself; this theme is explored in the second act of Faust.

I'm personally fascinated by modern-day AI researchers who have clearly made the deal, and might as well succeed in it someday to build something truly godlike with no actual regard to the contemporary ontologies of human well-being. The poetic quality is beautiful in its simplicity: as long as the irreplaceable is bartered for the divine, the Faustian applies. The distribution of moneys as well as boring ideological presuppositions need not apply.
The solar-run site is at https://solar.dri.es/ in case everyone wants to check it out all at once ;)

Of course this got posted on a sunny, cool and breezy morning in Boston. Sneaky!
The second video (18m) is long but fascinating. It slows down a few minutes in to give a better view of the sunspot movement over time.

My favorites are always going to be the 171Å views such as the forth video on the page (23s). They just showcase the intricacies of the magnetic field so well. Watching the 171Å SDO footage was the first indicator that my intuition is woefully inadequate to understand solar dynamics.
> pure probabilistic sampling of words that anybody with a half a brain who doesn't drink the Kool-Aid can easily identify.

Your confidence is inspiring!

I'm just a moron, a true dimwit. I can't understand how strictly non-intelligent functions like word prediction can appear to develop a world model, a la the Othello Paper[0]. Obviously, it's not possible that intelligence emerges from non-intelligent processes. Our brains, as we all know, are formed around a kernel of true intelligence.

Could you possibly spare the time to explain this phenomenon to me?

[0] https://thegradient.pub/othello/
This Android launcher helped me cut my phone use in half
> Extrapolation is one of those ideas that’s not actually used in practice

This is how VR frame doubling works, no? "Timewarp"/"Spacewarm"

Also I would think that a lot of netcode would be considered extrapolation. You'd extrapolate a peer's input or velocity (and perhaps clean it up with further local simulation) and then deal with mis-prediction when changes are replicated.
It's not exactly that but it's close. It is: the State is always right, you're wrong, and that's that. The reasoning behind it is that "the State" is 66 million people, and you're just one person, so it's really easy to tell who matters more.

It can be viewed as a perverse interpretation of the trolley problem; but it's impossible to understand France without that information.

That's why people selling train tickets are rude and unpleasant: they represent the national railway system, which is an extension of the State, which is 66 million people, and you're just one person, so fuck you very much.

Etc.
The link should probably just be the GitHub repo. It's an interesting project and discussion topic (although maybe a little flamewar inviting), but it doesn't seem necessary to link to the product itself in this case.
Isn't generating the training data by running stockfish on all the board positions for all the games just encoding the search tree into the transformer model?

So increasing the number of parameters to the model would allow it to encode more of the search tree and give better performance, which doesn't seem all that interesting.
Running the 800th most popular website in the world (25-50M pageviews per day) on a 1GB VPS (Spring Boot, MariaDB, Redis)

Very possible.
The closest analog seems to be bitcoin mining, which continually increases difficulty. And if you've ever researched how many bitcoin miners go under...
I thought it was Gatorade because it's got electrolytes.
2^53-1 I thought.

And no, they're not all that. There's a bunch that are 2^32 such as this timeout, apparently, plus all the bit shift operations.
Maybe also why TDD is hard for me because I only truly start to think or visualize when I'm writing the actual code. I don't know if it's ADHD or what it is, but writing requirements, tests before hand, is just not my forte. It's like I only get dopamine from when I build something and everything else feels frustrating.
Seriously, Oracle 7.3.4 in 2013? I am impressed.
Lame. Sounds like a bunch of douchebags that would be into Jordan Peterson or some other lame ass new age bullshit.
Will AGI be able to stock a grocery store shelf?
What I don't understand is the attitude that tariffs will not increase prices to end consumers by approximately the amount of the tariff. Trump is pretending he thinks "tariffs" equals "other countries giving us money", but obviously the money is actually going to be coming out of the pockets of American consumers. I don't have a high opinion of Trump but I also can't believe he's that stupid. What's the "pro" argument here?

Edit: I also note that the tariff levels he's talking about are absolutely beyond sanity. I saw an interview where he said "100%, 200%, even 2000%" when throwing out numbers for EV tariffs on China. I have to assume this is hyperbolic but he's talking about it as if he's serious. The only ways I can see supporting these wild numbers are either 1) assuming he's joking, or 2) being truly financially illiterate.
Quickly accessing llama3.2 from a terminal (or any other model)
If responsible cat owners wouldn’t let them out of the house, then this wouldn’t be a problem
The Nash equilibrium of "treating 'everyone' 'fairly'" so we ignore the ones that we will depend on to continue to have the "privilege" to do continue to do so is an existential irony that will be referred to the "Filter of Nerfed Excellence" by the next sentient sap.
If you say "Republicans don't just hate illegal immigrants" it's pretty isomorphic to "All Republicans don't just hate illegal immigrants". Maybe that's English 102.
Or they're optimizing for not being a sysadmin, which some people can't do and even some of the people who can find to be very ungratifying work. For a project that runs on this person's enthusiasm, that seems not crazy.

It's certainly possible to spin up your own db backup scripts, monitor that, make sure it gets offsite to an s3 bucket or something, set yourself a calendar reminder to test that all once a month, etc... but if I had to write out a list of things that I enjoy doing and a list of things that I don't, that work would feature heavily on the "yeah, but no" list.
I do get that, just saw the "test" op, to either pass or fail the whole change as a sort of transaction. That is really neat.

But I just find that the 1 by 1 approach is easier to reason about if you're opening this up to the internet. I'd personally feel more comfortable with the security model of 1 URL + Session => 1 JSON key.
If I'm understanding this correctly, it's very closely tied to Google services, which makes it unusable for me because I don't have a Google Account.

Are there any plans to add support for non-Google email addresses?

Otherwise you may consider renaming to "GmailBTC"
In my personal website template I required a length of 15 characters and at least one of each: lower+upper case letter, number and symbol, to counter rainbow tables.
A scenario where an attacker can control a timeout where having the callback run sooner than one minute later would lead to security failures, but having it set to run days later is perfectly fine and so no upper bound check is required seems… quite a constructed edge case.

The problem here is having an attacker control a security sensitive timer in the first place.
RDS for MySQL and Postgres natively support exporting a consistent snapshot to S3 in Parquet format.

https://docs.aws.amazon.com/AmazonRDS/latest/UserGuide/USER_...
Icons are a vital part of modern design, whether for websites, apps, or graphic design projects. If you're looking for a massive collection of free icons without the hassle of licensing issues, Free SVG Icons is the go-to solution. The site offers over 200,000+ open-source SVG icons that are free for personal and commercial use.
Layers of directed graphs where:

* Nodes can represent code units (lines, functions, AST) or some low level thing, even hardware parts.

* Can expand a node which contains other graphs

* Can group graphs into simpler graphs to describe a high level system design

* edges generally mean communications between graphs/nodes
Not ALL integers are 52 bit, BigInts were added on ECMAScript 2020.
There are problematic narratives though. The robin hood one, were you are always the underdog against a evil universe out to get you. The everything is people and societal norms narrative, that completely blends out the physical universe as a sort of "defeated" final boss and thus is blind for dangers like global warming. Many more come to mind.
Experiment Proves Clothes Work
Supposed to prove how bad it is to live in a an unheated dwelling, maybe it is, but the subject is crazily underdressed.
Thank you for the explanation! That makes a lot more sense :)
> Also notable it is that one specific candidate is using the term "enemy within" to describe US residents. It's not the Democrat.

It's also notable that one whole media and political morass has been calling a candidate "literally Hitler" and he's been shot by a would-be assassin. Almost... more notable.

> Again, your statement has nothing to do with what you're responding to.

What do you mean? If someone says the OP's friends and relatives hate a group of people, it's worth mentioning that they may not hate them at all.
you are asking for goalposts?

as if they were stationary!
They seem to have managed to do so just fine :)
What do you think is more likely, that you are the first person to ever think of this, or that others have tried to do this and failed for some reason? The more interesting question is: what is that reason? I'm not going to tell you the answer, you will learn more if you figure it out yourself, but here's a hint: look at Python's syntax, and ask yourself if it is possible to write an editor that auto-indents Python. (Second hint: look at what happens when you edit Python code in Emacs. Third hint: look at what happens when you put in PASS statements.)
"Mathematicians" don't need NaN's and Inf's.

These things come straight from overflow and underflow behaviour of floating point bit representations. I'd guess some sort of IEEE flag exists to emit an interrupt if over/underflow happens, but nobody really wants those.
I worked in IT at a tech company that had mandatory 90-day password rotations. That place had the highest rate of “password on sticky note” that I’ve ever seen.
An Endowment for Housing?
Do you think Hydrogen is free or something? Worse, is that Hydrogen comes from water (at least that is the current cheapest way), meaning you get Oxygen and Hydrogen from it, but if you let the Hydrogen go, it will escape the atmosphere and be whisked away by solar wind (same with Helium). Then, you have just Oxygen, which is a green-house gas.

At least the ships release other chemicals in their emissions that decrease solar warming.
There are situations where manual release has not worked

https://www.businessinsider.com/how-to-manually-open-tesla-d...
Not having your timeout fire unexpectedly instantly is a good use-case IMO.
How is the publication of the scans an unintended consequence, if it was stated as intention in the grant application?!

I also dont see at all how this is even a problem for the museum: Their gift shop is basically a rounding error in their revenue stream in the first place, availability of cheap replicas online would only marginally affect gift shop sales anyway, and what person would ever go like "oh no lets cancel the trip to the museum because there is a good 3d model of their main exhibit on thingiverse"?!
I don't visualize anything either, when programming, but I definitely don't have aphantasia.
https://news.ycombinator.com/item?id=41833287

This says 506 tokens/second for Llama 405B on a machine with 8x H200s which you can rent for $4/GPU so probably $40/hour for a server with enough GPUs. And so it can do ~1.8M tokens per hour. OpenAI charges $10/1M output tokens for GPT4o. (input tokens and cached tokens are cheaper, but this is just ballpark estimates.) So if it were 405B it might cost $20/1M output tokens.

Now, OpenAI is a little vague, but they have implied that GPT4o is actually only 60B-80B parameters. So they're probably selling it with a reasonable profit margin assuming it can do $5/1M output tokens at approximately 100B parameters.

And even if they were selling it at cost, I wouldn't be worried because a couple years from now Nvidia will release H300s that are at least 30% more efficient and that will cause a profit margin to materialize without raising prices. So if I have a use case that works with today's models, I will be able to rent the same thing a year or two from now for roughly the same price.
I'm not sure there's really going to be any improvement at all in their descendants, because I really doubt the company is that aggressive.

How many embryos did they go through? Much of the genome doesn't run on Punnett squares, and even in the parts that do, recessive genes can actually do things.
Nelson Mandela was on the US terrorist watch list until 2008.

Also the fact that so many in the US claim they remember he died in prison should say something about the media landscape.

From the European perspective I recall the concerts that were held to free him and then also the concert that was held after he was free. Simple Minds even made a famous song for it [1]. I don't know if those concets were a big show in the US, we only had a few TV stations and this was always a big thing.

[1] https://youtu.be/xfk13uUuD8Q
A plan is a set of steps oriented towards a specific goal, not some magical artifact only achievable through true consciousness.

If you ask it to make a plan, it will spit out a sequence of characters reasonably indistinguishable from a human-made plan. Sure, it isn’t “planning” in the strict sense of organizing things consciously (whatever that actually means), but it can produce sequences of text that convey a plan, and it can produce sequences of text that mimic reasoning about a plan. Going into the semantics is pointless, imo the artificial part of AI/AGI means that it should never be expected to follow the same process as biological consciousness, just arrive at the same results.
I'm pretty surprised by this! Can you tell me more about what that experience is like? What are the sorts of things they say or do? Is there fear really embodied or very abstract? (When I imagine it, I struggle to believe that they're very moved by the fear, like definitely not smashing their laptop, etc)
It's all a spectrum of trade-offs with different people having different opinions.

There could be some sort of formula to explain this better to determine how much effort to spend on tests vs features and product quality and importance of quality compared to that.
Don’t ever use attacker controlled data directly in your source code without validation. Don’t blame setTimeout for this, it’s impolite!
> Some AI advocate says: humans are just predicting the next token probabilistically, fight me.

We've all had conversations with humans that are always jumping to complete your sentence assuming they know what your about to say and don't quite guess correctly. So AI evangelists are saying it's no worse than humans as their proof. I kind of like their logic. They never claimed to have built HAL /s
I would suggest stop interacting with the "head-in-sand" crowd.

Liken them to climate-deniers or whatever your flavor of "anti-Kool-aid" is
I don't think you can "debunk" something merely with strong evidence.

Besides that, I wasn't aware of this codex, so I'm glad you shared it. Has anyone suggested that (assuming there is a relationship) the arrow of causality might go the other way? That perhaps this image was a reference for the shroud itself?
They were very familiar with rubbings where you place paper or canvas on a sculpture or incised surface and rub charcoal on it to capture the image. The result is very much like a negative.