skysight-inc/HackerNews huggingface dataset:
Thank you for the supporting information showing that both temperatures and sea levels during the pre-industrial era have been higher than they are now.

Everything has a cycle - those swings in temperatures and sea levels over the past 20,000+ years were not due to human activity but natural processes. No trend on an astronomical scale can be stopped or reversed by humans yet. Until we consistently produce a significant fraction of the energy output of the sun, we don't come close to running the show.
Remote Desktop Licensing Mode Is Not Configured Error on Windows Server
Please tell me Italo-disco inspired synthwave is not something you made up on the spot. I need links :)
Alta Motors | Brisbane, CA near SF| ONSITE | Full-time

We design, build & manufacture our Electric Motorcycles just south of San Francisco. We even manufacture our proprietary battery packs onsite.
We are growing, building strategic partnerships and succeeding. Check us out at www.altamotors.co (not .com)

We're Hiring. Please use the appropriate links to apply ...

1) Principal Embedded Systems Software Engineer (Link: https://grnh.se/9cbad35c1) 2) Linux Systems Admin (Link: https://grnh.se/a8e914481 ) 3) Test Integration Software Engineer (Link: https://grnh.se/2fa81c671) 4) Structural Test Engineer (Link: https://grnh.se/eca5d82a1) 5) Staff Electrical Engineer - Mixed Signal (Link: https://grnh.se/85f6ffa61)

There is always some exciting news, milestones reached, fast change / fast growth, always something to learn, and it's never boring. Great perks too ... employees can to commute on an Alta bike!
Depends who you ask... I saw David Grier (http://physics.nyu.edu/grierlab/) give a talk in which he said that this kind of optical tweezers doesn't really count as a a tractor beam. He went on to define the characteristics of a tractor beam and how he realized such a device in a laboratory setting.

He does use optical trapping forces, but is able to create exotic traps such as vortexes with the help of spatial light modulators. My understanding of the physics is not very good but here are some links to his papers (the second one has a cool visualization of a solenoidal tractor beam)

http://physics.nyu.edu/grierlab/conveyor7c/

http://physics.nyu.edu/grierlab/photobessel14c/
> With modern materials and good technique, 8x-11x is feasible, but starting to push it at the edges; I have printed 13x17s off 35mm but I would not want to push it much larger.

Many pros push 35mm to billboard sizes. The size of the print doesn't matter. It's the viewing distance.
If anything, it sounds like the solution would be every laborer gets a clip board and gets to supervise a robot doing the job they used to do.

Obesity will be an ongoing issue for humanity.
Opendoor | San Francisco / Atlanta / Los Angeles | Full-Time | ONSITE

Opendoor is on a tear to change the way people buy and sell homes. Since January, we've:

• Expanded services from 6 to 19 cities — on our way to 50 markets in 2020

• Seen 1 in 2 true sellers who receive an offer choose to sell to Opendoor, up from 1 in 3

• Reduced the average fee to home sellers to 6.5 percent

• Increased our annualized acquisition run rate to $3.8B, up from $1.2B

• Grown the homebuilder trade-in program with Lennar and other homebuilders to enable over $875M in annualized sales for builders

• Acquired online home buying platform Open Listings (W15)

• Opened engineering and design offices in Los Angeles and Atlanta

• Added 500 employees, with an expectation of reaching 1,000 by year-end as the company continues to support rapid market expansion

Apply for openings at https://www.opendoor.com/jobs or email me directly at trevor@opendoor.com
Thanks for this! I've been using Kill Sticky https://alisdair.mcdiarmid.org/kill-sticky-headers/ and am now looking forward to an expanded arsenal in the fight against anti-human web elements.
Tax cheats like the current President of the United States[1], the leader of the Executive Branch, whose job it is to ensure that tax law is enforced?

1. https://www.yahoo.com/news/trump-helped-parents-shield-milli...
Amazon secretly cuts benefits as it raises pay?
> You miss a lot of the advantages of FP unless you go all-in on it like Haskell does.

I'm not familiar with F# but Scala at least has a far inferior compiler (compared to GHC). There are a lot of functional techniques that simply don't make sense when you don't have dedicated tooling to support them.
As much as I like Clojure (and Racket/Scheme/Lisp), it's a dynamically typed language and is a nightmare to work with on a large scale project - similar to Python. Those languages are much better suited to small projects. F# would have been a fine choice, but I think Haskell was an excellent choice despite its initial drawbacks.
Awesome! Thank you for giving us the headsup!
Receiver-centric package delivery is a great idea for location privacy and for people who are constantly moving. It's funny to imagine a package chasing a person all over, never quite catching up with them.

You also listed title insurance. That is a government problem, not a start-up problem. It has been fixed for many properties in Australia. There, the government's idea of property ownership is correct. Our trouble in the USA is that for purposes of legal ownership, the government doesn't even have that info. All the government has is a list of property tax payers and a sales transaction log, neither of which is legal evidence of ownership. (sales transactions do not provide this because you can't legitimately sell something you don't own, but that doesn't stop you from making a sales transaction) The solution here is to make government records definitive.

You mentioned air conditioning. If you'd like an efficiency gain, the Sandia Cooler may be what you are looking for:

https://www.energy.gov/articles/sandia-cooler-blows-traditio...

https://ip.sandia.gov/technology.do/techID=66
Getting a new phone number is a walk in the park compared to a new SS#
Pretty expensive, to be honest. Facebook snatches up most of the "engineers" and blockchain companies hire a lot of the academic community.

That being said, if you have the money, Haskell developers will absolutely follow - and in some domains the project will actually be cheaper.
> "No one really explains to you taxes and contracts and how to chase a client for that bill that they owe you — like, the nitty-gritty,"

Wait...what?

Before I even broke out into freelance consulting I hired an accountant. When starting your own business, I would think it's base-level knowledge that anything with legal ramifications (and that includes the IRS) should be handled by a professional.

Get an accountant. Get a lawyer (at least for one day to draft up your documents and make sure your business is set up or even use LegalZoom).

And within the first month of breaking out on my own, I must have read like 3 or 4 books on freelancing/consulting, 10+ blog posts, and podcasts.

True - no one is going to act like Clippy and say "Hey looks like you're starting a freelance career. Have you considered an LLC and liability insurance?"

But - do people not try and learn about what they're getting involved with anymore? Starting a business, even if it's a 1-person sole proprietor consulting firm, is a big task. And yes, davidscolgan is right that you should consider all business aspects beyond your primary skill. But it seems almost irresponsible to say that starting a business is going to be a huge shock. No one is going to tell you, but even a cursory search online will give you a torrent of information on freelancing, consulting, and starting your own business.

If I hadn't put in the initial legwork into studying the consulting landscape there is absolutely no way I'd: (A) still be consulting or (B) make nearly as much money. But the answers are out there. And yeah - get an accountant, it will drastically simplify your finances.
Fedora and GNOME encourage people to turn off and reboot the computer to install updates.
MayaScale: Industry's First NVMe Fabric on Google Cloud for 10x EBS
PwnedOrNot v1.1.0 – Tool to Find Passwords for Compromised Email Accounts U
> Pretty sure they will be precompiled RTL blobs.

They are. Encrypted, too.
> most people are going to be newbies

Only briefly; I expect to be proficient with a tool for most of my time with it. If I constantly find myself near the bottom of the learning curve, that means I'm impulsively choosing and abandoning tools way too quickly for the payoff.
I'm not riding in lycra, but yes I use padded bike shorts under my montainbike shorts, but I don't do roadbikes (yet).

I don't think I ever smile when riding a bike, either my mind wanders if it's "easy" or I am concentrated because I don't want to hurt myself.

On my commute (by bike) I even sometimes actively think about hard problems at work, apparently I look very grim because only a month ago a ~10 year old was shouting "come on, smile" at me when I was passing him. Or maybe I was just imagining it because it's so funny :P

What I'm saying is.. I know a ton of people who don't smile while riding a bike. Or doing anything except when talking to other people or reading something funny.
Wizards of Our Age
Type system can prevent classes of mistakes.

One such example in my experience is modeling (and designing) hardware. Strict checking of lengths of bit vectors (just bit vectors!) will make mistakes like "incorrect interpretation of memory address" much harder to be made. Add another one: the "ready" bit for some bus values can be described as Maybe type. Pattern matching on value of Maybe type makes impossible to access bus values when "ready" bit is down (Nothing case). You get rid of another class of mistakes.

For this to work in more or less usable way, you have to be able to specify in type level equalities like "concatBitVectors :: (rlen ~ Add alen blen) => BitVector alen -> BitVector blen -> BitVector rlen". This is just not possible in Java. It is possible in C++, but C++ lacks algebraic types like Maybe and more. It is possible in Scala, but Scala has its own pecularities (modifiable variables are absent in hardware).
pretty much every piece of tech you mentioned had decades of government investment. Maybe what makes those places possible is government policy. Not many governments are as rich as USA.
I’ve used various MacBook Pro models from 2007 to 2018; they’ve all done this at least occasionally. The iBook I had previously didn’t, though. Apple’s PPC stuff always felt just that little bit saner.
Burning Man attendees, and others before them, have made some innovative ac units called swamp coolers.
Ask HN: Are we all OK with short DNS TTLs now?
Conventional wisdom has long had it that short DNS TTLs are bad because they increase query loads and any faults in DNS will cause availability problems more quickly.

It seems popular now though for large sites (e.g. twitter.com, github.com, ycombinator.com, stackoverflow.com just to name a few) to use relatively short DNS TTLs, between 1 and 5 minutes, presumably to make failover easier.

Has popular opinion around short TTLs being "OK" changed? Are these sites doing something special to make this viable?
I’d very much prefer grimaces to smiles with no warmth behind them.
Just jump to the real limit: at some point, you can't fit more information into a space without creating a black hole.
The "not productive for months" is a exaggeration.

Even non-trivial type-level programming can be picked up by complete novice in Haskell in less than month. I experimented with that.
She literally invented my field, so I'm pretty sure she was quite a high caliber of physicist.
"will not be productive for months" is probably going to be instant deal breaker from about 98% managers.

Also, another big responsibility is teaching the rest of your coworkers. Classes, hackathons, documentations, etc.
Correct.

> At the time, workers could count on about $2.25 per day, for which they worked nine-hour shifts. It was pretty good money in those days, but the toll was too much for many to bear. Ford's turnover rate was very high. In 1913, Ford hired more than 52,000 men to keep a workforce of only 14,000. New workers required a costly break-in period, making matters worse for the company. Also, some men simply walked away from the line to quit and look for a job elsewhere. Then the line stopped and production of cars halted. The increased cost and delayed production kept Ford from selling his cars at the low price he wanted. Drastic measures were necessary if he was to keep up this production.

https://www.forbes.com/sites/timworstall/2012/03/04/the-stor...
Isn't that Youtube Content ID? Upload a video and see who sends you a takedown
Might as well put your social security and pin number in your phone too. Bank phone numbers in your contacts are a huge vulnerability. Just Google them when needed... or you know, look at the card.
> Cameras that used 24x36mm sensors returned photographers' favorite lenses to the FOVs they were already long comfortable with. And, of course, the second was prestige. Status is a very strong motivator in the photography hobby. "Full-frame" sensor cameras were bigger and more expensive, their "image quality" at least detectably ahead of that of smaller sensors.

Some of us have also been patiently waiting for "full frame" DSLR bodies are doing it because a fast normal lens (so-called because it has (much handwaving) roughly the same field of view as your eyes) is so cheap as to be basically free compared to a nice DSLR body. A similarly fast and sharp 28mm or 35mm (roughly a normal lens on an APS-C-sized sensor) is vastly more expensive, if it's available at all.

Pentax[0], to my (limited) knowledge never made a 35mm or 28mm lens that came close to matching the speed and sharpness of the SMC Pentax-M 50mm f/1.7, which can be had <$50 US on ebay. The first 28mm f/2 I see listed is $430, the much commoner f/2.8 and f/3.5 are much cheaper, but give up a lot in low light performance.

The 50mm f/1.7 is a mighty fine lens; the arguably better 50mm f/1.4 goes for <$100. It's not until you're looking at the rare, super fast, and arguably yet better still (I have no personal experience) 50mm f/1.2 that you hit the price range of the 28mm f/2.

So whether you're buying at the peanuts end of the price range or the high end, you're giving up a stop and a half of low light performance going with APS-C over 24x36.

It could be argued that with ever improving digital sensors, low light performance in a lens is less important now than ever. There's probably merit to that.

Still, as mentioned in TFA the faster lenses let you make different choices with regards to depth of field than you have with a slower lens. I'd rather have that choice, historical preferences of f/64 notwithstanding.

[0] I'm not going into lens generations here. As an extremely casual user, I buy what's good, used, and cheap. I'm strictly an M42 and SMC-M guy, and can't compare with anything newer; my overall impression from reading reviews is that the SMC-K, -M, and -A generations are largely comparable for the same focal length and aperture. The M42 generations are adequately comparable, at least for folks like me.
2020 is not far away, especially in time scales of US Politics and mega corporations like Amazon... 2 years may as well be tomorrow.
It's also possible to build systems that are correct, such that no adversary with any amount of resources could find a security hole. Many CPUs in the past have been correct. Probably most major commercial ones before 2000 were. So it's not mathematically impossible.
The Cost of Doing SEO Wrongly
Where is that money coming from?
The files have the .c extension, but they're actually C++.

…Yes, really. They didn't change the filenames during the migration.
Practically speaking, Haskell's type system gives you a lot of code for free.

Stuff like "toString", "equals" and inequalities that you'd usually implement manually in something like Java are done for you automatically by the compiler, with a one-line directive.

That system is extensible as well, so for example you can automatically get Serde code for stuff like JSON, Avro, Protobuf etc with a one-liner.

On a more abstract level, there's a lot of stuff you can express in Haskell that's difficult or impossible on a technical level in Java. For example:

- Functions which are polymorphic in their return type, so that what they do is determined by what type the caller wants them to return.

- Function constraints - for example try to express "A function which takes two polymorphic arguments, which must both be of the same type, and which must be orderable (i.e have <, ==, >, etc defined for them), and returns the same type" in Java. In Haskell, that's just "f :: Ord a => a -> a -> a".

- Higher kinded types. These let you have (loosely speaking) polymorphic containers. For example, instead of List<A> and Set<A>, in Haskell you'd have something like Traversable t => t a, where Traversable is a particular interface you want your "container" to implement.
FWIW, the article also mentions that in his autobiography he goes on to explain that he was able to stick to his schedule for only a very short time before he abandoned it.
It is not comparable. Haskell's type system is a qualitatively different thing from Java's, with different use cases (it can be used the same way as Java's, but people just don't).

Java's types don't help you organize your code, don't help you make it more concise, and enable only the shallowest kind of code generalization. They are not expressive enough to prove correctness, they mostly do not help you hiding information away from the developers focus, and they mostly do not allow you to restrict code into their responsibility.
> I’m also reading that IntelliJ and other well designed Java apps are better.

I think that’s just Stockholm syndrome from the Java dev crowd. They still insist it’s perfectly rational for a 5-concurrent-user web app server to require a 500 MB .war with 40K files and 8 GB of runtime heap.
"Freedom or persistent compromise" depending on whether it's the rightful owner or an attacker using the exploit. The most user-hostile part is forcing users to choose between accepting an OEM locked down platform, or running an open platform that an attacker can permanently lock down.
I've been happy to discover that AdBlock can be used to do this, though perhaps less slickly than this extension.
If they are worth that price, people will come up with the money. We aren't talking about charity here.
Chenzhou: Population (2001): 4,559,600; GDP (2015): ￥201 billion. For comparison, Our city: Population (2017): 1,700,000; GDP(2017): less than ￥120b.

I've searched the price of fast food restaurants in your city, the result: https://t.dianping.com/list/chenzhou-category_189

Base on that, I can see the average price is ranging from ￥13 to ￥45 ($2~7) per person. So I guess $5 is really pretty decent.

However, I have lived in few other cities in China, I know that live in another city other than your hometown is expensive, let alone when that city is in another country. Simply too many extra costs (like Rent and education).

Speak of educational cost,

> Education is super expensive if you don't have a hukou (which foreigners will never get).

It's actually location depended. You may want to talk with local schools or departments see if they can help you with it or at least give you a direction. It likely results a cold shoulder but you won't get warm one if you don't try. Plus, ask them directly is better than complaining online.

Also keep in mind, not many Chinese teacher can speak English. So.
> it's just not that great for newbies

At the other hand, if you filter your hires by people that know it, you are assuring you won't get a newby.
Skydio | Software Engineer - Skills SDK | Redwood City, CA | ONSITE VISA | Full-time

Skydio makes a flying robot platform that’s built on top of the most advanced autonomy stack available in the world today. In the hands of knowledgeable professionals across multiple industries, Skydio has an unprecedented opportunity to put autonomous UAVs to work at enterprise scale. We’re looking for a software engineer to design and build public-facing APIs that drive the growth and development of the Skydio Autonomy Platform, from early beta into product maturity and widespread adoption. Funding 70M+.

Responsibilities

* Define and lead technical development APIs for autonomous drones targeted towards enterprise and consumer markets.

* Understand high-level industry vertical requirements and create actionable API functionality to address high-value requirements.

* Develop and maintain a rigorous test and regression framework that ensure continued API safety as the product evolves.

* Develop and maintain enterprise integrations with a keen eye for security and sensitivity to intellectual property.

Requirements

* High proficiency in Python, Javascript, C++

* Experience designing, building, and managing substantial software APIs

* Strong communication skills, interface effectively with internal engineering team and external partners.

* Experience with and understanding of full-stack software principles; Security protocols, performance analysis, cloud compute resource management, documentation

* Strong analytical skills; Vector Math, 3D Rotations, Basic Linear Algebra and Calculus.

* Passion for Autonomous Flight

* Chill

Recommended

* Extensive knowledge and experience with robotics systems, specifically with Perception/Motion Planning/Controls.

* Past experience with using UAV in an enterprise or industrial setting.

* Some experience with IOS/Android development.

* Some experience with TensorFlow.

* UAV pilot

recruiting@skydio.com
Also in the mix: is there any point in having multiple A records for a busy site now?
True. I enjoy both. A couple of my bikes are assembled from old frames and parts. Hiding under the shabby exterior of each bike is a finely tailored machine. But these bikes are also work horses.
> And don't forget about being downvoted for listing facts!

Yeah,its a very funny phenomenon. For some reason, Americans like to downvote anything true about their society. This is what you would expect out of communist societies.
Is there some way ARM could make money supporting an open IP like RISC-V, analagous to Red Hat for Fedora Linux? Obviously, not a perfect analogy, but...
Whenever you do a calculation, whether it's multiplying by a number and dividing by a hundred (that's all multiplying by a percentage means) or anything else you need to think about what the result means before presenting it. If the result is the amount of money in your bank account after balancing your check account, sure present it to one cent precision. It's a precise, exact number. But the purchasing power of $3000 1994 dollars in 2018 cannot be anything else than a rough approximation, and so it should be presented with appropriate precision. Pretending the number is accurate to one cent is nothing short of ridiculous.
Actually I have my desktop configured with an encrypted root. Turns out GRUB can actually decrypt the partition holding /boot before loading the grub.cfg. Though I have this set up on ArchLinux and had to refer to the Arch wiki a lot to get this set up properly. Definitely not that user friendly, but I can say it is a possible setup after having used it for years on my desktop now.

EDIT: To clarify, my setup requires inputting passwords twice: once for decrypting the root partition, and once to login after everything has booted. During the boot process the system needs to remount everything, so I had the encrypted partition(s) also be decrypted with a key file (typically `dd if=/dev/urandom of=keyfile bs=1M count=4`; LUKS encryption can have multiple keyfiles/passwords to decrypt) and had the key file(s) put in the initramfs so after GRUB has decrypted root and loaded /boot/grub.cfg, the booted system could decrypt and mount everything needed with the key file(s).