skysight-inc/HackerNews huggingface dataset:
@aacook this is awesome! I just showed it to my sister and we're going to sign up for my Grandma's birthday next month. One request:
Snapchat is our native photo sharing app (and I assume that's true for many other millennials) any chance there's a way to send from snapchat in the works?
> The other 0,01% are pedantics like yourself.

The noun is 'pedants'.
Gas insulation could be protecting an ocean inside Pluto
The theory is that these jobs would pay higher to attract workers and be able to do so by having enough customer volume.
.... or like the novel "Narcissus and Goldmine" by Hermann Hesse.
Many of the answers on this post are confusing web performance for rendering speed.
Anxiety might be alleviated by regulating gut bacteria
>The incident led Boeing to modify the thrust reverser system to prevent similar occurrences by adding sync-locks, which prevent the thrust reversers from deploying when the main landing gear truck tilt angle is not at the ground position.[10] The aviation writer Macarthur Job has said that "had that Boeing 767 been of an earlier version of the type, fitted with engines that were controlled mechanically rather than electronically, then that accident could not have happened".[7]"

How much similarity does this have to the current Boeing 737 Max woes?

Also, I just tried to see if I could find if Lauda had commented on the whole 737 Max disaster - it led me to finding this 20 year old documentary:

https://www.youtube.com/watch?v=jjW2AtRWdgo
Well, I have just compared them. If you're incapable of understanding the comparison, please don't embarrass yourself and stop shouting.

Also, claiming that electricity is "critical" is delusional because agriculture is even more important.
As least the article acknowledges that higher income individuals can do better on expensive cities even after paying for housing. HN is full of smug LCOLers who love brag about how much better they are doing than those SF losers because their mortgage is only $2/month or whatever.
That was the Lear Siegler -> Bell & Howell -> Litton -> Dematic Mailmobile. It followed a fluorescent path using a blacklight sensor to guide it.

https://www.atlasobscura.com/articles/mailmobiles-mail-robot...
Re: complete IBM-PC-to-browser- I am not sure about that. I think that the Holy C compiler only emits a small subset of all of the x86/64 Instruction set.
Conflict meaning they are going to unleash hacking attacks in coordination with the communist regime ?
George's view of land directly was inspired by Adam Smith. And by David Ricardo, who was primarily inspired by Adam Smith.
Augmented Reality on the Web in 2019
Given that our shared culture seems quite committed to labeling all men as "unfair", I'd think that the converse description "the fairer sex" is only... well, fair, y'know.
There's one in the show The Americans, as well.
This. In the meantime, I'll settle for a real session save/resume in MacOS. I have to reboot often and "restoring" is a mess.
Unsecure Chtrbox AWS database exposes data on 49M Instagram influencers
> As someone who has over 15 years of experience going back and forth between statically typed and dynamically typed programming languages

I have >20, in a mix of dynamic and statically typed languages. I've even designed a few of both including some that straddle the line.

> It's a shame to see the new generation of developers moving back to statically typed languages

It's only a shame if you presume to know better than all of those developers. If dynamic typing was what they wanted, they wouldn't have added TypeScript to their existing JavaScript code. Personally, I trust that in the aggregate, developers aren't dumb and do understand their own pain points and solutions even when the pain and solutions aren't obvious to me.

> Many of the people who came up with or promoted the idea of dynamically typed languages had decades of experience working with punchcards, assembly code and statically typed languages; they were onto something.

Most of the designers of the initial statically typed languages came from that same era and technology background, so I don't think this argument carries much weight.

Neither dynamic nor static typing supplanted the other. They are parallel tracks and have been for virtually all of computing history (see BASIC and FORTRAN). Both branches are still going strong, so anyone on one branch isn't discarding the wisdom of the other, they're simply choosing their preferred path. If I use a hammer and you use a screwdriver, I'm not "discarding the vast amount of screwdriver wisdom", I simply know that I have a nail and not a screw to deal with.

One of the real problems I see with advocates of dynamic typing is that we for the most part, we have lost a dynamic code editing experience. Without something like Smalltalk's "open a code editor when an error occurs" live debugging/editing experience, you'll never get the real benefits of dynamic typing.

Editing dynamically typed code in a textual static user experience seems like the worst of both worlds to me.
There's Unicode Collation Algorithm that can translate any Unicode string into a trivially-comparable binary string. You can map string -> collation string, and sort on that. It's not very expensive to compute, and you can store it explicitly as a separate column if you need to.

The only pain is that the collation algorithm is locale-dependent. It's not possible to have one universal mapping, because there are languages that have conflicting rules regarding the same characters (e.g. Swedish and German handling of umlauts), so if you're going to materialize/index the collation string, you'll have to choose who to disappoint.
In this case, a higher resolution timer might be accurate to microseconds, while a lower resolution might be accurate down to milliseconds. Resolution here is about how low you can drill down before it becomes useless.
Boot time is a big deal for us. Not sure if it matters, but I don't get paid enough to decide what matters. All I know is we paid extra for some Dell software that lets you fine tune the BIOS and we streamline for boot speed. We're currently in the process of moving anything that can be run on a VM to a VM so this will be even less of a concern in the future and pid 1 will be more of a bottle neck. That said, except for the db servers, we don't run mem checks on boot so our servers are very fast to boot (I believe Dell cites that each Gb of RAM is equal to 1 sec. of boot time when you are running with the mem checker on).

The only time I ever do a "deep dive" and manual setup a server is when I have to provision a server for a new department/service. Generally speaking ansible does the work for me and I just hit go on my console and then go get a coffee. So I don't see much of a headache in server provisioning. I also am on the automation side of Ops so I do a lot more work with a already setup server, and in that case, like you said, systemd API is a godsend.
Linux variant of Winnti malware spotted in wild
Square Disrupted the $14B Payment Industry
To all those that say "build more housing" will solve all our problems, I don't think they've actually been looking at the housing markets.

All of the new housing in the Bay Area is at a premium price. All of it. There are tens of thousands of condos slated to be built in SF. They are all top of the end condos. They haven't and they won't dent the prices. Building more homes will just let more rich people move to the Bay Area and it will sustain prices.

Supply will increase at a much, much lower rate than demand when it comes to housing. Unless you literally create ghost cities like in China, you won't get the effect that you want.

The only way to curb prices is to reduce demand. Force Facebook, Google and Amazon to build outside of the Bay Area. I guarantee that will be the quickest way to curb demand and to throttle house prices. Have Google build in Kansas City instead of San Jose. Have Facebook build in Detroit. There's enough money to sustain an entire ecosystem and it will help increase house prices in other areas and dampen demand here.
what kind of an idiot leaves that much on coinbase?
Because I own the car and it is, in reality, extremely sensitive data that can reveal everything from your political beliefs to your sexual orientation.
Ya I'll delete it if I can.
Moving away from your home where all your friends and family and network are is actually an incredibly difficult thing to do. These things are very valuable to a lot of people.
Also - https://www.cnbc.com/2019/05/17/tesla-shares-fall-on-report-...
If we define the scope to people accused and not found guilty, then there are a lot of such cases. During #metoo there were three major cases in Swedish news, two which where the accused were not found guilty and one where the accused was found guilty.

For the two where the accused was not found guilty, they both lost all employment and had to flee the country for months with their family, received death threats, and so on. The justice ombudsman found basically all the major news papers guilty of unethical reporting regard those two individuals, and there is ongoing cases regarding slander and illegal termination of employment.
> ... can be paid less than a driver, as they’re doing less work ...

Major West: And the monkey flips the switch.
-- Lost In Space, 1998

Instructions can be, push the big red button if anything happens.
I'm sorta in that 4%, I have an RTX2080 I use for gaming on my home desktop but I'm only in Win10 for gaming.

Hopefully I'll be able to use the RTX with Firefox and Fedora down the line though (stably).
He won't change because society considers him to be a prodigy (for good reasons, see his early work) and he lives in a cloud of success from where its hard to empathize with how most developers or actual users of his tool work. In essence, he found great success with a business model for software appropriate for his time and has done well enough to not have to change anything.

Although, perhaps this step is kind of a result of stagnating growth, IDK.
Right, the "oh we need better infrastructure first" chicken and egg problem. Of course infrastructure projects don't happen either. It took 20 years to rebuild half of the Bay Bridge. The shiny SF TransBay terminal was barely opened last year and got closed right away. SF has been debating for 10 years whether or not to turn a car lane into bus only on Geary Blvd...
Because NIMBY also opposes transportation projects of course. Meanwhile major metro cities in the world build automated subway lines, highways without potholes etc. While Caltrain looks straight out of the 1950's.

While Cali boomers are milking the next generation instead of investing in it, the world keeps moving. If you compare it to a major chinese or european city, Bay Area looks like it hasn't changed in the last 50 years.

Too much local democracy is bad because people optimize for their own selfish interest (like not having to cut some trees in the backyard of some Atherton mansion so that millions of people can go to work more efficiently). For some things, you need a strong government to do what's good for the greater good.
> I don't know how CPUs work

Guess introductory courses in universities aren't useless after all.
Because, for some strange reason, the densest and richest tech hub in the world — one which regularly promotes remote working, video calling, VR and AR, Seasteads, self-driving vehicles, and things like O'Neill cylinders — has enough employers who don’t want remote working that the local real estate market has gone mad.
For this tasks, I like to use Google Sheets, runs in the cloud, have a good mobile app and runs in any device.
But why wouldn't they have a smaller branch in Kansas? (maybe not Kansas but there are a lot of places in the US other than NY and CALI).
And smaller offices all over the US?? It would be cheaper too, employees would maybe consider moving to a smaller hub where they could actually buy a home, local economies would benefit as well, etc..
Service Mesh Interface (SMI): A specification for service mesh interoperability
I've even found some in 5k, although they don't play back hardly at all. Performance not there yet.
There are plenty of developers using Linux, though. Time for someone to jump in?
Isn't that a common thing for commercial products that are provided for free to students, open source projects, non-profit organisations etc.? You have to prove that you're going to use it for what the license allows.
Show HN: PanelJam – Publicly made webcomics one panel at a time
Congrats on the product!
And what a coincidence, I'm about to launch a product that 'Turns a (bunch of) Word files into static website': https://docxmanager.com

We are both building a software basing on Office :)
I don't care that it's not open source, it's a unique technology. Actual algorithms solving actual problems correctly. None of that fuzzy search that you'd get if you used Google. It's an amazing tool in its domain.
Is there a public resource somewhere that describes the assignment/gives some guidelines? I would like to give it a try.
I get several Gbps from my NAS (serving multiple ESXi hosts, plus NFS/SMB for laptops and desktops) but my NAS is a "real" 2U server.
Why limit this to just cars? Is there something unique about cars? Why not phone users? Or internet users?
Even if it does cost more its probably worth it.
NoSQL database apps: Everything you ever wanted to know but were afraid to ask
Huh? $17/hour is 230% of the Federal minimum wage, and 148% more than the highest state-level minimum in the country (Washington).
Firefox 67: Dark Mode CSS, WebRender, and More
Cool - I'll check out how portable the code from chrome extension to firefox/safari extension is. This could be a quick work around if needed. Thanks!
I don't think it's sufficient yet to stop someone determined, but I do think it's a step in the right direction, particularly when combined with a VPN. I'm looking forward to the letterboxing improvements.

Anecdotally, I get a lot more captcha's when it's turned on. I regularly log in to sites and get prompts telling me I need to enter email confirmation codes. I signed up for a service recently that auto locked my account immediately on signup because of "abuse detection".

To be clear, I take those as positive signs. My rough metric is that if privacy invasive sites are mad at me, I'm probably doing something right. So that's certainly not hard proof that it's effective, but it's at least circumstantial evidence that websites that I know fingerprint me get irritated when I turn it on.
OP is just an idiot
Ben Eater has a series of videos where he builds an 8 bit computer using actual chips. He starts from first principals and it's pretty amazing to see it come together. Definitely worth watching.

Building an 8-bit breadboard computer!: https://www.youtube.com/playlist?list=PLowKtXNTBypGqImE405J2...
Yeah - I still think it's crazy that when using (mobile) Chrome, if you poke around in bookmarks, it will remember what folder you were in. So there's some hint of where you've been if someone else would then go to use Chrome bookmarks.

You might argue that if you really want private browsing, don't use bookmarks, but I feel that's a weak argument.
There is another dynamic here: Small cities are trying harder to attract workers. Here is a nice writeup illustrating this: https://annehelen.substack.com/p/this-land-is-your-land
Why Build Java Projects with Gradle Instead of Ant or Maven
Nice work. Somewhat related to the Megaprocessor by James Newman [0]

[0] http://www.megaprocessor.com/progress.html
An expert’s principles for solving America’s housing crises
AI Designing AI: An AutoML Review
There are two places in Gmail where you might have your phone number. The first is in 2FA options, and it's easy to delete if you add TOTP or a security key.

The second is "recovery phone number" in a different settings pane. That one is easy to miss!
Three Ways The Universe Could End According to Cosmologists
Sort of; it's not trivial, but some people have done it. See https://bheisler.github.io/post/rust-on-the-gpu-with-accel/ for example. I think https://blog.theincredibleholk.org/blog/2012/12/05/compiling... is the earliest one I know of; two and a half years before Rust 1.0!
Yes, so true. I grew up with stacks of floppy disks with huge statically linked applications. The whole era was preoccupied with basically one massive problem: how to achieve modularization and some degree of reuse.

Now these issues are still important but cheap storage and fast, always available communication has changed software development to the point where Alan Kay's points sound a bit like misplaced puritanism. I respect him but I don't think his views have the relevance they once did.
Shhh don’t tell anybody about the Twin Cities!
Especially with the cost of cameras that shoot 4K video coming down. You can get a good camera that shoots 4K video for under $1000, (e.g. BlackMagic Pocket Cinema Camera), and there are cheap cameras (under $100) that can shoot 4K.
I actually did fly on his airline, sometime in the mid nineties. Very high quality service even in the economy class.
You're going to miss out on quite a few opportunities if you consider someone's second email as spam.
Don't most dark themes actually use dark grey rather than black? The material design dark theme guidelines [0] were posted recently and recommend dark grey as the primary surface colour.

[0] https://material.io/design/color/dark-theme.html#
Hey, that's my links list! :) Hope that's helpful!

While it's probably not 100% relevant, you might also want to glance at some of the things I've done trying to benchmark performance for the React-Redux library itself, including running benchmarks in Puppeteer and capturing metrics like render times and FPS [0].

Now, my experience has been that I have to deliberately crank up the number of components on screen and dispatch absurd numbers of Redux actions a second just to get the FPS to drop below 60FPS, so I'm not sure how much that would be applicable to real-world apps, but at least you can see how I've tried to capture the values.

As a general observation, I'd highly encourage folks to use the Profiler that's built into the React DevTools to view render behavior and find components that may be re-rendering when it wasn't necessary [1] [2].

Also, Brian Vaughn has been working on a major rewrite of the React DevTools to both improve internal speed and add new features, and you can play around with it now [3].

Finally, if you _really_ want to get fine-grained, there's a little-known profiling/tracing API that can be used to capture render times in parts of your app [4] [5] [6].

[0] https://github.com/reduxjs/react-redux-benchmarks

[1] https://reactjs.org/blog/2018/09/10/introducing-the-react-pr...

[2] https://www.netlify.com/blog/2018/08/29/using-the-react-devt...

[3] https://github.com/bvaughn/react-devtools-experimental

[4] https://github.com/bvaughn/rfcs/blob/profiler/text/0000-prof...

[5] https://gist.github.com/bvaughn/8de925562903afd2e7a12554adcd...

[6] https://gist.github.com/bvaughn/25e6233aeb1b4f0cdb8d8366e54a...
Until someone from Apple or Tesla confirms this, it should be treated as a rumor and not taken at all seriously. Investment bank analysts are full of shit, and the ones covering Apple doubly so. Remember Gene Munster and the Apple TV set he said was totally, definitely coming any day now... for a decade?
Had almost the same assignement. We were teams of two, and we had to demonstrate that it works by implementing something very simple assembly instructions, we had to design them too. I was in charge of the pipelining and clocking and my colleague took the ALU and the I/O. Testing was job for both, AFAIK. I remember chasing a propagation bug, had to add some delays on some lines to get proper sync.

Realy really fun for a semester and a well deserved note at the end of it.
Most programmers mistake the majority of the use of Excel as the creation of software. It isn't. It's mostly just construction of reports; sometimes just for one-off purposes.

I would theoretically be possible to write some software/reporting solution for every use of Excel but it wouldn't be an efficient use of resources.
Effective Shell: Understanding the Shell (Or, Operating Systems 101)
What is a modern language that comes close to embodying these ideals?
Thats marketing... and there are a lot of ways to skin that cat.

Cold Calling is virtually dead in the traditional sense (for Small-Medium business). Cold Emailing can work, but there's a lot of noise with all the SEO scams that business owners get.

For Marketing, I generally recommend doing something that you are good at that other developer's don't do. Stuff like networking events, public speaking, Business Clubs(Vistage, etc), etc. Indirect approaches work really well too- Partner with a bar for a "business happy hour" and buy everyone's first drink, then literally go business to business (of businesses that have websites you would like to redo) and invite them. A similar sort of a thing, with less personal interaction is to build a website that would directly benefit local businesses and give it to them for free. Targeting is important.

These sorts of things are really only for when you are starting out though (1 year tops). After a year of these sort of gimmicky things you should have built a solid portfolio and should focus your energy on growing your business via your existing clients. They should be ecstatic to give you more business because you took care of them so well.
Kubernetes is a platform, it lets you do whatever the f you want to. Service meshes are one thing to build on top of the platform.
> Actually, Metamath is not tied to ZFC. As the name implies it is a meta-theory where you could implement a lot of different theories. That said, most Metamath developments use ZFC. I haven’t seen anyone doing type theory in Metamath, but from what I understand it may be possible.

That's true. There's a Metamath database that encodes Higher-Order Logic (HOL) aka simple type theory: http://us.metamath.org/holuni/mmhol.html It's very bare-bones, but it shows it's possible.

> Certainly there is a wealth of systems available. But the ones based on type theory, such as Coq, seem to be at least as popular as the set theory based ones...

I suspect we have to ask "popular for whom?" I'd agree that type theory is at least as popular as set theory among computer tools that formalize math. But I think far more mathematicians point to ZFC, not type theory, as the foundations of mathematics. Type theory probably seems "natural" to people who are used to programming languages and compilers, and thus already have a daily familiarity with types (in the computer science sense).

"It's complicated" seems like an accurate summary of affairs :-).
> Unfortunately, it fails hard with Wayland, putting no pixels on the screen. (In my experience)

It works for me in nightly, at least. Have you tried there?
Our bottle neck is often pid 1 for boot time. We don't do mem check on boot so that saves us 1 second * Gb_of_RAM in boot, which is why most BIOS take forever on a server. We also don't run anything in PCI slots so we have the PCI checker disabled too (all our servers are Dells they have some software you can license to config the BIOS).

I'm new to the game, I only vaguely remember a time when Ubuntu wasn't on systemd. I don't have 30 years of experience with any init system, but I do have 10+ years with systemd. I didn't use another init until I got this job and had to learn sysv. So I'm coming from the exact opposite, it sounds like, place of you. To me, everything you said is 100% true, but about sysv and its line.

I also don't provision too many servers these days because with the exception of a few things that were deemed "to important" all our servers have automated build scripts to go from 0 to prod.
Well that sounds like a good way to calm any national security concerns tho
The solution is not to pave over the rightfully protected wild lands but to add a little density to the built suburban tracts. Allowing duplexes, triplexes and 4 plexes would be a good start