skysight-inc/HackerNews huggingface dataset:
When I first started using NetBSD, audio did not work on the particular computer I was using. I made a simple edit to a kernel file and it worked. I no longer try to use NetBSD for audio; I'm interested in networking. I have learned to be patient about hardware support. As such, I am not making kernel modifications.

I always use a memory disk inserted with mdsetimage. Only some small edits to kernel configuration files.

https://ftp.netbsd.org/pub/NetBSD/NetBSD-current/src/sys/arc...

I always boot from USB stick where possible. On RPi I boot from SD card.

I make custom userlands for the memory disk using crunchgen and makefs. Often I'll add a static tinysshd.

In the beginning, many years ago, I learned how to "bootstrap" a "diskless" system comprising what I need day-to-day in a userland without having to compile anything. Never seen this approach in any published tutorial. Basically, I used an INSTALL kernel and substituted the /rescue crunched binary for the limited "install" one.

I will either put a "complete" userland, i.e., with compiler, etc., e.g., as a cloop2 compressed image file on the USB stick, then mount it after boot, or I will chroot to an external drive containing a complete userland.

Where possible I rely solely on the computer's RAM as writable "disk" space.

There is never any data stored on the USB stick or SD card other than configuration files. The OS is read-only, immutable. The stick or card can be removed after boot.
What's a deadpan switch?
this is only the case because this was allowed from day 1. If no one ever allowed this to begin with, that just wouldn't work. Of course this is speaking in hypotheticals, but my point is a more general one about specifications of human-readable formats. no one ever attempts to use strings without quotes in json, because then you would be incompatible with everything. There's compatibility issues, but they're far more subtle edge cases
And hopefully one day we'll live in a world where steak has the incredibly high cost it actually deserves, and people like you can spend your hard-earned money on it still while everyone else eats the fungi equivalent for pennies on the dollar.
And the dutch ones might as well be bags of water.
well, at least whatsapp, wechat, youtube and even telegram are trying to get into the first category. i ignore the respective features. in my case i eventually realized that i would waste to much time if i would try to follow all the posts pushed there, and it would also take to much effort to curate that content, so i decided to completely ignore it instead. but i am old, and my life experience helps me to stick to this. for young people this must be harder.

i agree that this distinction is important, but i am afraid it is a lost battle, and as we criticize the negative effects of the first category of social media we need to also point out how social media can be useful when it is in the second category.
SPOILERS BELOW

Overall I agree, it's pretty good. I may need to watch the 8 episodes again, because I was distracted by comparing it against the book and the Tencent/Chinese adaptation. Some scenes which I could tell were supposed to be emotional or shocking weren't as impactful as they could be, because I knew what was coming.

The biggest change was the Oxford Five, which gave character continuity from 3BP to the Crisis Era, and I think it worked ok. Unfortunately that aspect was also detracting, giving a "small world" sense that they all knew each other. The books sorta had that same issue but to a lesser extent (e.g. Da Shi was involved with all sorts of things that I would have expected was beyond his role as an investigator, even ending up on security detail for Luo Ji, ignoring his radiation poisoning from the first book).

I've been impressed with recent adaptations, like 3BP and Dune Part 2. Villeneuve changed a lot of little details but the story was still intact and impactful. Similarly 3BP/Netflix kept the cool ideas from the book while simplifying parts and dropping some complicating subplots -- e.g. ETO factions, Ye Wenjie cutting the rope at Red Coast Base.

One thing I wish they hadn't cut out was Ding Yi's analogy of the cigarette/pipe filter during his discussion with Wang about the sophons. It was helpful to me to imagine the unfolding of higher dimensions. In the Netfix show, they just seemed to expect everyone to understand that the unfolded particle would look like a mirrored surface.

A note about Tencent adaptation: The CG and acting by the non-Chinese actors were kind of subpar, but the nano-filament scene was awesome and just as good as the Netflix version. I was looking forward to the Netflix version to see if they could top it, but it was pretty much the same.

Speculation: I wonder if Raj will turn out to be the Zhang Beihai character, continuing on to the Battle of Darkness.

Last week when the tomguide review came out, he mentioned about a "Red Wedding" moment midway in the season -- but I know the real "red wedding" is in book 2, and nothing compares to that. What was he talking about? Jack's death?
It will never be production ready outside their IBM OS, as they don't even support LTS Debian.
That actually does happen. Industrial pig and chicken farms often have manure lagoons, which are exactly what they sound like. Do not do an image search for manure lagoons. There's been quite a few instances of people falling in and being overcome by fumes. I'm sure there are worse ways to go, but not many of them.
It should be pointed out that most Quorn products aren't vegan. They use eggs as a binding agent.
They mean software-filled. On “page fault (really a illegal memory access)” you walk a software data structure to determine if there should actually be accessible memory there then you “page in (update the MPU to make the memory accessible, possibly evicting another entry)” the memory.

This is how some older chips used to work. Hardware page table walkers can be viewed as just a hardware implementation of such code.
To quickly summarize: A Turing machine program or method can't solve the Entscheidungsproblem, which means you can't have a general algorithm to prove all possible statements true or or false (or equivalent) within a formal system.

For example you can't have a general program that you feed in any 2 mathematical statements and tells you if they're equal. From what I understand this is proven for "regular math" but not all formal systems.

As a counterpoint, there are many algorithms these days that can do theorem proving better than anything before in history (partly thanks to AI, and partly thanks to the massive efforts that went into symbolic computation engines over the past decades). I think in a few years theorem proving will be done elegantly by computers instead of humans. Not all theorems, sure, but this is the world we got to live in.
I feel you haha. Don't worry though, in Echo Chess a king is pretty much equivalent to a queen given that it's always your turn. Obviously move counts are different and the struggle in Zen Mode is real.
But if you have autocomplete suggestions enabled in your modern shell (Zsh, Fish, Nushell), you don't even have to press C-r. Just type and it'll complete for you.
(noob rant warning) What bugs me about the decidability thing, is Turing proved 2-undecidability in the action space {halt, loop}, but I still feel like we miss an opportunity to try 3-decidability {halt, loop, paradox} and throw out the functions upon which his proof hinged, namely, the ones that invoke the is_halting function and do the opposite.

Also, the whole, "we make this other program that does the opposite" argument implies the test of `is_halting` is actually a test of some other function "do_opposite" that wraps "is_halting" and does the opposite. That's not exactly fair, that's a test of the opposite function, not the "is_halting" function. Furthermore, the inner "do_opposite" evaluated by is_halting, is a different invocation of the do_opposite source. (I.E. Fregeian Sense and Reference, a different referent for the same sense).

Just because somebody outside the is_halting function can do something counterproductive, doesn't necessarily mean the specific invocation of do_opposite within the closure of is_halting is impossible to classify. Furthermore, is_halting could theoretically refuse to play ball and crash the program at runtime, or induce a compile error before the game can even begin, if we try to create a paradox. Has anyone actually even witnessed a real paradox in real life? Maybe the universe is deeply anti-paradox and the whole argument is a bunch of humbug.

Can someone please tell me how I'm fooling myself? Cuz I'm neck deep in coding this thing and building all the helper functions and it would save a bunch of time to know why it's wrong. Every proof seems to boil down to "muh contradiction" which feels like, ok, so what? If the caller wants to do_opposite, that's their problem, not on is_opposite. A function which can decide halting for all the non_opposite functions (which is, every one that matters in practice, right?)

Plus, who knows what an anti-paradox machine can accomplish? Maybe there's one weird trick quantum scientists or thermodynamic reversible computer engineers hate, and you can solve hard problems by finding the ones which both halt and don't.

Just feels weird how we all accept this quasi-religious belief that we shouldn't even try to decide if programs halt simply because you can't categorize every single program into 2 buckets. What about 3 buckets i.e. 3-decidability of the ternary halting problem?

sorry for long comment, fuck it, ill post code, it sucks and doesn't run, just tinkering, but https://github.com/bionicles/halts published for your pleasure. No promise it will ever actually work.
Credit to the PVR in Dremacast (and the entire design of DC), it was a very efficient processor considering the pricing limitations of the unit. I do love that the Saturn absolute sucked at transparency effects and the PVR was the complete opposite. Just throw the geometry at it in any order (per tile) and it would sort it out and blend it with no problem.

It was efficient but the performance was definitely the lowest of all consoles that generation.
Two reasons:

1. Because you've got one or more of the below spinning it into either a butterfly to chase or a product to buy:

- 'Research Groups' e.x. Gartner

- Startups with an 'AI' product

- Startups that add an 'AI' feature

- OpenAI [0]

2. I'm currently working on a theory that a reasonable portion of population in certain circles is viewing ChatGPT and it's ilk as the perfect way to mask their long COVID symptoms and thus embracing blindly. [1]

[0] - The level of hyuperis in some articles about ChatGPT3 reminded me a little too much of the fake viral news around the launch of Pokemon Go, adjusted for fake viral news producers improving quality of tactics. Especially because it flares up when -they- do things... but others?

[1] - Whoever needs to read this probably won't, but; I know when you had ChatGPT wrote the JIRA requirements and more importantly I know when you didn't sanity check what it spit out.
There's really no need for ID checking. Most porn sites already self-regulated by marking their content adult with meta tags/headers.

Parental control software picks up on that. [1]

Social media could do the same thing: make a social media adults-only meta tag for parental control software to use.

For the parents that care, and use parental control software, the ID laws won't stop their kids running into porn. The porn their kids are going to encounter is going to be on non-porn sites like twitter or reddit (or small sites that don't care about these laws anyway).

Maybe we needed a bigger push for more awareness or better parental control software but the ID law push is weird and unamerican to me.

[1] https://www.rtalabel.org/
Seems a bit gauche to link to them, but there are comments all over this thread, including top level ones.
I’m working on an app that ties a tech stack to psychological configurations so we can stop the “How many times did you mention Typescript” game on resumes and applicant tracking systems. The result is that HR can find diamonds in the applicants who might not match the precise keywords but can nonetheless do the job.
Yes, garbage collection seems to be the only viable solution for dealing with spaghetti reference graphs in their full generality, including possible cycles. In that context it's worth trying a high-performance concurrent GC implementation such as https://github.com/chc4/samsara Samsara.
I think manure here is used (not incorrectly, but uncommonly) to mean fertiliser but not perhaps animal excrement.
Well... (if I am calculating correctly)

A tomato plant is roughly ~40lbs/sqft/year (hydroponic... at 40W/sqft). That's a bit higher than the 80kg/m^2 estimate, but I don't have the wattage requirements for the lower yield. But, assuming it is linear, about 20Wh/g-tomato.

And then, from a climate impact standpoint... The marginal CO2 emissions factor in the Netherlands is pretty high at ~0.6kg/kWh, so ~2kg-CO2 for every (~6oz) tomato. That is about 200-300x higher than the CO2 from trucking (refrigerated) tomatoes from Spain to Netherlands (~30-40kg-CO2/ton-tomato/1000 miles ~= 7g-CO2/tomato).

The local ecological (water+fertilizer+pesticide) impact is probably higher in Spain (vs the greenhouse construction and land use in the Netherlands), though it is hard to know how much to trade that off.
Clearly, that's not what they wrote. They told people to fix their code that generate broken utf-8 instead, implying that validating fast is pointless since you don't need to validate at all. I don't understand how you came up with this interpretation. And I'm also not sure what you call out as a bad counterargument and how you would do what you suggest. And even if you don't validate on the hot path, it doesn't hurt to do it faster, so I don't understand why one would be against a more efficient computation.

But that's not what I'm answering to, and I was not taking sides so I don't know why you would reply to my comment with this. I was just clarifying something. I'm answering a comment that might have misread what they answered too, that's it.
https://en.wikipedia.org/wiki/Template:COVID-19_pandemic_loc...

and China gets their own page.

https://en.wikipedia.org/wiki/Template:COVID-19_pandemic_loc...

You didn't know about lockdowns?

>Based what what I saw, recreational walking increased during lockdown.

That's because exercise (walking only) was the only thing you were allowed to do. Exercise is not a form of transport though.
It's not a secret, and it's a feature available to all modern shells, not just BASH.
Lyrics are notoriously difficult to license. If I had to guess, I'd say they disappeared for legal reasons, not because there was a lack of will from the product/tech side.
> That's a pretty ballsy assertion.

You've missed the point entirely. If you gave me the choice between doing this or having my paycheck GARNISHED, I think the choice is obvious.

> Even in those, they'll just keep fining you. Great solution.

So, just garnish their checks, then? Are we discussing solutions or just being mad that problems exist and the world isn't perfect?
BETA launch: MedIA, a one-click tool for automating publication on networks!
how clients react when you show them those companies' privacy policy?
MedIA is your ultimate solution for automating the management, generation and publication of content on your social networks, powered by artificial intelligence. MedIA is poised to revolutionize the way businesses manage their social media presence. Focused on AI-driven content generation, planning and analysis, MedIA enables businesses to effortlessly maximize their online impact.
I don't think it's in the upstream kernel - various distros carry it as a patch. Maybe yours doesn't?
I'm working on a MPE MIDI controller with my friends at Aodyo. We've launched our Kickstarter last Thursday: https://loom.aodyo.com/en
A living replacement knee to be tested in clinical trials within five years
This is amazing! It's very satisfying to use and the combination of transcription + intent seems like it has huge potential.

I would love to use this in healthcare for dictating patient letters etc. I guess a local model / HIPAA compliance is some way off?
This is super cool! Should ideally happen at the OS level (some future version of Siri) across whatever apps you’re using
I love this idea. Wish there's a browser extension so I can dictate in my emails.
Many merchants in the US give a cash discount.

A generous interpretation is that this is rewarding the customer for not making the merchant pay credit card fees.

A less generous interpretation is that this is to facilitate tax evasion.

The truth is probably a mix of both.

I have friends with small businesses that basically admitted to the latter.
I have no idea of the specific numbers, but a component of GDP is indeed _net_ exports.

If you export
100B and import 100B the trade would account for 0% of the GDP.

At a glance, NL seem to import quite a lot of agricultural stuff, even if it exports more.

https://oec.world/en/profile/country/nld?yearlyTradeFlowSele...
You are really ignoring that I put smart before hard.

Sorry things haven't gone your way though, I am kinda surprised someone could have been in tech for > 10 years and not have significant savings, stock, real estate or something built up.
Is there a text version? I don’t want to listen to a woman shouting at her camera.
It also didn’t help that Sony poached a lot of studios with exclusivity deals.

The fact that the Saturn was harder to develop for, had a smaller market share and Sony were paying studios to release on the PlayStation, it’s no wonder Sony won the console wars that generation.
Nope, it gets access to its own framebuffer that’s composited in the GPU. OS sees a black viewport, and only a black viewport.

The comms is encrypted on the bus using strong cryptography, so you can’t sniff it.

All these software blobs are signed and encrypted, you can’t replace it without the signing key.
Just curious as to how well AI and OCR can handle locale issues in documents? E.g. is 1.000 is 1000 in German. There was also the famous Xerox scan bug.
Did you see the video of the guy who super optimized Mario 64 to run at 60 fps https://youtu.be/t_rzYnXEQlE?si=MpucGm0r_5KN-Nc_
Size and velocity of hail is an important aspect. You can design for a given average hail event and then a Big One rolls through and ruins your day. What are the chances of that Big One and is it worth the cost for more robust panels versus replacing cheaper ones should they get damaged?

My car will weather a hail storm of rice grain size no problem, but golf balls? Good luck.
AirDrop it?
That's not true about hailstones. It wasn't common to have golf-ball sized hailstones, but neither was it rare. I'd say it happened once a decade or so. They were sometimes much, much larger. I have photographs of me holding one about the size of a baseball.

I'd roll my eyes at the idea of "chemical leaking" (while at the same time not exactly wanting to grind one up and sprinkle it on pizza). It's absolutely the case that places in the middle of the country that get thunderstorms and tornadoes also sometimes get ginormous hailstones, the kind that can literally kill you if you're caught outside unprotected.
> But those are not choices guaranteed for poverty

Your encoded is assumption is that not only did they make these choices but that they were successful in choosing them. You're also missing the most obvious way people make this choice:

Having a child. Which, is not always a _predictable_ addition to life.

Everyone is acting like I've got some "anti welfare queen" bias here, when in reality I have an "anti bleeding heart" bias here. We should solve the problems. To do so, we should first be /honest/ about what those problems actually are.
It's the paradox of being a parent that is commonly hoisted upon you.

If you hang too close you're a helicopter parent. If you aren't around and they do something wrong idiots scream "where are the parents!?"
If actual politics reflected sentiment on the internet, US politics would look very different. The Overton window on the internet is very different from real life, there is tremendous bot traffic from outside the US, there are people with multiple accounts, and algorithms and "trust and safety" rules that promote certain views above others. You are confusing signal and noise. The majority of politics - that matter - is not discussed online, the majority of new ideas are not shared/accepted/rejected online - even in a business sense most founders know their cofounders personally, not from online chats. Case rested.

You idea of the town square is also outdated. Do you think the municipal government in Rome still meets at the Forum? And you did not address my point that even if it did exist as it did in whatever millennium you yearn for, would the behavior that is present on the internet be tolerated the same way? Was the Forum or Copley or Dock square known for adult men showing their genitalia to underage women? Your idea of a town square is antiquated and likely would not have tolerated the behavior you think the internet should just because its the town square. Case rested.

> The rest of your post sounds like moral panic.

Nice rebuttal there. If it's just moral panic, why does the data suggest that social media use its detrimental to adolescents' mental health and well being? Why is the effort to curtail social media influence on kids' a bipartisan effort in an increasingly partisan society? Even the misguided level of libertarianism you're probably advocating for understands that short of pure anarchy, there are some externalities governments have to address, chief among them are social media platforms that are evidently harmful to certain parts of society (young kids). Case rested.
It's a fun exercise in which I think you'll find polling to be fine for many Arduino cases. Not as much for raspi and higher level in my limited experience for various hardware reasons and overhead. And quickly when you do other stuff, especially blocking high level communication, polling does suffer. But interrupts exist and are a reasonable level 2 for people to learn.

https://www.mikrocontroller.net/articles/Drehgeber is an excellent article (in German, Google translate is fine afaik. Check the interrupt section
Generally in agriculture (and other domains too) when you maximize output the quality suffers. And tomatoes are no exception. Growing your own or finding a small hobby grower and greatly appreciating their efforts are your best bets for having actual tasty stuff. Tomatoes are no longer true luxury food but tasty tomatoes are.
GMail wasn't even the first search engine to offer a webmail service! Yahoo got there first.
> does human effort imply value?

Depending on the nature of the book, I'd say absolutely yes. What makes any art form have value to me is that it's human communication.

> There’s no point in fighting it

I am not yet willing to just lay down and die.
Which is not a very big production at all because most countries that don't qualify as failed states rightly organize their food production independently. The biggest buyer tends to be China who doesn't need the food to begin with, it's just buying on generational paranoia.
Nice, there are also many other variants of this pattern, such as are implemented in the qcell crate.
$1.4B in Vinyl Record sales beating out CDs for the 2nd year running
How the fuck does one "assemble DNA" lol

Sorry but that's so outside of my understanding it reads like pure science fiction

(I'm sure it's a thing, I'm just a moron)
God, darn it. It's time to disable updates and retain an archived copy of the installer.
> I encountered bugs and had to fix glaring problems in code literally everywhere I worked.

Fixed it for you. This is why they pay us the medium bucks.
You're probably joking, but that's what lockdowns were.

Here's a funny vid as well: https://www.youtube.com/watch?v=JbvWniXcNhA