skysight-inc/HackerNews huggingface dataset:
We have property rights for physical objects because physical objects are scarce. Only a limited number of people can use any given object and we need some way of deciding who gets to use it.

On the other hand copies of writing are not scarce. We can give copies to everyone who wants one for practically free. Property rights for copies of writing are therefore artificial. Creating artificial scarcity where none exists has real costs that in many cases outweigh the benefits.
I picked papaya / pawpaw for a year, and the tree sap burns you for months, you bleed in your sleep when you sweat, you lose your body hair where it burned and it never regrows.

Nature doesn't mess about.
thanks for sharing. Your blog looks like a old forum board.
> Proper tooling with C can prevent memory issues

Statements like these make me not take people seriously.

The state of the art in tooling for C to catch memory issues is miles ahead of what it used to be. But they won't catch everything, not by a long shot, especially when you often have to teach the tools how memory is managed in whatever library you're using that isn't just simple malloc()/free().

If the compiler for my language of choice can just do all this for me, and fail to compile my code when these issues might exist in my code, that's amazing. I don't want a language that lets me do broken things, and requires me to run an extra linter or tool or whatever to help me figure out what I've done wrong later.
Why should they take the higher ground when the American voters clearly don’t care or think it matters?
I put coloured glasses on the past because back then companies didn't request developers to know more than one programming language. They just used fancy words for simple tasks.
I am not sure if this the same, but this reminds me of the Abilities system on the Move language[0]. It allows you to create linear, affine or other type constraints in a pretty flexible way.

[0] https://move-book.com/move-basics/abilities-introduction.htm...
There are a lot more debrid providers out there, but they are one of the more recognizable names.

You can even self-host your own:

https://github.com/debridmediamanager/zurg-testing

Lots more debrid info, services, and tools here:

https://github.com/debridmediamanager/awesome-debrid
they're finally allowed free coffee in the office again
A Trillion-dollar company is not a startup. The company is over 30 years old.
what a waste of money, time and energy that could be spent on preventing real harm to real people. cops are cops.
Learning styles is something that's actually not supported by science at all and a common myth that is damaging.

https://onlineteaching.umich.edu/articles/the-myth-of-learni...

There's a good back about how to learn effectively written by cognitive scientists:

Make It Stick: The Science of Successful Learning by Henry L. Roediger III, Mark A. McDaniel, and Peter C. Brown

Definitely worth a read, even reading a summary on the book would be beneficial if you want to become a better learning. The techniques in the book work IME.
POKE 53280, 0
Activist or terrorist? Those groups have blurred the line. Several are officially on terrorism lists.
> ...had my last laptops (work/home) with amd and it’s much better battery life and performance then my (9th? Gen) intel notebook with nvidia...

It's well known that an integrated GPU will give you a better battery life compared to a discreet GPU.
Is the strength of the claim reduced if the damages are exaggerated? Or would (could) the judge simply say "yeah you're right, but you're wildly wrong on your actual damages -- redo and show your work, not counting people who never would have paid you"
All of NASA uses PowerPoint a lot.
> it’s definitely not forcing people to accept it

Wait, you mean you've worked on projects where you've achieved unanimous agreement on any large technical decision, ever?

No, sometimes people need to be forced to accept change. The whole "disagree and commit" thing. Humans are strange creatures; we often resist change for the sake of resisting change, regardless of whether or not the change is good for us.

When it comes to the Linux kernel, what Torvalds says is law. He certainly isn't going to go against what many/most of his trusted maintainers want, but ultimately he's going to decide what's best for the project, based on his own reasoning, and the choices are to get on board, or find another project to work on. It wouldn't be the first time he's "forced" people to accept something that he's decided on.
Three Math Books Everybody Should Buy
OVH is larger provider, servers usually not significantly more expensive than hetzner.
I'm the same way! But there is a _lot_ of music that's designed to repeat _just_ enough for you to enjoy / learn a pattern before evolving. Almost all of the music I made back in the day followed these rules, like Omni or Mountain Hunter: https://www.youtube.com/watch?v=6BJ0smdh4QI
I came from an academic background, and didn't have anyone else in the team with programming experience when I was researching. I found my time as a contributor for the scikit-learn project to be invaluable in learning about the requirements to build not just working code, but more robust reliable code that others can depend on. Having my work reviewed by those with more experience, making recommendations etc, was fantastic.

So in short, see if you can contribute to a well-run open source project with a good community.
This anthology remains my perennial favorite. The Moon Moth, The Martian Way, Earth Man Come Home; these short stories have held up. They all have that emotion and mouth feel that led many of us to the work we do.

The Science Fiction Hall of Fame, Vol. 2-B

I’m including a link so you know the ISBN and what the cover looks like: https://www.thriftbooks.com/w/the-science-fiction-hall-of-fa...
Of course, how could I be so forgetful?! Probably the brainrot of being on here so long.
Mango sap is also super caustic.
It already was mob rule by the establishment. Now it’s moving towards populist rule. For the domestic constituencies instead of for the globalists.
# /etc/sudoers.d/99-insults
---------------------------
Defaults insults

Thank me later. The number just defines load order (99 being last), you can use whatever you want.

You may also want

Defaults env_keep += "EDITOR SYSTEMD_EDITOR"
Nationalize the company and return all profits to the taxpayers. For national security. But that would be crazy! Too socialist. We can’t have that kind of authoritarianism. Only the kind that subsidizes shareholders and CEOs.
I’m a fairly traditional libertarian but I’ve softened a bit on my definition of “essential industries”. If other countries make essential goods we need, and they become hostile to us or get conquered politically by those hostile to us, in a war we would be in a lot of trouble. We saw a bit of this during COVID when we couldn’t even make basic products.

No matter the subsidies they will still lose if their products suck. But we need some minimum ability to build things here if it all goes to hell.
It’s sad. Once Steve Jobs died, the software has just slowly been slipping into Microsoft territory. The UI is getting so complicated
Is CBMC usable, directly, on any project? Or do you need to write your code in a certain way, using certain patterns, etc.? Or does the CBMC tooling need to be taught various things about how memory management works in your project?

Regardless, the fact that it's not used regularly/routinely with the Linux kernel (or any project that I'm aware of) suggests that it's either not suitable, doesn't catch enough issues to be worth the effort, or is just such a pain to deal with that no one has the patience to put up with it.

Rust gives you much (sure, not all) of what CBMC provides, in the compiler. That is a huge win, IMO.
This two-part keynote might give you a good flavour:

* https://www.youtube.com/watch?v=4WMfKhKKVN4

* https://www.youtube.com/watch?v=zooYfk5-yPY

If you can stand up a Cartesian-closed category, it is a model of a lambda calculus. So you can make a compiler plugin that takes lambda terms (a large subset of Haskell) and compiles it into all sorts of exotic settings (dataflow diagrams, derivatives of the function, ...)

KittyHawk used it to compile Haskell to C in https://github.com/sellout/compiling-anything-to-categories and someone talks about their work here: https://www.youtube.com/watch?v=VUBj8NW7uMA
melting glaciers are revealing territory previously inaccessible let alone unexplored
That's actually pretty cool. Chip companies can't complain that Chinese companies are ramping up faster just because of their subsidies anymore. This should level the playing field, hopefully?
You're probably running 18.1.1 by now
I did this but faced enormous problems with transfer/recalling definitions/etc. what helped me improve several fold in approximately exponential value

1) Drill/spaced repetition basic definitions. The Cornell note taking method is convenient to do this while taking notes.

2) Keep a diary of thoughts, things you couldn't solve or did solve. Especially identifying problems, what works or doesn't, why something went wrong. Metacognitive thinking was really useful for transferring problems to solving new ones.

3) A study group involving a lot of us explaining to each other.
ive had horrible experiences with mergifys tool. do you know if this is better
An easy photo app fix:
Photo app > scroll to bottom > Customize & Reorder > deselect everything but Media Types and Utilities.
And will likely disappear on January because anything one party does must be undone. Politics in the US.
Yes, it's something that all governments should be thinking about. Globalisation is amazing for delivering the greatest production efficiencies, but it can easily break down in times of pandemic or war.
https://github.com/astral-sh/uv

Python tooling got better with uv.
The ratio of linux desktop users:sysadmins I know is something like 50:1
Somehow, the 28 second clip managed to provide zero additional information.
Codons for the same amino acid can have very different efficiencies due to use of different tRNAs. And tRNA abundance varies across organelles (mitochondria), cells, and organs. It is not just protein sequence but also protein abundance and translational progressivity/speed/efficiency and completeness. Reverse translation would not recover these aspects.
I was in this situation a few years ago and was really worried about not having seniors.

Something that turned out to be extremely valuable was having the chance to make lots of technical decisions (many big, many teeny tiny) and then stick around long enough to evaluate them afterwards.

A lot of things worked out great, and a lot of things didn’t! And now I have a decent amount of insight and opinions on those sorts of things. And those insights getting me a lot of respect at my new job! Which is only my second job, after being in the hot seat at my first, which was a startup.

So my advice is try to at least stay around to evaluate your own decision making. You will end up challenging a lot of your own beliefs. I think it changed me more than anything else at that job.
And how is with Macos now? I see it is kinda supported, but ...
Surprise no one's figured out a way to package this for permanent hair removal purposes.
I ended up with a 3090FE card, decided to build the first tower I’ve built in years. Opted for and 7800x3d, didn’t realize what a dope chip it was. It was just a better price point than intel - I think 2022 or 2023
I wrote a small shell function that does exactly that. Uses gh and yq (you can replace the yq part with jq)
https://github.com/chrisgrieser/.config/blob/main/zsh/config...
You're missing a case where the paid option just isn't offered. Sports events in particular are often blacked out in certain areas. Other content is also blocked by region. There are thousands of people who would gladly pay to watch this content legitmately, but it isn't an option. So you find them on a pirate service.
The US has had to apply heavy pressure to both the Dutch and the Japanese to get them to restrict exports to China. They wouldn't have done it if not for the US demanding them.

https://www.ft.com/content/3fa44901-33e4-4ab4-9f7b-efe1575a6...
Solve problems and pretend you are senior. You'll stumble, fall, make mistakes but that's the best learning you can hope for.
If people weren't watching movies, they maybe would be watching people in theaters, which is a plus for me though unlikely.

I am a performer whose work is done live anyway, but people have to take out time in the day to visit and play.
Warp terminal no longer requires login
This is related to Terence Tao's notion of the stages of mathematical rigor.

As Tao puts it, the value of intuition becomes much higher in the post-rigorous stage once you have sufficiently developed your technical skills.

https://terrytao.wordpress.com/career-advice/theres-more-to-...
I realize this is ancient history, but prior to cable people got Big Ugly Dishes aka C Band dishes and at the time you could subscribe ala carte. When cable came along they practically doubled prices when they also bundled channels ostensibly for convenience but also allegedly due to bundling/license agreements with content providers. The grumbling about unbundling then was due to the price hikes.
Have to agree - I don't know a single person who is paying for pirated content subscriptions. Seems highly unlikely.
I didn't know about limes but knew about cow parsnip (Heracleum maximum) which contains similar compounds that cause burns when exposed to sun but I just avoid touching the plant and its typically obvious and easy to avoid (unlike poison oak).
At its simplest, rewrite and interface regularly with knowledge. There’s an entire hobby around personal knowledge management, and it‘s all up to you to find what works best, but taking meaningful notes and rewriting those notes, processing them further and further, will help form deeper mental connections regardless of method.
Nope. Do not forget tRNAs. Abundance and efficiency of production of proteins are also critical and that can depend on codon usage.
cough cough
extremely weak immune system with multiple allergies anyone
> Instead, I would prefer all applications were sandboxed to their own little respective areas with minimal access to data unless explicitly authorized.

You’ll be interested to learn about systemd-nspawn. You can sandbox stuff with it really easily. It is like chroot so not really resource intensive, lighter than a container.

I think a pretty useful thing you can do is boot ephemeral instances. So whatever someone does there gets undone. Useful if you’re doing system testing or CI. Because you just set up the machine once and then your scripts and whatever can do what you want. Perfect example is when trying to test install scripts.

Though this is also kinda the point of flatpak and snap. Though these are controversial in the Linux community. Then again a lot it people dislike systemd, though fewer than originally.

https://wiki.archlinux.org/title/Systemd-nspawn
> Sono stati sequestrati oltre 2500 canali illegali e server che gestivano la maggior parte dei segnali illeciti in Europa, con i quali i presunti frodatori hanno realizzato un giro illegale di affari di oltre 250 milioni di euro mensili.

Google translate offering
> Over 2,500 illegal channels and servers were seized that managed the majority of the illicit signals in Europe, with which the alleged fraudsters achieved an illegal turnover of over 250 million euros per month
This is why Trump wants to repeal the chip act. A company like Intel should not survive in the free market, and now will be propped up by the government while remaining inefficient.
Great response. Thanks.
Long-lived rails apps are a nightmare to work with, in exactly the same manner as long-lived java, python or php apps
I pay for almost all
Streaming services via promo offers and visit pirate websites too. Yet I rarely use either rather just watch things on YouTube, TikTok or instagram reels. All offer short form content and they know what I like to watch and keep feeding me such. Long form content at times I found hard to sit through now.
I got habanero peppers over my hands once (was dumb and didn't wear gloves) and the only thing that helped was quickly rinsing with bleach. Problem was solved.
Intel circa 2025 is the new AMD circa 2015 and for all our sakes I hope their story turns out similarly to last decade’s story.
It would be hard to fathom how a father who has the means would not do it. Biden is just being a father.
Point I was trying to make was that low-code is a lock-in IMO, and I would pick Ruby, Django, or whatever any day for no other reason than being able to modify/maintain/own code.
I often go back to this post by John D Cook. Quote below:
https://www.johndcook.com/blog/applied-category-theory/

Category theory can be very useful, but you don’t use it the same way you use other kinds of math. You can apply optimization theory, for example, by noticing that a problem has a certain form, and therefore a certain algorithm will converge to a solution. Applications of category theory are usually more subtle. You’re not likely to quote some theorem from category theory that finishes off a problem the way the selecting an optimization algorithm does.

I had been skeptical of applications of category theory, and to some extent I still am. Many reported applications of category theory aren’t that applied, and they’re not so much applications as post hoc glosses.

At the same time, I’ve seen real applications of categories, such as the design of LINQ mentioned above. I’ve been a part of projects where we used category theory to guide mathematical modeling and software development. Category theory can spot inconsistencies and errors similar to the way dimensional analysis does in engineering, or type checking in software development. It can help you ask the right questions. It can guide you to including the right things, and leaving the right things out.

Category theory in LINQ

https://queue.acm.org/detail.cfm?id=2024658
The question of "What is the purpose of introducing the untrusted "server" component?". Looks like you've since replied to this, but it wasn't here or I didn't see it when I dropped the parent comment. The reply also doesn't compare alternatives such as direct use of an object store API. I've fielded a lot of user support questions about installation and would really hesitate to add that extra moving part if it's not strictly necessary.

Overall, we must be coming at this with quite different expectations of what a NVR should do. Not just this but also "when the app fetches a video, the server deletes the ciphertext (in order to be memory efficient)". Some installations of my NVR software are multi-user; I personally use it from multiple devices; etc. So the idea the whole pipeline exists just to transfer event videos to a single Android device results in a system that I would not find useful.

There certainly is space for different approaches. E.g. Frigate's approach is quite different than Moonfire NVR's but obviously is useful in a lot of ways to a lot of people. But my take is that Privastead's approach is going to be pretty niche, and the claim that other NVRs don't offer strong privacy assurance using "end-to-end" (on-prem server to client) encryption is untrue.

Also, I find it inaccurate to say it's mostly implemented in Rust which "provides higher security assurance for the hub". The Amcrest camera you've chosen is essentially developed by a hostile nation-state, and the protocol code you're using to interact with it (ffmpeg) is all written in C, which I find incongruous with the privacy/security goals. In fact, ffmpeg's RTSP and Matroska code is probably the majority of lines of code in the system.
It’s true, discretion is the better part of gaming
Ask HN: What's your most interesting automation?
What's the most interesting personal or work automation you've created? What language is it written in?
I feel like those threads would make great research opportunities. We often hear people say that code should be for people to read, incidentally for machines to execute, just be amazed at how much the readability varies from answer to answer.

Skimming some, the core of Part 1 after people have parsed and sorted:

Python:

sum([abs(x-y) for x,y in zip(left,right))

TypeScript:

list1.reduce((acc, cur, i) => {
return acc += Math.abs(cur - list2[i])
}, 0)

Common Lisp:

(reduce #'+ (mapcar (lambda (l r) (abs (- l r))) sorted-left sorted-right))))

Julia:

sum(abs.(list1 .- list2))

Rust:

Ok(zip(left, right).map(|(l, r)| l.abs_diff(r)).sum()

F#:

Seq.map2 (fun x y -> abs (x - y)) xs ys |> Seq.sum

APL:

+/|-⌿

Haskell:

map abs $ zipWith (-) column2 column1

and then all the submissions which don't do anything like this, and have manual loops and indexing and clunky data representations or performance-optimized data representations, etc. etc.
I am running simulations with a rapidly evolving codebase. I have a separate repo with all the simulation code in it. I am want to tie each simulation with the git commit (of the main repo) at which it was run. Are git submodules the correct solution to this in any way?
not exhaustive, but this paper (https://pmc.ncbi.nlm.nih.gov/articles/PMC8070520/) shows very low levels of a few of these compounds in carrots compared to other edibles (ex. grapefruits).
If it isn't already, this will be illegal one day. If this type of finance gimmick catches it would be very dangerous in groups/sectors. It is pure speculation and they are floating convertible notes based on the increased market cap of the stock having just purchased Bitcoin and using the proceeds from the bond sale to buy more. This will wipe out shareholders.
I was experimenting with taking that to a median using containers in nixos. IMO the distinguishing feature of qubes is the fact that there's chrome indicating the security level of a window based on its vm - I put together https://github.com/andrewbaxter/filterway to use with window manager rules to hopefully get the same result.
Stuff like MS Power Apps. More traditionally MS Access. Basically drag and drop App builder - UI form builder, connectors to connect to public API-s and even store data.
Except for reasons like national security and domestic jobs rather than skin color or sexual preference
Ok. Guess its different in the US when compared to India. Looks like US system does tie your hands down when it comes to healthcare based on your explanation.
Yeah, lack of money is rarely the problem for these behemoths, it’s lack of will or motivation.

To that end, I wish the government just said, we’ve deemed you a provider of essential goods, find a way to get your company to invest onshore, or we will find a way to get your company to invest onshore, your choice.

I know, I know, slippery slope, but it’d be great if we could do this instead of giving them taxpayer money in this way - in the long, long term it’s good for the country, but in the short term it’s good for their stock.
GrackerAI Free Tools
The medical term: Phytophotodermatitis (https://en.m.wikipedia.org/wiki/Phytophotodermatitis)

You can get it from the carrot family, citrus, mulberry, and legume. Most people only know about the citrus.
There are situations where a long comment is warranted. Sometimes you have to drain the septic tank and it’s a nasty process. Better do it once in a contained environment wearing gloves and a mask. Document why this code sucks. Explain what it does and why.

But in most cases explaining what your code does is like explaining a joke: if you have to explain it, it’s probably not very good.
Stripe Business Flow Control Monitor
> As single user, each and every process has full and complete control of $HOME. I would prefer all applications were sandboxed to their own little respective areas with minimal access to data unless explicitly authorized.

This is what OpenBSD's unveil does. Firefox for example only has access to ~/Downloads (and some stuff in ~/.mozilla, ~/.config, ~/.cache) in my home directory.