skysight-inc/HackerNews huggingface dataset:
They don't seem to be quite zero cost though when applied to the whole program, because they require changes to the allocator to ensure the generations are never overwritten by user data.

If you store them inline with the program data for max speed(tm) you need to ensure that e.g. after 2 2kb chunks are deleted, you don't overwrite them with a 4kb chunk, because that would trample over a generation.

If you do keep the generations inline and rely on a statistical approach, you have to be very careful to never generate "common numbers" like 0 as a generation because then it's extremely likely there will be a collision.

It'd a hard problem and I'm quite curious how all the edge cases are handled.
If he had been successful in his mission to kill the ancestors of Richard Arkwright then it might have been put off for several generations!
A way to further help breaking the cycle could be deleting the account. Probably it would avoid the sunken cost fallacy.
Usually high resource use - more RAM use, using the processor more while idling, etc. and usually poorer integration into the OS in terms of look and feel and in terms of actual integrations.

eg. native Outlook - ~200-250MB RAM use, same email open in Outlook Online-based New Outlook/Project Monarch: 400MB, and Monarch isn't even Electron but a supposedly lighter architecture.

Microsoft To Do (UWP): ~100MB

Todoist (Electron): 300MB

The RAM usage adds up, especially on older hardware.
I think their analysis relies on missing out the obvious use for SRAM - caches of DRAM data.

SRAM is for data that needs to be read/written/used very frequently - for example, read in 1 out of 10 clock cycles.

LLM weights are certainly not this. If a GPU is calculating 200 tokens per second, then most weights are only used 200 times per second. For a 1 GHz GPU, you're only using the data for 1 cycle out of 5,000,000! The rest of the time, that SRAM is wasted power, wasted silicon area, and eventually wasted dollars.

Instead they should use SRAM for intermediate results (ie. the accumulators) of matrix multiplication - they will end up being read/written every few cycles.

Weights should be streamed in from in-package DRAM. Activations too (but they are often used multiple times in quick succession, so it might make sense to cache them in SRAM).
"Paper Out" would be sufficient.

Yes, it'd cause the person to check every tray, but in my experience they do anyway.
Well we reproduce so it’s really the same difference. The huge limiting factor for getting between stars seems to be the rocket equation. You have to invent magic propulsion to cross the galaxy.
Honestly, if your first reaction to someone doing this is to never hire them again, you’re going to surround yourself with people that will never tell you when you’re fucking up.
Whether 2.5s to LCP is fast or not depends on what your normal day to day experience is
This classic comedy song about Richard III summarizes most of the misconceptions

https://m.youtube.com/watch?v=XL2se6BzIHk

I highly recommend this video and TV series for those who are interested in history and comedy
you cant be serious. I literally can no longer browse reddit, a uncomplicated web forum, on my ipad. I used to be able to. Its performance really is that bad. Actively making your webpage worse for mobile is not user hostile?
Would reverse SSH-ing from the laptops to a VPS with a static IP solve this problem? It sounds like OP would still be using AWS so he could set up a permanent IP there and then reverse SSH.

I have $5/month VPS which I use for this reason though my home IP address is static. My use case is simply for messing around and nothing that has to be up and running 24/7. Power outage/flicker has been the biggest issue for me.
Speaking of OCaml, I like the local namespace import:

MyVecModule(v1 * v2 + v3)

Easy to read and explicit enough to know which functions is used.

https://dev.realworldocaml.org/files-modules-and-programs.ht...
Didn't he come back because they fixed the linking policy issue that made him leave?
The thread-safety guarantees can only be obeyed if the arguments are thread-safe as well.

For example, take a java.util.concurrent.ConcurrentHashMap, which is thread-safe. If your value object is mutated concurrently, and is not thread-safe, you can't expect anything sensible to happen if you call containsValue().

Likewise, String's char[] constructor can only be thread safe if there are no concurrent changes to the argument.
It seems fine to say "others have proved that this math makes a good LLM, we have designed an ASIC that can do this math fast, therefore we can make a good fast LLM"
The actual mechanism seems pretty straightforward (the US is a big open country, if things can happen here somebody will do it and it’ll spread across the world without many speedbumps).

Their phrasing was a bit awkward though, when they say “Luckily emulation has always been legal…” one would assume they are talking about the jurisdiction they live in, by default at least.
Having every model re-trained in each language is a certain path towards having any non-English (or at most a couple of other languages from countries with big pockets, like Chinese) language model be always massively behind - the resources required to train a model are huge, you can't expect e.g. the Polish community (plus anyone else) to replicate every good English model that comes out. GPT4 is less capable in Polish than in English, but probably much more than any Polish-specific model ever trained - and I suspect the gap is bigger than that with the best non-GPT4 English model.

Furthermore, I think you are exaggerating the memory issue of multilingual models significantly. Especially for languages using the same (Latin) script, the additional characters to care about are very few. Also a significant part of the vocabulary and language fall into a few buckets, so training a joint model makes all the sense in the world - much like an Italian native speaker could likely study a scientific text in Spanish and understand its content, even without speaking the language.

The memory impact comes mostly from having bigger embedding layers that have to account for vocabulary in many languages (the most problematic case being Chinese and Japanese, with their huge set of tokens). But even there, the largest vocabularies in use are maybe of size 100k (vs. about 30k for English-only), with a hidden dimension of 4k that makes for a total of 400M parameters. It's a lot, but a drop in the ocean of 100B+ parameters (or 1T+ for GPT4) we're seeing today.

P.S. Answering to GP, I think the Pile is English only, though - or at least, models on HuggingFace trained on the Pile, like the various Pythia models, are tagged as English only.
> environment to explore

Only if the setting is something other than present-day reality - after all, the genre is called "walking simulator", not "trespassing simulator".
I did just that with Twitter. But HN plays it smarter, you can't delete your account. But one of these days...
This kind of comments are kind of useless it should be self explanatory

"
# returns the path and current count that was just made.

return {"path": path, "count": int(data[0])}"

also maybe extract variables and name them better like:

"pipeline_execution_result = await pipeline.execute()

count = int(pipeline_execution_result[0])"

same here:

return [{"path": path.decode('utf-8'), "count": count} for path, count in response]

what's in settings.py should probably be in an env file

overall: variables and methods name could be clearer, use good names instead of bad comments, extract variables, don't define methods inside of methods

it's definitely not BAD code, but I'd expect a guy with 10YoE to do better
I believe it was called "mathematical analysis" in my corner of the world. In high school and uni.

It's the continuity/limits/integrals stuff.

Also it was never optional. Either in high school or CS at uni.
It also helps to delete your account when you want to leave.

That’s what I did when I stopped using Facebook years ago. Deleted my account completely. All data gone. Profile gone.

If he had deleted his Twitter account then all followers would be gone and there wouldn’t be so much point in coming back.

In some cases even deleting your account is not enough. For example I recently deleted my Reddit account, but I still come back to check the posts on Reddit now and then.

I tried to run a Lemmy instance but got hit by a wave of bot accounts, so I turned off my Lemmy instance for now. When I have time to get it back up and running then hopefully I can get more real people to come join the instance and the I can stay active on my Lemmy instance instead of continuing to read posts on Reddit.

At least I have stopped posting to Reddit though. So I am not providing their business with free content anymore. But still providing them with my eyeballs for their ads for now.

In the case of Twitter, people who had a lot of followers and were frequently tweeting would probably be better able to leave if they deleted their accounts. And as a bonus thanks to recent changes if you delete your account you can’t even read Twitter anymore, since reading requires that you stay signed in. So in a way Twitter helps people when they want to leave, as long as people do their part and delete their accounts.
> until people return to "local" communities

If the app NextDoor is any indication, going local doesn’t seem to help either, its as negative and fractious as any other online community.

At some point, one gets the feeling “the medium is the message” and it’s a flaw inherent to all online social media.
What is the problem? What are you using the API for?
Parakeets/budgies as well.

My parents had a couple that learned by themselves how to open the sliding door of the cage, so they would take turns going for walk inside the house, while the other one would lift and close the door.
It's worth cribbing ideas from. But most of what it does is simple enough and wrapped in enough abstraction that it's often easier to just take those ideas and apply them to your own code vs. using LangChain itself.
> The only thing that worked long-term where limited scoped* forums with 100% human moderation that basically had one single rule: "this is my forum and I appoint moderators that enforce my vision".

So basically Reddit before they declared war on their volunteer mod teams.
> without using API

This part seems to be incorrect. See this line:

https://github.com/kaangiray26/geddit-app/blob/main/src/js/g...

It's literally a call to reddits API.
Rage Against the Machine predicted Donald Trump to become president in the Sleep now in the fire video.
FORTH isn't necessarily domain specific when you start a project, but it always is by the time you finish.

In that sense it is actually much more like LISP than most other languages, it is scaffolding that allows you to build a DSL (in FORTH probably in the most literal sense of the word(s)).
> It's not the Boogeyman you think it is. You used to have to buy a game for $60 and if you didn't like it? Well too bad, that's $60 down the drain. Now you can just move on to the next one. I get that for enthusiasts owning a physical game may be more desirable, but for the majority of gamers (casual gamers) a subscription based service is a better option.

Moving from an ownership model to a rental model is very anti-consumer.

So, sure, some people prefer to rent their couch. That's fine. You're effectively arguing that couch ownership should be forbidden.

You are going to have to provide a more compelling argument that "Well, I play every game only once, for 90m, before moving on to the next, so we should enforce my preference onto everybody!"

The majority of gamers don't play more than a handful of games in a year. There's just no time. You find a game you're into, your pour most of your hours into that game.
> int main() {

To be fair to C++, this is undefined behaviour in C until C23. Prior to that the () is interpreted as (...), varargs, and not (void).

So, some mutually beneficial cross pollination of ideas.
This seems like a thinly disguised jab at people using Bluesky and Threads. I've seen a lot of fediverse enthusiasts who are extremely cynical about those two new platforms, because the former is by Jack Dorsey (ex Twitter) and the latter is literally by Meta, which is of course run by Mark Zuckerberg. I can understand that towards Meta, but Bluesky seem to be trying something different and building a new protocol; when it comes from people who've been on the fediverse forever and regularly complain about how many other people aren't using it, this feels like sour grapes to me. The existing federated social media have some deeply ingrained problems stemming from the protocol, and new ideas ought to be welcomed.
I agree 100%. I have dozens of friends still from those days that i chat/talk to very often. Friends from “global’ apps ? Maybe 2-3. Once you take the personal touch aspect away its all just noise really.
It depends on what the definition of 'using calculus' is, as well. I use the concepts of integration and differentiation all the time in my work: it's completely integral (hah) to a good chunk of what I do (as well as complex numbers, fourier transforms, and a bunch of other 'advanced' maths). What I don't do is grind through working out the analytic solutions to odd integrals or differentials. Firstly because it's rarely useful, and secondly because I have a machine to do that for me in the cases that it is. I think it's unfortunately common to have the attitude that the latter is the majority of what calculus actually is in practice, because it makes up a lot of calculus education, but it's not the case.
mod from navygravy.com here......why all the new traffic?

:-)
I love Sydney's pedestrian crossing call buttons. They make this 80s videogame sound when it's time to cross :) Well they did when I was there in the early 2000s.
Most of Xen's vulnerabilities do not affect Qubes OS: https://www.qubes-os.org/security/xsa/.
Sure this can lead to a billion dollar business. See: Reddit and Discord
I was mesmerized by the moire effects in the video, and haven't felt that way since watching Hypnotoad for eight hours.
Omni search bar is similar to giving people a terminal and expecting them to know what to type

And, yes, recent versions of Word have such a search in addition to the buttons for those that have already discovered the features but don't remember where it was
They aren't good in an effectiveness sense. They only manage to be good relative to other ineffective forms of governance. Statistically some kings might manage to be outliers, but even then to be genuinely effective one suspects they'd be best known for dismantling the monarchy and bringing in either a democracy or republic. Even an oligarchy probably has better odds than a monarchy.
To me this looks almost exactly like Iosevka. Maybe slightly wider and rounder. But it looks good.
> I guess this begs the question then, how do you break the cycle?

Depends on what you want. If you want reach, then you have to go where the eyeballs are.

If you don't want to deal with platform churn, then just build on a platform that you control (website).

For a select few, it's possible to do both at once.
Yes, but when your shares gain in value you can borrow more money on them. That is not taxed.
>Who does this? How would you convince a friend to learn math in order to do this? What people do is they remember how long a 200 km route took and so they estimate the 2.5× longer path will take 2.5× more time.

Who does it? Navigation app in your phone. They modeled this problem using math. While you could probably model it somehow without math, but why would you want to do it other way, when you have reliable, mature and flexible tool

I didnt write that you shouldnt leverage tech.

Do it, yet be aware how it works and why. You can leverage math in other custom scenarios
Isn't this a problem only if you manage your dependencies by source rather than "compiled"?

That is, in Java you may not be able to compile old code with new javac, but the class file format is still understood by the JVM. So your old .jar still works.

I believe it is the same in C++ with the .so. I don't know about .NET.

In Python however, I don't think the .pyc were compatible between Python2 and Python3.
Really? I thought the best part was about the autonomous armored car that learned to be anti-Semitic on terabytes of unmoderated Nazi posts.

Repetitive is the point, because we repeat ourselves, but in time periods long enough that we forget and don't notice. This is our stupidity, compressed.
In their about section is an email mentioned maybe you could reach out there to get this request in.
I find it tremendously funny a bunch of tech people are fuming over "tech billionaries" all of a sudden when the previous generation of tech billionaires were actively liaisoning with government agencies to erect horrible censorship regimes*

Some revealed preferences there for sure

*https://www.reuters.com/legal/us-requests-stay-order-that-re...
Ah damn. After your comment and reading around here, looks like it's going to be impossible to support this natively with a single cable.

... there goes my cable feng shui
> It’s not shipping yet, but you can preorder the AMD boards, which are slated to ship later this year.

So, any update on when? I see many blog posts about the 16" version, but silence about preorder shipment. I'm in the first (early Q3) batch, but did not receive any updates :(
You can't ssh into the Qubes VMs from dom0. It would break the security model. You do not run anything in dom0 at all. But you can create an AdminVM that manages other VMs.
Nope you still have a fiduciary responsibility to operate the business to the best of your ability while keeping it viable. This guarantee is made to the shareholders. Difference is that most private companies are also owned by the people who run out of business so they can’t sue themselves.
>> protecting that data from scraping, and/or hiding it behind a login

And even behind a login can still be scraped. (The proverbial "If I can do it anyone can" applies here along with "where there is a will there's a way")
Simply listing the features of C++ makes it sound good until you actually try to use them and realize they don't quite compose and have little holes here and there exactly because its actually 3 languages from 3 different era trying to mix together.

For example, we have std::variant, yay! So where's the pattern matching? Vomits from a glance
You can do the opposite: take the Reddit apps that aren't working anymore, do a one line change [1] (to use https://api.rings.social) and you're now able to use a Reddit client to browse Rings [2][3] - a Reddit API compatible content-voting platform licensed as AGPLv3.

[1]: https://github.com/rings-social/Infinity-For-Rings/commit/cd...

[2]: https://rings.social

[3]: https://github.com/rings-social
The data says whatever you interpret it to say.
HN could milk the whales by monetizing deleting your account and individual posts. The higher your karma, the more it costs.
> It's hostile to parasite companies who make a profit from your product while taking away from your revenue.

Reddit literally profits from other people's content, both user-submitted content and links to 3rd party websites. Reddit as a company provides exactly zero of the content that attracts users.
My guess would have been the video was made with an animation program like Adobe Animate (the product that was previously Adobe Flash Professional and before that Macromedia Flash) or Adobe AfterEffects.
False? How? It’s verifiable on-chain data. Misleading? Well, it’s pretty common sense that many users will automate their transactions; that’s a big feature of an open, programmable financial infrastructure. And at the end of the day, even if we adjust the number down by two-thirds, then $600m volume in the last 24h is still a questionable definition of “dead”.
> ...Edward 8th took himself out of play...

My impression was that Edward VIII's "loyalties" themselves were inspiring some credible plans to ditch him - consider the circumstances under which his family name had changed to Windsor.

Sadly, that problem is hardly unique to monarchy. We colonists didn't ditch Pres. Trump when he started bragging about his awesome Russian friend Vladimir.
I have loved that book, but I seem to remember that it was based of historical research that has since been revised.

Another good book that takes the side of Richard III is the historical novel "The Sunne in Splendour" by Sharon Kay Penman (1982).
Hyperscalers are not a problem for the development of the data economy in Europe
Interview (original in Spanish) with Francesco Bonfiglio, CEO of the Gaia-X Association.
I want to develop an api to access data from local server instead of using the cloud
The previous generation of tech people were also up in arms. But each generation gets disillusioned at their own pace.
but is quality of an essay a artificially derived standard? i mean we can talk about how great the material is that is produced, but seriously, folks, aren't we chasing our tails here? is an AI good at wirting essays because of its own standard of quality or is it being measured against our own already established low bar? i mean if we're saying the computer is better than us, measured against a standard we dreamed up and supplied, it really is lacking objectivity here.
Rust also has actual generators, which are used to implement async/await. They're unstable, but they are accessible from user code in nightly Rust https://doc.rust-lang.org/beta/unstable-book/language-featur...
What about the Fediverse flaws that can not be fixed within the context of ActivityPub?

BlueSky creation of a separate protocol is an obvious attempt to create a platform where they get to become the gatekeepers of content distribution. The fact that they haven't opened up yet for other nodes makes it clear.
Estragonia: Avalonia UI in Godot game engine
Why leave HN though? It’s nice here
When you have a 100+ IQ ape brain and get beaten by birds, hilarious.
Modern functional package managers like Guix and Nix do not use SAT solvers because they understand that package variants can differ by a lot more than just their version number. The package graph is explicit in those systems and there are no constraints to solve for.
We are lucky to have him. It also helps that he was the founding engineer on the product.

Also, feel free to hit us up in GH (or we have a Slack). ClickHouse is used for a number of dashboarding implementations. It should work...but, as always, proof is in the testing.

Good luck! (and OMG, a better insights tab would make me a happy human)
How does Word 9x look like in 2560x1440 etc? I am going to guess tiny buttons and possibly tiny texts.

Yes, things look better for the resolutions they are designed for. Perhaps TextMaker could reduce the paddings or do some other stuff for lower resolutions but then what is the point if that is not an expected use case
Nooo, I want them to sink way too much money into Tron Ares before they give up.
SRAM has stopped scaling based on TSMC's upcoming N3E specs and their planned N2 node specs. So if models are tens of GB large, then I don't see how their proposed chips can be done in an economical way.

Also, a GPU is already an ASIC but with a fancy name.
It's a bit funny because it's actually hard to represent Python code in regular HTML, exactly because of this collapsing.

For example, here is some Python code typed correctly in the comment box but rendered without the code formatting support (using a | at beginning of line to prevent the code formatting to kick in):

|def foo(flag):

| if flag:

| print("this is indented")

| print("is this?")

If you check the HTML, it looks like this:

<p>|def foo(flag):</p>
<p>| if flag:</p>
<p>| print("this is indented")</p>
<p>| print("is this?")</p>
The real life Macbeth appears to fall into the "military leader" category:

https://en.wikipedia.org/wiki/Macbeth,_King_of_Scotland