skysight-inc/HackerNews huggingface dataset:
I'd gladly trade that for more detailed models and larger, more complex environments for instance.

No doubt nVidia could make a card that enabled games to support models with double the polycount of today's games, but if companies refuse to ship games with them because the art effort is too great then it's not going to get players to update their PCs. I suspect the push towards raytracing is a way of selling more graphics cards without radically increasing the amount of investment needed by games companies in the way that higher fidelity models or more complex environments would.
What I'm saying is that in many cases, telling someone you just should have done it differently boils down to dismissing the very real impact their race/gender/sexual orientation/whatever has on their life.

This is why we have terms like "Mansplaining" or "Whitesplaining." That doesn't mean a man or a white person simply acting like you are stupid and need it explained like you are five and then everything will work. It means that in the context of someone who is completely oblivious to the reality that when women do things exactly like men, they get different results socially and when people of color do things exactly like whites, they also get different results.

When two black men were arrested in Starbucks in Philadelphia for sitting there without ordering and asking to be let into the bathroom because they were waiting for someone they were meeting, one of the reasons it was controversial is because of the white patrons who protested it on the basis of "I've sat in here before without ordering and used the bathroom and no one ever called the cops on me."

I have zero interest in fueling anti-white man sentiment. That's absolutely not my agenda. But racism, sexism, etc are very much alive and well. Pretending they aren't is being part of the problem, not part of the solution.
Show HN: Using 16 Web3.0 Auth Projects with Decentralized, MongoDB-Like Database
I, for one, find them useful. Part of the discussion about a tool is also being aware and potentially discuss alternatives.
People are treating the pandemic as over where I am. They are having friends over, booking cruises, ignoring distancing in grocery stores, etc. Plenty of social media chatter about bargain air tickets for August. Carnival is reporting a 200% surge in bookings over August 2019.

https://www.fastcompany.com/90503385/what-pandemic-carnival-...

You ask them about it and they say that the pandemic is an old person's problem. "if I get corona" guy has lots of friends it seems.
This drives me absolutely nuts about Microsoft. I don't want to have to login to anything just to use a simple app.
> Almost every app today that's not a game uses the same exact layout

The problem is that they don't. This is why RecyclerView took off over ListView, even though "out of the box" RecyclerView requires more work to use. ListView was that thing that everyone does - just define your bindings, and you're done. But it wasn't flexible enough. Everyone wants that one special change for their special app.

But you're not expected to start from scratch, it's why things like the Material Design Components library exists: https://material.io/develop/android/components/lists/
> Faith in humanity: buy stocks. No faith in humanity: buy gold.

Nothing like a good oversimplified false dilemma for a complex economic situation. Don’t give the secondary stock market a greater purpose than what it is.
So use spaces. Solved.
> for instance the order of conditions in the where clause matter if you want to leverage a multi-column index

Ups, if this is you take away, then I've done something wrong.

Let me correct that: The order of columns in an index matters, not the order of conditions in the where clause.
Predictions for the Future of AI in the Gaming Industry
Yes. I had it more than once where I purchased an item from a store and, about 10 minutes later, I received a coupon for a discount at the very store I just made the purchase. It happened to my wife as well.

After the second time that happened, I disabled location in my phone settings and only enable it if I have a specific need for it. I have not received any "spontaneous" coupons since disabling locations.
(Not OP.)

When moving from dynamically/untyped/unityped languages to those with types, you are liberated from having to check the shape of inputs. If you're given something that claims to be a list of strings, it absolutely is a list of strings, and you can proceed without thinking about it's list-ness or string-ness any further.

When moving from a typed language to a dependently typed language, you are liberated from having to check the state of inputs. You don't have to worry that your file handle is closed, or ensure that you update the state of the object correctly to satisfy some protocol (if you don't, you will be picked up on it!). If you are writing a parser, you don't need to check that the parser returned the form that you just called - you know upfront.

There are other niceties: the type of the function is always a very rough exposition of what the function should do. With dependent types, it becomes considerably clearer. Consider these two functions, which could have very similar implementations (in some Idris-like syntax):

f : Int -> Int -> Bool
data T : Int -> Int -> Type where
Tz : T 0 x
Ts : T a b -> T (a + 1) (b + 1)
g : (x : Int) -> (y : Int) -> Maybe (T x y)

Given just the structure, it should be a bit clearer as to what's going the functions intend to do.
> I've had periods of years in my life where I didn't have to think about money. After a short period of faffing off, I started doing all sorts of stuff. Some of it of direct value to society (volunteering) and some of it perhaps indirectly so (teaching myself new skills, working on 'products' that could be useful). I mean, even just spending time with others who themselves had it in short supply and valued my company could be considered 'useful to society'.

Do those activities generate enough money, so that government collects enough taxes from you, to cover your UBI + all the other costs (roads, schools,...)? If not, you're still a net burden on society.

> People want to be useful. People want to be valued and needed. People want to be creative.

Of course people want to be useful and creative. But peoples usefullness and creativeness has to create atlest 2xUBI of taxes (one that goes back to the worker and one that goes to someone who get UBI but doesnt work) + all the other costs.

If you're capable of doing stuff you like, being creative, liking that work, and creating that much income, why are you not doing it now?

> I consider it quite possible, or at least worth properly exploring, a society that provides in the basic needs regardless of whether you do pointless work for pointless company to allow you to spend your downtime on pointless consumption and entertainment (because no energy for anything else).

Problem with this society is, that it also requires people who are working, to cover the cost of the poeple who are not working. Curretnly most countries do that for a very small percentage of unemployed (welfare), and most people in those countries are already complaining about the high taxes. If you raise the taxes on the people left working, and let others live relatively normal lives without working, you'll get less and less of the former and more of the later. Yes, non-workers will create music, art, will travel, write blogs, etc., but none of that generates enough income to cover even their own cost.
So frustrating, I feel your pain.

The left CTRL key snapped in half on mine after ~8 months. While under warranty, I was told I had to send the whole thing away, 2-4 weeks. That was difficult to accept. I've had to occasionally re Sellotape it since then.

Later the tablet battery stopped charging, then stopped being recognised altogether. This means the screen cannot be detached without sticking a pin into a vent. This requires power down and I imagine not good to do frequently. I read it is a manufacturing default that won't be fixed.

After much inner wrestling I replaced it with a Lenovo. It had a hardware issue early on, but they sent an engineer around to my private residence within a few days with a spare part to fix it. Night and Day.

Never again.
The stock market is not the economy, don’t make a false dilemma on being bullish on America or not. You can totally be bullish on America and imagine a reset of the prices on the secondary market.
I have always wanted to own my own business and work remotely
I'm skeptical about this too.... especialy if the UBI was the 'thing' that got them elected in the first place. And people would be protesting because they'd be losing 'free money'.
Rethinking Fear
> There is a difference between Racket and Scheme

AFAIK the Scheme standard doesn't specify either behaviour. So, with regards to the standard both Racket and other Scheme implementations are free to implement this in whichever way they prefer. And the Scheme implementations that I'm using (Gambit-C, Chicken and Guile) all work the same as Racket. I only know of Bigloo (of about 10 years ago, maybe it changed?) as a Scheme implementation that uses the machine stack to implement Scheme continuation frames, and Bigloo (again back then) doesn't (didn't?) implement call/cc efficiently either. Arguably to implement the Scheme standard including call/cc efficiently the machine stack can't be used, thus any 'proper' Scheme implementation will behave like Racket.

I've written lots of non-Racket Scheme code and my code always assumes that it won't run out of stack before running out of heap. Some Scheme implementations allocate stack frames more efficiently than cons cells thus the straight-forward solution (recursion, not iteration then reversion) is also the more efficient one.

There is a tendency of claiming Racket is somehow fundamentally different from Scheme which sometimes feels a bit like a racket. I'm not opposed to Racket but think it would be better to take it as what it is, Scheme plus extensions and tooling, which most other Scheme implementations are as well. Racket may be doing that more extensively but I think it calling itself a different language should primarily be understood as a marketing ploy, or maybe as a move to justify moving ahead with own ideas without caring about the rest of the Scheme community.
Anecdotally, I tried OG Surface Pro back when it launched. On my lap the kickstand was extremely unstable; on high speed rail chairs the angle of kickstand was extremely steep and uncomfortable; on university desks and cafeteria tables it was okay but never good; only on airplane couches and Starbucks tables, which I’m not as privileged to say I use with frequency, it fit, at all.

The kickstand has reportedly improved since, but the problem is that it’s a highly engineered design for multiple but precisely pre-determined situations, with a limited adaptability.

Traditional laptop hinges on the other hand, oh they work beautifully between 0 to 1.1g under any posture, if you could put it on a lap or table it’ll be nice. That’s it. Way better than the kickstand.
Who are the ninja stick men from Pluto?
My friend's thesis was about optimal mixing of granular matter. It's pretty hilarious physics and I was said also practically important in pharmaceutics and cosmetics industry.
Calgary, in Canada. My social network is heavily out of Toronto, Canada.
First stable release of Ubuntu Unity 20.04
If you keep your skills sharp, marketable, and maintain a good attitude, you can get a job at any age. I was a tech recruiter for 9 years, and I saw a lot of older candidates get rejected. The reasons they go rejected usually came down to trying to sell themselves on years of experience & coasting on work they had done many years ago.

Here are some examples:

- if I ask you to tell me a story about cool work you'd done, and the most recent story you can come up with is from 14 years ago, I'm going to ask you come up with a more recent example

- if you try to sell me on your 20 years of experience, I'm going to ask you what someone with 20 years of experience can do that someone with 5 years can't do

- if you've worked on an older technology for N years and want me to hire you for a modern web development job, trying to selling on how you can learn it is not going to convince me that you want to do it, so when I ask you to show me something you made in something that people actually use these days, I need to see more than a badge you earned on Codecademy

- When you try to apply for a development job, I expect you to be a developer now, so if you look like you've been a manager for 10 years, and I ask when the last time you wrote code was, last night is a better answer than last decade

- If you want a premium salary, you need premium skills
germaphobery in overdrive...
You have to be a special case of naive for the collection and sale of data to be a surprise. Talk about living under a rock. As for mobile apps, specifically, you think these shitty apps make money off ads? No, the business model is data. GPS data alone is a multi-billion dollar industry that is growing very fast.
It is already being used in movie studios for a better rendering experience.

https://home.otoy.com/render/octane-render/

Fun fact, at GTC 2020 Otoy revealed that they are moving away from Vulkan and adopting CUDA instead (via Optix 7) due to better compute power and tooling for ray tracing algorithms.

https://developer.nvidia.com/optix
> Carnival is reporting 200% surge in bookings over August 2019.

Aside from everything else, this is insane. I’d never ever go on a cruise. Some people were held on cruise ships for a month or more weren’t they?
Breaking Thunderbolt Protocol Security: Vulnerability Report [pdf]
Carnival is reporting 200% surge in bookings over August 2019.

Looking at the problems cruise passengers have had over the last few months I think you would have to be nuts to book something like that right now.

In fact I wonder if it's even true. I could imagine Carnival putting out news like this in order to encourage people to book. Look, everybody else is doing it so it must be OK. Hurry before we sell out.

You ask them about it and they say that the pandemic is old people's problem.

It's not if you can't get off the ship because no port will allow you to disembark.
How to transition a small local team to remote work
> AFAICT Coq doesn't have linear types, and thus can't provide in-place modification of array elements or non-reference-counted/GCed non-primitive values, which means it can't take full advantage of a real CPU+RAM machine.

You don't need linear types for in-place updates. You can use a monad (which is another thing you can easily do with dependent types) to express the side effect of doing mutations. Then you can compile that monadic Coq code to Haskell, which then compiles to efficient machine code that actually does in-place updates.

Though, perhaps it is also worth mentioning that Idris 2 has both linear types and dependent types.

Regarding the need for automatic memory management: yes, most dependently typed languages have a garbage collector, but many "real" programming languages have garbage collectors and programmers are still happy to use them. I don't know why everyone in this thread is so concerned about performance. Dependently typed code can compile to reasonable machine code without any stretch of the imagination.

> Also it's not enough to erase irrelevant types, the types that end up in the program also need to be treated efficiently, which means generic monomorphization, not auto-boxing things unless essential (or ideally never), using computed layouts where possible (i.e. store (n, [T; n], [T; n]) in a single allocation if n is immutable), etc.

Memory layout is certainly something that needs to be dealt with, but compilers can monomorphize where possible to generate fast code with unboxed types in many cases. I don't think this is the main blocker for dependent types. I've written dependently typed code that easily outperforms the dynamically typed code I write for production at work (by at least an order of magnitude). In fact, dependent types can be used to guarantee that certain things don't need to be checked at runtime, which can in some cases give even better performance than what you'd get in a regular old statically-typed language.
Hopefully it won't mutate and this is just overblown: https://www.theguardian.com/us-news/2020/may/10/new-york-mys...
That is very cool. Though, part of the pedal are of course the knobs. You'd need to condition the wavenet on the knobs. Did that work well (I assume that you tried that already)?

Also, what is the inference latency on your model? A nice thing about analog guitar effects is that they are blazingly fast.
Did you not read the comment? Saying it's "nationalistic rage" frames it as something petty and superficial.

How is liberty vs fascism petty or superficial? It's not.

Regardless, outside of their ruling ideology their rise doesn't make me angry any more than an athlete's strongest competition makes him angry.

There are real, tangible benefits to being on top and there's no reason to give that up. This is a calmly calculated recognition.
When and Why to Pivot?
Bullshit.

:) see, I only said one word and you clearly understand my meaning.
That and Apple puts an NVMe SSD iirc and not eMMC. Even the Lenovo flex 14 with Ryzen 5 3500u I have has 12GB RAM and 256GB NVMe storage. It was US $450 on Amazon for Black Friday. I doubt Lenovo/Amazon sold it for a loss. Microsoft definitely could hit $400 price point with a surface Go that was worth buying if it wanted to...

From the article

> It’s also worth noting what you actually get if you buy the $399 model. For starters, there’s no keyboard. And the keyboard is really the thing here. After all, that sort of convertibility is a huge part of the motivation for buying a Surface in the first place. Along with the full Windows 10 experience, you’ll want the sort of productivity that requires a keyboard. That will run you $99-$129.

> A harder pill to swallow is the processor upgrade. Similar to the MacBook Air I just reviewed, the real top-line component refresh mentioned in the press material requires a not inconsequential premium. Microsoft heavily advertised the addition of the eighth-gen Intel core line, which was heralded as helping transform the Go into a proper laptop. The base level, however sports the Intel Pentium 4425Y, chip, far more in line with the original’s 4415Y — one of the bigger issues reviewers had with the first Go.

Now the R5 3500u isn't a desktop class processor by any means but I am pretty sure it is better than a Pentium.

https://www.cpu-monkey.com/en/compare_cpu-intel_pentium_gold...

Once again, I believe it is possible to hit $400 with respectable specifications. You just have to be willing to make a smaller/no profit.
What are your bets on the future?
SVG Splash. A beautifully simple SVG painting application
The simple answer is, enclosed spaces breathing strangers exhalations are going to be very risky till we hit vaccine / herd immunity.

Will your business insurance cover that?
>you can specify the 2-vectors on the unit circle as "{ (x,y) : x,y in R | x^2 + y^2 = 1 }"

Which is not possible for any language targeting real machines since floats have fixed precision.
You should search the dataset for government building coordinates to deanonymize politicians and that ought to really be a scandal worthy of legislation against mobile tracking once you air their dirty secrets e.g. suspected infidelity, leisure trips to brothels, etc.
U.S. Senators Advocate H-1B Freeze for 60 Days or Longer
War Plan Red: Requirements for a War with the British Empire
I've designed a Diplomacy card game that plays 3-6 players and takes about 15 minutes per player. It still has all of the backstabbing and alliances but abstracts the map away in favor of a "your borders are the people on your left and right". It is a lot of fun and less friendship ruining. I'd love for some hard core Diplomacy players to give it a try.
>War Plan Red was not declassified until 1974.
There are memes, and there are extreme memes.
I stopped flying about 18 years ago, mostly because I was taking too much business travel but also due to the environmental impacts and general unpleasantness of it all. I've never regretted that decision.
If the 10k for the PPL is prohibitively expensive for you, then flying probably isn't the right hobby.
Awesome site! Sadly p hacking is also a problem in many fields not just the soft sciences. It’s a bit of a dig at science but is it a fundamental flaw of the scientific method?
> Most code is executed a lot more frequently than it is compiled, so if I can get a 1% speed increase with a 100x compile slowdown, I'll take it.

Is that really true? I'd have thought most code outside inner loops benefits almost negligibly from optimization.
But there is physical law (Newton's First Law) that implies without sufficient checks and balances systems ultimately become dominated by a single force.

Regardless, I and many other Americans like our system, so why should we allow to it be threatened by a power hostile to it.
Figma: the product design team’s process
Firmware Update over Bluetooth Low Energy on PineTime Smart Watch
>Do those activities generate enough money, so that government collects enough taxes from you, to cover your UBI + all the other costs (roads, schools,...)? If not, you're still a net burden on society.

I challenge your assumption that someone's worth to society can be accounted for by tax revenue.
That's what I don't get. 9/11 caused us to embark on a 20 year war effort.

This is like a 9/11 every other day, but it's over and we should all get back to work to keep the economy going - what?
This is an excellent article. I've been following ZFS for a long time and haven't had a chance/reason to use it yet.

Nothing in this article was new to me, but it is so far the best intro to ZFS that I've seen.
I think that's now a standardised feature in IRCv3 compatible servers.
https://msegceporticoprodassets.blob.core.windows.net/asset-...

This image is from Microsoft.com. Think how much his upper torso will have to bend to look at the middle of his thighs.
BFS-Auto: High Speed Book Scanner at over 250 Pages/Min
I've been using: https://www.reddit.com/r/pihole/comments/bgzvem/how_to_healt... for upgrading + healthchecks

However note that the developers of PiHole do not recommend automated upgrades, or at least be aware of the implications
> So yeah, I can't for the life of me think why we "can't ever design such experiment right".

Your sarcasm undermines your point.
I imagine for most people, and I’m talking about the ones that would continue keep at their their existing job, if there was an extra $2000/month spare cash coming in or $4000 for a couple, it wouldn’t be a difficult stretch of imagination to say they would spend the money on the two most immediately obvious things: 1) upgrade their car 2) upgrade their shelter. If everyone is now affording a new $1000/month car payment and a $2000/month in extra rent budget, how would this ultimately not lead to people trying to outbid each other and cause inflation, especially rent? Wouldn’t rent or mortgage payments essentially rise to absorb this new quantity of money? Would this be essentially a transfer of wealth to landlords?
You mean it was good at some point?
Encouraging a culture of written communication
Pretty cool, though I wonder what the latency of this would be if used as a plugin?

The author says it works in real-time, but to non music/audio folks this could mean '100 ms latency is real-time enough, right?'

Generally, I think the audio VST business is a really fun space to be in for a lifestyle business, as it is way too small to be attractive for VCs. It seems like a space that provides many niches for lots of small players to thrive in.

As an aside, it's really quite interesting that a lot of cutting edge tech is now used to emulate the hardware-based tech of yesteryear. Think film filters for photoshop, and about 90% of all audio plugins that emulate high end hardware, compressors, pedals, etc etc.