skysight-inc/HackerNews huggingface dataset:
I think a better option would be "Source Available" rather than AGPL. AGPL isn't tested in courts, but the _last_ thing a company would want is all of their source being forced open because they used demo'd some tool internally. A "source available" option allows a company to review your code or even solve their own problems, but without risk of being sued by a third party.
The Difficulties of Tracking Running Processes on Linux
It's not quite that drastic. Anywhere I lived I had at least two, often three options. But switching, especially if you have physical wiring and figured it out and working the way you want, is a hassle, so I would not do it lightly. My 2c.
There are a lot of great places in Central/Eastern Oregon for night photography/stargazing:

* The town of Sunriver, just south of Bend just got added as a dark sky community: https://www.eastoregonian.com/news/state/sunriver-designated...

* A trip to the Pine Mountain Observatory is pretty amazing. https://pmo.uoregon.edu/visiting/

* Further out, to the southeast, around Steens Mountain, there is absolutely no one. The Alvord desert in particular .

Of course: don't travel here now, wait until the pandemic is under control.
And of course even reusable rockets are eventually EOL, so that rocket in ‘expendable mode’ might have actually flown half a dozen missions beforehand.
>But they don't make money from the phones.

Its not all bad, they don't and shouldn't limit themselves by relying on making money on one particular method anyway.
Its called liability insurance. It is very inexpensive and can be a great equalizer.
When I was a kid in the 90s, I worked through a very fun book called “Build your own Flight Sim in C++”. It was for DOS, so it also covered the 3D graphics algorithms and techniques you needed. Fun times.
"In the case of a trademark registration, failure to actively use the mark in the lawful course of trade, or to enforce the registration in the event of infringement, may also expose the registration itself to become liable for an application for the removal from the register after a certain period of time on the grounds of "non-use"." [1]

[1] https://en.wikipedia.org/wiki/Trademark#Maintaining_rights
That's a map as a list element, iirc the terminology. But check out this.

When studying the Yaml spec I discovered that a map property (key: value) can have not only a string as its key, but any value. Even a list. (cue screams)
Sidenote on chrome: I'm loving the Safari Tech Preview. Way Faster than chrome, has U2F support (finally), and is far more privacy conscious because of the lack of conflict of interest.
I don't see that "normalization implies consistency", which I'm aware of, relates to my previous comment in any relevant way.

ZFC and MLTT do not differ in that decidability of proof validity is not related to logical expressiveness.

It's not even true that for type theories, decidability of proof validity implies normalization. Normalization is not logically equivalent to decidable type checking.

For example, we can have a term language for extensional type theory which is annotated with reduction traces. This is the kind of syntax that we get when we embed ETT inside ITT. It has decidable type checking, as the type checker does not have to perform reduction, it only has to follow traces. This kind of tracing is actually used in the GHC Haskell compiler to some extent. So we have decidable type checking for a surface syntax of a type theory, for a type theory which is a) consistent b) not strongly normalizing.
Exercise has consistently been the key for me. About 6 months after I stop exercising, my sleep schedule is a total wreck. Walking briskly for 1 mile a day is enough.
Ah. So when you say “do science” you mean “worldly and balanced”. Those people exist. Current culture no longer regiments it because it is less effective at making progress. If you’re wealthy, it’s a great way to keep yourself entertained. It’s akin to traveling. There is no doubt that it makes you interesting and valuable and expands your worldview, but it doesn’t actually do anything in terms of adding to the value of humanity.

Also, I strongly disagree that scientists are not “doing science”. They are: at an incredible pace on a tight budget. I consider myself more towards the wordly side and less on the specialized side, but I’m an engineer. I don’t need to dedicate my life to focusing in on a series of complicated fields because I don’t need to understand biological mechanisms. I can be one of the best people in my field and then spend my free time dabbling with other things. Saying that people who dedicate their life to actually pushing scientific progress forward are “not doing science” while the people who kick back and play with toys are is incorrect and disrespectful.
> Why are so few configuration languages not backed by a real language?

In many cases, not having a full featured language is helpful as you have some additional guarantees that comes with a non Turing complete language like guaranteed completion.

In some cases though, you do need a full pledged programming language. For those cases, HashiCorp recently announced CDK support for Terraform: https://www.hashicorp.com/blog/cdk-for-terraform-enabling-py...
Sorry boss, ESOP can’t pay my bills
I think this is intuitive, but are there are real world examples of this?
Transcribing Speech Recordings into Text with Python and AssemblyAI (YC S17)
Console #11: Understanding the JavaScript Execution Context Like Never Before
Not defending fraud (in general or in this specific case), but who it being ruined for?

Amazon is still making fabulous amounts of money, prices are still low there, and the policy is still generous to the customer.
Learning how to use the trackpoint properly.

Learning how to use a good dictionary instead of just banging something into Google / Bing / DDG.
I'm having some arguments with other developers (devs) on whether or not this is important. I'm gonna finally try to implement this for my own pipeline this week, hopefully.

I would much rather have devs double check/validate things locally before they edit changes.

Modifying config files by using the edit text feature in GitHub (GH), doesn't enable you to do that.

& Devs are lazy. I'm lazy. They want things easy. Me too.

So let's make it easy. Modify your CI/CD pipeline to validate YAML configs on any file changes (use GH hooks for example)

Now devs can do whatever they want - if their pre-deployment checks fail, go back and fix it!
Thank your for recognizing that California and Newsom fit in the same general pattern as the widely derided, Republican-governed, late-surging states.

I think the data above show that neither an R nor a D by the governor's name is significantly predictive of a state's performance, (but may be predictive of media coverage).

Instead, mistakes have been made. But we've learned some things (but not really very much yet). Flattening the curve worked to delay infections and, well, _flatten_ the curve - not reduce total infections. We also seem to be getting some benefit from partial herd immunity at lower percentages of exposure than expected - probably because people are isolating and social distancing more, and possibly partial immunity from exposure to previous coronaviruses, and better treatments and policies are helping.

These things are all helping states experiencing this later surge have a more moderate experience (and helping early states keep things controlled), and are much more significant than the governor's political party.

So demonizing "sycophants" and "gaslighting" is not productive. Focus on behaviors and results, not politics.
Plus Aadhaar, eSign, and eKYC
I just got fs.com to make up one for to the right length. Worked nicely
Not my own, but years ago I learned Dovecot exists because Timo's significant other at the time was a mail administrator who found their existing IMAP daemon insufferable.
You're partially kidding but you're 100% right.

Someone in another thread mentioned using some LISP or LISP-like language to solve this problem.

Would something like TOML make things better here?

What would have been the solution?
> If someone boozes it up the night before and is too hung over to show

I was replying to " Those without the self control to abstain or exercise moderation are quickly identified as non-management material."

I will never be ready at 6:45 in the morning, I am not a morning person, but I'll be up at 4 am if needed to be, whereas some of my colleagues can't go past 11pm without falling asleep.

Management has nothing to do with what you do outside of work, which drinking with colleagues at the open bar is.

And why stop at alcohol then?

Does eating too much hamburgers at the BBQ counts?

Talking too much?

Being obsessed with fitness?

Playing too much at video games?

Where does it ends?
So you are saying he was just a sociopath?
We don't have any expectations or force to make money with Kowl. Besides that we already use Kowl at our company where engineers use it with joy in their daily business. We don't only get valuable feedback from colleagues who use Kowl, but our employer does also sponsor our efforts with working time. If it ultimately turns out to be not profitable at all we will simply open source everything I guess.
Unfortunately, no. That only comes from personal experience and the experiences from all the project which tried to train people.

I've given several courses internally in my company. I found some concepts I knew well, I cannot make them digest easily. While some graduates understand it, while others are frustrated. Then when we are having lunch, I found some of the graduates can explain them to other people in a way they can understand - I missed many details which I would take for granted.
Here's another reason why YAML is bad:

the fact that I have to read the spec to figure out what's going on.

It should have been fairly simple to do this.

Why do I have to know the difference between ":" and "=" ...?
Chuck Yeager?

https://en.m.wikipedia.org/wiki/Chuck_Yeager%27s_Air_Combat
Candlestick Patterns Are Used to Determine Price Direction and Momentum
The internet was wacky when I didn't see the business behind them. I thought sites like youtube were just places for fun videos, not content creators trying to go viral, or students making a product to be sold to google.
We don’t need this for photographs. Why do we need it for video?
I had the exact same experience. I put together a bare-bones menu bar app for macOS. See my comment above for the link!

Edit: It does pulse within the menu bar which works for me, please let me know if you find it distracting.
Well perhaps with bio engineering we can improve the efficiency of wheat several times over. Optimizing it for an indoor environment free of pests and consistent in nutrients. Ultimately we just want the wheat berries how many protons are spent on the other portions of the plant.

If we do that it would nice to have some experience ready to go on the Industrial farming side.

Also it takes protons to haul the wheat to market, to harvest it, til the soil and plant it. Not to mention all the externalized costs of large scale outdoor agriculture.

Also on mars and the moon beckon, having a closed loop there would likely dwarf anything we can grow on a field here because of the energy costs of moving tons of food into space.
By scheduling time for them, if you have the available self-discipline.
Spending 30 minutes once per day on reddit is enough to keep you in the loop, and if it is on your calendar at a specific time, your chances of sticking to it are good.

Scheduled violations of the rules seem to paradoxically help you follow the rules. Tim Ferris advocates for one dietary cheat day per week, with the idea that it takes incredible will power to give up donuts forever, but almost anyone can put it off until Friday.

Schedule your cheats.

Edit: scheduling is also great for beating procrastination. “I will change my oil at 7:30pm Tuesday” is way more effective than “I need to change my oil soon”
An integrated debugger. Writing code without a editor with integrated debugger is madness to me. I think a lot of people who are used to using text editor/command line, don't appreciate how effective its is to debug in something like VS/VSCode. Its also the thing people dont talk about enough when choosing languages: Does the language have rock solid debuger?
One reason may be that since it doesn't require a cloud, there's no personal data to mine. Try getting VC without a recurring revenue stream. It's probably possible but it's more difficult. Same story for IoT: Cloudless home automation is trivial from a technical point of view, but cloudless home automation is a non-starter VC-wise.
WINDOWS+arrow will tile the current window and give the opportunity to tile other windows next to it
Makes me wonder what the article would look like today, or next month when the new generation iPhone hardware comes out. I guess benchmarks like geekbench can give us a general picture
I think the author meant to say even developers do not understand the decisions some of the ML algorithms make. Anyone who had to debug ML may partially agree with that.

But this doesn’t mean people don’t understand infrastructure. Fundamentally we are dealing with compute, storage and networking. We just combine them in different ways to come up with solutions optimized for different workloads.
There is a command called “terraform graph” which can do this. Apologies if I have misunderstood your post.
Ah, I'm wish this comment to be on the main page of n-gate next week.
I love how the participants of echo chambers, blame other echo chambers.
Starting a Daily Standup with Your Family During Remote Work/School
Projectium – Publish project find contributors
I envy those who can engage with twitter in a healthy way, but the list of people whom I envy for this is very short. Everything about it designed to draw you outside of your narrow field of interest and thus increase the time spent on it.
There are promising approaches to break down organic matter into basic hydrocarbons. Also, landfills generate huge amount of natural gas. These approaches are not mainstream yet because hydrocarbons from oil reserves are still cheaper. But if they are not available, it might be worthwhile. Again, this assumes sufficient knowledge in chemistry and a vision on what to do with in the first place. Both might or might not be present in a future civilization.
Can you show your work for how you arrived at this range of values?
Google’s Remote Work Policy Has 9 Great Tips You Should Definitely Steal Today
Any shipping software by DHL, FedEX or UPS. This stuff is horrible, clunky, error prone, ignores productive software conventions, transfers data at a snails pace etc
Cool, I hadn't seen CDK for Terraform before. But doesn't this support my point? If they had just used Typescript from the start, they wouldn't have to add Typescript support later.

I suppose guaranteed completion matters if you are running untrusted code, but wouldn't sandboxing solve that? Are there any other guarantees that sandboxing wouldn't solve?
I'm all for protecting user data, but this article does an extremely poor job demonstrating why the app is a security risk besides saying that it's a Chinese company, which we know.
ULA is just a consortium of Lockheed and a Boeing, so ‘technically’ no, but in practice the actual people and facilities have, yes.
> As I've mentioned several times on HN

Please provide links when referring to old discussions.

https://news.ycombinator.com/item?id=23285174

https://news.ycombinator.com/item?id=23278177

https://news.ycombinator.com/item?id=22697693
This bend-insensitive fiber the article mentions, combined with the narrower diameter than Cat-6, might make it more practical to run across the tops of mopboards in my rented apartment.

WiFi speeds are usually OK, but the apartments density is so high here (and new `xfinitywifi` APs are often popping up on my channel), that I'm almost ready to move back to cabled for most purposes.
The author's code is open source[0] if anyone wants to take a look.

[0]: https://github.com/jamesbornholt/z3-ios
https://an-ocean-apart.vercel.app

I used to be in a long-distance relationship. Like many lovers who were apart, we had lots and lots of phone calls. I made a visualization of them, and gave to her as a gift on Chinese Valentine's Day.

The name "an ocean apart" came from the Julie Delpy song [0] from Before Sunset. Oh I was young and romantic.

[0] https://www.youtube.com/watch?v=ohiVnAyRDAA
Understanding South Africa's cyber laws (hint: more advanced than the USA)
Your point seemed clear enough to me. Perhaps my response drifted too far. I see education as a common solution to the "it's all relative" and "no one can know for sure" shortcuts some people take to hold on to what's more comfortable to believe.

And just as religion may often teach people to turn off their critical thinking skills they can be taught to use them again. And human brains evolved to recognize unhealthy or unnatural facial imagery for millennium. So unmasking the more successful techniques may be enough to break us out of the "anything can be fake" malaise.
Iteration speed is magic. The faster I can write and deploy code the more motivated and energized I am to do more of it. Compile time, local source control, one-click deployment, phased rollout, monitoring, solid roll-back story, anything that gives you confidence to just roll it out. It's magic, I'm telling you.

Static typing. It's like having a secretary who is doing all the writing, and you only have to think big things. It's a relief.

Higher-level abstractions such as query languages (SQL, LINQ) or markup languages (eh...). Forest for the trees etc. Also DSLs (consult someone with experience first - far too easy to get bogged down).

The most productive way to write software is to borrow something already written. Don't hesitate to buy components from professionals - you're paying for better support, longevity, and less version churn.
This is a very low-resolution understanding of what a religion is. It has much more depth to it. (The writer of Sapiens actively tries to ignore this by reducing every single belief humans have (including religions) to random meme propagation.)
I recall reading that once, when the Beatles took LSD, they wrote some songs while tripping that turned out to be complete garbage.
> it often seems like pandering to the lowest common denominator with generic learnings/advice.

I have a huge problem with this and I'm not sure how to fix it. When I start researching something, I don't write about it, because I don't feel like I know enough and I don't want to repeat the same "generic advice" that many people already presented. Then, when I reach my desired level of understanding, I start writing a blog post. I start with "fundamentals" I had to grasp before I could understand the topic. Then, after 6000 words, some diagrams, and several tens of hours put in, I start writing about the topic, but at that point it's almost guaranteed I'm already interested in something else. So, obviously, I leave the previous topic to rot in the "unpublished" folder forever.

It would, thinking realistically, take someone paying me for the extra time to finish one of these posts, which would become either a really looong article, or a short book/pdf. That won't happen, because most of my enquires about how to be paid for writing something like this lay in the same "unpublished" folder... That's on top of the topics being rather peculiar (most recent example: "Using Haxe's Lua target to script my (Awesome) Window Manager" - started from quick intro to OCaml, two fixes I made to the Haxe compiler (which is written in OCaml) to get Lua target really going, quick intro to Lua and LuaJIT, plus AwesomeWM architecture and class library... at which point I stopped, and switched to the next topic: "Wiring and writing a Home Security-like system with RaspberryPis and Erlang/Elixir", which will turn into another abandoned try at a write up.)

Basically, I start writing at the point I'm pleased with the solution to a problem (eg. the state of my WM, the monitoring around the house, or most recently a working Tizen Studio for native devel on non-Ubuntu Linux), which rids me of the problem, so then I have no motivation to write about it, or its solution anymore. I could go back, change the title, and generally edit whatever I have already scribbled, but that feels like work, and at that point I'm already learning about something else entirely...

This is why this:

> I think the people who are inclined to be constantly learning are probably less inclined to focus on broadcasting their life to others.

seems plausible to me, at least. Though whether my broadcast would be more valuable to others than the "generic advice" (or more specifically, shallow posts on some tech, in "3 things you didn't know about IEx"-like style) is doubtful.
Most adaptations come at significant metabolical costs. Molecule complexes that funnel toxins out of the cell, alternative metabolimal pathways, exotic cell wall configurations and the like all have disadvantages in the race to the bottom that bacterial evolution is. But it's hard to say how long it takes until gene drift gets rid of them completely. After all, many are derived from the chemical weaponry of fungi.
The standard approach to this, at least on Windows, is to build the debug symbols into a separate database (PDB file), and reconnect the addresses to the symbol names on the back end. Microsoft makes tons of symbols available for their own code via a symbol server which debuggers can query by the combination of a module hash and a relative virtual address.
> If a developer responds to me in that way for an app that I depend on, he/she would make an enemy for life.

What happened to "we don't deal with terrorists"?

The answer of the developer seems reasonable to me if the point was "do this or I'll go to competitors", well, it's you right, do it then.

And if the customer was really that bad as it seems, I would have refunded them and let them go for good.

No amount of money can buy my time if I don't want to spend it doing something I don't want to do.

Customer protection laws are there to protect customers against misbeahavings, if I buy a Sony Television and they refuse to fix a broken one, I can appeal to customer's protection, if they refuse to add WIFI to a model that was born without it, it's in their rights.
Amazing that the author can expend so many words without an honest discussion of the drawbacks of leaving schools closed and children at home.

School closures are having a disproportionately negative impact of poor and middle class families, whose parents can’t work from home. These families relied on schools to not only teach but to supervise and feed children.

Both Cuomo and POTUS agree on this, which tells me there’s more to the story than what the author is letting on.
"I trust Google and FB, and I would like them to decide what is true or not for me instead of deciding myself"
A Prettier Python REPL with Rich
> Both these are in direct contrast to NPCI's charter which is a not-for-profit and entirely owned by Indian entities.

By Indian entities, if you do include Citibank and HSBC (local arms), then yes. The promoters are private and public banks.

> In fact NPCI is a quasi government organisation, owned by a combination of RBI and Indian banking association.

It's promoted by RBI, but not really owned by it. The ownership lies with the consortium of private and public banks.
Not sure how we got here, GP was talking about human children.