skysight-inc/HackerNews huggingface dataset:
> There are lines of code floating around on our computers that haven’t been executed by a machine in years and probably won’t be for another lifetime. Others are the golden threads of this world, holding it together at the seams without no more than a dozen people knowing about it. Remove one of these and it all comes crashing down.

Beautifully said, although I find it rather horrifying.
Zig is in a really good position here. Its featureset sticks closer to C, and being able to automatically generate C headers from Zig code and automatically consume C headers from Zig code is really convenient.
It looks to me like 1Password has the same pricetag as Lastpass: 36USD/y.
The issue is automation: At this point (Feb 2021), the support in interactive theorem provers is just much better for type-theory based mathematics in contrast to set-theory based maths. Whether that is due to technical advantages of type-theory over set theory, or a historical accident, reflecting the much larger amount of attention on type-theory as basis for interactive provers, is a subject of much controversy. Let me cite a leading light in the formalisation of mathematics [1]: "I would guess that the amount of effort and funding going into type theory exceeds the amount that went into set theory by an order of magnitude if not two [...]
I am certain that we would now have highly usable and flexible proof assistants based on some form of axiomatic set theory if this objective had enjoyed half the effort that has gone into type theory-based systems in the past 25 years."

Paper [2] has brought renewed attention to set-theory as a basis for automating mathematics.

[1] https://cs.nyu.edu/pipermail/fom/2018-June/021032.html

[2] https://arxiv.org/abs/1707.04757
many MANY reasons
VPs who insist on micro-managing technical decisions even though they really do ignore technical recommendations of highly skilled engineers. (Tom Hamilton, formerly of Digital Guardian)<br>
VPs who refuse to share technical aspects of the business plans/goals (for a small company) with engineering because "well I can't share that with you" Steve Weingart when @ Liant<br>
Anything involving/supervised by Ben Bar-Haim formerly AMD. Ben successfully constructed an incredibly monolithic bureaucracy in AMD - with a huge amount of overhead. Software groups not based in Markham Ontario got Trashed.
<br>
So yes, lots of Manager/VP reasons to hate programming
Is Xbox Game Pass too good to be true?
Especially odd choice, since the article criticizes Winkel Tripel as lacking continuity:

> But that still had the “boundary cut” problem of splitting the Pacific Ocean and creating the illusion of great distance between Asia and Hawaii.

By their definition of "continuous" you could do a similar draping of Winkel Tripel on 2 sides of a surface, eliminating the "boundary cut".
The 30% faster was before support for split dwarf was enabled for llvm, I now expect to be faster or as fast as cranelift for debug.
Type theoretical and categorical foundations can be understood as a kind of 'structural' set theory. Structural set theory is a formalization of (naïve) set theory which stays quite a bit closer to commonly-understood mathematical semantics, avoiding a lot of unwanted 'baggage' that is introduced by 'material' set theories such as ZF(C).
Rather privacy as there can't be a direct connection between you and each one of your transactions, nor can the ECB refuse and cancel transaction of yours or completely exclude you from the system altogether.

The former is almost a given that it will in fact be possible. The latter was raised as an added benefit of the system either by BIS's Carstens or IMF's Georgieva -- can't recall with certainty currently. Both are promoted as weapons against black markets, corruption, and terrorism.

Yet those who are willing to give up liberty for safety, and all that.
Here's a decent one: https://imgur.com/a/aKZbWD8
Unless they are Enemas of The People.
Dynamic linking and dynamic loading aren't necessarily the same thing, are they? I imagine one could statically link in some C code to a rust program that uses dlopen, for example, or even just do the syscall directly in rust (assuming that's possible).
Alex Cabal: Standard Ebooks
I just treat startup equity as a lottery ticket: but, I find the work itself interesting and would be programming even if it wasn’t my career.
I can't be the only one who has tried to get a sleep-talking sibling to reveal their secrets.
Flags down-weight the "hotness" in the algo before more flags killing it entirely. Since it had only a few points, it sank deep and quick.
Check out https://nomadlist.com/
Depends, 30% faster codegen is a good thing to build from but codegen is only a fraction of the actual compilation process.
At sensitivity/gram insight wins. Per dollar probably not.
Indeed, I did not found this particular thread, but I have come across the fact that it was supported in the past. I guess my solution will also be a bit fragile, but so far, it works :)

I was also contemplating removing the borders and title bar of the floating window, so that it would much more like a panel, but on Windows, Chrome actually draws its own title bar, so you cannot remove it using the Windows API.
Possibly ease of manufacturing because you had fewer unique parts to make/keep track of. Also allows market segmentation, differentiated by the multiplier and whether the disable pin was connected.
I see what you mean, but it seems like a self-correcting problem. Focus enough of the sun's energy on Earth, and it will be shrouded with a rapidly expanding ball of hot plasma, at which point its surface area would be much greater. Now you can focus even more of the sun's energy on it without conjuring Maxwell's demons.
Star Wars: Galaxies Crafting
> Unfortunately, even now, it seems that there is a lot catching up to BK still to be done. To be fair, we had kernel level programmers working on it, we don't think anyone will pick up our code, you pretty much have to be a top 1-2% programmer to work on it, it's all in very disciplined C, people don't seem to like that any more.

Oh my oh my.
I just tried and integrating with create-react-app was an breeze. I would consider that as an alternative for electron.
Plastic disposal is a clear example of the failure of current economics.

It's clearly bad for the environment and has long term costs, but there basically isn't any way economics to calculate that or incent it to not be done.

So IMO, recycling is an exploratory exercise in seeing if we can socially engineer behavior that is "better". The cynic would say "it doesn't", but I could argue civilization is built on short term economic calculations and resulting social/behavioral engineering that makes that impossible.

If there was any way to know, I'd be fascinated to see if there are real measurements in the drop in altruism, either from the psychological conditioning of our society, or making altruistic people less able to procreate.
Something tells me someone at Twitch knew this was going to happen and let this transpire as a fuck you to Metallica and DMCA.
Metallica is widely known as one of the absolute worst bands for cracking down on small creators for using any amount of their content. They ended Napster and pushed back against digital music for years. Absolutely love the band, but they just don't get it. Same for a lot of the best older bands too (Led Zeppelin, AC/DC, KISS, etc.)
That's highly subjective. I see where you're coming from, but I personally think that num = 10 is weird to read.
I have seen people getting shot, stabbed and blown apart, was shot at and was near an botched airstrike... perhaps this makes me a bit ehm... "unempathic", but the only thing i really, really fear is an perpetual lockdown with no real end in sight.

So... i myself side with freedom and (risk of) death.
https://www.visualcapitalist.com/global-wealth-concentration...

0.7% own 45.9%

8.5% own 85.6%
Would somebody please, please produce a very high quality, rugged, handheld radio case that can hold a raspberry pi zero and an RTL-SDR ?

So, not a computer, not a smartphone - a plain old motorola-esque handheld radio with physical buttons and a simple screen - but underneath, it's an extensible SDR platform.

Why doesn't this exist ?
My wild ass guess would be one of: a) some high frequency trading algo, b) ray tracing/collision detection in popular game engines, c) the inner loop of google's spider, d) something common to mobile devices (maybe something in wifi or cell service?), or (most likely) e) the bitcoin hash algo.

It makes for an interesting "how many manholes in Manhattan" interview question, and how you could possibly quantify your guesses...

Imagine being the author of those lines of code, if it was possible to figure out :-)
The latter:

https://www.nationalgeographic.com/animals/article/060418-ch...

I also have heard (from "a reliable source") that one of the best nature preserves in the US is not labeled a nature preserve. It's off limits because it's the area around a nuclear plant.

With no people around, other life forms tend to thrive. Humans are lousy stewards of planet earth more often than not.
This article should be censored for those less than 18 years old.
Thank you for the feedback!

Do you think I can make it clear that it is not a throwaway email, but rather a shield email? You are able to forward emails to your usual email, turn on/off individual aliases.
Many if we spent more time teaching our AIs to ban all human connection instead of only racists, we could stop bullying for good.
Britain Stole $45T from India (2018)
Yes I recall this. Too bad what MSFT did with it. I also noticed severe performance reductions when this eventually happened, but I wasn't entirely sure if it was due to a botched transition by MSFT or not. Needless to say, Skype has lost a ton of market share now.
Perhaps the algorithm they're using doesn't know that those are similar things and just knows they're different, so it optimises towards them.
>"it’s there to filter"

So the web page mentions Apple Configurator, firmware
and also for complete details provides link to
"Revive or restore a Mac with Apple silicon" where the process of reviving and restoration is described with all details

but

somehow the other option of booting the Mac is not mentioned to filter random non-technical users from technical users/experts?

I presume (following your logic) "Revive or restore a Mac with Apple silicon" doesn't mention it by the same reasons: To filter non-technical users.

I doubt it.
Yes, the irony: this app makes image recognition even more effective.
>. One thing to consider is that dynamic linking is so complex that it is one of the reasons why people use docker, to make sure their binary and its dependencies are stable.

Coding for almost 40 years and I am yet to use Docker to sort out this kind of issues.

> I think the experience with Go is likely enlightening in this regard. I am not aware of a huge issue of lack of security because it didn’t do dynamic linking and you couldn’t do security updates as easily.

When I started programming, dynamic linking was only available on big iron machines filling computer rooms, we did not need Go for knowing what static linking entails.

> Finally, Rust as a new language is embracing the new way of programming and deploying. We are shifting away from using binary artifacts (often closed source) that once built were rarely changed, to build from source and continuously build/deploy. Cargo makes it relatively easy to do this. In that model, updating a binary for security is just a subset of the normal building and updating of a binary that is done daily.

If Rust wants to succeed in replacing C and C++ in typical big corp, cargo better support binary libraries eventually.
I totally agree. I have a problem only with the wording of the title and it shouldn't matter who wrote it. It's a matter of integrity and we as software engineers should set higher standards to how we write professional articles
Have you seen "Compiling to categories"?

> It is well-known that the simply typed lambda-calculus is modeled by any cartesian closed category (CCC). This correspondence suggests giving typed functional programs a variety of interpretations, each corresponding to a different category. A convenient way to realize this idea is as a collection of meaning-preserving transformations added to an existing compiler, such as GHC for Haskell. This paper describes such an implementation and demonstrates its use for a variety of interpretations including hardware circuits, automatic differentiation, incremental computation, and interval analysis. Each such interpretation is a category easily defined in Haskell (outside of the compiler). The general technique appears to provide a compelling alternative to deeply embedded domain-specific languages.

http://conal.net/papers/compiling-to-categories/
I am deeply, deeply romantic about programming. I consider it an act of self-actualization.

But answering the question literally, I am not representative of everyone in the industry, and that's a good thing. It's easy to feel romantic about your vocation when you have a number of reasonable options for achieving modest financial security, and you thus had the privilege of choosing the one that most closely matched your idea of self-actualization and self-identification.

Not everyone in this economy has the same set of choices. For many, programming is the lowest-risk way to put a roof over their head and feed their family. We can make up little myths about how we romantics are obviously more passionate, work harder because it's our dream, are more deeply engaged, and so on.

But in the end, I think we'll find as we look around that those of us who feel romantic about something that is also an excellent way to make money at this particular place in time and space have won a lottery of sorts, and are definitely in the minority.

That's not a bad thing.
Agreed with the idea that the internet is inherently decentralized. Too bad that we ultimately needed to succumb to some form of centralization in the form of ISPs in order for it to be a truly global technology. There are now some blockchain based hardware projects coming out trying to circumvent this.

And you're right about Github and git. I mean to say git couldn't really scale to the level of adoption it had without that centralized discovery layer on top of it.
Can’t be right every time
Because fair use laws exist and educators like Rick Beato get screwed by these over-censoring algorithms.
This game looks so much better than it did a few years ago! I wish people used open source games like this for AI competitions. So much more open and also what a great community effort.
Benefits of ZoomShot Pro for Clear Sharp Photos
another two mistakes? or it's described somewhere there and I just didn't see?

https://support.apple.com/en-us/HT211868

https://support.apple.com/en-gb/guide/apple-configurator-2/a...
While I somewhat admire the author feelings, as a direct answer to the chosen title, I have to say I don't share them at all. I view programming with a mix of indifference and boredom and the sad few years I had to do it as a job are easily the less fulfilling of my life.

If I had to sum up my feelings regarding programming, I would say it is:
- a lot of uninteresting busy work;
- intellectually mostly unchallenging. The few parts that are actually interesting are maths and if I wanted to maths I personally find that there are more interesting problems to solve in parts of maths not related to programming. I don't remember ever feeling any joy after completing a piece of software;
- extremely isolating;
- both boring and infuriating to debug when it's needed.

The only positive part was shipping something useful when it was finished.
The homopolar generator: an analytical example [pdf]
Show HN: Gradual loading for custom web fonts
Not until it sorts out its use-after-free story.
I mean, generally speaking you can’t get fired for printing your own emails.
Redesign default JSON format in preparation for Datasette 1.0
Every time I've stabbed a bully in the face with a pen, they never tried anything ever again. Actually only had to do it once, and no one ever tried anything again. Other kid got suspended for instigating. Simple solutions for simple problems. Stand up for yourself. Stab somebody.
If you deem Big Sur entirely unusable, I guess so. It has a few quirks that I don't like (mostly related to retarded fullscreen handling), but it has a bash terminal, can run Goland and is the only computer I have had any luck using my in ear sony head phones on.
I have them almost every night (I trained for it when I was 19 and it stuck); when I don't have at least one, I feel far fitter and slept-out than if I did not have one. So I would say it helps sleep. Devices like the Apple Watch or other sleep measuring devices do note that 50-60% of my nights are spent in deep sleep, which, apparently, is a lot.
California bill would decriminalize psychedelics
No mention of the secret cow level!?

So many great memories, and such high level of addiction. Temping...
"Some people feel like HAM has no practical use outside of emergencies but there are definitely places where the owners of the spectrum have failed to build the infrastructure needed to use it."

I keep reading about all of these very interesting protocols for texting over HAM radio ... and a lot of them seem very promising.

My next step is to survey the landscape of devices that could be used to actually send and receive these text messages ... and there are none.

Am I mistaken ? Does there exist a handheld radio that can be used to send and receive text messages over one of these HAM protocols ?
Isn’t plastic in landfills actually a great way to sequester carbon?
There definitely is a way to deal with this in economics: taxes. If you tax the companies making the plastics, the price will go up, and they have an incentive to do things differently.

Taxes are a crucial pillar of even a purely capitalist society, it’s just that they are not easy to implement politically.
Yes they are, exactly the same OS infrastructure.

It doesn't matter if it is the kernel or your application that calls dlopen().

How do imagine that something like ld.so gets implemented?
and america has the largest prison population in the world. we still have plenty of people that don't immediately comply with whatever the president says at any moment.

yall act like china is populated entirely by robots. it's a complex society just like anywhere else.
Again, unfortunately for mass adoption to occur centralized solutions had to be developed to allow for wide market adoption, but yes I absolutely agree that Email IS the decentralized application. Too bad a lot of ISPs block outbound traffic on SMTP forcing you to use theirs or another centralized email solution.
Meditation and Brain Waves
In the context of the post/video, I'd say the social credit system (the "calories card"). If you abuse the resources, your card gets zeroed out, and you're effectively banished from society.

In the example of the car that you give: cars are pooled anyway, and assigned for a trip, then returned to the pool. So essentially you always get another car for each trip, but you don't own it.
Great find! Of course, (as you say) other than uniform wind static you can basically only hear the sound of the drill and explosive bolts brought by the probe. Still, I was surprised to learn the windspeed at the surface is so slow.
Getting Started with Code Coverage for Golang
But how many levels do we need to go down to perform an inception?
What I think is interesting here is that you can trivially choose which hemispheres are displayed.

Centering on your preferred landmass (country, continent, city state) is a easy and natural.

I mention this because the majority of the commentary here is about the specific hemispheres chosen.
I used to get emotional like this about programming, both the awe and the contempt depending on circumstances. Now, after 30 years, it's just work. I don't really feel anything about it. And that's kind of the way everything is. Nothing is new or exciting. I wake up, work, do household stuff, eat, go to bed. That's life. Not interesting, not depressing, just neutral.
> I also don't see how this would do much against object recognition or face recognition.

That’s precisely the point, you are creating noise that humans are insensitive to, but that severely affects AI.

The idea as I understand is that if you need to upload an image (of yourself for instance), you can use this to complicate matters to AIs by uploading the modified picture.
Does Zig really solve this problem? For example, if I add a field to a Zig struct, can existing code still use the struct without needing to be recompiled?
I've never considered using qualitative methods on code like that, but the aesthetics definitely highlight where some of the worst bugs lurk.
I think the key idea of using both sides of the paper or whatever is a notable one, if over-promoted here. It has certainly gotten me thinking about how to improve on it. Maybe something origami-based where you can flip between surfaces with different hemispherical projections.
This is terrific but also frustrating: if you want people to use this stuff you've got to "bring it down the mountain".

Alternately we could have a tiny elite writing crystalline mathematically perfect software and the rest of us mere mortals can just plug it together like Lego blocks. Might not be terrible?
good question about baseline infrastructure energy cost

>
>I always see people referring to the energy consumption of bitcoin as though it’s strictly additive.
What I’d be interested to know is how it compares relative to energy costs for transacting with and securing fiat currencies.

the base load of the combined major central banks, transfer networks and custodial institutions is undoubtedly considerable

not least I'm thinking how much still runs on Itanium and OPENVMS. Just ten years ago I would have wagered the majority is on Itanium running vms or nonstop or the Honeywell legacies virtualized by Unisys. now a significant UK clearing bank ( at clear.bank) has run on Azure with white label customers who would have brought plenty of attention in the event of any problems, I'm no longer sure at all that I have any real idea what infrastructure is on.

re the energy costs of the network and that growth, I'm baffled - surely bitcoin should have moved to a custody model of settlement in view of the energy and other costs and risks of on chain transactions by now?
> Emotion is very important to me as a programmer. Often my emotions know when something isn't right before my "rational" mind does, hinting that it's time to slow down and dig deeper. I've found a number of bugs this way over the years.

Sounds like intuition rather than emotions.
Have you tried a hackrf portapack? It's an order of magnitude more expensive than a pi zero and an rtl-sdr, but it might be close to what you want.
> But also if you don't use it in the way California law uses it but the way U.S. law uses your not lying.

You've given no citations that "US law" is somehow different than California law here. I've stuck to the specific citations directly applicable to their situation, but the idea that if the employer is the one who specifies the end date of employment, it's a firing not a resignation is pretty universal across the western world.

And yes, using "everyday language" to make public statements about a legal situation that if you used the legal definition you'd be making the opposite statement is very much a lie.

Additionally, even the "everyday language" argument has you making a distinction between "voluntary quit" and "voluntarily leave a job or other position". The crux is that if the employer specifies the end date, it's not voluntary on the part of the employee. Both under legal definitions and common parlance.
Study: 20% of people have a genetic mutation that gives resilience to the cold
I’ve just been living with the downsides of pla. Should I just switch to petg?

I have my printer in my bedroom though. Is petg toxi to breathe?
I like it too because it's DIY pass by reference.