skysight-inc/HackerNews huggingface dataset:
Tailwindcss makes using CSS easier, it’s still CSS underneath, which you can interface with directly if you want.

For medium to large applications it takes quite a bit of work to give your Qt GUI a custom style, and do it right. This isn’t something you can hand wave away.
Another variant of this is when something mentions code profiling and it only supports Go.
It's more like you always had a disease and just didn't know it. Celiac comes to mind as a common example. I know people who improved a lot once they got diagnosed, and just never realized the symptoms meant anything before that.
Human brain cells put much more energy into signaling
I reached a similar conclusion, luckily before doing too much building. I'm happy with terrariums so far, they scratch my 'living things in closed systems' itch.
the field just moves fast. I have curated a list of non-hypey writers and youtubers who explain these things for a typical SWE audience if you are interested. https://github.com/swyxio/ai-notes/blob/main/Resources/Good%...
"Now let's look at the game itself..." https://youtu.be/lC4YLMLar5I?t=12m30s
I wonder what impact this will have on Mozilla's OpenSSH configuration guide[0], which currently specifies `chacha20-poly1305@openssh.com` as its primary cipher. Should that be dropped to rely solely on AES ciphers?

[0] https://infosec.mozilla.org/guidelines/openssh
Availability is a constraint, price is a constraint. No?
Most 16-year-olds don't have servers in their rooms
Took me a while to understand what their "hot" and "cold" neurons meant, since in most ML I do, there is no such notion. And their paper doesn't directly define it (or I missed it)

After some thoughts, in ReLU it does make sense, because half of the function is constant, so you can say that you're "cold" if that neuron's ReLU-ed output is often 0 . So I checked whether ReLU was common in LLMs, original llama doesn't use ReLU. But after (re-)reading the github, it actually only works on ReLU models. Turns out that there is a group of people "fine-tuning" (I would rather call that re-training, since you start by breaking the model?) models to use ReLU to allow for that sparsity: https://huggingface.co/SparseLLM

So this is sadly not applicable to any model you can find on the internet, but that sounds like a great progress anyway. Possibly this might shift the compromises back to bigger models but with "less ideal" activations. Also I'm curious what would be the legal impacts on it (since USA and EU refers to a model's FLOPs/number of parameters... How do you compute it with sparsity? Do you average?)

I think that a possible avenue for future research in that area is keeping original activation (like llama keeping SwiGLU), but using quantification to define "hot" and "cold" neurons to be saturation areas. (For example, saying that this activation function, below -1. at 8 bit, is equivalent to -infinity, and thus this is a cold neuron)
Stop misleading people.

The opposite is happening. Tesla is opening their network to other brands.
Ford and a few other car makers have already agreed. In new cars made from 2025, you can go to the only properly working charging network, plug in the car, and leave with no credit card hustle. Basically, like Tesla had forever.

It's a shame other brands didn't adopt a much better Tesla adapter as a standard.
It's much more convenient and light.

I've seen how adapters work; they work badly and are glitchy. So, if someone buys a car with an old port in 2024, they will start to see lots of pain in 2025.
> From what I can tell, Wire Guard is based on that story, since it doesn't include any session-time negotiation of ciphers, etc.

Wireguard exchanges keys prior using well trusted implementations, and common "wireguard-implemented-tools" facilitate key generation and exchange on top of that. This is sane, and only vulnerable to supply-chain attacks in libsodium, or key leaks at either:

a) compromised host (so that host can decrypt incoming traffic) or

b) the key-exchange mechanism, for which open source implementations exist e.g., Nebula / Tailscale.

Regardless ...

Given that it is in addition to ssh (it's ssh over wireguard, not ssh or wireguard), I find any arguments against a wide class of encryption standards to be not very compelling.

With ssh + wireguard you need state-level hacks on libsodium and ssh vulnerabilities to have a general-purpose attack like you see with the Snowden stuff

However, this is important context.
It is a very fad driven field. Everyone brands everything. It isn't enough to give things boring titles like, stacked open linear dynamical system with selective observations and learned timestep.
Skinner's Superstition Experiment with Pigeons
>i'd be embarrassed if I made such a thing

Most developers, including myself, fall into this trap. The product doesn't have to be sophisticated, innovative or pretty... as long as it solves a problem.
Agreed. Documentation isn't a novel or essay that you need to read to the end for it all to make sense.
It’s not too much faster than exllama2 with flash attention, no?
Linked with an online message service for motivation in Potty Training!
So much for the license terms, as it runs offline there's little they can do to enforce them for personal usage at least. Good.
I can sympathize! We are aiming to maintain most of the expressive power of TLA+ -- ideally everything you need for a concise, high-high level specification, that can be simulated and/or verified -- but with surface syntax that is more approachable coming from a programming background. If you're interested in seeing how it maps to TLA+, you can find much of that in this document: https://github.com/informalsystems/quint/blob/main/doc/lang....

We still have lots of ways to improve, and -- we think -- lots of opportunities to improve our interop and complementary qualities in relation to TLA+ and TLC. But we have found the tools in their current state useful enough to be worth sharing :)
I don't think this is a very good argument. A UPS driver/truck is temporary, and isn't a part of your business. That's like saying you have to put up a Prop 65 disclaimer for your place of business because someones shoes might have a cancer causing chemical in it.

If your place of business is actively adding cameras, and is actively using facial recognition, those are actions that your business has taken. A temporary action of another party should require you to do a disclaimer. Especially if the same action is something they should be disclaiming.
Since this is your own project, add "Show HN:" to the title.
This architecture is specifically aimed at optimizing GPU use.
I don't have a lot of knowledge on ECS, are there any good articles out there that compare it to OOP?
How do you know if pictures of genitals somebody uploaded are 17 year old or 18 year old genitals where there is no visible difference between legal and illegal content?

What about cases where one man’s cute family photos in the bathtub are another man’s pornography? There’s a bunch of reasons why that’s impossible.
Some folk believe modern agile practices remove the need for software requirements – but this couldn’t be further from the truth.
Maybe the market is crashing for games that were selling for four digits and up, but there has been a general tenfold increase in older game and system prices over the past 15 years, and it has really discouraged me. I used to lovingly curate a growing collection. I loved to browse flea markets and used game stores and Craigslist. But in the past five years I've probably bought less than ten games from before the year 2005. It's not just games either - it feels like every hobby is becoming more and more expensive as more people with (somehow) more disposable income coalesce around the things that have a clear presence in the public consciousness.
Heavily agree. Ive been following this space quite closely, like most people, only for the past year. But it seems to be still in its experimental phase which in turn brings academics and researchers who tend toward this type of language.
How Solutions Journalism Is Sparking Change
Cool. Might be good to add a workaround in that case, maybe appending to the actual user local client config, and global daemon config with grep for a comment block to check if it's already been added.
> Tesla is opening their network to other brands.

By implementing CCS. How do you think it works in Europe right now? They all use CCS, both cars and chargers. Tesla included.
There is a reason Borges's Library of Babel contained all combinatorially possible texts, with almost all of them being pure gibberish. Borges was wise enough to understand that the following is meaningless, even for a story about a magic library:

"Imagine a collection that does not only contain all the texts produced by humans, but, well beyond what has already been physically written, also encompasses all the texts that a human could read and at least superficially comprehend."

To be clear this is a horrifically dishonest metaphor about LLMs. IMO the most glaring flaw in the technology is that they can't handle new ideas which don't appear in the training set. It is true that ChatGPT doesn't deal with this use case very often because it mostly handles trivialities. But it does mean that this entire argument is navel-gazing speculation.

The bigger problem is that the entire idea of "all texts a human could superficially comprehend" is meaningless, and the paper proceeds to reason based off this utter fallacy. The beauty of Borges's Library of Babel was that he realized that humans are capable of "superficially comprehending" any text, even if it was created by a uniform random ASCII generator. This is the basis of numerology, and why Borges's story included superstitious cult behavior of people destroying and/or sanctifying "meaningful" gibberish. If we have a good enough reason to find meaning in text, we'll find it. Humans don't actually rely on symbolic reasoning, we just use that for communication and organization: give us the symbols and we will reason about them, using cognition which is far too squishy to fit in a book. It's especially dangerous when the symbols obey human grammar and imitate social tones of authoritativeness, mysticism, etc.

And then there's...this:

"The invention of a machine that can not only write stories but also all their variations is thus a significant milestone in human history."

I am not a writer. But speaking as a homo sapien, it is genuinely insulting to call ChatGPT a machine that can write "all variations" of a story. This paper needed to be reviewed by a serious writer or philosopher before being put on the arXiv.
I didn't know Mamba but the bottom of the page lists comprehensive references.

If you mean the "branding" that is common in ML, which is often criticized, I much prefer it over the jargon used in other fields, e.g. Mathematics. It is nice to have distinguished words to talk about different concepts.
Which countries have lost spacecraft due to problems entirely attributable to the use of imperial units?

https://en.wikipedia.org/wiki/Mars_Climate_Orbiter
Indeed; looks like roughly 26% tax overall (including National Insurance) on a 50k GBP salary[0]. It results in a hair over 37k take-home.

[0] https://www.reed.co.uk/tax-calculator/50000
> but it is not something you would use for web api's, or a quick script, or UI's or any quick and dirty project

Maybe not, but that's a function of available/standard/free libraries rather than the language itself.

Personally I do use C++ for quick and dirty projects, but OTOH I've spent the last 10 years building libraries that make that convenient.
I think people are missing the big story here. This is Tesla winning the charging network battle (it wasn't close before this). Any EV car (which will eventually be all cars) will immediately be available for Tesla's supercharger network. This gives Tesla a massive revenue stream and scale to grow that network even bigger. Anyone who wants their superchargers has to also support all Teslas.
challenge accepted (app #2, since #1 is just static), BEHOLD:

<script>
const Counter = () => {
let counter = 0;
const updCounter = (delta) => {
counter += delta;
document.getElementById('count').innerText = `♥ ${counter}`;
};
document.getElementById('up').addEventListener('click', () => updCounter(1));
document.getElementById('down').addEventListener('click', () => updCounter(-1));
updCounter(0);
};
Counter();
</script>
<span id="count"></span>
<button id="up">*thumbs-up*</button>
<button id="down">*thumbs-down*</button>

15 LoC vs 7 LoC, zero dependencies vs. 0.9kB gzipped or 2.7kB minified.
Additional learning curve: 0h vs 1h (allegedly).

Honestly, I am biased and think Vanilla JS wins :D
That plug was never proprietary.
> Isn't this a solved problem viz moving side effects like IO (getting the time) out of the logic parts and just unit/property testing those?

Yep, and it delivers even more than what was asked, because now you can test "code that depends on X", not just time.

Why it hasn't gained much traction is the camp of coders who will "want to make it simpler" by removing such indirection and making the code ask for the time directly.
things I'd like a non-ML-researcher explanation of about Mamba:

1. what is the overall insight of state space models beyond transformers? (i know this is somewhat covered in the paper but still a bit inaccessible)

2. what was the incremental innovation/result that is making Mamba more successful/interesting than its predecessors? (S4, H3, Monarch etc)

3. what are the implications beyond subquadratic scaling of context? say if i don't really care about context length > 100k tokens. what other benefits are there - for example, is Mamba potentially more compute-efficient to train for a similar size of model/dataset?

just offering 3 prompts for knowledgeable people to drop some alpha
Is really the idea that after taking an automated sampling of things posted online, some of those things will be things people post online, such alien one to you?
The article REALLY ought to say so, but the underlying data is CPI adjusted.

https://www.ncei.noaa.gov/access/billions/
destroy this for you? give me a break.

Hackintosh users are doing the same thing as Beeper by skirting Apple TOS. you are no better than them.
Other Audi EV news: "Audi puts big EV push on the back burner" https://electrek.co/2023/12/19/audi-puts-big-ev-push-on-the-...
Prices of things being destroyed goes up because of inflation, density of things being destroyed goes up because of population expansion. Unsure if anyone's keeping track, but Florida has had mighty large population inflows for years.
"If you make XYZ illegal it will only affect people who care about following laws" is a very common argument used for everything.
This has happened in everything from cars to watches to video games. Many wealthy people are clamoring for any asset class they can find.

There is so much money in so few hands it needs to drive up prices of everything to find a place to go.
It does not work at indexing anything else than AI? Tried searching for something like zero knowledge proofs and it showed me courses in Java. Interesting approach though
> I never heard of Mamba.

Just came out a few days ago. It's new for everyone.
Promptfoo – Testing and Evaluation for LLMs
Good old RSA once again proves it can be trusted, whereas these newer crypto systems made in the last decade disappoint over and over again. Yet people keep using them because they're told they are fashionable, without really knowing the full implications.
Last Sat night, Buenos Aires got hit harder than I've ever seen since I've been here in 16 years. https://www.youtube.com/watch?v=0PoGhrt8IGI

15% of all their incredible trees were destroyed.
these devices should not be directly reachable ovee internet to begin with
Pretty sure residential 3-phase in Europe is 400V phase-to-phase, it's 220V phase-to-neutral.
Maybe I'll finally be able to train a worthy opponent for Carcassonne!
On desktop we don't have realtime scheduling. Processes can get descheduled for arbitrary amounts of time. This issue happens with well-behaved applications that don't block at all on their main event handler threads when the system is under high CPU or I/O load.
I'd love to see a demo video.
StandardNotes – audited, E2EE notes app
Plaid to remove their development environment, require testing in production
We just got an email that Plaid is going to be killing its development environment and they will give us "credits to test in our development environment"
Remember teslas come with a CCS adapter that can go the other way.
> We prioritize the lives and minds that are here over potential lives.

Sure, but that fails to consider the context and the broader point of living. The point of living isn't to maximize safety at all costs and sacrifice everything else at its altar. The context is that declining birth rates are a major problem, so if it were the case that car seats dramatically affect birth rates, this is an important thing to consider. The bit about letting children die and mourning is an empty appeal to emotion that I will justifiably ignore.

> As with many relaxed regulations, I suspect that it will result in disparate negative impact to poor people.

And you didn't specify why. Why would this negatively impact the poor? Blanket statements that appeal to emotionally charged subjects like the poor are don't contribute any substance. The author points to the cost of car seats. They're not cheap. Having to buy them certainly affects the poor. Now you have less money for your kids, or you're being coerced into having less than the rich because you cannot afford a larger car.

> Build public transit that is both safer for all involved and also allows any number of familial transit configurations.

I agree that there is underinvestment in public transportation in the US, but once again, you'll handwaving and speaking from a position that's disconnected from reality as it is. The US isn't going to suddenly build up a huge base of public infrastructure. The urban planning and "rhythms of life" dosn't even accommodate this possibility easily. And even in Europe, where public transportation is much better, people living in rural or suburban areas don't necessarily have great access to public transportation. Furthermore, have you tried shuffling a bunch of kids around by public transportation? You want to carry all the stuff they might need? Even people in cities find cars a huge help in those cases.

If car seat laws are indeed a major contributing factor to plummeting birth rates, then it makes sense to consider repealing them, especially if car seats don't provide any real safety[0]. Or if we can change car seat belts to accommodate the very young in a way that doesn't require car seats (and where more children can be fitted in the back seat), that, too, would be great.

[0] https://abcnews.go.com/GMA/Parenting/child-safety-car-seats/...
Wireguard also uses ChaCha20-Poly1305, but I am not sure it's relevant? I believe that attack is specific to SSH:

"The attack exploits weaknesses in the specification of SSH paired with widespread algorithms, namely ChaCha20-Poly1305 and CBC-EtM, to remove an arbitrary number of protected messages at the beginning of the secure channel, thus breaking integrity."

[0] https://arstechnica.com/security/2023/12/hackers-can-break-s...
These weather disaster stats need to be discussed as a percentage of GDP if they are going to be usefully compared historically.
yes, the doc.deno.land is relatively outdated and uses an old system. our static generator via the doc subcommand and registry are the newer systems
Theoretically perhaps, but practically, most single phase AC EV chargers on Europe/Australia etc. are only 7 kW but 3-phase are 11 or 22 kW (both 7 kW and 22 kW are about 30 A per phase, but three phase you obviously have three of them, so three times the power!). That’s not “gaining nothing”!
I like to develop with VS Code and devcontainers. I've never been able to get that setup to work with podman as the backend. Has anyone successfully done this or perhaps know of a blog detailing how to accomplish this that I haven't been able to find?
Oh nice, I didn't see that. But we are in the right way. We just need someone from HN to create this LLM.
Normal curves in n-dimensional Euclidean space (2018)
There are a number of state laws but the last time I checked the one in Illinois (which requires affirmative consent to do facial recognition) is the only effective one because it contains what’s called a “right of private action” - if the state does not sue a company you (each individual plaintiff) can sue for $5k statutory damages (which can make class actions a huge threat even to rich tech cos).

https://www.nytimes.com/2022/05/30/opinion/illinois-biometri...
It makes sense. Unless AI becomes a legal entity, how can it have ownership rights?
Open Source Hasura GraphQL Engine v3
works great

although I haven't tried the CI/CD features - we just use it as a way to browse each other's code and keep things in a central place.
Here is the NOAA data referred to in the article which is CPI-adjusted https://www.ncei.noaa.gov/access/billions/
Security Vulnerabilities fixed in Firefox 121
libei looks useful. But IDK why libei is necessary to run Barrier with Wayland?

For client systems, couldn't there just be a virtual /dev/input/XYZ that Barrier forwards events through

And for host systems, it looks like xev only logs input events when the window is focused.

Is xeyes still broken on Wayland, and how to fix it so that it would work with Barrier?

With Barrier, when the mouse cursor reaches a screen boundary, the keyboard and mouse input are then passed to a different X session on another box until the cursor again crosses a screen boundary rule.

Barrier is a fork of Synergy's open core: https://github.com/debauchee/barrier

libei:
https://libinput.pages.freedesktop.org/libei/
Not only that but the networking is so unreliable that it effectively is single player, except that other players can hide away in private mode and affect things for everyone else, completely unopposed in a direct way.

The game is pretty much in maintenance mode, so many mechanics that haven't received any updates despite needing them.

The story has dragged on for years with anything of substance happening so rarely that it's like they wait for the hype to totally die down before moving forward.
That’s why truly smart collectors start events like Monterey car week and Concours de elegance.

The judged competitions artificially keep prices high. Duce coupes now have continuous to growth in value even after their nostalgic generation of collectors has died due to judged competition wins.
No, you’re fantasizing about your philosophical position again. It’s all announced and advertised in advance, if you don’t like the way the products are advertised to work, don’t buy the products and don’t complain the products work the way they are advertised to work.

Whining about keys with Apple and thieves doesn’t change a thing about that, it’s just your philosophy. Registering the device to the owner is the responsibility of the owner. It would be nice if Apple would be more insistent, even though then you would whine more ‘because Apple is shoving advertising for its services down peoples throats’ or ‘because Apple is forcing people into accepting iCloud’ but we can just disregard your whining. As you agree it would be better and would have prevented the problem in the article. But that doesn’t change the fact the responsibility is with the owner. Not with Apple. The owner made the mistake, and he agrees with it.

And requiring Apple to be perfect just because they don’t subscribe to your lofty philosophy is ridiculous. If you buy the devices you accept the agreement which, just like the agreement that comes with any similar device, plainly states that the devices and the software they run are not perfect, the product is as-is, don’t like it return it.

If companies were beholden to your philosophies we would get nowhere. That’s why no company does that. It just doesn’t work.