skysight-inc/HackerNews huggingface dataset:
Just for the other side of the picture, I live in vim and use it as my terminal multiplexer. Vim’s my shell. I have thousands of buffers in vim and practically never leave it. I’ve used terminal multiplexers for years before I switched to vim in that capacity and never looked back. The integration it’s allowed between all my buffers and commands and shells is difficult to match in my opinion.
> If I could afford to retire today, I would do it in a heartbeat and I'm pretty sure I wouldn't run out of things I want to do.

You probably underestimate the little voice that will show up at some point, aksing what is the point in doing that thing?
> Since when have the radiologists ever been worse than AI at reading images?

Since 2 years~ish?
Gen Z Americans are leaving their European cousins in the dust
I don't know what you're talking about. The post o saw was about not allowing nazis into a bar.
I'm very interested in what Bloomsbury might have to say about this, because the quotes from Amazon sound like "they refused to accept our dictates on wholesale prices".
> it wasn't clear how each of those translates to TypeScript

That's a fair point. I will add more details on how each of these notions translates to TypeScript. Quickly :

- UseCase : a file containing the use case definition
- App : a directory with a use cases folders and metadata (i18n, metadata)
- Product : a directory with a apps folders and metadata (i18n, metadata)
- Target : depends on it by for a GUI it's the screens where use cases are injected

> I would rethink how you named the 'App' layer

I'm not a huge fan of this name either, but couldn't come up with something better at this time. `Module` seemed to broad to me. Although the notion is not totally clear to you, do you have any ideas in mind ?

I agree that it's not as straightforward as other solutions at this moment. I'll keep working and improving this to reduce the time needed to get started.
Also I’d be surprised if an average human can even reach 10% of these.

I mean, some humans can score far better. But try picking a random person in the street.
Perhaps there will become a need for an English language Wikipedia distinct from that used in the USA.
Is the entirely correct? When there is side wind, a big guy on deep wheels sure has an easier time than a little guy on deep wheels.
we add a category for programming, check it out here:

https://www.bskyinfo.com/feeds/software-development/
> Saying "no" is the easiest job in the world

It depends on your motivation. Probably a lot (many, most?) committees can just sit pretty and try to do as little as possible. But a lot of software projects exist by getting attention, and they tend to do that by adding features. A lot of FOSS maintainers find it super hard to say no. For some anecdata: I have a small/medium project and I've found that just the energy requirements of really thinking about everything everybody proposes are pretty high. I could just say "yes", but then I'm on the hook. I could also just say "no", but then I'm discouraging people and not really giving them any information about how to contribute productively--this would be something like, "sure we could add a flag to turn video upside down, but I'm concerned that putting this kind of functionality in flags means we'll have a UX of 1000 flags that no one can remember or use; should we start considering building another place to put this kind of functionality?
Power grid in Central Europe uses unencrypted radio to add and shed loads
But then it’s too late, you have to find out before send the money.
This was a fun read. I would amend the title to change "Agile" to "Scrum".
This is exactly what I thought about when I first read the post. This is not a good idea in my opinion.
we've add search feature, you can search the feed by keywords:

https://www.bskyinfo.com/feeds/search/?q=ArtNoAnime
Just echoing other comments as the first post I saw was from someone who wanted a knife so they could "stab girls" while whispering in their ear that they are "getting their hormones". Wow.
I certainly see a lot of use cases for this,
but shallow ones.

For most things I would wish to have done I must login to the site.

If I read the demo right, there is a browser that OpenAI runs that
the agent is acting on, not the local browser on my computer.
(which could be logged in)

"Agent book me a flight Boston tomorrow before 11am"
Holy shit, I’ve been writing python for 15 years and it’s the first time I’ve seen None used as an identity function. That’s nuts! How does it work under the hood? Does filter have a special case for evaluating None?
Some websites are closed on Sundays because of religious reasons:

https://www.babypark.nl/zondag/index-bp.html
I guess for the full medieval experience you walk?!
Whilst I am sure I probably understand it, I am not clear what you mean by "learning Arduino"?
Not perfect but enough for basics

https://archlinux.org/packages/extra/any/autotiling/
Tesla closes loophole that let Kia owners charge on Superchargers
> "Our expired terms with Bloomsbury were far out of sync with other publishers who sell books through our store. Unlike other UK publishers, with whom we’ve successfully negotiated in recent years, Bloomsbury has refused to recognize our continued investments in bringing books in all formats to readers."

Anyone know what this marketing-speak translates into?

Right now a book like [1] [2] is £8.99 paperback, £7.99 ebook from the publishers, £2.29 ebook from Kindle.

Bloomsbury seem to already be giving Amazon an enormous discount on the ebook; you'd think Amazon would be happy to renew on such generous terms.

[1] https://www.bloomsbury.com/uk/mime-order-9781526675989/
[2] https://www.amazon.co.uk/Mime-Order-Bone-Season-Book-ebook/d...
That's more than enough detail thank you very much
How Do How Do Physicists Publish Papers? [pdf]
Congrats~~
Yes, that’s just a special case. You can’t call None as a function.

https://docs.python.org/3/library/functions.html#filter

> If function is None, the identity function is assumed, that is, all elements of iterable that are false are removed.
Please send a link that I can read
No mention of the Cantor set (and its variants) indicator functions?
I have 80+ at the moment, most of which are developers. A ratio of 5:1 I'd say.

What do you mean by network effects though? I'm quite new to business
https://en.m.wikipedia.org/wiki/Environmental,_social,_and_g...
Congratulations Paras!
Awesome to hear a story like this and impressive that you managed to build such a strong company in such a short time.
Thanks everyone for your feedback!

We’ve listened to your suggestions and, after one day of launch, we’ve improved the category system.

There are now 28 main categories with around 160 subcategories, and we’ve also added a search function, so you can now search by keywords.
Not a typo. Most monitors are too low. You should not have to bend your neck to look at your monitor.

But some office setups have other issues, such as chairs that are too low, or desks that are too high, in which case your monitor might end up at the right height, but that doesn't mean much if the rest of your setup is wrong.

Begin with the desk+chair: they need to be set up so that when your hands are on the keyboard, your elbows form a right angle, or very close to it. Look at piano players for reference. Most setups fail that test. But once you get that right, you will notice that your monitor is way too low and all the stands are too low, which was my point.

You need to be looking at the top third when staring straight ahead, otherwise you will need to bend your neck to look at the lower part of the monitor and you will end up with neck pain. Top third, ideally around 2/3 of the monitor, so not the very top.
Australia is the world's largest island at 7.9m km² ... Not sure why they're trying to say Greenland is larger.
Meta Panicked by DeepSeek
As usual, this is completely unreadable on mobile due to Substack's hatred for zoom
Great VWO, Kudos to the founders!
> hope you don't ride a small frame

That bike bottles are so small seems to be due to small frames. 750ml is about the max normal size. I’ve tracked down some 950ml ones, but I’m sure you could go larger with a decent sized frame.
As far as I know they don't. At least within my interface it is telling me so.
https://archive.ph/cKKqB
If that's what you got from the article, I recommend you read it again.
Used shadcn/UI's Card component for the container
I've recreated the UI with the following features:

1. Used shadcn/ui's Card component for the container
2. Implemented the profile section with Avatar and text content
3. Created a "View Profile" button using shadcn/ui's Button component
4. Structured the menu items into "Account" and "Manage" sections
5. Added hover effects on menu items
6. Used appropriate spacing and typography to match the original design
7. Included the Gift icon from Lucide React for the premium offer
8. Made all text elements properly aligned and sized
Search online for "AFCI" along with any appliance that has a motor in it, like a vacuum, refrigerator, or hair dryer. You'll get pages of posts of people asking why the appliances keep tripping the AFCI breaker.

The reason why is that those devices create arcs, and AFCI breakers are completely unable to handle them. Some regions require AFCI breakers, so a significant portion of household appliances will occasionally trip the breaker.

The worst part is that it isn't particularly consistent, so your fridge could last for years without tripping it, but as brushes wear the arcs they regularly create increase the chances of a trip, until one day you find that all your food is ruined, because the AFCI breaker tripped at an inopportune time.

Fortunately, my fridge trips the AFCI very reliably, so I was able to detect it before losing any food. All I had to do to fix it was make a few passes with the hot wire through a ferrite bead, right before it connects to the AFCI breaker. It completely blocks the arc-created RF that the AFCI is detecting, disabling the functionality of the AFCI, all without any code violations, because while the AFCI is required, the ferrite bead isn't prohibited.
Trae: AI Code Editor from ByteDance
Why do you need the vector if you have already compared the query with the result candidate?
When you convince yourself of the program correctness, are you using techniques from the class?

Any advice on reasoning about correctness?
Interesting approach.

Am I correct to understand that you're basically minimizing the latencies and required compute/mem-bw by avoiding the KV cache? And encoding the (local) context in the input tokens instead?

I ask this because you set the prompt/context size to 0 (--ctx-size 0) and the batch size to 1024 (-b 1024). Former would mean that llama.cpp will only be using the context that is already encoded in the model itself but no local (code) context besides the one provided in the input tokens but perhaps I misunderstood something.

Thanks for your contributions and obviously the large amount of time you take to document your work!
A file system is an emotional investment of a decade+ so I can understand Kent's desire to defend it the way he does.

That said the kernel is the bigger picture, if he wants it to be successful and remain in mainline he needs to adapt to how Linus expects maintainers to operate. That probably means delaying getting fixes to mainline users until he can show they have been adequately tested. Until that trust is built bcachefs is always a few bad cycles away from being dropped from mainline.
TL;DR trending posts on “dumb” Reddit do just as well on “smart” Hacker News.
Amazon is simply using its control over a distribution channel to bully partner companies. They’re the new Walmart.
Neovim sounded like a good idea, so I switched, too. Then after an update, it broke mouse selection in terminal, by turning on some crazy option by default. I still have to search how to disable it each time.
Ok, things like that happen. Then, after another update, it broke terminal update. Like, your screen scrolls up or down a line and the text does not get redrawn correctly. Is it a wezterm issue? Well, the original vim works flawlessly. So do less, top, and any other terminal programs. Except neovim.

No thanks. I dont care how many golden elephants are in the trunk if I cannot drive it.
Interesting, thanks for pointing this out. Can I read more about potential pitfalls somewhere, or is it mostly trial and error?
They are above greed so they don't do that unlike literally everybody else pinky promise.... Do people seriously believe any tech corporations is above surveillance capitalism.
I’ve been using Tabby happily since May 2023
Think per capita.

In city roads, sure, they are filled with traffic and roads are congested.

But even in cities car ownership is kind of rare. In small towns, cars are very rare. In rural areas, they are almost non-existent.
Must be sad to have to let things you built go, especially knowing how often selling them starts a downward spiral leading to their demise.
At work I often switched to VSCode because I couldn't get pyright to work with our django project. The errors everywhere were just annoying to look at. So I looked around and found "ruff" and "jedi_language_server". This combination seems to do the trick. I don't have to configure anything. I source my venv and it "just works". I assume our python codebase is something around the 10k LOC, too. I am not mainly responsible for the python part, so I don't spent excessive amount of time in there, but for the time I do, it works nicely

- https://github.com/pappasam/jedi-language-server

- https://github.com/astral-sh/ruff
Vim may die, but vim-mode will definitely be around.
your profile says
>Hit me up if you want to collaborate on NLP research

but doesn't hint on how, check _my_ profile for hints on how :-p
They aren't trying to say Australia is smaller. They sought to exclude it by saying it was the biggest of "non-continental" islands.
To go with what you’re saying - my road bike runs 28mm 65-80PSI tyres. It has a patch of each tyre touching the ground which is about the size of the tip of my index finger, maybe less. Very easy to lock up.
Tesla Model 3 Owner here for a year now. There is no question in my mind that was a Sieg Heil on stage, at our nations capital while standing behind the Presidential seal and being watched by millions. Twice!

I am currently shopping for alternatives and would gladly trade mine in even at a small loss. I wasn't a fan of his before, really, but didn't pay much to it, his company produces a product I drive.

My M3 is the most buggy car I ever owned and has had warranty service three times in that year. Little stuff like seat-belt sensor warning, window switch and foam-dislodging in one of the tires causing major shaking at speed. Service department has been friendly as they come out to my house for two of them, so that is nice. They also quickly gave me a loaner for the tire issue without even prying. The road noise is also horrible on the car. Way worse than even my Mazda6 I had before it. Whistles in the driver window area on the highway. Lose pillar trim.

But I'm not finding much STILL that competes with Tesla in the USA really. In price or looks as an EV. I still love the way it drives/handles and would have a difficult time leaving EV back to ICE at this point. I haven't had to change oil, stop for gas, check fluids, etc.
Trump signs executive order on developing AI 'free from ideological bias'
Latest node.js now supports „just running ts“ for cases like these:

node --experimental-strip-types index.ts

On non-latest Node tsx package worked great for me (as oppposed to ts-node)

But both of those options just throw away type information (and so does Bun)
I am also an Indian, and I, too have travelled widely.

You are only looking at the roads. Look at homes of people. How many garages and cars do you see? Very, very rare.
How did Hyundai labeled cars get access, without granting KИ cars access? They're the same company.
To me, vscode is unbearably slow. I think that alone is enough to keep vim alive.

Also, I don't really miss anything from more advanced ides when in vim. There are great packages for almost anything.
Looks like they already resolved it -
https://www.thebookseller.com/news/bloomsbury-reaches-new-lo...
Thanks for the link!

Funny to see that someone already thought of this attack in 2022
Adults with ADHD live shorter lives, a new UK study finds
if you smeellll what the propaganda is cookin'...
DocumentDB: Open-source MongoDB implementation based on PostgreSQL
FYI encryption and authentication aren't the same thing. They may both use private keys, but something can be encrypted without being authenticated and vice versa.

In this case, if the operators added authentication, without adding encryption, it would prevent attacks, despite the data being planely readable.
This sounds like the opposite of my bikes, where the pressure vanishes suddenly, too often.
I should have guessed this was your handle Rob :)
I listen to your podcast whenever I need a boost, but somehow never made the connection that you are one of "us", here.

If you'd like to get some scandi guys on your show, I am a GP at www.likeminded.vc, and connected into the community around Copenhagen and the nordics.
Hetzner Cloud servers are at capacity since 6 months
We tried to rescale one of our VM hosted by Hetzner Cloud server infrastructure.

Unluckily it seems we can't!!!

Incredibly it is taking more than 6 months to solve the problem: I understand that expanding a data centre and hardware supply might be hard, but hey!!!

Has anyone else run into this problem, any workaround besides moving off Hetzner (no, please)?
In firmware interfaces you can configure whether USB and PCI-E devices can wake up the computer. Enabling USB wakeup made it possible on my machine, that I can wake it up by pressing any key on the keyboard.
Murder is just agg assault with one less witness.
If Vim tracks you then that’s a willfull act that breaches trust.

IMO no governance model can defend against supply chain attacks.

IMO you shouldn’t try to fix things with governance model which it doesn’t fix. Use a governance model that leads to good governance. In technical and creative work single highest point of authority is best.

Not because they have perfect knowledge or are the best but because dictator led models lead to best alignment - which is something you simply need to execute when performing a complex task with many stakeholders.

Dictator led models aren’t best for everything. But for complex tasks with specific fixed scope with multiple concurrent contributors it seems to be the only model that works (if there are case studies as counter example I would love read on them! I.e. complex task, more than 10 contributors, non-dictator governance).
Protobuf also needs to deserialized. Cap'n proto would have been the better option.
The comment you were replying to is about formal proofs of correctness, probably using tools like Rocq (formerly Coq) and TLA+.

These tools can take an extreme amount of time to use and require specialised skillsets that are difficult to hire for. They go far beyond standard software engineering practices like unit and E2E testing. It is genuinely, seriously not practical to verify the average startup's SaaS web app with TLA+; you'd go bankrupt.

Someone who's used them more than me might be able to comment on exactly how hard it would be, but I felt it was unfair to you not to explain.
Thanks for taking the time to write up all this commentary and share it!
seems like you know your stuff. specifically

> agree the word "immense" is misused there, and perhaps this phrase as a whole should be cut out since it's a bit misleading... i guess i was trying to express my naiveness back in the day, but i ended up showcasing that it persists to some extent to the present, which is why i appreciate the comment and opportunity to learn more from smart internet poker people!! :)

> rake is great point, and i was thinking about this quite a bit yesterday while playing these terribly low-capped buy-in games in LA at hollywood park haha ($100 max for $1-3 or $500 max for $5-5 and they like telling everyone to straddle so it's effectively 5-5-10, ugh... guess your short stack point comes in handy here too)

> honored you haven't written any further corrections so i assume the rest of my post wasn't horribly inaccurate, yay :p
Should you write differently for AI or LLMs? Nope
Brownian motion mentioned at the end of the article and more generally Langevin Dynamics are incredibly useful. They're this weird interface between normal physics and statistical mechanics. When a big complex molecule is constantly jostled by smaller molecules, these nowhere-continuous motions are a good way to approximate what happens.

Plus, rather bizarrely, it helps to understand this area to do actual statistics, in software such as Stan.
It used to be less so
HSBC shuts payments app Zing a year after launch
Null Byte on Steroids
I’m missing something, what’s unrealistic about 15.5kmh? That’s absolutely crawling on a bike.
Dude I’m just trying to find all this hydrogen people keep promising. If we actually find it this hydrogen will sell itself!
> But they also have 100% wood

Yeah, the bed I'm sleeping in is something like 20 years old, has gone through 3 moves (plus one where it wasn't dismantled) and is from Ikea. It's a full wood and is quite sturdy. I guess my parents paid what was needed for quality stuff.
Brief exercise sessions linked to small boosts in brain performance
(Pre)Launch HN: ProblemHunt
> That person is being extremely silly when they call that "small".

Explain.

> Ext2/3/4 reserves so many inodes by default. One per 16KB of drive space. You don't hit that with normal use. Almost everyone should be reducing their inode count so it doesn't take up 1.6% of the drive.

Well almost, but not the OP who runs out of inode space with the default format.
MN3S7E466433
Congratulations @paraschipra
Can you move VMs between data centers? The ticket indicates issues mostly with Germany, and less with Finland, USA and Singapore. Depending on your where your users are, these locations might incur some latency penalty, though.
Wouldn't an app that randomly turns the screen black for a split second every few minutes be able to induce blinking as a response?
Not great that this corporate nothingspeak is coming from what’s intended to be a step towards AGI.
Do you know that EKS Auto Mode enforces a 21-day maximum node lifetime?
How tragic that the goal of startups isn't to make something useful but to get acquired (with consequent inevitable dismemberment and shuttering). Well done on the $200M, I guess.
It is unintuitive to me why the rational numbers are dense in the reals, since rational numbers are countably infinite, as opposed to the reals. I think infinity is hard to grasp.
Instagram and Facebook Blocked and Hid Abortion Pill Providers' Posts
So awesome, I wonder what the cost (modern cost) of this is?
getting my attention came at the cost of starting with a very low value opinion of the author based on how utterly classless the title was and if your goal is to inform or change minds of readers that’s not a good way to go about it.