skysight-inc/HackerNews huggingface dataset:
Thanks for your question. Currently, VEKOS runs in single-core mode - SMP support is planned but not yet implemented.

The challenge with SMP in VEKOS isn't just synchronization, but maintaining verifiable operation chains across cores. The current verification system in operation_proofs.rs and verification.rs assumes sequential operations for proof generation and validation. Key considerations for SMP implementation include:

1. The VERIFICATION_REGISTRY already uses atomic operations and Mutex protection:

pub struct VerificationRegistry {
proofs: Vec<OperationProof>,
current_state: AtomicU64,
}

2. Critical data structures like BlockCache and BufferManager are wrapped in Mutex:

pub struct Superblock {
pub block_cache: Mutex<BlockCache>,
pub buffer_manager: Mutex<BufferManager>,
...
}

3. The scheduler (in scheduler.rs) is designed with multi-core in mind:

lazy_static! {
pub static ref SCHEDULER: Mutex<Scheduler> = Mutex::new(Scheduler::new());
}

The main work needed for SMP is:
- Per-core scheduling queues
- Distributed verification chain generation
- Cross-core memory barriers for proof validation
- CPU-local operation proof caches
You're always welcome to provide data to the contrary. For example: Can you find literally any home/SMB router on the market today that doesn't come with a firewall with inbound default-deny out of the box? Because every single model I've seen in... actually, ever, has done so. And every Enterprise™ router I've ever seen either was the firewall or sat behind a dedicated firewall appliance.
If it was only that simple.

Unfortunately, increased economic costs can end up harming people as much as any toxin.
> Biden did not intentionally mishandle classified data

Pretty easy to fact check yourself if you cared to:

https://www.nbcnews.com/politics/justice-department/national...

> This is pure nonsense.

You've got blinders on. Even Jon Stewart (who hates Trump) is willing to stick out his neck and call a spade a spade on this topic.
>if you undervalue a thing to pay lower taxes then you risk losing it at that price. This sounds incredibly simple...

That doesn't sound so simple to me, everything has to be for sale all the time and\or you over pay on your taxes. Value your vehicle at market rate to pay the "right" taxes, anybody in the market for a vehicle can come buy yours at $1 over market rate if they want to. (It costs 2$ to drive to the closest one being sold at market rate, so it makes economic sense.) The only way to even partially defend yourself is to value your property way over market rate and pay taxes higher than the market value would suggest. Basically you have to value your stuff at market rate plus how much I would be annoyed to loose said item.

Piss off a billionaire? Guess who is never going to live indoors again.
The orthographic image is the coolest thing I've seen in a while! This is some remarkable engineering. I expected the images to be much lower quality but they look great.
Definitely! We actually embed studio as part of another one of our offerings. It's actually iframed in, but you could achieve similar results if you wanted to dockerize it.

https://github.com/Brayden/starbasedb/blob/main/src/studio/i...
Did it fail though? China is doing pretty well and by most metrics Russia is doing worse post communism.
> will typically seek the services of a lawyer when buying land

I've seen a state where this is required by law, and I've seen a state where it wasn't. Very few people retained a lawyer when buying or selling land, in the latter.

I've bought property in both, and my state-required redistributional tax paid to a lawyer added zero to my confidence level. The extra middleman actually made me a tad more wary.

(I take your broader point, but reject the idea that lawyers are an especially useful element of a normal real estate transaction, for most people, at least in the US—I mean, on some level a lawyer drafted some form-documents and maybe some institution involved had a lawyer quickly glance at something at some point even in the rarely-using-lawyers state, but as a buyer or seller, directly interacting with a lawyer? IDK, maybe if you're involved in a FSBO transaction with no agents involved and also no financing)
If, when it comes times to retire, and your Us counterpart has $1,500,000 to your $1,000,000 to retire on, that extra $500,000 seems material.
You are missing a subtle issue: let's say you want to type the numbers 1-3 above each other. If you send 1NL2NL3 the result will be a set of stairs

1
2
3

Since after typing the digit the writing head is behind that character. You have to add a backspace to go back one column. 1NLBS2NLBS3 which then pushes the Cursor back to the right column.

Once you add more than one character per row its all over anyways.
They explicitly share that they don't let their kids use so much screens etc. And they have always been huge advocates of this because they want responsibility for their technology's effect on children to be shifted to parents. So, by themselves modeling how to set boundaries for their kids, they bolster the claim that good parenting is the issue, not the apps designed to be addictive
Money is debt. Green (or whatever color) slips of paper aren't intrinsically valuable. They're a promise to redeem them for things that are, same as an IOU.

I take your point that not every economy is run by a government that owes 110% of GDP. But Japan and China are, and France and the UK are at 99%, so that doesn't seem to be the whole secret of America's success.
Augment is free for open source contributors and maintainers
Is this type of on-the-fly graphics generation more expensive than purely text based LLMs? What is the inference energy impact of these types of models?
https://en.wikipedia.org/wiki/City_quality_of_life_indices
If it's clear someone is not acting in good faith, I can think of three options:

1. Find out why and try to fix it

2. Fire them

3. Embrace the low-trust environment by trying to mitigate the dysfunction with layers of bureaucracy

Strategy 3 seems quite popular, and to be fair it might be the only one that scales.
That's clearly your opinion; I can't speak to the motivations of whom you refer to as "the other guy" but I have zero interest in either attempting to troll you or in looking cool.
So anyway, did you see Sony may buy the parent company of FromSoftware? That could be a real bummer if they interfere with game design.
>It adds value globally, but most of the profits from that value are being realized in the US

this is contradictory. profits are added value. if value is added globally, there are extra profits (likely as cost savings by other industries adopting tech)
Realistically I think the guy is centering on the experience of the poor only and using that as the quality of life index.

In another comment he talks about car insurance and food costs as if those are even major expenditures?

For a European moving to the US the only actual difference is health insurance, and even then, at low income you probably end up paying about the same or slightly more as European taxes, at a higher income you come out significantly ahead.

I also don't know a single person in the entirety of Europe/UK who doesn't own a car outside of the megacities like London, Paris etc, so it seems like a daft comparison given that car insurance rates are fairly similar in UK and US.
What I was driving at there is that we have seen a general shift (probably due to market consolidation, monopolisation, etc) away from quality and customer satisfaction. The plastic goods are just one tangible artefact.
Thank you! And yeah, getting specialized feeds is one of the main things our current customers do!

Also, hope all is well at Laudspeaker :)
This is assuming nation-state conquests are out of the picture.
I have 3 email in-boxes.
One ancient rarely used since the early 2000, my personal daily email and my work email.
Between then there are some 100k unread emails.

I am not the target audience for this service.
The first video I got was of a really cute baby making baby noises. Made me very happy. It had 0 views.
Millions of people in Cuba without power after grid collapse
> HTTP → RFC-2616 says in section 19.3 says "we recommend that applications ... recognize a single LF as a line terminator...." In other words it is perfectly OK for an HTTP client or server to accept CR-less HTTP requests or replies. It is not a violation of the HTTP standard to do so. Therefore they should.

The most up-to-date version of HTTP/1.1 spec is RFC 9112, which says:

> Although the line terminator for the start-line and fields is the sequence CRLF, a recipient MAY recognize a single LF as a line terminator and ignore any preceding CR.

"MAY", of course, is different from "MUST" or "SHOULD", so I feel like the author's claim that implementations rejecting bare NLs are broken is at odds with the specification.
Reformatted this mess into a post and added a few other notes I had: https://nucleardog.mataroa.blog/blog/framework-16/

Apologies to anyone that gets through that whole formatting mess only to find this at the end.
CV sent!
It's Taking Longer to Find a New Job in the US
https://archive.today/IDc3t
There is a dedicated 'rat patrol' as well but for the most part it's a government phone number and then reliance on citizen reporting. Penalties are fines and destruction of the animal in question.
Interesting.
I couldn't see myself using a tool like this for bulk remembering of things.
And I don't think it would be practical for that.
But for specifically important things like certain words my brain like to forget from time to time, numbers I need to remember or a very important hospital appointment, this could be very useful.
Very clever!

Totally unrelated to this project, just a general UI question: does anyone like these inputs? Every time there is a number input next to one, I use that instead. Seems the upper limit of “ticks” you can have on one before it becomes unusable is like… 10?

Proper number inputs support all the same features (min, max, arrow keys to increment/decrement), but you can also just input an exact number. The range does visualize min, max, and current value relative to those nicely, but it’s annoying to actually use as an input more often than not.

The only real exception is for ranges of 0-100 type things, where the exact value doesn’t need to be precise, just roughly somewhere on that 1-100 scale. Eyeballing it is enough here, you don’t feel frustrated that you can’t use your thumb to get exactly 71. Volume slider, etc.
And a chemical like this is needed to protect natural rubber from ozone.

However, I doubt this specific chemical could not be replaced in that role, now that we know it's a problem.
> Depends what quality of life means to you right?

I recently got laid off for the 2nd time in 4 years (probably better off than most, to be honest). I'm done with shooting for the moon. I am now strongly considering a "boring" job - the kind that keeps the basics of society running and has government contracts. I can bootstrap my own moonshots over the weekend (I'm probably going to make split keyboards with Rust firmware FWIW).

So, yeah totally, it can even change for an individual pretty drastically.
Isn't it both? In particular dependent on the size of the project?

And it's still easy for individuals to at least contribute detailed problem reports even to very large projects. And these are useful. Even when ignored by the lead mafia.
hackingwithswift.com is a pretty good resource to get you started.

I'm also looking at contributing to an open source SwiftUI app if I find one in the next week or so I'll post here again.
I have no doubt that materialism and consumerism is eroding social life in Europe too. My point is primarily that the US is way ahead of the curve on this, and it explains much of the difference.

I have a lot of friends who went the opposite direction of you, and chose a cheaper but more fulfilling life in Europe.

Instead of making 200k a year in the us, they make modest salaries and rent 100-year-old farmhouse flats that Americans would call a slum. They drive economy cars and spend their ample time socializing or outdoors.

My personal opinion is that Europeans simply place a higher priority on social interaction and incorporate it into their daily lives. Many of them have more modest financial aspirations, and don't expect to ever own a house, vacation property, or boat.
Hated the Rust Monsters on level 8 that would destroy any decent armor you had managed to enhance and rarely survived the Umber Hulks on level 18 with their ability to confuse you and the huge damage they did. Never found the amulet. Got fantastic keyboards skills for vi directional commands at least for a non-touch typist.
Yeah, the LibreOffice issues aren't related either. I led with "not necessarily all Framework 16 specific". That was just a quick slop together of a few points from my notes.

It wasn't a complaint about the FW16 so much as "If you're a typical HN person running Debian on it, here's some things that you might run into and may be helpful."
I was both excited and disappointed reading the list of hardware features. I, admittedly, have spent the last 6 years working in (not-human-rated) aerospace. Excited because the points you make on the site are definitely things that I've been disappointed to see missing on most existing hardware, and disappointed because... I wish that that list of features wasn't special at all and everyone made more robust hardware like that :)

I'm very curious about the Ada firmware and am hoping I'll have some time around Christmas break to have a dig into it. Last time I did anything with Ada was in grad school about 15 years ago and I loved it; I'm really excited to see what the bridge between Ada and a microcontroller looks like (see above... aerospace!)
Show HN: After 3 months of coding, I built a feedback tool for indie makers
Hey HN,

After 3 months of coding and countless iterations, I’ve launched Feedhunt, a lightweight feedback tool designed for indie makers and small teams.

The idea came from my own frustration with managing user feedback while building projects. Existing tools felt too bloated, complicated, or expensive ($359/month isn’t indie-friendly). So, I decided to scratch my own itch and create something focused and affordable.

With Feedhunt, you can:

- Collect feedback from your users
- Let them vote on what matters most
- Organize feedback with tags and status filters to keep your roadmap clear

I built this using nextjs and PostgreSQL. It’s intentionally simple—just enough to solve the problem without unnecessary fluff.

It’s live now, and I’d love for you to try it out: https://feedhunt.app/

Would appreciate any feedback, whether it’s about the product, the approach, or the tech. Thanks for taking a look!
The name reminds me of Johnnycab.
Some reasons I can think of:

- Vaccines are usually injected, injection makes most people uncomfortable. Most of them get over it, but it can be panic inducing for a small number. Among street drug users, injection is usually considered extreme, as in, the thing only true addicts do.

- When you get vaccinated, you are fine, and then you get a few unpleasant side effects. That's the opposite of the usual drugs you take when you are sick and make you feel better.

- Sometimes, vaccination is made mandatory, many people don't like to be told what to do with their bodies, even if there are good reasons for it.

- You never know when a vaccine have saved someone. Someone didn't get sick, but is it because of the vaccine, natural immunity, luck, or simply a lack of exposure, maybe he will get sick eventually, you can't really tell, and you don't really notice when something doesn't happen. However, when a vaccine hurt someone, or failed to prevent the disease it should protect against, that's very noticeable.

- The most successful vaccines are now often considered useless, because the disease they protect against is so rare, why go through the discomfort of the vaccination when it is so unlikely for you to get sick either way? It is a tragedy of the commons, as the reason the diseases is so rare is because of widespread vaccination.
This is the kind of comment written by someone who only knows a country from its headlines. The US, as a resident, skews wildly from the popular narrative in many ways much of the time -- regardless who is in charge.
The thing about the US is that it's very unevenly distributed. So it depends on what you'd be doing and how much money you'd be making / already have.

If you have a professional-class job the US is often the best place in the world to be for illness. You'll have a fairly high salary (especially comparing globally) and an insurance plan with an out of pocket max that is probably 10-15k per year (or much less, for most tech employers). If REALLY concerned with illness, filter for places with good supplemental long-term disability insurance and live in a state that has some of their own like CA.

The US spends A LOT on healthcare per-capita. So your access to doctors / specialists / hospitals in major US metros is generally excellent and rarely has the sort of waits that you see in a lot of countries that spend less on healthcare.

The problem with US healthcare is that it's usually either (a) fucking great for you or (b) fucking terrible for you. Very non-uniform.
Sweden is an outlier. US debt to GDP is 110%. France and the UK 99%. Italy 138%. Greece 203%. Japan 263%. China depends on who you believe, but probably somewhere around 100%.
https://www.ribbonfarm.com/2009/10/07/the-gervais-principle-...

Said another way, with one fewer category, but with a clearer and more general approach.

I've never read anything better to describe nearly all organizations of a certain size.
Location: Ottawa, Canada
Remote: Preferably
Willing to relocate: Yes
Technologies: React, Node.js, JavaScript, .NET (in short)
Resume: https://knyazev.io/resume/
Email: slava@knyazev.io
About me:
I'm an experienced full-stack engineer with experience leading features at well-known names (Amazon, Airbnb, ESPN Bet).

Professionally, I've mainly been writing React in my last few position, but I am very well versed in designing backends as well.

Non-professionally, I have been writing deep dives into tech I work with on my blog: https://www.bbss.dev/posts/react-learn-suspense/ (sample post)
I think its as simple as the fact that "we" won the Cold War, and that was the only thing putting any leftward pressure at all on US politics. The psycho right wing didn't materialize in 2008 out of nothing (think about LaRouchism, the "moral majority", Pat Buchanan, and on and on). Yes, Republicans are racist, but so are Democrats and Obama did actually win twice so somebody must have voted for him.

Rather, Obama's election was the just the last time that the New Deal coalition was strong enough to hold together, having deteriorated over the course of the 90s and 2000s because it had no clear purpose. Capital no longer feels any need to throw scraps (like limited NLRB-disciplined union organizing, Social Security, Medicare, consumer surplus) to workers to prevent 1918 happening here, which had been the Democratic Party's entire purpose since FDR. It had seemed increasingly ludicrous that revolution would come to America over the course of midcentury, but the collapse of the Soviet Union in 1991 brought the farce to light.

In other words, we're still eating the leftovers of anticommunism, the 20th Century's original sin (to mix a metaphor).
All these statements about the "booming economy" are triggering for a lot of people because this "economy" they're talking about is just an abstract notion that has absolutely nothing to do with people's financial situation.

I don't know if we need a different term entirely to make this distinction.
Nice! I built something similar for https://histre.com/ and made it even robust that the highlight will stay on even if the rest of the page changes. For example, if you highlight a sentence in Hacker News comments, the position of the comment changes all the time and histre highlights the correct sentence even with that change.

I open sourced it here, if that's helpful: https://gitlab.com/histre/browser-extension/-/blob/master/hi...
It mostly manages its hyperparameters itself.

There is a reward function, one of the hyperparameters we do have to set, for condensing functionality into topology instead of smearing it obscurely across laters. You can just look at a NEAT network analytically and know what is going on there.
An open source, 4-axis rotational 3D printer and slicer [video]
nice comment to make every here know you may have seen NYC on a postcard once or twice in your life :)
Show HN: Find and match with people playing sports around you – Courtship
No, JSX is syntactic sugar and nothing more, it requires no context, you can "transpile" it from memory. In my code I sometimes explicitly use React.createElement calls, when using JSX is not that useful, because it's always just writing JavaScript, not writing templates; it's just code. Template languages also add different semantics, e.g. those EJS <% or <%_ tags - you can't express them in some equivalent JavaScript code (don't confuse it with compiling the template to some code, that's something completely different).
Dupe: https://news.ycombinator.com/item?id=42321615
Median household income is way higher than 37K. More like 80k+
Playing around with this and immediately hit a bug. If I drag the sliders to 100 - 100 and then try to do 99 - 99, I can't. I can't get there from 99 - 100, and I can't get there from 98 - 99. The only way to get to 99 - 99 is to drag the lower bound somewhere lower than 98. If I'm at 98 - 99 and I drag it down to 97 - 99, then I can get to 99 - 99.

This bug can occur anywhere, it was just easiest to hit at 99 - 99 because that's right next to one of the ends of the slider. More generally, if I get to any X - X, then I drag one end of the slider by 1 step, I can't drag the other end of the slider into that gap. The only way to close that gap is to drag the other end further away first.
"Most people in Alberta had never been in contact with rats and did not know what they looked like or how to control them."

Uh 'Most'!?

What!? Amazing to think there was or is any place in earth except say Antarctica where rats were so few and far between that people didn't even know what they looked like.

Have none of them ever read Kenneth Grahame's children's book The Wind in the Willows and seen various drawings and depictions of Ratty?

Strikes me as gross exaggeration and hyperbole, even if they'd never seen a rat in real life (which is pretty hard to believe) then it's even harder to believe they'd never seen a photograph or drawing of one.

For obvious reasons I daren't venture here any further.
The laws of physics disagree with you. In what reality does driving 124 miles necessitate the creation of 110 pounds of CO2?
It'd be un-American for Musk to wield political influence to harm rivals: Sama
Thank you so much. I really like the idea of the hypervisor-based verification approach as it would provide stronger isolation for the verification chain than the current in-kernel approach.
It also aligns really well with some of VEKOS's core components. For instance, the current verification chain (in verification.rs) already maintains an append-only log of system operations:

pub struct VerificationRegistry { proofs: Vec<OperationProof>, current_state: AtomicU64, }

The current proof system could be extended (operation_proofs.rs) to communicate with a hypervisor-level verification layer.

About the ML, I actually had a previous scrapped component that would have allowed an ML model to run natively in the kernel by dividing the memory zones into 4 different components. Now for issues related to the memory, and for security concerns, I decided to not follow with it. ML are really good at detecting specific components, but I am afraid of the false alarms, as these could cause the system to have for example, spontaneous slow downs in the verifications.
It's not really that much of an embuggerance.

Kickstart or cloud-init to get the OS up and Puppet agent installed, then let Puppet do the rest.