skysight-inc/HackerNews huggingface dataset:
I think you may have a different definition of intuitive than the top level comment, or else you two are speaking to different things. Category theory is certainly "elegant" and provides a lot of insight in the connection between various algebraic structures. But I think it would be completely asinine to use category theoretic formalisms in a first course covering algebraic structures like groups, rings and fields. That level of abstraction doesn't make the distinctions between each structure more intuitive; if anything it obfuscates them and requires setting up far more machinery to explain what they even are. It would be highly inappropriate for an undergrad's first exposure.

That is my impression of the top level comment's point, and I largely agree with it. If you understand what a group is, I can explain what a ring is to you in a very straightforward way that still shows you the connections between the two things. But setting up category theoretic language would take up a nontrivial portion of the course itself, and at the end you'd have a much less specific understanding of the relevant theorems on rings and groups. You'd be missing all the trees for the forest.
You’re probably thinking of KPI, Key Performance Indicators.
I’ve always heard Key Performance Indicators (KPI)
What other reasons do you have?
Docker and Kubernetes in high security environments
My "smoking buddy" from college has been in Portland for about 5 years now and the deals he's told me about since legalization are just ridiculous. $80/oz for first-time customers. Regular deals at $5/g or $10 for an eighth. It was even crazier deals before the state started collecting tax on it.

For comparison, in the Midwest USA an ounce can be had for ~$250 and smaller quantities are typically between $10-$20/g, depending on quality.

Quality is on par with what's available on the street in the Midwest which, from my understanding, is generally being exported from Colorado and California.
Did you actually read the thread and conclude it to be unreasonable gatekeeping, or are you assuming that it was?
> a human supervised autosteer might be better.
or it might not, so would be good to have more data and see what features help and what maybe don't help.

The question is why is the data secret, I mean I understand why Tesla does not want to share the training data but I am referring to the safety records and related statistics.
Migrating from ECS to EKS: Service Discovery
It does seem like Abeta and prions should be in the same class.

A possible practical reason to keep them separated would be to avoid having various safety committees at X research institution from adding dozens of barriers to already difficult Alzheimer's research. Doing work with prions is a little like doing B. anthracis (Anthrax) research in some places - having to deal with indestructible spores.

Not that those safety measures shouldn't be put in place, but it'd make Alzheimer's/Abeta research slower and more expensive. The jump from BSL-1 to BSL2+/BSL-3 is huge [0].

[0] https://blink.ucsd.edu/safety/research-lab/biosafety/contain...
I'm a perpetual solo player and haven't gone into FPS titles yet, but the experience was more or less perfect for third-person titles like tomb raider. FPS performance may depend on the title and how close you are to the cloud. I'm 7-10 ms (one-way) from PaperSpace's NY2 facility, and 10-15 ms from ec2's us-east facility on ICMP.
If it is written in PowerPoint, it's probably AI

> "I worked on the AI that promoted them"
Does anyone else find these kinds of Twitter threads incredibly hard to follow?

It's very difficult to contextualize and adapt to reading these short incremental bursts of text or 'Twitter threads'. It always feels like important context and exposition is missing. I seem to understand the gist, that Youtube seems to have promoted flat earth videos disproportionately, but the 'whistleblower' aspect is not immediately apparent.
Even in the python async/await world, you can get preemptable multitasking by adding in a few ProcessPoolExecutor threads. I've found this to be extremely effective in a web crawler: the main thread is 100% cooperative and does all of the network I/O on a single core, while cpu-hungry activities like webpage parsing are done by ProcessPoolExecutor processes on other cores. The code is pretty and I can fully use an entire server with what is conceptually a single crawler.

asyncio.create_subprocess_shell() is another way to get a preemptable thing in the Python async/await world.
There is a literal contract for Sbux wifi. You need to agree to a ToS when you join the wifi network. That ToS includes "you must be a starbucks customer".

Obviously what a "customer" entails is up for legal debate, but it generally does not include people who purchase nothing from Sbux.
If one turns off special effects (compositing) and uses low resolution, even the cheapest mainstream gpu is sufficient to draw 2D text, lines and icons with 60Hz framerate. However, people expect to get more in graphics output than 10-20 years ago, so they buy high-res displays or turn on additional graphics effects in graphics environment - and then, we do need powerful GPUs, because those resolutions and effects require high computing power that is best to provide in a powerful GPU, not powerful CPU.
I think one of the main advantages of RxJava is that the api is consistent across languages and platforms. Making it possible to switch between Android, Backend, and iOS without having to learn the caveats of a particularly framework. The debug & testing support looks really good so will check reactor out for some future project and see how it is.
I solve this by just keep the tabs open.

I use tree-style tabs, so anything interesting gets stuck in a tree that I can collapse. It might stay there for a month, maybe more.

Eventually I'll either find the time to read/watch/whatever, or realize it doesn't interest me anymore.

Either way, after a while that tree gets closed and the cycle starts over.
I somewhat agree. I feel like this is a nice glossary that I could hand my boss so he would understand what we’re talking about and stop asking what each one is, but he still wouldn’t really “get” the process for any of the examples.

If it tried to explain the full process you’re now diving into the explanations of GPG and buying SSL certs, etc and that feels like their eyes would simply glaze over.

I would like to see a tad more separation between the types of PKI (specifically GPG vs TLS type clarity).
California police find gang's underground 'shooting range'
Step Certificates
Needs an example. The closest it gets is when you add "function x, function y" between "function a, function b" and I didn't see why that was bad.
> Doesn't this affect all databases?

No, this is an artifact of storage engine design. Direct I/O is the norm for high-performance storage engines -- they don't use kernel cache or buffered I/O at all -- and many will bypass the file system given the opportunity (i.e. operate on raw block devices directly) which eliminates other classes of undesirable kernel behavior. Ironically, working with raw block devices requires much less code.

Fewer layers of abstraction between your database and the storage hardware make it easier to ensure correct behavior and high performance. Most open source storage engines leave those layers in because it reduces the level of expertise and sophistication required of the code designers -- it allows a broader pool of people to contribute -- though as this case shows it doesn't not necessarily make it any easier to ensure correctness.
I have seen this so often, this top-down approach. And it never arrives at the factory floor.
All those object orientated, industry 4.0 robots, they looks so nice to the professionals on trade-shows, and then there is one example bought- and put to all the other show-off-proto-types in the company-tour room of archievments- and on the factory floor we use the same old robots, for which all the legacy software was written - that nobody can ditch anymore.

And none of those high flying concepts ever talk about those maintaining the robots. Those who never attended High School, who are okay with a 9000 line copy pasted Procedural program, and not okay with object orientation or even functional programing style.

Im so sick of all that wasted time in startups, where people like me fresh from university develop - new, idea robots, who will never take hold in a actual factory- because none of those revoluzzers wants to spend all its time in that factory, maintaining the robot- beeing the only one competent enough todo so.

Sorry if this is a rant, but i wish for once that economic reality would nuke some sense into the architects of that tomorrow that never comes. Maybee we could have small, nice things, if we where willing to do the little steps.
Interesting remark of Java not settling down with Rust being complete, while some Rust libraries depend on nightly and async/await is still not fully baked.

Languages are products, either they change with times or they die.
Agreed. More often than not, it's just a layer of jargon that obscures the topic at hand rather than clarify it. Worse, I see a lot of folks using it to belittle and intimidate -- recently I met an instructor at a startup-focused programming school who put his (very novice) students through a lecture which began, "Is a burrito a monoid" and went down hill from there -- he was actually bragging about how lost his students were. And he told me about all this under the presumption that I didn't know category theory (easy mistake, I guess, I'm a woman after all) and my biggest regret is that I didn't ask him to explain Poincare duality to me. If only he knew that my paralysis was a result of biting my tongue at his pedagogical trashfire...
I've reread your comments and stand by what I said. Perhaps you should confer with someone else.
Look, it's 2019. "Setting up category-theoretic language" is something that should begin in the first lesson of the first course in formal, non-K12 math, starting with the use of ETCS or a comparable "structural" set theory as the 'naïve' foundation of choice. It provides countless advantages not just in abstract algebra, but in a wide variety of other subfields of math as well.
Interesting comments, but I'm not sure what it has to do with my post.
Isn't the point of this article and whole thread that there is no prohibition on their access, but often there are (unreasonable) financial barriers?
What would you propose would be the motivation there?

I think there's every indication that the Great Leap Forward was intended to turn China into a socialist society which would eventually become a communist one (in accordance with Marx with home the Chinese Communist Party were heavily influenced by) where ultimately not only would no man would ever go without again, but also greatly increasing the overall production of China. Mao certainly realized there would be casualties in the process of transformation, but I see no reason to believe those were the goal. There's far easier and less disruptive ways to kill massive numbers of people than to try to transform a nation to socialism.

These systems are invariably well intended but fail to appropriately consider how big a factor the destruction of motivation is. 'Produce a bunch and you can get filthy rich.' tends to be a much better motivation than 'Produce a bunch and give it away to the state, or else the state will hurt you.'

As an interesting aside the current PM of China, Xi Jinping, has very intimate ties to all of this. His father was a very high ranking party member in Mao's China. But as is also often the case in these systems, favor is rapidly won or lost. His father was disgraced and imprisoned. Xi himself was arrested as a youth for deserting his state-designed job / role in life and sent to dig ditches at a camp where was housed in a cave with a single blanket as his bed -- living that way for some seven years until he was able to join the communist party (after intially being rejected some 8 times) which set him on the path to today.
Dreading needing reading glasses. Night vision subjectively feels worse. Random yellow spots in changing light conditions that I don’t remember having before.
Notional Documents: Propositional-Logic Document Creator in AngularJS
The simplest and most popular interpretation - the Everett interpretation - is the most popular with physicists, and wave function collapse is a completely non-random process in that theory (and isn't even really a separate process, but rather just what happens when you apply thermodynamics to wavefunction evolution).
Can confirm, I've had flat earth stuff recommended to me after watching normal astronomy/rocketry videos (Vsauce, Scott Manley, etc), notwithstanding the fact I am also subscribed to several skeptic channels. The AI clearly wasn't able to distinguish context beyond a few keywords.

This just adds to the general uselessness of the recommendation feature - I've seen that video five times, it's good but could you offer me something else?
> I spent the next few days fixing several of problems that conspired to make that happen...

Yes, I was a total n00b in 2001. But then, so was e-commerce.
I mean, both Google and Apple analyze apps for any sort of detectable malicious libraries/code. It's not perfect by any means, but it's something.

I don't know why this business got banned. I assume it's due to the outsourced dev they used. I doubt they're technically competent and reviewed the app themselves, so who knows what kind of bullshit the dev stuffed in their or their other apps.
Can't speak for the data, but can speak as a user of autopilot. I've probably put ~20k miles on autopilot, 5k of those miles on highways.

I think the biggest benefit, safety wise, is it gives the ability to put less mental focus in staying in the lane, and gives me the ability to spend more time focusing on my surroundings. Its easier for me to focus on keeping up with the traffic behind me (like if a car has creeped up into my blind spot) and any potential traffic that is about to cross my path (like a possible red light running coming in hot). In heavy traffic, its super helpful; the auto cruise control is very human-like and will build a gap when someone cuts you off instead of suddenly making one with a slam on the brakes.

There are AP users who prefer to use their time checking on that text message. Those people don't help the statistics / human gene pool.
What if the disk is literally unplugged after a partial write? (or the network cable unplugged, etc.)

Callers would still need to be informed that a partial write occurred and would need to do something about it.
Has wayland been released yet ? Does it still freeze the whole gnome desktop when dragging a Firefox tab from one window to another (asking for a friend) ?
My wife‘s grandmother had all her teeth pulled and replaced with implants (probably a hint towards lifelong gum issues, and PERHAPS stirring/aggravating infections), and 2 years later developed aggressive Alzheimer’s, dying about 3 years later. She was only 64 when she died. To my knowledge, she never had any neuro or eye surgery. It’s just n=1 of course, but to me the gum disease hypothesis looks way more promising.
Something like this.

>Having had a front-row seat to the data, what's your take? Do you think Tesla's Autosteer helps, hinders, or keep accident rates unchanged?

From my subjective view point of the data - Tesla's autosteer overall helps to reduce accidents. But only when the operator is fully aware of the systems functions and alerts.

Driver assistance systems are wonderful technology and should be standardized like seatbelts, airbags and ABS are. The underlying issue is related to its slow adoption and use, and not a lack of functionality. How the alerts and information of impending caution/take-over required/accidents are presented to the driver is the main hurdle to its lack of wide spread adoption.

Tesla autosteer has a "Delightfully Counter-Intuitive" (as Musk might say) manner in which drivers are taught to learn how this system functions and what its abilities and limits are, therefore reducing the accident rates - in my naive (data) opinion.

Main point being, driver assistance systems could help reduce accident rates....as long as drivers know how to use them, how they function, and what all their literal bells and whistles mean, to the point where you're always supervising the system (whether you realize it or not).
Agree. My sixth gen happily runs fedora daily. I have had it for about a year, no complaints.
they did that's why they're currently running linux
Quadriga mystery deepens with little evidence of cold wallets containing $250M
How much configuration/yak shaving is required to get this or StumpWM running? I would love to set this up but am always afraid it will suck 3 days of my time
I’m becoming more and more frustrated with YouTube, because I have seen it take my stepson and my son and turn them in to bedridden sloths. Ok that was hyperbole but there is a whole new level of friction to get them to do anything around the house or even get out of the car when we arrive somewhere. Of course as their parent I impose boundaries on YouTube time. However I don’t think that YouTube has been a great influence on either of them. It’s a hard problem.
A FOIA can be done by mail. You don't have to sue to get the data unless the NHTSA was being a total jerk.
Wayland the protocol was released a long time ago. Wayland implementations like GNOME are in varying states of completion. I don't know about GNOME in particular, but my compositor - sway - is shipping 1.0 within the next month or two.
I run a Xiaomi Mi Notebook Pro. At the time it seemed like a decent purchase for a machine with dual NVME slots and a low-end Nvidia GPU for light gaming like Rocket League

Turns out the BIOS in it is garbage and has virtually zero customization options. So I'm waiting on Nouveau to catch up with the GTX 1050 in it so I can just use the Intel GPU forever and have decent battery life
Russian islands declare state of emergency over polar bear 'invasion'
It was the other way for me, I linked it to the duckduckgo icon svg and the horse started. I thought it was a loading animation (and took more than a few seconds) so I threw it to another monitor and continued reading HN.

...30 minutes later the horse is still running and I'm like 'wtf? what does a horse have to do with the DDG logo?' close tab. read comments...

It turns out the app doesn't handle svg (it is actually in the to do list) and returned a 500, but the failure was never presented to the user.
Also, I think today CPUs, even if fully dedicated to graphics, can't really compete with today high-end GPUs. Graphics processing and output is a highly parallelizable problem which GPU are designed for, but today CPUs are not .
I have dual boot Windows and Linux, but I just dislike developing on Windows. I use Windows for all other laptop usage other than dev
I support YouTube denouncing flat earthers because the science is clear to me: they're wrong. I think this will get slippery if they make similar tweaks for politics or social issues.

This raises the question is it really YouTube's job to stop crazy? Where is the responsibility of the viewer?
Ask HN: How active are you on HN?
How much do time do you spend on HN a day?

How often and when do you comment?

What do you submit?
Maxcio W-UK007S Power Monitoring Smart Plug Notes
Yeah, but it’s not CADT-compliant: https://www.jwz.org/doc/cadt.html
FlavorDB: A resource to explore flavor molecules
That doesn't make sense. You can't just "config a server" to do this. Even if a web framework tried to do this for you, it would add overhead to short queries, so it wouldn't be some universal drop-in "correct" answer.

Closing a connection to Postgres from the client doesn't even stop execution.
Probably not a YouTube problem, I suspect generations before would have said exactly the same thing of TV, Radio and even Books
I do, as native companion to Java and .NET, and I still kind of like it.

However for my own use cases, my actual alternative is the newly founded love for low level programming support by Java and .NET designers. Mandatory GC is nice to have around, while only specific hotspots require a more machine friendly coding.
Picked up an HP Spectre a few months back. Running Ubuntu 18 with 4k. Initial complaints have gone with muscle memory. Does crash sometimes when I'm running minikube in kvm2. Battery life is great.

Compared to the Dell and Razor laptops at the time
I think I’m more shocked by how willing people are to take fringe ideas seriously on the internet. I had a clear moment when new to the internet where I realized it should be taken with a grain of salt. But apparently many people never have that realization or they seemingly choose what they will believe.
It’s the default on a number of Linux distros. I’ve never seen it crash when dragging tabs between windows, but it is still less stable than Xorg, in my experience. Full crashes are very rare as of recently, however. I’m impressed with how much it’s improved, but I don’t use it myself, as it isn’t supported on OpenBSD (where Xenocara is the X11 implementation).
The fact that "A monad is a monoid in a category of endofunctors" explains everything while clarifying nothing is exactly why Haskells repeat that phrase -- as a joke.
my cousins kids will watch youtube videos on their phone/tablet while playing games on another phone/tablet or on another monitor screen while playing fortnite/pc games

youtube is dangerous; just like netflix and facebook, they're designed to get people to stay on for as long as possible and obviously children are very susceptible to the design
The 68000 was pretty predictable and easy to write assembly for. Even up to the 68030 Motorola was still valiantly trying to document the cycle counts of instructions, but the tables were getting pretty big and complicated and the customers pretty much stopped caring (collapsing hundreds of cases into "Okay, indexing is slower, we get it"). The compiler writers I sat next to never relied on the timings anyway, they just ran code. Against various chip revisions if they were smart.

ARM assembly was also pretty pleasant to work with, and earlier ARM CPUs were a lot more like 6502s than the modern plumber's nirvanas of speculation, multiple cache levels and cache coherency protocols.
Yikes, while I understand there is some harm done by the AI leading people down "rabbit holes" I'd still rather have the AI stay independent than have humans manually biasing the results. The results of the AI reveals the worst instincts of humans but a manually tuned AI can be turned into a weapon for propaganda. That would be a worse result in every way. A naturally conspiracy theorist AI can be escaped and controlled on a per-person level by simply being a logically thinking person and controlling your feed and likes while a propaganda machine that serves a political purpose cannot. That really sucks.
What eye exam(s) involve physical contact between the eyeball and a medical instrument? Or did a joke just go sailing over my head?
I have vmware fusion on macos and it runs everything I need for testing.
As a contrasting point of view, the excellent graduate level introduction to algebra, Algebra Chapter 0 by Paolo Aluffi introduces category theory right from the start and it's a very good book. It just uses the concepts of a diagram and a universal construction, which have a high power-to-weight ratio.

I agree that the danker category theory is more useful for research than for teaching. In particular when you want to try to import definitions and theorems from one context to another, or you want to decompose a proof into its abstract skeleton and concrete particularities.

As an example of how "A monad is a monoid... etc." can be useful for the abstraction (i.e. library) builder, if you import this definition of a monad into the bicategory of endoprofunctors, you get arrows [1].

[1] http://www.riec.tohoku.ac.jp/~asada/papers/arrStrMnd.pdf
+1, I love my X1C6:
https://news.ycombinator.com/item?id=18875925