skysight-inc/HackerNews huggingface dataset:
In ubuntu, it's even less obvious. Main, restricted, and universe are all checked together by apt, and treated the same
I formatted that site. I'm sorry I didn't find this discussion soon enough to downvote your comment.
I think many that we know about have orbits in the thousands of years or less, with some known in the millions. But would it be possible for a huge grouping or sequence of them to maintain such an orbit together?
The problem with named parameters is that you can theoretically still pass the wrong value, and in practice not everyone is using named parameters on every function call.

By relying on the type system you can catch that issue at compile time and not have to worry about it.

We use this technique at work when there’s lots of fields in our data types as it’s nice to be able to keep track of the types during all the transformations and to avoid subtle bugs. Specially as the codebase is constantly changing.
New maintainer here -- I'll be happy to hear your thoughts on this :)

I'm trying to make cash the last jQuery alternative:

- It's written with modern browsers in mind.

- It implements a subset of jQuery.

- It doesn't include Animation or AJAX functionalities, for which you should use other libraries.

- It can be as small as you want, since it supports partial builds (at the file-level, not at the megamodule-level like jQuery, Zepto and others do).
You can't install unofficial packages via pacman. And AFAIK none of the unofficial/AUR package managers, like yaourt, are in the official repositories so the point where you cross the line is very clear and distinct and any wiki guide to installing from the AUR makes it clear you are going into unofficial territory.

I haven't used Manjaro but they seem to intentionally hide the distinction between the official and unofficial repos, which is a bad idea.
The British Antarctic Survey website has an excellent list of all the jobs people have [1], which will be similar to the other research stations. There's only one vacancy, but they'll recruit later for next year.

I'd expect the baseline is a standard public-sector working week (around 36 hours), although the scientists probably do more.

[1] https://www.bas.ac.uk/jobs/jobs-in-antarctica/
How my employer gave me passion to want to market their success
This is correct. Specifically, there's a category of tool called "dynamic binary translators" (including Pin, DynamoRIO, Valgrind, and QEMU) that translate binary code one block at a time, just before it's executed.
Real-Time Digital and Post-Blockchain Mathematical Obversion
1. Working hard through university.

2. Picking my first job out of university based on interest rather than money.

3. Brushing my teeth twice a day and having a good oral hygiene routine.

4. Travelling as much as possible.

5. Telling awful clients to go whistle.

6. Reducing alcohol consumption.

7. Exercising daily.

8. Spending more time with family.

9. Paying mortgage off as quickly as possible.

10. Reading HN.
1. Choosing Computer Science in a less-reputed (but still decent) college over a different major in a better college. All credit to my dad.

2. Coming to the US for an MS rather than doing an MBA in India (my original plan when entering college). All credit to the cultural milieu of my undergrad college.

3. Paying a lawyer myself to apply for a Green Card in a more ambitious category. All credit to my first co-founders in SV for connecting me to a good lawyer. With hindsight I got in through a 'loophole' that was plugged soon after.

What's common in all three: zero rational decision-making, huge influence from others, lots of luck in happening to be congruent with broad trends in society.
You're moving goalposts.

You said academics don't use the terms - you were given examples that do so.

None of them need to define it - if you're interested, you can do that research.

Those terms don't have definitions in type theory and that's ok. Systems defined in the type theory deal with very explicit, theoretical analysis that usually maps well only to static-strong implementations.
That is a badly written article. And the ones for linear map and continuity linked there, which would be important to the topic, too. The good mathematical articles start with a definition after the intro.

So much for teaching year olds. This is not rocket science, but mathematicians (almost inherent) inability to have language skills makes it seem so, notably.
You keep going on about setting k8s up, and not about maintenance. How much time in a week do you take to babysit your k8s cluster? Do you have an HA setup?

OK TLS takes 3 files, 2 for the key and crt and 1 for the config. If you get your TLS certs out of the vault PKI backend, it's very, very simple (https://www.vaultproject.io/docs/secrets/pki/index.html) the linked page covers the complete steps.

Again, I keep talking about maintaining Nomad/k8s for years. I've been running nomad in production for a few years now, I've had no downtime from nomad, and I spend about an hour doing upgrades every once in a while. I don't worry about nomad, it's just there and works. I run 3 nomad servers per data center for an HA setup. k8s doesn't even test their HA setup in development (source: https://kubernetes.io/docs/admin/high-availability/building/) . There is no way it works out well in real life, if they don't even test it yet.

Nobody I know that runs k8s pretends it's easy to keep running for years. Most places that run k8s have dedicated engineers to babysit k8s. I babysit our nomad, and lots of other infrastructure, and I do development of applications as well.
The Hawk Eye: a 3D-printed three axis tourbillon project
ex == vi(m). Really, it's the same executable. You switch from vi to ex with Q, and from ex to vi with vi^M .

I loved ex's open mode. It's kind of a line-mode version of vi. Great to use over 1200 baud. Looks like vim doesn't have it. Sad.
I guess... I make considerably more than that and my wife makes even more than I do (both of us are Software Engineers, no kids yet) and I have way more important and interesting shit to spend my money (and time) on than cloud provider backups. We also both grew up relatively poor, her from an immigrant family and myself from hillbillies in the Appalachians. Maybe that has something to do with it.
Microsoft Windows command line reference manual
no, it says 35% of pro developers use it, not 35% of android developers use it
I don't know, but it seems possible. The only references I recall about hydrogen embrittlement were with steam boilers at high temperature and pressure. I suppose like most engineering solutions it comes down to the various tradeoffs between cost and effectiveness for hydrogen vs. helium.
Awesome work! Is there any chance you would release the list of the blogs and publications you selected?
I believe a lot of similar concepts are explained in Domain Driven Design.
That's not even a problem of mathematics.
Can confirm that Mozillas review process is the most sofisticated i’ve ever experienced. The good thing is that when they have something to complain you have a competent person on the other side that really helps you. Not like Apple who only send you some boilerplate to all your responses. The downside at Mozilla is that it takes them ages to even start the review, it took me once over 2 month to get my extension in their catalog.
Usually you would lookup the definition of those types just as you do for the function that you are trying to call. At least it’s a good idea to know what a function accepts before passing around your customer IDs ;)

And to answer your last question, yes in Scala you can use named parameters like in your example.
Since discovering them, I use Emacs keyboard macros all the time.

Let's say I have:

key value
salt pepper
fish chips
vodka orange
rum cola

and I want the second column in uppercase.

<F3> to start recording a macro. Alt →, → to position the cursor at "v" (or just →→→→→→ if this is a fixed width column), then Alt U to uppercase the next word. → to move the cursor one forward, to the start of the next line. <F4> to finish recording the macro.

Then press <F4> five times to run the macro five times.

(Explanation intended for users who've never used Emacs before. Of course, there are optimizations.)
Leaving Los Angeles.
Here is my list of 3 qualities:

1. Emotional Maturity - startups are super stressful, you need someone who can be a steady voice of reason.

2. Relentless - someone who is stubborn and never gives up.

3. Complementary - someone who can fill in the blanks vis-a-vis your skills (tech/business/sales/..)
The kubernetes up and running book gives a better big picture view than the documentation online does. It does a thorough job of developing motivation and context for using a broad swath of the system in a cohesive way.
Yes, it's the hydrogen that leaks out that's the problem. I was told that the way to find hydrogen leaks in plant piping was to walk the line holding a corn broom over the line. When it bursts into flame you found the leak. In an enclosed space it can form an explosive mix with air if it doesn't ignite before it accumulates.
I agree, it would have been such an unpleasant surprise to see another implementation of X-Windows! ;)

https://medium.com/@donhopkins/the-x-windows-disaster-128d39...
After missing out on Bitcoin from inertia and putting a little too much weight on efficient markets, I resolved that next time I saw a good bet, I'd actually buy it. That turned out to be the Ethereum presale.
The problem is that "leveraging" can be replaced with "using" every time, with the added benefit that it won't leave a bad taste in the reader's mouth.
I'd be happy if these were "self-made" imaginary worlds. That would at least be interesting, and the average of a bunch of random steps from reality is probably something pretty close to reality. Most of these individuals seem to be living in the same obviously-false war-media-created imaginary world, so in aggregate they're very far from reality.
For which platform? Google Play Store says the full Facebook app is 73 MB; Facebook Lite is 1.7 MB.
Interesting that they didn't go the multirotor route, seems like it would cut down on development, complexity, and possibly weight. Maybe single axis counter-rotor was chosen for having a slightly better area/diameter to lift generating area ratio.
That’s exactly how I felt when I trained for ultramarathons. You are running 100+ miles a week for months, hours and hours each day lost in your thoughts. Best time of my life.
The issue isn't the stack, but rather an errant printf() or log() call — presumably, something like this would help with the issues that Twitter had recently.

https://www.theverge.com/2018/5/3/17316684/twitter-password-...
Consider the size of the interpreter and then go load some other JS pages and measure the size of them. Pretty impressive!
That's where linear logic differs, if you will. The highest voted comment in this sub-thread already alluded to that.
Your comment reminds me of this thread: https://news.ycombinator.com/item?id=13959324

In particular, these comments explain very well the kind of problems one may have when trying to concentrate on a task: https://news.ycombinator.com/item?id=13960208
I think when a product line crosses the $1B threshold (ATV, Watch, iPad), it's still a successful product despite being dwarfed by the iPhone.

Think of all the other technologies companies that are currently dwarfed by the iPhone's sales: Tesla, SpaceX, Blue Origin, Microsoft, Google, Netflix, etc etc. Are these all insignificant? Nope...
This got me thinking, and I'm curious what a language would look like if basic types weren't directly usable.

In other words, maybe type checking doesn't go far enough: checking that I'm getting an int is less valuable than checking that I'm getting the right sort of data for the domain.
I am truly disappointed that "Build your own X" has a list of things which does not include "Build your own X†" :p

† X Window System.
Wow this is great for educational purposes.
>Then you need to set a config for your project, typically through a .eslintrc.js file in the root of your project.

This is the part I'm having a hard time with.
That sucks, I liked Munchery quite a bit. Their ready to heat meals were pretty tasty, especially for something you could just pull out of the fridge and have ready in 15 minutes.
eye roll
They may "care" but nowhere near to the level they used to. It's clear that they get more revenue from the iPhone and spend most of there money there (understandable), vs the Mac line.
The Wild Ride of Zoox
I was hoping that second one was about Scratch, the visual blocks programming language for kids, similar to Logo, based on a Smalltalk development environment (which is a lot better than X!)

If you're interested in visual programming with a powerful Scheme-like language with first class functions, closures, special forms, macros, and even continuations so you can define your own control structures, check out Snap! (The exclamation mark is part of the name, so it's easy to get excited about Snap!)

It's a descendent of Scratch but more powerful, hand-written in JavaScript instead of Smalltalk, and it integrates easily with JS code. (There's a user defined JavaScript function block that you can use to integrate with the Snap VM and the browser!)

Snap was written by Jens Mönig and Brian Harvey, who know what they're doing! ;)

https://snap.berkeley.edu

Y Combinator: https://i.imgur.com/cOq8tvR.png

A* Pathfinding Demo:
https://snap.berkeley.edu/snapsource/snap.html#present:Usern... (press the diagonal arrow button at the top to see the block code in the development environment!)

Snap! is a visual programming language inspired by Scratch. Run Snap! in your browser at http://snap.berkeley.edu/run The IIIA1 in the title means that this is the first tutorial corresponding to Chapter III, Section A of the Reference Manual at http://snap.berkeley.edu/SnapManual.pdf

Snap! Tutorial IIIA1: Make a block
https://www.youtube.com/watch?v=Bbl2fh3igQ4

Snap! Tutorial IIIA2: Custom Blocks with Inputs:
https://www.youtube.com/watch?v=hZC2tDVYWBo

The Basics of Snap!
https://www.youtube.com/watch?v=hAxqwwg4uhk

Prototypical Inheritance in Snap! (no audio) https://www.youtube.com/watch?v=lvlWvHgfrlw

Editing Formulas in Snap! (no audio)
https://www.youtube.com/watch?v=ahHAl3p3gEU
Ues, electron is in opposition to less is more. It’s an abuse of memory and hdd. How can someone invent such a bloatware product?
Harmony Ball, Over 250 Harmony Ball Styles at Harmony Ball.net.au
Agreed, I don't mind the new keyboard (apart from when a key fails), the only issue I have is how much louder they are than the old style.
It's also counter to what many people with ADD experience and comment upon.

Some people, including medical professionals, will lump me into the ADD camp; others not. The condition and diagnosis themselves seem broad and with unclear boundaries. Perhaps think of the "autistic spectrum" as a superficial (and insufficient; nonetheless) comparison.

I'm very sensitive to human noise; I cannot "just tune it out" and concentrate despite its presence. I spent years, decades, struggling with aspects of school, work, society, that insisted I do and that I just needed to "get used to it".

I agree with other comments here that greater consideration needs to be given to environment. For myself, people would wonder how the hell I did something ([I removed my examples as, in combination, they are a bit more personally identifying than I'd like to leave, here.])

But when it came to environment, no one was willing to listen to me. I didn't need enormous expenditure, just a simple accommodation.

When I look at so many contemporary problems, one of my first thoughts is simply, "fix the environment".

And have some basic belief in people, that wherever they're at, they'll actually tell you what they need. If you'll only listen.

You haven't walked a mile in their shoes. So, don't presume to tell them how to do it.

P.S. At home, I ended up with neighbors who blasted sub-woofer car stereos frequently and for hours on end, at times -- anytime between 8 am and 10 pm, and sometimes at 1 am when they got home and listened to a couple of songs while parked, before going in.

For me, this triggered a very strong "fight or flight" reaction. And, when you are in that state -- when I am -- there is simply no access to higher-level cognitive functions and memory. They are simply "not there".

There is no thinking yourself out of that problem, when you're in the midst of it. There is no thinking going on, on that level.

I just saw a quote from a Martin Luther King Jr. interview (I haven't seen the interview, yet). It ran something like:

You can't expect people to 'pull themselves up by their bootstraps' when they have no boots.

People in poverty, in poor and dangerous neighborhoods, want better neighborhoods. Better schools. Jobs.

Try giving them that. Instead of a bunch of guilt they don't really deserve, and often already have enough of -- internalized -- on their own.

How do I know this? Through my own, different experience, where the few people who did respect and act upon what I asked for, got much better performance out of me.

I have no problem with people who want a noisier environment. I really couldn't care less, and if it works for them, great! Just don't insist that it be my environment. (Nor that I perpetually pick up their slack.)

(And, in case anyone wants to bring up "collaboration", I actually am quite good at it. I'd end up with connections throughout multinationals having 10's of thousands of employees. Genuine, and highly productive, connections.

I didn't need to sit next to them and work all day to tune out their phone calls and cube meetings, in order to achieve this.)
Remember ubuntu one storage solution? An opensource client does not make the whole thing free software and open standard.
Good man pages can be great first time user guides.
Docker Swarm
1.sed:
s/- baz/- elephant/;
/^ - elephant/{h;G;}
/^ - elephant/{h;G;}
s/- elephant/- baz/;

sed -f 1.sed foo|sed -a wfoo

or

1.sed:
/^ - baz/a\
- elephant

/^ - baz/a\
- elephant

sed -f 1.sed foo|sed -a wfoo
Ask HN: Why does Venmo have a social feature?
I heard you can go greener and get the best deals on the used dogs market.
> Why should you have the right to add data to a service, but not to delete it if you choose? Particularly when those services claim an arbitrary right to do so themselves?

Why should I have the right to delete content that relates to other people, if I might even say important to other people? Simply because I was the first should mean that I get to say what happens to the content?

> Link rot, unfortunate as it is, is a feature, not a bug.

Really curious, how is it a feature, not a bug?
You're using a statefulset? Here's a tip: you can delete a statefulset without deleting the pods with `kubectl delete statefulset mystatefulset --cascade=false`. The pods will remain running, but will no longer be managed by a controller. You can then alter and recreate the statefulset and as long as the selector still selects those pods the new statefulset will adopt them. If you then need to update the pods you can delete them one at a time without disturbing the persistent volume claims, and the controller will recreate them.
This goes so far that the phrase "nobody knows" is described by grammarians as having a zero pronoun, ie. "nobody knows (it)". "it" doesn't need to be specified, because nobody would know what it is, and so nobody cares. Correspondingly, functional programmers use to write "f(_)" and in prolog for example that acts as a catch all glob operator, if I recall correctly, not sure about Haskell.
My point is that anybody who knows how to test for glyphosate can go to the grocery store, buy a box of ritz crackers, an ear of corn and some canned soup and test them.

The food I eat is easily testable by an independent lab. If you make an accusation about a product you could easily test because it's freely available I am suspicious why you didn't.
When I began exploring rebuilding an Arch install from source using ABS it all seemed to blindly trust everything coming from the arch repos as not being compromised. There was zero signing of anything. I had hoped the package maintainers responsible for the housekeeping of all the associated metadata would have been signing it all with their respective keys.

If someone were to compromise an upstream Arch server I suspect it wouldn't be especially difficult to inject malware or trojans somewhere even those building from source would receive.
I'm not surprised -- I bet more will fall. Blue Apron dominates the ad space (I struggle to understand how the unit economics work out with their podcast ad spend..), but I'm a fan of their service and started it a few weeks back. I know not all meal kit services or pre-prepared services are identical in structure, but just acquiring customers that can be very fickle must be insanely difficult with a low margin business like food delivery.
It's expensive and all the money ends up in landlords' bank accounts. Not sure taxpayers are into that?

(If the funding came out of property taxes, then at least the money would be both coming and going to land owners, but Prop 13 prevents that.)
> Staying out of the sun

Can you elaborate? I am doing the opposite, because I am almost all the time in the office or gym. I force myself to get as much sun as possible for the Vitamin D and articles associated with it here on Hacker News[1].

[1] https://news.ycombinator.com/item?id=16556732
The AWK Programming Language is the best programming book ever because it lets you learn the language through interesting problems (like writing a very small assembler).
After “crazy hard” development, SpaceX’s Block 5 rocket has taken flight
One word: lxc
Right, of course you got that. I just wanted to point out that we need to manage our expectations of such a headline due to the current state of technology. There is no way an earth-size helicopter is making it to Mars with current rocket capabilities. The thing is the size of a softball and requires those 1.1m rotors. A human carrying copter would be pointless it seems. They will probably use rocket powered hoppers or something along those lines
I really like the Microsoft Surface Book.
https://www.microsoft.com/en-us/surface/devices/surface-book...

If they would just spend a little bit of time on Linux compatibility they would blast Apple out of a lot of developers hands ...
Yep, I used compressed air on my new MBP maybe 5 times before it stopped "fixing" the issue. Now, after a lot of hassle, I have managed to get Apple to fix the keyboard. MBP has been at an AASP since last week Monday, fingers crossed it'll be fixed soon...
I was pretty tempted to just buy a new MBP from Apple while my current Mac is in repair and return the new one when my Mac got fixed.
Or incredibly motivated and working on something he believes in.
A lot. According to Steven Pinker, when many get their first taste of the politics rife in academia, they conclude: I think I prefer to make some money! And thereafter dedicate their big brains to finding ways to shave off a fraction of a second in placing trades for hedge funds!
Munchery was not a good company. Check out Sunbasket and green chef if you were using Munchery. (just a fan... no affiliation)
The liver doesn't store that much (1000 calories = 250g glycogen, well over what the liver itself stores). You do have a couple thousand calories of glycogen available but mostly stored in muscles
Here's a link to the thing running in a browser:
https://bertfreudenberg.github.io/Smalltalk78/
Top Health Benefits of Cycling: Why You Should Ride a Bike
You can run a type-checking tool (e.g. mypy) which will tell you if you've made any type errors.

Since Python has no 'compile' step, type-checking takes the place of compiling in other languages.