skysight-inc/HackerNews huggingface dataset:
Whenever I switch to another dev's machine, usually running either jetbrains or vscode, I'm always astounded at how annoyed I find myself while typing on it due to the high latency on keystrokes. I'm blessed with ~subframe delay using st (https://st.suckless.org/) and neovim, and now I don't know if I could ever go back to a "true" IDE for professional work.

Just for kicks I've started work on my own text editor to see how little latency I can get. I figure I have to write it in C with vulkan for minimal latency. Typometer is critical for testing here. I've already matched the latency of st and neovim, but I think I can get lower by moving away from glfw and using X11 directly, and maybe by figuring out some clever vulkan sync method.
It's certainly harder to extinguish but the explosive component of it is too unpredictable. It could fizzle, it could pop, and it could take anywhere from a few minutes to several hours to go up.
Advertising is paying people to lie, and that's becoming more and more apparent.

Or what they "learned from our sponsor" is that they're offering courses.
Standard Ebooks Public Domain Day 2025 in Literature
yeah well his 2024 "predictions" were nothing but regression to mean
This would be great motivation to buy less useless crap
I understand why, but still feel it's a missed opportunity, for them to have not referenced libcaca/aalib in the "for more information" sections.

https://aa-project.sourceforge.net/aalib/

http://caca.zoy.org/wiki/libcaca
Appreciate you taking the time to share -- it's great to hear about the rich experiences... even if business aspect didn't make everyone rich.
At my location certainly predates the internet, it was distributed on magnetic tapes.
Fun fact: We dont know where the Gold in the Universe is coming from.

https://www.space.com/where-did-gold-come-from.html
> how else did people think they made their money?

I don't think anyone ever thought to research / investigate how Honey made their money until recently.
Where do you see the disagreement with XState's approach?
> but very advanced technical channels go "I've learned all this from our sponsor Brilliant".

Yeah, because they're paid to say that. You don't actually think they use the service themselves, do you?
In hindsight it's obvious that something was going on, but you could say the same for a company like Uber. For some companies we think they make their money on ads or service, but they don't, it's VC funding. Only later are they planing to make a profit.

The surprise for people most likely wasn't that Honey would have to make money on some weird side hustle, the surprise was that they'd steal from their partners.
Within my current project, I use a special C dialect. So, I have to write a lot of explanatory text for those who dare to use it.
And even in solo projects, I have been in situations when I had to check my own docs to understand what's going on.

As a result, my project is effectively also a wiki:

https://replicated.wiki/abc/

https://github.com/gritzko/librdx/tree/master/abc

The idea is to put motivational and explanatory text into the parallel wiki, while all the API docs stay in the code the normal way. These are seriously different things.

The next step to unit tests all the code docs. Or, the other way around, to document tests to make them joy to read. That is the only way to solve doc rot.

Overall, I am trying to get as close to Literate programming as practically possible:
https://en.wikipedia.org/wiki/Literate_programming

Because code is hypertext, IDE is a browser.
Hi, Mercure author here.

Indeed that's how it works. One of the key point of the solution is that you don't need anything client-side. The native EventSource class is all you need (but you can use more advanced SSE client libraries if wanted).

Reconnection and state reconciliation are achieved automatically. The hub implements all the needed features: it stores sent events and automatically resend them at reconnection time if they have been lost. It's possible to do this transparently because browsers will automatically send the ID of the last received message in a Last-Event-ID header when reconnecting. This feature is just often not implemented by SSE servers (because it’s not trivial to do).

It's also possible to ask events received since a specific ID, matching one or several topics just by passing the query parameters defined in the protocol section.

By the way, we are working on a new website that will make these things more clear.
When Can Transformers Count to n?

https://arxiv.org/html/2407.15160v2

The Expressive Power of Transformers with Chain of Thought

https://arxiv.org/html/2310.07923v5

Transformer needs to retrieve letters per each token while forced to keep internal representation still aligned in length with the base tokens (each token also has finite embedding, while made out of multiple letters), and then it needs to count the letters within misaligned representation.

Autoregressive mode completely alleviate the problem as it can align its internal representation with the letters and it can just keep explicit sequential count.

BTW - humans also can't count without resorting to sequential process.
You can access those simpler chronological feeds in Facebook under More > Feeds. They still insert sponsored posts in that feed, but you can block them with browser extensions.

The annoying part is that if you load the feed url from a bookmark, at least on mobile, it reloads to the home page anyway. So you need to navigate to it manually each time. Never used to be this way. I guess they’ll remove the “feeds” feature soon enough anyway.
They can, but they need to learn the proper techniques. In a country like Norway with a high proportion of electric cars, I think all fire departments know the drill by now – even if they never had to do it themselves. Most important: Don’t stop fighting the fire the moment it’s out, or it will reignite. You need to keep cooling the battery pack a long time.
1. I am not sure it is possible to compete with a free product. By definition it will have more users. That’s the tragedy, competition is not possible.

2. My approach is not “one more product will be the answer”, more like “fixing the incentives and making the market work will enable many products”.
McKinsey has a reputation for cataclysmically pointless powerpoints that trick the audience into thinking that they had a point. Could the style you are suggesting be connected to that reputation?
Reminds me of WAMP (Web Application Messaging Protocol) [0], which is a WebSocket subprotocol.

I find the title odd, because, why would you want to replace server-sent events with WebSocket, if the great thing about SSE is the simplicity, both client- and server-side?

[0] https://en.wikipedia.org/wiki/Web_Application_Messaging_Prot...
Incidents that involved confusion between units or systems of measurement (2015)
Same for Django+SQLite
Does it still have the limitation of SSE ie; it'll stop working after you open 6 tabs?
Reviewers could themselves have reputation levels that weight how visible their review is. This would make brigading more costly. There might still be a pseudoscientific brigade trying to take down (or boost) a particular paper, one that clusters so much that it builds its own competing reputatation, but that's okay. The casual reader can decide which high-vote reviews to follow on their own merits.
I’m building a member management platform
[1] with Rails + Turbo + Stimulus and it continues to surprise me how easy it is to just… do things with rails.

* Want to allow your users to write rich text? Easy just use ActionText
* Storage and attachments? ActionStorage is easy to setup
* Job queue, asynchronous work? No problem with ActiveJob

Today I learned about Rails system tests and found it so cool. With almost no configuration I can write tests that interact with my app through a headless browser.

Rails is the ultimate solo developer and hobby project tool for me

[1] https://embolt.app
> The GPU still has no unique hardware private key, right?

GPU's have had unique hardware private keys and secure memory for a decade.
It is quite beneficial for people who aren't writing python. And for them managing jupyterlab installations is a bit of pain.

I would like to use this with xeus kernel for sql (which is also native) and if this reduces the resource consumption of that setup significantly, its a big plus for me.
Nonsense.

I don't recall a single headline of the form Starving mentally ill minority person eats cat as last resort

The usual media outlets jumped straight on the illegal immigrants eating cats narrative with nary a shred of solid evidence.

If you're not seeing headlines vilifying non white and non christian suspects on the slightest whiff of wrongdoing then you're either fully acclimatized or commenting in bad faith.

The 22 day old nom de guerre strongly suggests the latter.
How dangerous is it to surf these gigantic waves?
Turns out MVG as usual went the whole mile explaining the port internals and including captured VGA CRT monitor output :)

https://youtu.be/6MFN7QiF83M?si=HSTUNAMgUOMUdRsg
Your method for deciding whether two rationals are or aren't equal relies on having representations of those rationals. If you don't have those, it doesn't matter that there's an efficient test of equality when you do.

But you're arguing that equality of Dedekind reals is undecidable based on a problem that occurs when you define a particular "Dedekind real" only by reference to some property that it has. If you had a representation of the values as Dedekind reals, it would be trivial to determine whether they were or weren't equal. You're holding them to a different standard than you're using for the integers and rationals. Why?

Let's decide a question about the integers. Is BB(800) equal to BB(801)?

It sure seems like it isn't. How sure are you?
I think it is doable in a modern lifestyle, but that most people don't make it a priority.

Most people waste a shocking number of hours out of every day scrolling, watching TV etc, and just take it for granted as part of a "modern lifestyle", but it's just an optional way to spend time, and not very productive.

I have full time employment, a relationship, children, and manage to get our for 1hr of running almost every day. (And find time to debate with strangers on HN XD)
Yes, every* card since the Kaby Lake iGPUs or Nvidia 1080 cards.

*To all intents and purposes, I'm sure there's some exceptions with no market share.
I wonder how that compares to the number of transistors we have made so far.
That is wild.
Don't know about the margins, but every time I talk with non-IT people on the topic of VPNs, they know about NordVPN. I've heard it being used synonymous to VPN.

Seems to work somehow.
I'm on my phone right now, so can't try Robot but I'm wondering what the type safety story looks like. For instance, in the example in "Getting started" the variable `users` is defined irrespective of the state, even though it is only available in the `loaded` state.
HN isn't the drama place, but a lot of DogPack's accusations have been debunked :)

search soggy cereal on YouTube for more info
I have been thinking about these lines for a long time. Humanity would be much better if we went back to pre-social network internet, populated by small human-moderated and vertical forums. We can and should destroy social networks, using their own tactics.
Next you'll tell us you think those really jacked guys do it because of a specific brand of protein powder and not buttloads of steroids.
Thanks! The 0.1B version looks perfect for embedded system. What is the key benefit of attention-free architecture?
Smokers are actually the least costly in healthcare costs because they die of heart attack and stroke at such a high rate, most often right around retirement age, they die before the most costly age related problems come up, and smoking in itself disqualifies people from many common procedures and surgery.

You could claim their earlier death causes social and cultural deficits, but from a pure financial point smokers are a boon. Especially once you factor in the income from sin taxes that usually far exceed a person's lifetime medical costs.
Perhaps you missed it while skimming, but indeed, the Vesuvius Challenge is a primary topic of discussion in the article :)
Precisely this situation is unfolding in Myanmar right now. The junta is so weakened that they have no choice but to turn to China. Chinese troops will be in Myanmar soon to protect Chinese infrastructure investment:

https://www.rfa.org/english/opinions/2024/11/23/opinion-myan...

https://theconversation.com/chinese-security-companies-are-p...

https://www.voanews.com/a/china-backed-election-raises-fears...

If Russia decides to have a civil war, China will do the same in Russia.
I am really struggling to get hotwire running to be honest. I now just postponed implementing it till after the launch. Any good ways of getting up to speed on hotwire and debugging it?
If you have a newer-ish NVIDIA video card you can try ChatRTX. RTX30 or 40 and 8GB VRAM. Its not great but does allow you to point at a folder and is better than nothing. Does docs (txt, pdf, docx) and images (jpg, png, gif) but not at the same time.
https://www.nvidia.com/en-us/ai-on-rtx/chatrtx/
The blurb is there because Germans are stereotypically terrible at humor (especially irony and sarcasm). It's a metajoke.

I can only hope you're being ironic, in missing that; or it's now doubly meta.
Doesn't Jira and Confluence just integrate seamlessly? Unless you want some particular feature?

Both systems are able to link to each other. I worked for a company where Jira was configured to take a support ticket, and then link it to a knowledge base article in Confluence based on namespace and topic I think.
Because they use code mirror to build their ide
But the ones that do did drive producers decisions . Then they learned they can defeat the free market by dividing and conquering the cattle. So now, if you do not haggle and look you horribly overpay. Used to be that you moved in the protective shadow of others.
It is still shitty as well. UI/UX are terrible.
This limitation is gone with HTTP/2 and HTTP/3 and the Mercure hub automatically use the most recent protocol supported by the browser.
It is constitutionally ok to require that certain guns can only be kept at well-regulated gun clubs.

Those clubs, or militias, could own tanks, drones, explosives.

Ie, all those things that aren’t allowed today in the hands of private owners.
Judge blocks parts of California bid to protect kids from social media
I mean sure the creative spark is his, but a large army of technicians work on that art. As the graun notes. Repeatedly.

But the fine article skates over the issue. If (for instance) he didn't assert creative control would we ever really know?

It just feels like an unquestioning take: we asked Jeff and he said he doesn't. His cohort got back to work.
The README says the savings is ~75 MB. In most notebook workflows you’re at most running a couple at once. Saving <1% of my system memory doesn’t let me do anything I couldn’t do before. This also isn’t going to add concurrency/parallelism to your SQL unless xeus has some special magic that this is somehow able to exploit.
I don't deny that they are important questions, I differ in the labeling that is most commonly used. There is some quote that go like "magic is science waiting to be discovered" or something like that. I simply wish we could replace magical wordings (or relearn them) with a `deferred` or `future` so we don't block or slow progress due to getting attached to fantastical stories.

I bring up my experience, because who measures that (the totality of existence)? There was no denial from him, because from his view point that was the totality of existence.
Aye, NanoRacks is pretty cool. I often bump into some of their people at conferences. They're cool and competent as well.
Correct, you need to build an AST representation of the code that you want to index. Essentially, it's a compiler frontend pass and which is why it takes so much longer than what ctags heuristics do. Now think millions of lines of code, multiple build configurations, the amount of RAM you need, etc. Multiple branches, or even smaller revisions/commits, is also a big computation problem.

That said, Glean seems to be reusing the indexer from LLVM/clang for C and C++.

> The C++ indexer ("the clang indexer") is a wrapper over clang. The clang indexer is a drop in replacement for the C++ compiler that emits Glean facts instead of code. The wrapper is linked against libclang and libllvm.

[1] https://glean.software/docs/indexer/cxx
Give me a phone number. Electron and NanoRacks have phone numbers (email, actually.) I can contact them and get info on dates and costs. SpaceX will give me info on Falcon launches but not Starship launches (and they pick the orbit.)
Do you think it is not possible to hold a view that goes beyond hard natural science and acknowledges human flourishing as important[0], but also does not place humanity at the center?

[0] By the way, note that it is the unstated meta-purpose of natural sciences—at its core, all research is driven by the goal of improving human existence. It is sometimes amusing, sometimes frustrating to see the people who are into physics and natural sciences evade acknowledging that it is a human-centric field, perhaps more so than philosophy (where different branches can be more or less concerned with it).
> I’ve found developers frowning up Ubuntu and preaching for folks to use NixOS, Arch, Debian or other distros.

My setup is mostly one VM per project group / online identity. Most of them using Ubuntu. The problem is when I want to work on an old project to check how it likes new technology I tend to stumble into the "you should have kept the OS up to date" problem. Ubuntu does not make it easy to upgrade if you miss more than a year of update.

And even if you keep up to date, they tend to break things often (loved the X11 to weyland switch when working with screen capture libraries) so new VMs are using debian.
They are big budget, very well produced videos with rapid cuts, that always target "teen male" demographic.

"We get cars and throw them in a hole!" "10 thousand people battle for 1000 dollars!" "I survived 10 days in a hole!"

stuff like that. They are always quite stupid but very well produced. MrBeast always shouts "isn't this awesome" "isn't this cool" etc. Very easy viewing, especially if you're a teen male, never challenging in any way
Academic science discovers continuous integration.

In the software world, it's often desired to have a steady stream of small, individually reviewable commits, that each deliver a incremental set of value.

Dropping a 20000 files changed bomb "Complete rewrite of linux kernel audio subsystem" is not seen as prestigious. Repeated, gradual contributions and involvement in the community is.
Absolutely not $15k, you can go and buy a 2 year old MacBook with 96GB of unified memory (around 85GB usable for the GPU) for a few thousand USD, or a brand new 128GB version for $4500 USD~, or grab 4x 24GB GPUs second hand etc... I personally have a 96GB MacBook Pro from 2023, and my home server has 80GB of vRAM (2x 3090, 2x A4000). It's not as uncommon as you might think if you work in tech.
> No robust solution to hallucinations

ChatGPT/Claude still sucks at providing factual info. You can see how in some areas (like coding), massive amounts of training has taken place, and the model is almost always right when recalling existing knowledge, particularly if you ask about the major frameworks. Then there are somewhat more obscure topics, where the models are mostly right, but can be convincigly wrong, and it's very hard to tell which is which.

If you ask about something that wasn't deemed to have economic value, such as book recommendations (I thought a model that was advertised to have been trained on the entirety of human literaly works would be good at that), what you get is almost always obviously wrong info.
care to provide which one / details ?
>The idea that exercise doesn’t lead to fat loss is obviously false.

People tend to offset that energy expenditure elsewhere in their life, often without being conscious of it. The body is really good at balancing out your energy consumption.

If I go for a 40 mile bike ride today then I'm pretty sure I'll zombie out in front of the TV tonight.
This is much too negative. Peer review indeed misses issues with papers, but by-and-large catches the most glaring faults.

I don’t believe for one moment that the vast majority of papers in reputable conferences are wrong, if only for the simple reason that putting out incorrect research gives an easy layup for competing groups to write a follow-up paper that exposes the flaw.

It’s also a fallacy to state that papers aren’t reproducible without code. Yes code is important, but in most cases the core contribution of the research paper is not the code, but some set of ideas that together describe a novel way to approach the tackled problem.
They aren’t scary. They are useful and you probably use them in many forms (lambdas capturing locals, logging, singletons).

This is yet another reason why single threaded should be the default assumption and multi-threaded require special consideration.
> they totally bypass CORS

You can reimplement the Same Origin Policy serverside by checking that the Origin header equals the Host header. Even more secure would be to check both against an allowlist (this protects against DNS rebinding, which the Same Origin Policy doesn't protect against).

>as well as other browser built-in protections

I'm curious what those are.

>for most use cases require to implement many features by yourself: [...] authorization

Isn't auth of websockets generally the same as auth of any Javascript-initiated HTTP request (e.g. fetch())? Check that the cookie looks good? Now, in the cause of OAuth tokens, websockets are more difficult than fetch(), because you cannot attach an Authorization: Bearer header to a websocket. But OAuth is less common than cookies for websites.
Deadly Dangerous

https://edition.cnn.com/2023/01/06/sport/nazare-surfer-marci...
> For that, you'd need (at least two) roughly equally matched adversaries controlling the armed forces.

Or you have a military weakened and degraded by a pointless war of choice in Ukraine.

And you have many armies controlled by oligarchs and warlords looking after their own interests (like Prigozhin).

And you have many separatist movements, such has for example a movement for Siberian independence.

And you have a power vacuum after the head of a mafia-style state is deposed or dies.

After Putin all bets are off.

Exactly this is happening in Myanmar right now: https://news.ycombinator.com/item?id=42572620
>that forum post no longer exists and no longer shows up in search results

I dream of someone taking the internet archive data, capping it at 2010 or so, then making a search engine out of it. I mean if AI companies are looking to gobble all the data they can get, then surely they'd jump at the chance to train on (higher quality) data from the past that simply no longer exists on the web. So it'd seem like a win-win situation if IA gave them a copy of the data on the condition that they maintain a permanent backup and provide some sort of searchable index on the data (maybe even via LLM), and in turn the AI companies got access to high quality data on obscure topics that simply no longer exists.
Show HN: Cohesion – Create custom connection games