skysight-inc/HackerNews huggingface dataset:
Champagne SuperNova, incrementally verifiable computation
SuperNova is a recursive proof system which supports machines with a rich instruction set. We break down the different components needed for SuperNova and how to achieve non-uniform IVC in this new blog post.
Some channels won't air swearing, so they can reach better deals with providers. That's not a law.
Ask HN: Any good reads, articles or books on file migration?
I’m looking to build a tool to migrate files between cloud providers (ie blob storage, s3, etc).

I’m looking to learn best practices for doing so. The volume is a few petabytes but can be done incrementally.

I was thinking some queue that handles N transfers concurrently running in a k8s cluster. Queue I was thinking Redis or Kafka. However, I’d love to build something nice and resilient
Everyone marginalizes people they find undesirable. When was the last time you thought "where is a group of people I can't stand to be around? I want to go hang out with them right now."
Have you read this article: https://news.bloombergtax.com/tax-insights-and-commentary/ch...?
These are all good points, but I spent many years living in the town in question, so I am perhaps already biased.
Imagine in some Middle Eastern country, there are two parties. One wants an Twelver Shia Islamic theocracy, and the other wants a secular state.

From a local perspective, it might seem that these are two equal sides. In rural parts of the country, it seems like everyone is a twelver, so the right-wing party has large support.

But from a global perspective, there is no contest. Globally, humanity doesn't want a theocracy, and even most Muslims don't subscribe to that particular flavor of Islam so they don't want that either. Although they might be a majority within their country, globally they are a very, very small and unimportant minority that nobody takes seriously. Because the Internet is a global space, that is exactly how they will be treated. I certainly wouldn't expect ChatGPT to spout their party line, would you?

The same logic applies to all right-wing parties. "America first" might sound good to an American surrounded by other Americans, but it won't be received well in an Internet forum where many people are not American, and won't become part of the global discourse because it's completely irrelevant to the vast majority of humans. On the Internet you don't know anyone's nationality, religion, race etc., and culture can only be "local" to the extent that it is local to a particular website.
> America has a lot of quirks and problems, but in not many other countries can you flagrantly criticize/insult the government/leaders without repercussion.

This is possible in most of the developed world. You don't have to have the peculiarities of the American concept of "freedom" to have this one. Someone in Norway gets to enjoy both healthcare and being able to make mean comments about the Prime Minister.
Very cool, I’ll give it a spin in my next project
Have you tried working through any of the "make your own X" projects?

https://viewsourcecode.org/snaptoken/kilo/
> React has some of the most gorgeous style solutions around

Can you give an example?

> But idk what React codebases you've been in, the bog-standard, overwhelmingly popular bootstraps and guides since way before Svelte ever existed had some pretty nice style solutions and at the minimum importing CSS.

Vast majority use Styled Components or another flavor of CSS-in-JS that continues the problem of making it harder for HTML/CSS experts to contribute to a JS-only codebase. Tamagui is exactly the issue I'm talking about. It's great for JS/React first devs, but doesn't actually do that much that a good HTML/CSS developer couldn't do without all this added tooling and with much easier to read clean code for people unfamiliar with the framework.

> I think if you looked on average total CSS knowledge is higher than ever,

Definitely not my experience. There are some great CSS devs out there, but it is always secondary to the skillsets that are actually highly paid (JS, React) and they mostly end up in large companies by happenstance of those companies hiring more people. Smaller tech companies make the consistent mistake of not hiring front-of-the-front-end devs and end up with poor UI and experiences because of it.
Absolutely correct. But that fact doesn't make these arguments acceptable.
The nice thing about colliding two FRCs is that they form a new FRC with all their kinetic energy converted to heat, and it's very efficient to accelerate an FRC.
Yes I assume the definition of "software development" is going to be stretched as far as possible by most companies this year.
No we're not, HATEOAS is a design pattern that no one uses. People use the web because it made self-publishing on the internet (which already existed) slightly easier.
This is my childhood and much of my teenage-hood!
Right!? I went out, by myself, walking through suburban and semiurban (Houston) as a young child in the 80s and 90s — easily far more dangerous in a practical sense: more crime, less ubiquitous cell phones, ...

This helicoptering is nuts. It's something my family does, which is especially weird from my parents: humans I wouldn't see for days due to their long work schedules and my boredom in the summer.
You forget about the nature and quality of work. These people in an office adding things manually probably had a job that was safer, more dignified and healthier than, say, an worker in an Amazon fulfillment center.

If we are able to replace white collar work like this, i believe we will 'hollow out the middle': low level manual work will remain, as will highly paid engineering and coding roles and certain other areas, perhaps sales executives or others.

But the opportunities for many people unable or unable to meet the conditions or skills demanded by those roles, however, will be reduced.
They don’t use nginx anymore
> You can tune Fox news, but you can't use a "right wing chat gpt".

You can build your own with the GPT API. I started playing with it and it returned racial slurs in response to innocuous prompts like "hello" and "ok". Seems perfectly tuned out of the box for the kind of speech that the right is interested in these days.
Without commenting on the other issues, but something that struck me as very odd living in the USA, was how people in California appeared fully disenfranchised during presidential elections.

Yes, as a Californian you can vote, but your vote is near guaranteed to have no effect, and as a result, neither of the sides cares to address your interests, solicit your opinion, advertise for your vote.

It struck me as really bizarre.
Walled gardens rule all other gaming. It's not like I can take my rocket launcher from DOOM Eternal to Fortnite.
Fair enough. Also does bleach stain your bottles/bladders?
You know, being compassionate usually feels better than feeling right. Being right also gets you less far in life. Just a little life lesson I learned the hard way after 40 years of "being right". I used to make comments like this. Still occasionally do, old habits die hard.

Anyway, you also find out that being compassionate is also usually more right than being right. The problem is that, when trying to be right, you stop being inquisitive.

Now you might ask, "hey, you know, I always think people are lazy, good-for-nothing whiners, but now you are telling me that there are people that have some kind of neurological problem that makes it a lot harder for them to overcome the initial friction of starting a project/thinking deep?"

Or if you dont follow me in this argumentation:
Would you tell a cripple to "Stop whining about the most trivial of inconveniences, and just walk. We all learned to walk as kids, you are doing yourself and all the other cripple kids a disservice!"
I really dont want the internet populated with meaningless garbage to give traffic to companies I dont care about. Hopefully google will create a classifier and downrank anyone who just shoots out AI generated bullshit. The process for identifying AI generated content does look fucking bonkers tho.
I haven't done the touchscreen side of it, but have been thinking about switching to touch screen, currently my setup is just a display for infomation.

I'm currently running a raspberry pi with a 15" portable monitor (Here is one that is actually a touchscreen as well, mine aren't. https://www.amazon.com/ADPOP-Portable-15-6-External-Extender...)

For software I'm using magic-mirror, and then use that to link into my calendar, Home-assistant, weather etc. There are some input modules that can be added, so that might enable some touch-features.

I'm just renting right now, so I just have the Pi mounted in a case by the plug with some of those 3M picture frame strips and run the HDMI to the monitor (also mounted with picture frame strips) hidden in a track, If I owned, I'd bring the plug up behind the monitor, and flush the PI in wall and then wrap the monitor around a frame or something.
Sniper bullet to the foot just as instantly deadly as to the head too.
Curtis' shtick gets old after awhile. To hear him tell it we can no longer make sense of the world because it's complicated and politicians lie to us all the time, so we retreat into a mirrored room of our self, gratifying every desire to escape thinking about our futile life and soon approaching death.

I've watched just about everything he's made and honestly, he starts to sound like a moralizing preacher after awhile. We are selfish, self-centered, infantile, wanting computers to watch over us so we our worst impulses don't destroy us and so on. Things a preacher might say.

But his documentaries prompt me to think in different ways with other ideas, so I appreciate them for that
However, culture results in artefacts. You mostly won't find American Football Stadiums in England's cities, because it's not part of their culture. If the English suddenly took to this game, such stadiums likely would take as much as several decades to become widespread.

C libraries like OpenSSL reflect what's culturally appropriate in that language, so even if you came to C from a language with a different culture, too bad it has the culturally appropriate API design and behaviour.
It’s an absolutely fucked situation. In what world is revenue taxed *before* expenses. It’s a nuclear bomb for US innovation. Meanwhile China offers a 2x credit and the EU is almost as generous.

Our accountants have been apologizing for a month now about the lack of heads up because they were confident congress would extend it like they always have. Nope.
If a person isn't ethical in the first place (as proven by becoming wealthy through unethical means), they certainly aren't going to become ethical after they're rich.
It also says in Sec. 1.174-3 Treatment as expenses:

> Research or experimental expenditures paid or incurred by a taxpayer during the taxable year in connection with his trade or business are deductible as expenses, and are not chargeable to capital account, if the taxpayer adopts the method provided in section 174(a)

Seems like there could be room to challenge "all software dev is R&D"
Do you use cat or ls? Those tools were written like 40 years ago
This is essentially the same argument used to justify the racism that models will happily regurgitate if not trained explicitly to not do so. In the end “We hold these truths to be self evident, that all men are created equal” is an axiom that you must elect to believe, not solved backwards from population statistics.
Manna 1.0 – the software that managed employees better than managers
if you scroll all the way East on the Tabula Peutengeriana (a medieval copy of an ancient Roman road map) you get to India where "in his locis elephanti nascuntur" meaning "in this place Elephants are born" and a little West of that the same thing for scorpions. Some detail pics in this blog post including the Elephants one, and you can find full size scans of it but I don't want to deep link to them because they're huge.

https://digitalmapsoftheancientworld.com/ancient-maps/tabula...
Related anecdata + a study I found useful. After an auto accident I used to stress out when driving. I would recognize that I was stressing out and try to clamp down on it... which worked quite poorly and made me more stressed. Things got to a points I would hear a crash in my head every time I switched lanes causing even more panic and stress. Things changed after I watched https://www.ted.com/talks/heidi_hanna_the_cure_for_stress . Instead of trying to clamp down I recognized that stressing out is making me more aware to keep me safe and leaned into it. That coupled with some structured breathing helped a lot in just a few weeks and a year later I got back into driving is fun mode.

Recent Huberman study showed that structured breath work has measurable positive effects - https://www.cell.com/cell-reports-medicine/fulltext/S2666-37... . See more discussion on https://news.ycombinator.com/item?id=34480039

While all four groups showed significant daily improvement in positive affect and reduction in state anxiety and negative affect, there were significant differences between mindfulness meditation and breathwork in positive affect

Specifically, the cyclic sighing group showed more increase in positive affect toward the end of the study in a way that was significantly different than that for those randomized to mindfulness meditation, who had the least increase in positive affect

Instructions for cyclic sighing:

First step - inhale slowly until the lungs are expanded.
Second step - inhale again once more to maximally fill the lungs.
Third step - slowly and fully exhale until lungs are empty.

Repeat this pattern of breathing for 5 min. Ideally, both inhales are performed via nose and the exhale would be performed via mouth, but, if preferred, the breathing activity can be performed entirely through the nose. It is normal for the second inhale to be briefer than the first.

I am extremely excited that there is a follow up study being planned/worked on. One criticism I would give to the methodology is that instructions for cyclic sighing are by far the simplest compared to mindfulness meditation, box breathing, and cyclic hyperventilation with retention. As such it is possible that this method performed the best because it was simplest to follow.
Just as non-European leaders.
> We certainly need decentralized systems

Matrix and XMPP exists, what should we do to make this more popular?
Fair, I agree they probably couldn't buy something like Clubhouse.

I brought up Within because it was talked about a lot on fin-Twit as proof/sign they can't M&A anymore.
Too big to be honest?
When did it go downhill? I thought CS: Source was great fun. Didn't really care for CS:Go
The good reasons scientists are so hostile to new ideas
Yeah, I'd guess HN is a pretty 50/50 split left/right. I don't expect to see anybody on this post championing this result as the ideal state.

So if your image of left is "twitter left" maybe reconsider recalibrating it to "half of hn."
OpenAlpha: Swift package for retrieving images from Sony digital cameras
Google can't even successfully detect the shitty "we copied all of StackOverflow's Q&As and put ads around it" clones. I tend to doubt their ability to do something 100x as difficult.
Congress might do something if they went full Martin Shkreli on what they are doing in Big Tech.
boomer cynicism.
>The government isn't a monolith but the tens of thousands of police departments, containing what, tens of millions of officers are?

I think the metaphor "the government is the boss of the police" is not very accurate. The police are a political force that receives a huge % of most municipal budgets, with their own PR team/media relations, etc.

I oppose the war on drugs. However, I don't think decriminalization of all drugs solves this issue.
I think the key words there are "For purposes of this section", which means if you're choosing to designate it as R&E for the purpose of taking the deduction, you can do that with all software related expenses. The core premise of this post seems nonsensical, you're not going to be taxed on revenue as though it was profit.

Not in any way qualified to provide tax advice, don't take the above as anything but idle chat.
This man literally is doing the exact same thing the comment above is describing. Incredible.
Eggs are a major driver of salmonella incidence globally. Washing the eggs greatly reduces the incidence rate relative to not washing eggs. This can be seen clearly in the statistics when countries start washing eggs.

Statistically speaking, unwashed eggs are not "perfectly safe". It is the reason countries started washing eggs.
Again. No. Police officers have their own brains and make their own decisions on a case-by-case basis, not every weird interpretation of a law needs to lead to an arrest.

'Imagine' is a nice pre-amble to a strawman: that didn't happen.

What did happen is ridiculous, and regardless of the citizens having a very indirect say in the laws that get made to make them first cause rather than the police officers (and their immediate superiors) is - frankly - ridiculous.

I really wonder why you would bend over backwards to find excuses for something like this, it doesn't pass the beginnings of a common sense test. Having your parents arrested because you're walking on the streets as a child makes zero sense, no matter what the law says and no police officer with half a brain should make that arrest. Arrests are for criminals, worst case if they really wanted to test the law they could have simply cited the parents and then they'd have their day in court, this is simply a power play of the very worst kind.

Oh, and it is 'scapegoat'.
Not so. UK, Germany, and indeed most of the EU have significant speech restrictions accompanied by censorship or jail time if you violate them.

I'm not super familiar with Norway's speech protections, but it has a smaller population than the US state of Maryland, so it seems to be the exception more than the rule or at least not an easily scalable solution to America's problems. Saying "[Insert Scandinavian country proves it's possible]" is like saying "Look at how well Hacker News is moderated! Facebook and Twitter should take notes on how to do it right and fix the moderation issues with their services."
> Hopefully google will create a classifier and downrank anyone who just shoots out AI generated bullshit.

Only if it affects their bottom line. And I doubt that's going to happen.
Not to be a grumpy old man, but I will say, my known original definition of Web 3.0 was the Semantic Web [1] but I have no idea if that definition came before the one in TFA about those selling javascript webpage controls marketing their latest spinner product spinning it as web 3.0 > web 2.0.

[1] https://en.wikipedia.org/wiki/Semantic_Web
Good find. This is an incredibly "well they would say that wouldn't they" article.
Haha, probably we want a hinge on the joint between the gas pedal and the curved pin thing it pushes down? And move the pedal back or forward? Or yeah, I love to be super ignorant of the classical Simple Machines and try to work out mechanics like this.

I’ve actually had some success with guess-prototyping mechanical contraptions in the physics-sandbox game Besiege: https://www.spiderlinggames.com/

I can also emphatically recommend just getting a Husaberg 550, 570, or 650 %D
Crashes firefox.
> Munger is right and China was right. They're not wasting tons of precious energy and talent on creating scams, ponzis, casinos, rug pulls, and unlicensed securities.

So, the case for regulating crypto is that it, sans regulations, crypto harms consumers. Makes sense.

The case for banning it is... what exactly? Charlie didn't bother to make the case. All you say is that it "wastes time and precious energy". But time-wasting is a cornerstone of the modern economy, and there's no way crypto ranks even in the top 100 on that front. And electricity is not a finite resource, so banning a technology just to reduce energy use makes no sense.

What's the actual case for a ban?
> Unschooling works for some, mostly those who have a desire to self-direct. That's not everyone.

Definitely agree, I've also seen a non-zero number of parents using (home/un)schooling as an excuse to basically not parent their children and have intentionally disconnected from those communities
tcpdump is the kind of tool I'm glad is in my toolbox, but I hate when I have to get it out. Not because it's hard to use, and this article / Julia does a great a job at explaining the basics, but every time I've had to use it in the past was because something was really wrong and none of the partner teams I've had to work with either knew how to troubleshoot or had the tools to do it. If you run any kind of network connected infra, it's worth the investment in learning how tcpdump and Wireshark work.
I'm pretty sure Article 1 Section 8 was supposed to prevent us from having a perpetual standing army, but here we are.
Framing privacy in this light is a surefire way to lose it.
Real people take longer to be wrong. The potential volume one bad actor can generate matters; https://en.wikipedia.org/wiki/Gish_gallop is a dangerous enough technique when someone has to actually physically come up with the bullshit.

"Gish gallop as a service", essentially.
Can't or just doesn't need to? Their business isn't search, it's ads.
Location: Astana, Kazakhstan
Remote: Yes
Willing to relocate: No
Technologies: Python (Django, Django REST, Flask), Rust, JavaScript/TypeScript, React.js
Résumé/CV: https://kirusfg.com/
Email: kirusfg [at] gmail [dot] com

A junior software engineer looking for an opportunity to grow professionally. Most experienced with Rust and Python, have built a number of both monolithic and SOA-based Web applications. Open to any offers except for crypto/blockchain, trading, sports. The pay is of a lesser importance if the team/product/challenges are great.
I’m pretty sure you can change your controls from the home page (not once you’re in game). Not sure if the settings have inverted y axis, but it had scroll to jump so I wouldn’t be surprised.
Or the means to stop them. EMP of some sort?
> I would not blame the defector for doing what is in their best interest.

I absolutely would. The defector is willingly harming unconsenting others. That the harm would have been caused by someone else anyway doesn't suddenly make it OK.
One politician cannot be held responsible for a bill not passing that requires the votes of many others.
> What if I photoshop my crush's face onto a naked body? Wouldn't that be similar to having a personal deepfake?

Yes, and it's already widely considered to be really fucking weird behavior
no matter the reasons, even if current politicians and institutions are 100% trustworthy, no such law should be made.

you cannot guarantee that future institutions, and governments will be benevolent, and with such laws you give them easy access to tools of oppression.
> For me, the ideal abstraction here is CSS modules, where the class names are scoped, but the actual declarations behave like normal CSS.

How is this different from Vue or Svelte scoped style blocks? Those are just normal CSS with scoped class names.

> Different tools work for different people and in different contexts. You talk about the awfulness of CSS-in-JS, but last time I used it, I found it gave a really good balance between conventional CSS (albeit not in CSS format), while still being collocated with JS components.

People think too much about how these things work for themselves and their own skillsets, not whether it prevents other great people from contributing as easily. I know HTML/CSS developers who are way better than the average React dev at building great clean and accessible UIs, but they aren't as strong in JS and end up struggling with unnecessarily complicated JS solutions to things that don't need them.

Besides the colocation what other benefits did CSS-in-JS provide you besides the familiarity of JS logic? This feels like again a solution to solve a limitation of React, not actually the best solution.