skysight-inc/HackerNews huggingface dataset:
Licensing is not the solution.

Here are some things that can help:

1) Limit mutations, shared state, and side effects to very small sections of code. The majority of code should be pure functions and immutable code.

2) Tooling and IDE's should have "code coverage" to show where code is pure and referentially transparent and where it is not.

3) Learn from mathematics / computer science. Adopt formal methods and proof based techniques.

4) Keep code simple and understandable. Category theory has many insights on how to better compose and structure code. Code that is in harmony with certain laws will be more predictable, simpler, and more reusable. Constraints == freedom.

5) Use strong typing. And by typing I mean types that limit what values can be and even what code can do. Types that are nullable are not sufficient for safety. Types that only describe the data format and not the allowed functionality are not sufficiently safe or descriptive. Dependent typing allows for even greater safety because it can specify acceptable values ("tolerances") not just the data format of the value.

6) Adopt metrics to measure complexity and other factors that affect reliability of code. Once we have metrics we can have better discussions different ways to write the same code and why certain ways might be better under certain circumstances.

7a) Expand your vocabulary of concepts. Words affect the very thoughts you are capable of thinking about (linguistic relativity). We went from machine code to assembly to higher level languages. Each requires more concepts to know and yet it gets simpler and less error prone each time. The more words you have the easier it is to describe, write, and understand code. Category theory has many new concepts that are not in common use that improve communication and understanding. What other fields can we borrow from?

7b) Keep code short and simple to maximize understanding. More code means more surface area for software defects. 'map' is easier to understand and less error prone than 2 different arrays, counters, conditionals, increments, and mutations.

8) Typing and pattern matching provide a framework where the compiler can determine if you have handled all the cases for all possible inputs (total function). Failure to do so is a compile time error.
We'll just keep waiting :)
Another gem from that area on PBS is Rough Cut with Tommy Mac. It kind of makes you want to quit your job and just build furniture, but I love that he tends to go into the weeds of the little tricks and techniques.
Licensing will stifle innovation and inflate cost. Licensing is the old guild approach to control the labor pool and control the market. It's really the wrong approach to the problem.
Have there been any major improvements/updates/upgrades to TempleOS in the last year or so? Haven't seen the author of the OS posting around much in that time.
Killing first-responders is a war crime not a "questionable incident", regardless of their conduct while killing innocent civilians. You're also implying that this is the only case where something like this happened. It's only the only one we know about.

In addition, the Iraqi and Afghan war logs showed evidence of massive underreporting of civilian casualties and cases of friendly-fire. Cases of DoD contractors hiring child prostitutes. Cases of soldiers firing into enemy combatants that were surrendering. Handing prisoners over to Iraqi custody even though they knew they would likely be tortured. Lack of investigation into reports of abuse, torture, rape by Iraqi police. And so on.
I've been considering doing this on my old 2001 Subaru Impreza 2.5rs for a while... Big kudos to the developer here, I can't imagine how difficult it'd be to program your own physical safety features!
Game of Thrones finale: Why everybody’s so mad about Daenerys Targaryen
Yes the fact that shares are now $200 is definately a strong case for having gone private at $420. Except that the go private deal was made up.

"Proven"? You realize Tesla settled fraud charges for the claim right?
I don't think it's fair to categorize them as 'shady', at least yet. Most of the issues described could be attributed to the fact they are very early stage and just wanted to release something working quick. I realize that's not always the best approach, though. Time will tell if they are a standup organization or not, I suppose.
> you can tell journald to use syslog

No. One can tell syslogd to read from the journal. There is no mode of operation for journald that does not have the journal, on disc or in a memory filesystem. And journald itself is not optional. The only optional part is choosing to have an extra old-style syslog daemon that is using the journal as input.

* https://unix.stackexchange.com/a/294206/5132

* https://unix.stackexchange.com/a/332315/5132
That's some serious narcissism.
OK but my HTC 10 would die after an hour and charge extremely slowly after a year of use. The battery was clearly physically degraded and MicroG would not have fixed it.
To me the primary value of OTA updates like Tesla’s is that the dash systems won’t become worthless in a few years. I don’t own a car myself, but it always grates me just how bad and outdated the dash systems in cars even just a handful of years old are when taking ubers or riding with friends. It’s generally not found acceptable when major features of any other expensive purchase are phoned-in at best, so why is it tolerated with cars?

At minimum, I think car manufacturers should decide on a dash platform standard and stick to it for at least a decade, making it possible to continue to properly update and support existing cars for a reasonable amount of time. Tesla isn’t doing anything special, it’s just a plain old off the shelf ARM SoC running a touch-optimized Ubuntu variant. Surely Toyota, GM, etc could figure this out?

Barring that, they could save money and exclude built in dash functionality all together in favor of CarPlay and Android Auto, but that could be problematic for customers who don’t use smartphones.
Sure; I meant "vote" more as "participate in your democracy".
Adrian Lamo [1]. Not sure why its relevant to mention that he has an autism diagnosis.

[1] https://en.wikipedia.org/wiki/Adrian_Lamo
Show HN: Simple React Native Starter Project
I have been making marked improvements in how I view myself and in how I talk with people. I wouldn't say I'm 100% there yet since I still relapse into less-healthy habits, like binge-watching tv or browsing HN or reddit instead of working on things which I find more personally meaningful. I think these habits are ways of self-medicating when my mind is psychologically weak.

Things that have really been helping me:

- Exercise! It's been said here before but I'm surprised by how it really is true. I don't consider myself athletic and for a couple of years my only form of exercise was walking from one end of campus to the other. When I started picking up running my heart would start pounding like mad within minutes of stepping onto the treadmill, which made me feel awful. But after a few weeks of this I started to feel better about myself and about how my body could keep up better, which improved my self-esteem a lot. There are peers who can run half-marathons but I'm happy that my body is able to do a 5K (at least for now!)

- Socializing: Making an effort to call up friends, and sending out invites and follow-ups to friends I normally hadn't spent much time with. I started making more friends /connecting with old ones in the last term of college. I consider myself to have moderate issues with anxiety and depression so this definitely wasn't easy at first. I realized that when I had more friends to talk to, I wouldn't have to rely on my closest friends in unhealthy, codependent ways. Prioritizing relationships over my work for the first time in my life has led me to doing better work overall, since my life is no longer caught up in a depressive hate-spiral as much.

- Exploring LGBT+ issues. This may be less applicable to you but at least some of my anxiety and depression stems from being in the LGBT+ community and not realizing it. Having a more honest outlook on myself, and coming out to my supportive (although not perfect) friends has been helpful.

Hope this helps you in your journey!
The Trump Administration Is Thirsty for War, Intelligence Be Damned: Trump
This is not from the IPCC but a multidisciplinary commission that presumably included climate scientists: https://en.wikipedia.org/wiki/Planetary_diet
“Nor... should his work be taken to mean that genes don’t affect depression. They do, and with newer, bigger studies, researchers are finally working out which ones do.”

This part really needs some context/sources. Anyone know which studies he’s talking about?
This is a French article behind a paywall!

The idea is to enforce intellectual property rights by pleading a serial number on each reproduction and giving “3D art trust” label to it.
This article is in French and is behind a paywall.
On the flip side, my Nissan's connectivity module was 2G based and deprecated by the carrier shortly after the car was built. Nissan offered a free upgrade and I was eligible but I only knew about it because I'd read something on a forum referencing a service bulletin that I never received despite being the registered owner of the vehicle. The excuse being that the bulletin must have been lost in the mail.
I'd say it depends on the topic, and it depends on the standard you hold the papers in question to. For instance, I can find you a paper showing almost anything you like in the field of nutrition in terms of what people should eat. It'll even hold up in the abstracts. Whether it holds up beyond that can get complicated, though; I've lost count of things like "a study that X intervention is good in 20 rats over 5 days if you feed the X rats high-quality X but give the not-X rats low quality not-X" or n=8 human studies or n=20 self-reporting studies or all kinds of stuff like that.
Terry Davis passed away about a year ago: https://www.thedalleschronicle.com/news/local/man-killed-by-...
>I would like to see an honest accounting of the costs of nuclear power including decommissioning and waste storage.

Does it matter? If the game is to cut CO2 emissions, and nothing else can cut CO2 emissions - we're out of options.

Tell me honestly: is there anything that would convince you or are you just saying things? I ask because I do wonder what kind of answer you are looking for that we don't already know. It isn't like nuclear technology is brand new. There's a 5 decades of history behind it and it has been studied exhaustively. We know the risks, the costs, the capabilities, the safety record. Everything. What more do you need before you accept it?
Note for future: regimes/governments change.
The author, Terry Davis, passed away last August.
FORTRAN was short for FORmula TRANslator. Its design goal was programmers would write normal math statements. This was copied by many other languages. Then languages started using the math symbols for other things. C++ allows programmers to define the math symbols to other types. Java and others use '+' for string concatenate.

The problem occurs when: 1. the function has more than two arguments; 2. the function is semantically different from the meaning implicit in a math symbol.

One solution is use the same syntax for all functions. In Lisp, every thing is a list, so ( function ( parameters )). In Smalltalk, every thing is an object, so send a message to an object with parameters.

Read the Lisp manual, and the SmallTalk-80 book about the language design theory.

The big boost in program readability is following a style guide with the rules for naming, indentation, commenting, and other important features, plus automated or manual style reviews.

The Hungarian notation for variables was an attempt to document the type of a variable in a language, 'C', which had loose typing rules.
They haven't had long enough to see all of the eventual downfalls of centralized, secretive governance.
No not tragedy of the commons, it's that businesses are so focused on growing short term profits they'll enter into efforts that yield profits in the three year timeframe that are long term losers (giving up IP) in the medium to long term. It's madness.
Twenty years ago, almost no one wore helmets while skiing. Now most adults do (including me). I wonder if we'll be adding back protectors to the set of standard skiing safety gear.
Admins - pls delete (my bad!)
The entire claim of jurisdiction by the US is severely questionable.
2019.20 Newsletters May – Weekly Changes in and Around Perl 6
Terry Davis (the creator and sole contributor) died almost a year ago sadly, so there haven’t been any updates.
RIP Terry
Very neat. An online demo of it is here: https://avanor.se
The world is a dynamic system. You can't wind back the clock on anything. People need to let go of their static worldview and accept that change happens. We are continually poking Pandora's Box. What has been let out cannot be put back in.
Why is it another open source developer's obligation to satisfy your design desires? Are you paying them? If not, put your time where you aren't putting your money, become the purveyor of diversity, and submit a patch. Fork, if necessary and it matters to you that much--it's your right to do so.
There's a YouTube channel that I feel espouses the values set forth by "This Old House" - and is as much fun to watch:

Essential Craftsman

I grew up on This Old House, and I relax to Essential Craftsman today. I hope someone else can find it as much fun as I do.
Also that's a bit more nuanced a topic because between the driver and the passenger they might agree to take a longer route which could cost more if it's faster, avoiding traffic or whatever.
> There is a reason why developers make how much they do...

The reason is that they're temporarily in demand. Ask the people who were around during the dot-com bust how much the average programmer was valued then.
(Icymi) Data Structures from Scratch (JS Edition) – (Free on Kindle Unlimited)
Hi!

I got frustrated by how much time I wasted online, always filtering for the same things on shopping sites. Thought: If only I could set my filters once! And this project was born. A Chrome browser extension that automatically filters the products I like on shopping sites. In this case vegan products.

How it works:
1. Download Chrome extension (3 clicks, no email / signup)
2. Browse retail sites
3. Vegan filters are set automatically across retail sites.

Would love to hear your thoughts on this simple implementation ==> On Google Chrome: https://bit.ly/2Jv7Qku (free)
Also – what's missing?

Thank you :)
The creator Terry A. Davis died last year, August 11, 2018.
https://en.m.wikipedia.org/wiki/Terry_A._Davis
Cartels colluding together to artificially reduce supply in a market is often considered illegal market manipulation. That lyft is acting as a middle-man to set market-clearing prices here doesn't change that.
Idk, I feel like it's all been watered down. It use to be global warming, now it's climate change... none of the old predictions have come true and now everyone and their mother uses the buzz word to hype up whatever it is their interested in getting funded for.
Manager actually fits my personality better. I don't actually love programming in itself. I love systems, and humans are a much more interesting system than software. Org charts are as interesting than architecture.

I've switched back to programmer since, but it was fun for a period of time. I'm not sure why people are against it - you deal with way more tech as a technical manager, just that your experience with algorithms, etc is less useful. My experience with optimization and such applied more than ever though. A lot of programmers can't see the forest for the trees and a good manager helps with that.
3P Web
Show HN: Golang Atom Package – Stop Typing Fmt.Println
Try as I might, I just don't see why it's important to maintain an independent index into the process progress of a running program. So you can know the exact point in the process progress where n equals the number of people in the room minus 1... What is the usefulness of it? What problem does it help solve to have this kind of process coordinate in time?

I can understand that unbridled use of GOTO tends to lead to a mess, but Dijkstra's argument seems to be more about the purity of the process, for... some purpose I can't fathom.

Still, I imagine he'd have a field day trashing dependency injection and dynamic dispatch!
The servants of those in power are afraid to lose their current privileges. That's no different in communist GDR, capitalist USA, or religious India.
I would expect anything that links to Core.... to also link to OpenGL.framework, for the time being.

Do those binaries actually import OpenGL symbols?
RVM requires GPG keys which is the way to do it properly: https://rvm.io/
Have you ever considered that no one bothered landing rockets because it was pointless and uneconomic, not impossible?

And I love the disdain for wall street, completely ignoring that Elon is in bed with the bankers.
I have found out that after 10 years I am still spending more time on choosing which stack to learn, instead of focusing on any one and learning it.

Learn by building is great advice because I learnt basic HTML, CSS, and WordPress when I built a website for Excel tutorials. In fact, whatever I have learnt so far it is out of necessity.
> No not tragedy of the commons, it's that businesses are so focused on growing short term profits they'll enter into efforts that yield profits in the three year timeframe that are long term losers (giving up IP) in the medium to long term. It's madness.

Okay sure it's a combination of searching for short-term profits and tragedy of the commons. Individuals acting in their own self-interest against an overall greater good.
“The Prepared” – a funded “prepper” media company
It sounds like you'd often still have to set up some repeaters and such.

If these are indiscriminate attacks I'm surprised they wouldn't eventually just go with the old fashioned mechanical timers. I remember stories of washing machine mechanisms being gathered up to use as timers.
Venture capitalists are only a thing because they siphon off the working class via the exfiltration of surplus. And then they have the gall to demand percentage ownership for that money they "invest". Because they worked hard (stealing from workers) for 'their' money.

My opinion is their money is tainted from the get-go. It amounts to theft from the very people whom made the things.
IMHO, government has little real power to pragmatically curtail this as a formal trade issue. If it's legally not allowed, it's not like employees in China can't walk away with the tech anyway. The question is where you want to build your technology base and where short term greed drives you to build.

Private IP of companies isn't any sort of public commons. By deciding to build stuff in China, they've already left the only arguable commons part of that - the common labor knowledge base that forms naturally where you put your actual build operations.
If anyone wants to see an abuse if statistics, this is a fantastic case.

Take a look at the conclusions drawn, and how the p values prove insignificant conclusions. Ie, less than 20kcal/day changes.

You can see that at best there is a small correlation. But it seems like they found numbers to prove their theory.
What's in a GitHub Star? Understanding Repository Starring Practices in GitHub
I don't like running TempleOS on hardware or in a full fledged VM(Seems like overkill). I would like to make an alternate virtual machine to run TempleOs programs on, in Javascript using a Canvas element for UI. I am unsure if there are constructs which TempleOS uses which are unrepresentable in a virtual machine built inside of a javascript virtual machines - like threads, interrupts, etc. I think events could be wired up as interrupts and there is probably a way to simulate threads in a single thread but I have no experience here. If anyone has any insight into what the challenges of such an approach would be, I would love to hear them.
the protocol is not obsolete at all, it is just not very widely used
> In this case Uber offered you $x. You agreed to $x.

This is not true. Uber and drivers did not sign any contract specifying set rate.

Every ride that is offered to drivers has price based on supply/demand. Drivers are free to cancel jobs if they feel the offered rate is too low.
Yeah. Structured programming was a huge improvement over the... let's call it "unstructured" programming that preceded it. Essentially, you take any flowchart you can possibly draw, and you can implement it with GOTOs. The result wasn't easy to understand, debug, or maintain, though.

One question, though: Of the current languages that have a GOTO, won't some of them still allow you to jump into the middle of a loop? That is, is it the languages that force us not to do that any more? Or is it just that we've learned not to do that, because it's a horrible idea?
Hold executives and VC personally liable for the failures.

Crunch; poor office environments; PMs, sales, marketing, and so on, lying to customers/stakeholders; bad tools; technical debt; or the like; are beyond the control of software developers and contribute greatly to software failure.
> infosec

It isn't the rise of fascism -- it's the rise of hyper-profiteering. There is too much money to be made from the ignorance of well-conditioned consumers for principle to prevail.
> Licensing is not the solution.
> Here are some things that can help:

Maybe license people who can demonstrate that they really understand this stuff then?
How secure is emoji-based key verification in Matrix?
Musicians, actors, screenwriters, etc., belong to guilds which do exactly that. And, oh hey, it looks like there's already an independent drivers guild: https://drivingguild.org/
Animal cultures: how we've only seen the tip of the iceberg
I think they meant this comparatively, as opposed to absolutely.
"I dual boot OSX and Windows on my laptop and I have to re-pair the headphones every time I switch OSes. I suspect each OS has a different encryption key, but the headphones can't tell the difference between which OS is running."

Your suspicion is correct.

The real problem is that Apple and Microsoft both have not provided any way to specify the key to connect with, and they both paired independently, creating a different key each time.

One solution would be to find where the link key was stored in one of the OSs and copy it over to the other OS. Then they would both use the same link key and you are good to go until you re-pair for some reason. I don't know if this (still) works, but some instructions are here:

https://www.insanelymac.com/forum/topic/268837-dual-boot-bluetooth-pairing-solved/

A different solution could be that the Bluetooth adaptor usually has a way to store the link key within the device in NVRAM. The technicality of that is that the adaptor does never ask the OS for the link key, it just connects. I don't know if tools exist in OSX or Windows to do that, however.
Except if you decline too many within a short time period Uber punishes you, I believe.
I don’t really have a strong opinion anymore. Scott makes the right move here for professionalism and modesty, and Linux is more united on this than it isn’t.

Still, the spats with the Linux kernel team and the rest of the community has earned systemd a reputation I can only say it deserves, even if the initial ire drawn towards it was over the top. Systemd is not a project I have strong confidence in to act in the user’s best interest, based on what I’ve seen with handling security issues.
So basically I can't use techcrunch unless I consent to letting them use my data for advertising? Doesn't this violate GDPR?