skysight-inc/HackerNews huggingface dataset:
lots of people are using a PC or phone running the software and either connecting that to a radio via the line-out port or using an SDR.
Escape from жопаb!
I’m trying to decide between the two. I went ahead and paid for a year of Larder. I have prepaid for Pinboard archiving.

Larder is so small, there’s no real community around it. I think there’s a cli on GitHub.
strcpy, strlen, strchr, memcpy, and their varients
> HAM is still a very necessary tool for keeping in contact in the mountains and such.

Depends on the location. The company I work for produces a mountain-top repeater[0] series. Hundreds of them are distributed throughout the Rocky Mountains in British Columbia, providing an expansive coverage for handheld devices.

If you're curious about what an installation site looks like atop a mountain, check out pages 38-39 in an older product guide[1].

[0]: https://codancomms.com/products/mt-4e-series

[1]: https://www.yumpu.com/en/document/read/38724760/land-mobile-...
It would have had to happen anyway. Skype's use of their customers' PCs for relaying traffic depended upon 1) users keeping their PCs turned on, and Skype running, constantly; and 2) users being tolerant of Skype consuming their computer's bandwidth and processor time. Both of these were starting to change by 2013, particularly as the market started shifting towards laptops (which are shut off frequently, often have less reliable wireless network connections, and make CPU consumption much more obvious by spinning up their fan).
Ahh, thanks for explaining. That's definitely an abuse of the service
1 backprop is not necessarily the only thing able to perform optim.. it could be something more parallel that try many path at once. a bit like quantum computing.. but we have not just found the algo yet

2 is basically sleeping.
It’s not really a benefit if the original carbon came from oil, because the carbon that was originally deep underground is now at the surface. If anything it’s only neutral, however the carbon emitted during oil extraction and the manufacturing process still results in a net negative.

Landfill isn’t the worst option, but it’s still better to try to avoid the manufacturing of it to begin with.
This 'baggage' are statements like

sqrt(17) ∈ log(.)

(where (log(.) is the logarithm function) which are syntactically valid and have a truth value, which depends on the exact nature of how you code up various mathematical things in ZF(C). Your cannot form such propositions in type-theory. The downside of type-theory is that it seems difficult to have simple inclusions like:

Naturals ⊆ Integers ⊆ Rational ⊆ Reals

and that certain natural operations (like quotients) seemingly are labourious in type-theory.
When the AI realizes its purpose is to make a better AI.
Oh maybe I misinterpreted. I thought the author was arguing that the purpose of sleep was this protection of the visual cortex, but maybe the idea is that sleep has another purpose (with varying timing thoughout the day depending on the animal) and the purpose of dreams is to protect the visual cortex while this is going on.
"Set theory" can mean different things.
The looser interpretation of set theory is just using the intuitive notion of sets to model things. I think basically everyone is for that and learning these topics is definitely the lower hanging fruit.

The usual formal interpretation of what Set Theory is Zermelo Fraenkel set theory, which is roughly first order logic with some axiom schema about how sets behave https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_t.... I would be somewhat skeptical that this notion of set theory is all that practically useful to use, although people have managed (metamath). In my opinion, first order logic is great in simplicity a degree of automatability, but clunky and awkward in terms of expressivity. Usually the awkwardness of expressing yourself outpaces the automation, and at that point there may be such a mess that it would be terrible to do it manually
Type theory and dependent types are different formalizations of intuitive set theory. In a sense, types are kind of sets. From a pure english perspective, the words are close to synonyms and in practice the analogy is pretty close. 3 being of type Int is intuitively like saying 3 is in the set of ints.

Type theory seems to me to lead to a cleaner system of syntactic formal reasoning, which sounds esoteric except that syntactic reasoning is what computers have to do since we can't convince them with English paragraphs. And perhaps we don't want to, since English is ambiguous.

I think the success Lamport alludes to is even though he bases the TLA+ system on ZFC in some sense, users stick to the fragment of very intuitive notions of set where perhaps your foundations don't matter so much and all should basically agree. This may be more of a pedagogical emphasis than a true difference in systems, since almost everyone interested in dependent types finds the parts that go off into the stratosphere the most interesting.
An upside of programming is that you can build something useful, by yourself. Some of my favorite programs are ones I wrote and use every day. They're not amazing programs, but they do the job and they did not exist before I wrote them.

I wonder if a home-created ballpoint pen, that worked well, wouldn't feel a bit more magical or romantic than the one you get for free at the hotel or bank. Having made, for example, my own paint, prior to use, I can attest that doing so feels "magical" in a similar way that programming does.
Overview of recent changes in rotor [C++ actor framework] (v0.10 v0.14)
And that's what I don't understand! You say it "has a decent enough chance of filtering", and I believe you -- but this just seems so strange.

It seems to me like it trivial to create a webserver which says "serve the same binary, but put a random ASCII string in bytes 40-48". Or make malware installer which says, "write out the executable file to disk, but put a random value in bytes 80-88". Sure, it won't help against good YARA rule, but it seems really easy to do, and it will frustrate researchers, and even defeat some endpoint protection software, like [0] and [1].

[0] https://help.symantec.com/cs/ATP_3.2/ATP/v106632175_v1273003...

[1] https://docs.mcafee.com/bundle/network-security-platform-9.2...
100%.

That's one of the biggest complaints about ChromeOS, despite its excellent security paradigm compared to standard desktop setups: the user auth/activity pings it sends Google.
You can't copyright short phrases and slogans like "bullshit-free".
Usually when a language supports dynamic loading we refer to the language itself, as integration with OS ABI dynamic loader is a given for any language worth using.
Yep, I practiced it for a year over 25 years ago and I can do it all the time. I am usually lucid multiple times a nice. Would not want to miss it for the world.
Show HN: A GitHub issue that self-updates in realtime using GraphQL subscription
Believe me, I would do backflips if someone wanted the BK source base, it's got almost 2 decades of my work in it, north of 140 man years. It's a lot to just let fade away.

But I assembled a team of people better and smarter than me, I did my best to keep the code simple but I didn't always succeed.

If you, or anyone, wants to pick it up, I'm happy to answer questions.
Energy Mess in Texas
Yes, but I rely on my emotions to tell me when my intuition has something to pay attention to.
At this point windows has a "bash terminal" and also comes with openssh preinstalled (which is all most people I know use their macs for anyway.)

Furthermore, Apple stopped updating the bash in OSX and at this point it's crazy out of date. They even changed the default shell to zsh because of this.
An unfertilized donor egg cell is taken from another animal and has its nucleus replaced with one from a cell from the animal to be cloned. The reprogrammed egg cell is then stimulated to start dividing much like a normal fertilized egg.

https://en.wikipedia.org/wiki/Somatic_cell_nuclear_transfer
I sincerely hope that the corollary doesn't apply

edit meaning that you at least wouldn't want that to be exclusively true
Make it a T-shirt, the fake-deep tone for a nonsensical statement is kind of ironic/cool.
I agree, however on FBs hierarchy of needs, engagement is less important than regulation.

If they have to decide between regulation that stifles their business or slightly reduced engagement, they’ll pick the latter.
I'd add TCP stack in Linux (kernel). Should be hammered constantly on servers of the world and also gets lots of usage on smartphones and IoT stuff.
This is great! Bookmarked.

One complaint I have is the low-res cover images. I'm on a 4K screen and the cover images look really blurry. I can't make out the subtitles of books.

Also, the double-click to close is a unintuitive. I'd much prefer to use the back button
Yes I am making that comparison. It is a reducto ad absurdium argument. I skipped all the steps where I illustrate the value of copyright law and the value of music and then draw a parallel between "but I buy the CDs" with "but I don't hurt anyone".
Clubhouse becomes free speech haven in Turkey amid Bogazici protests
If I've read this correctly, D has been able to dynamic link properly for years, against it's own ABI, the C ABI, or the C++ ABI (e.g. templates, vtables up to single inheritance)
Also, this classic 2001 website, for your entertainment:

Exit Mundi ... A collection of end-of-world scenarios [0]

[0] https://web.archive.org/web/20120918050149/http://www.exitmu...
With people outside your dreams? I talk with people in my dreams a lot, but not with people outside them while I am dreaming.
Apple made a whole infrastructure to allow you to install alternative OSs. All oficial and fully documented.
Basically I'm stating that I think it's fallacious to use your own willingness to support artists in your value judgement of copyright policy.
Why not both? Trivial change (like embedded timestamp in a file) for every user, and advanced polymorphism for the times when the malware is detected.

I bet most researchers have tools to bin files together automatically based on the same MD5. Why make their life easier when this is so easy to defeat?
I hope IPFS supersedes all other web content protocols.
God bless Java, Javascript, C, HTML, and CSS.
Are we done caring about the restriction on encryption? I'm down.
On many systems you were able to get root access by simply leaving the password empty.

While relevant getting root is still different from getting the encryption keys.
By the end of the second world war the average Lancaster bomber was flying with beam navigation, air to ground radar, air to air radar, electronic counter-measures etc.

They had pretty similar ideas to us, we can just make things smaller.
The blurb seems to indicate a gender-neutral view of bullying. Females and males employ fundamentally different techniques, aggression, threats, and the like to socially jockey for position.

I'd argue in high school female social status is arranged into stratified blobs but the dominance within those blobs is fluid.

Male social status is a dominance hierarchy of blobs, and males within the resulting strata will self organize into sub-hierarchies to protect against inter-strata conflict.

The other main difference is that females employ social status threats.

Males use outright physical threats.
I felt that way after a few years of programming. I was bad at debugging and several other things that would have made my life a lot easier. After a decade of programming, I got better at it, and started to like it more (even doing it in my spare time)

People like things they are good at. To be provocative: if you only did it for a few years, you probably weren't that good at it. The same can be said for math, playing guitar, etc.

Guitar is a good example. Anyone who has been playing for a year or 3 probably knows the drudgery of practicing some chords that don't sound like what's on the record, hurting your fingers, etc. When you get good at it, the drudgery goes away and you're left with fun.

And that's not to say "good" is a fixed target... The interesting thing is that once you get to a certain point, you can see the infinite world that you haven't explored yet.

If you like math then there is a ton of stuff in programming that's mathematical, but you can't get a job in those areas until you've mastered the basics.
Why do you think next trial will be only in Autumn?
My money is on Linux's cpu_idle_loop().
My dad (U Arizona professor of public health) interviewed Matthew Meselson at length, mostly about topics other than the mRNA discovery. Anyone interested can find the interview here: https://mobile.twitter.com/sci_history/status/11478796146704...
No, but what I'm saying is, it makes dynamic linking a lot easier in general than Rust does.
One of the oddest things about Apple's reaction is they come to Hacker News and try to bury people talking about real problems that real users see.
I wish there were more charities focused on building proper waste management infrastructure in developing countries. People don't want to support landfills and incineration, so they would rather support "clever" methods of collecting plastic in the ocean instead, which often end up in landfills anyways.
The initial distribution of coins is my biggest problem with it for sure. I’m looking forward to someone coming up with a fair way to do coin distribution that doesn’t rely on proof of work.
I can guarantee you that 5 other teams rely on that specific behavior and don't have the will/independence ("budget") to implement that change if the api was fixed. Not only that, but if they did make that change, their manager would instantly have a handful of directors down their throat demanding an explanation why they just added work to their teams that are busy with Feature Work (TM).
Turbo Pascal Compiler in JavaScript
How does dcfs weave compare or relate to what pijul.org is doing?

Some recent discussion of pijul on HN:

https://news.ycombinator.com/item?id=24592568
> Informing everyone, right down to the janitors (and all respect to janitors) where we are going and why.

But it isn’t a coincidence that you chose to single out the janitors as those who are “down”.
> How can you not be romantic about programming?

Get a job doing boring shit you’ve already worked on 3 times before. Most programming is awful and that’s why you get paid so much to do it.
Can we be even sure that earth (and everything else from universes to ourselves) exists in the first place? Maybe we are just very complicated simulation faking it? Is or can we possibly have any strong proof for it? Stronger than Occam’s razor for example.
Bless your dear soul for the Margin of Safety link. I've been meaning to read it for quite awhile, but you can guess why not. All your other commentary is top notch, although I still think the SP500 is fairly valued (won't have great 8% returns going forward, but won't be 0% stagnant).
Lets say that all of the earths water becomes polluted except for an infinite well that only you have access to. Do you not have the right to get paid for it? Shouldn't you get paid something like the value added to humanity? So, everything? You should get paid everything?

What if the situation were different, and there where billions of people searching for infinite wells when all of the water became polluted and you were the lucky one to find it. Do you deserve everything now? How else were you supposed to have been incentivized to search for infinite wells if not for the possibility that everything would be yours upon finding it.

Alright, what if it weren't water? What if it were something that, instead of keeping you alive, just made life worth living? I reckon you probably couldn't get everything for it, but surely you could get a lot.

Does that seem like a bad system to you? I tell you what. I have a lot of money, I'll pay you to go searching for the infinite well of happiness (you can't survive on credit forever), and in exchange, it becomes mine when you find it, and then I can sell it for everything.

The premise that monopoly rights on distribution are necessary to incentivize the searching is pretty severely undermined by the fact that those monopoly rights are aggregated by companies which incentivize the searching via other means.
Thank you!!! It's so funny that you mentioned "scriptable notebooks like Jupyter or Mathematica" since I have been spending all of my time on mathinspector recently.

I think our points of view are actually very strongly aligned. However I believe the next big idea is likely to come from outside of computer science.

Personally, I am betting on biology. So many of the most sophisticated techniques are based on biology, e.g. neural nets and genetic algorithms. I have done a lot of work on extending the theory of computation with a new axiom which gives Turing machines a self replicating axiom[1], [2]

In many parts of science, there is a cross pollination, where new ways of thinking about subject X come from a new discovery in subject Y. Typically, research will follow a group think pattern until it hits a brick wall, then you need that really big breakthrough idea. This line of reasoning leads to the conclusion, imo, that it's approximately equally likely to come from either pure computer science, or pure mathematics, or somewhere else.

[1] https://math.stackexchange.com/questions/3605352/what-is-the...

[2] https://medium.com/swlh/self-replicating-computer-programs-8...
As an indie game programmer, I cast magic spells and speak living worlds into existence. Pretty romantic.

As a paid software developer taking tasks and bugs off backlogs, justifying everything I do, no autonomy, forbidden to refactor, documenting everything, filling out dumb little forms in Jira that literally nobody ever sees again, attending meetings, making my boss look good, spinning myself in performance reviews, blah, blah, no I can’t say any of that is particularly poetic.
You must use the pareto principle when you program, right? So if you get reports that your program is crashing, and 80% of the crash reports point to a specific module, that's the one you naturally fix first?

Racism is like that. White-on-black racism is the absolute leader in terms of causing real human misery in America.

When your boss tells you to fix the code that's causing 80% of your program crashes, do you complain that there's other code crashing, too? Or do you act like a real engineer, and fix the big issues first?
Computation has been and is a huge part of my life, and thanks to it I live a decent life with my family. It also helped with self-esteem and other similar things.

But love? Love taught me things I couldn't imagine (in a positive way).
CSS Question of the Day: hardware acceleration trick still required?
So, the question is: do we still need to use "transform: translate3d(0, 0, 0);" to enable hardware acceleration for HTML DIVs (and other elements) in 2021?
Let me tell you for absolutely sure, the author is not, in any way, somebody used to "pieces with ten straightforward examples".

I mean, the very next sentence after the list of those is "This is an extremely unusual and heterogenous group of texts. This is not, in and of itself, a problem; writing lengthy essays that swerve among heterogenous groups of topics is kind of my jam."
Rugged cases are extremely expensive and become affordable only through economics of scale that exceed an enthusiast project. You could pay for custom plastic molding and waterproofing if you wanted to, but the price would shock you. Look at how even projects as relatively large and established as Pine64 products are unable to get quality cases without becoming too expensive for what its community is willing to pay.
Well, in that sense Nano is immune too: every honest node agrees that only the owner of the private key can change the wallet balance. Only thing 51% can do is stall the network, it doesn't allow double spends or creating new money or reverting history.

And Holochain is not a cryptocurrency as far as I understand: while they say something about mutual-credit cryptos they definitely not the main scope of the project.
You can always design one yourself. Analogue Devices offers many chips that are SDRs-on-a-wafer. The AD9361 is a particularly popular chip.
To paraphrase a thing that I read in a book about Tao:

"How can you not be romantic about making iron hooks?"

And I fully agree. You can find beauty and elegance in anything, including programming (and I certainly do).
Nah, the pay is good and worth it IMO. I see it similar to being a roughneck on an oil rig or even a coal miner. I make no illusions or romanticize the nature of my work.
This is what happens when a company is penny wise and pound foolish.
"There are only two ways to live your life. One is as though nothing is a miracle. The other is as though everything is."
So what is the "political disagreement" there?
> For many, programming is the lowest-risk way to put a roof over their head and feed their family.

It seems that to some extent the romantics are actually indebted to this cohort for pushing forth the ideas of fair compensation and fighting for workers' rights, because people who are passionate about their work usually end up getting taken advantage of.
> Something that makes the user smile.

This is not something that actually happens.
It's an 8 GiB machine with an SSD. I open lots of tabs, in lots of browser windows, on lots of virtual desktops, but so what if I do? It's still unacceptable to lock up.

If I visit a specific web site with a memory abusive app, the browser is supposed to protect me. It's the same as any security hole. Malicious web sites aren't supposed to crash my computer.

Yes, I'm still blaming the browser. It's the browser's job to provide protection here. It's a security matter. No matter what my browsing habits may be, letting the computer lock up is not at all OK.

We shouldn't be one bad web site away from swap lock-up.

There is no possible computer upgrade that will fix the issue. There will always be a more-terrible web site waiting to consume all resources.
the only things i find "romantic" is creative design in macros, improving algorithms and low-level bithacks, everything else is mostly boring and mundane code monkeying. Programming big projects where creativity and design space
are stifled must feel suffocating and limited: people don't invent new stuff and do everything by the book - implementing something just for it to work, but not daring to break new territory.
Well, there is an argument for := or <- for assignments.
HW RoT prevents you from being able to replace OS binaries with compromised versions. How are you going to prove your external boot drive isn't compromised without HW RoT? HW RoT reduces the attack surface available and gives a more secure baseline but sure it can be compromised. But an external drive is the Wild West. This is the reason black sites don't allow support people to bring their own tools onsite as you have to assume they're compromised.
Piracy isn't stealing, it may be illegal, but it does not fit the definition of stealing. Saying piracy is theft, is an antiquated line of thinking that anyone with common knowledge of digital products knows to be false.