skysight-inc/HackerNews huggingface dataset:
A slightly more concrete version of this is

data Predicate a = Predicate (a -> Bool)

this naturally has a contravariant functor instance: if you can tell me whether something is true for "a", and you can convert "b -> a", then how do you tell me whether something is true for "b"? Convert the "b" to an "a" and see if it's true for "a".

Formally, you get the instance

contramap :: (b -> a) -> Predicate a -> Predicate b

contramap :: (b -> a) -> (a -> Bool) -> (b -> Bool)

The picture to have in mind is to imagine A as a space, and then to know that some things are true in A (color them green) while others are false (color them red). If you now want to color another space B using this space A, should you have A -> B, or B -> A?

some thought reveals that A -> B may tell us inconsistent colourings. For example, say we have a map {red, green} -> { b } where both "red" and "green" map to "b". So what color do we assign "b"? There is no reasonable choice.

On the other hand, say we have a function B -> A. Since each element in b maps to one element of A, we can say

color(b) = color of element that b maps to.

We need the fact that a function maps one value in the domain to exactly one value in the codomain for this to work.

I tend to imagine the function from B to A as threads, whose endpoints in A are soaked with dye. This dye "moves backwards" towards B. The uniqueness in colors assigned to B is given by the fact that we can only have one thread from each point in B.
As a nearby comment observes, this leads to s-expressions.

The connection between APL syntax and s-expressions is surprisingly close. Start with prefix notation and right-associativity, add grouping parens, and you have something that looks like lisp. The Nial language is an outright fusion of the two that's fun and enlightening to play with.

https://en.wikipedia.org/wiki/Nial
https://github.com/danlm/QNial7
Safari on iOS 14 and iPadOS 14 for PWA and Web Developers
The same happens with html and browser bugs all the time.
Facebook is selling the Quest 2 for a loss? (Not that I would be surprised).
Agree, You can't expect a company like Autodesk to offer such a expensive tool for free forever. They seem to be preventing abuse with these changes, while still allowing hobbyists to continue to use it for small projects. And that's all you should use it for. Building a busines on a hobbyist license or trusting all your complex big designs to their cloud is asking for trouble.
Show HN: Embed Draw.io in Notion
If we're talking drum-based drone ambient, there's Man Forever. https://www.youtube.com/watch?v=a1b6chDYxK4
The second key is that video game developers go where the gamers are.

No, they don't. They go where the money is. That isn't the same thing. To make a AAA game you have to either develop it to be multi-platform, or you have to cover the profit you'd get from platforms you don't release on by getting a fee for making a game exclusive. Sometimes a developer will write for one platform and then license out the game to another developer to port, but that's basically the same thing as just having two teams, just with slightly lower risk and lower profit from successes.

That's only for developers that are independent though. Sony and Microsoft own a lot studios. That's where the majority of exclusives come from.

What gamers want is a distant after-thought.
I didn’t find anything confusing about it.
What seems to go with this sort of thing is the temporal uniformity. Events of all history are reflected in the current valuespace. Therefore, whatever you say to anybody can potentially go against the future set of values and thus cause you harm.
Allegro to Cash in on Online Shopping Boom with Warsaw IPO
Like you said, get your own domain. But crucially get a good unique pseudonym before you start. Don't get your own name, unless it is really unique.
Your pseudonym should meet 2 criteria:

1) There shouldn't already be any obvious search engine results associated with it

2) It should be unique and easy enough for the common person to recall (aim at least to be recalled when you see the name on a list of multiple names but ultimately to be recalled from fuzzy memory directly or by means of searching for a key word)
Facebook now requests personal ID when they suspect account is fake. They can ban your account if they find it to be fake, which also cuts access to any store content you've paid for. This is done automatically and quite efficiently by algorithms.

They've now announced some kind of developer accounts for businesses that won't be tied to personal FB accounts.
> Most (if not all) problems are related with bad construction

Underground houses or basements are plagued with this kind of problem because they seem to be really difficult to build properly, and really expensive to fix once they've been built.

I've never met anyone who's been happy with their basement. I've lived in four places that have basements (a mix of newish builds (since 2000) and old (1800s) builds and the basements have always been terrible, even if there had been extensive work making them less horrible.
America became obsessed with dips, sauces, dressings, and “food lube”
I agree. Through being complex, it stimulates management to turn devops into a separate pillar in the organisation, creating "devops" akin to "Agile".

The practical results for me were:

* Having to write a CLI app to reduce the time wasted and spit out simple config templates for our actual (very much not Google-scale) use case

* Whenever something didn't work, throw it over the wall and hope the DevOps gods deemed us worthy

I like tools that have sensible defaults and try to stay out of your way. K8s fails on both counts in my experience.
Looks nice, but when you say manage tasks with service providers I think of something like - managing something with AWS or some other cloud service - as in an integration for major business services (probably because on HN), but your examples are more down to earth, mow my lawn type thing.

If you actually are thinking of the first type of stuff, then should probably provide some more in depth examples, if it is actually for your examples on the landing page fair enough (like I said, being on HN I felt uncertain)

I
How the hell does the article "not make sense"? The title specifically says "Our Underground House", and at the end they explicitly say they would consider choosing such a house again, under certain condition.

And pretty much all problems are related to the kind of house itself. That it's not mainstream means not just that you need the right buyer to sell it, but also that you need the right contractor to build it, since most won't have any experience with this kind, leading to bad construction. And while moisture and leaks are a problem for houses in general, they're a bigger problem for this kind. Finally, the basic concept guarantees that any kind of problem with the outer walls will be much more difficult and costly to fix than with a regular house.
Let me give you another example:

Let X be a set, and

Fun(X) = { real valued functions on X }.

Then X -> Fun(X) is contra-variant.

Indeed, if $F: X -> Y$ is a map between set, and f \in Fun(Y).
Then you have a natural function $f \circ F: X -> IR \in Fun(X)$. This is sometimes called a pull-back of $f$.

Functors of the kind Space -> { some stuff* that lives on X } are often contra-variant. E.g. functions, vector bundles, sheaves, differential forms, etc.
Product Launch Plan Template
I frame my own disdain for SaaS along three axes:

1) Control - SaaS usually ingest my data and silo the results of my work, so that I don't own the output. This is often unacceptable. It also makes solving problems harder. With a local application, I can always hack around its deficiencies, or easily post-process its output. Can't do that with a webapp owned by someone else.

2) Reliability - While a SaaS will be more incentivized to support a paying subscriber, pay-once software with no auto-updates is more reliable once it solves your problem. That's because it's frozen in time. It doesn't get new features (which usually aren't needed if you have a working solution already), but it also doesn't break. In the context of your whole computing system, pinning to a version of a local piece of software lets you freeze one component of your system - which reduces complexity, and gives you one less thing to worry about.

(Longer term you may need to worry about the rest of your system becoming incompatible with the version-pinned program - but VMs essentially solve that these days.)

3) Relationships - Every SaaS I subscribe to is another relationship I enter with a third party that needs to be consciously tracked. I don't want that, it's anxiety-inducing and cognitively exhausting in the long run. What I want is to pay money in exchange for solving problems. I don't want new relationships on top of that. I tend to use the following example: when I go out to buy some bread in the morning, I exchange money for bread, and that's it. I don't enter into an ongoing relationship with the store, the bakery, the flour supplier or the wheat farmer. I like my software like my bread.

(To be more accurate: I actually do enter into a bunch of relationships when I buy food or trinkets in stores, but they're all governed and fully handled by various business and consumer protection laws - which means that I don't have to care about them. They only matter if something goes wrong with the goods I bought - and then all I need is to keep a proof of purchase and know who to e-mail about it, and I can even CC the government to force-handle things for me. Meanwhile, SaaS creates relationships you do have to track yourself.)
HN title is incorrect. Year was 1982 not 1972.
Then they would say "this is annoying, let's make it to last long" which brings us to now...
> The first clue that you're going to have water problems are the steps leading down to your front door. You built a catch basin to live in.

Their property is on a what looks to me to be quite a steep hill. I.e. the steps lead down to the front door, then there's their living space, then their deck is on supports above the slope.

I know nothing about water levels etc. in buildings. Is this still as much as problem (since it's only a "catch basin" from the one side of the slope)?
Waterproofing on concrete walls is not recommended imo. (even if popular now in the States), as it will prevent the concrete walls to evaporate the moisture. This was popular in the 80s I believe in some Nordic countries, but not allowed/used anymore. You can/should install a dimpled foundation membrane though.
The policy of not clearing underbush at all just seems ripe for even more wildfires.
That's neat. I'd love to embed https://excalidraw.com instead as it's a bit more performant than draw.io
Visit science centers in your area, watch science shows and documentaries, watch rocket launches together.

We have science nights where kids can ask how something works and then we white board explaining how it works. Or we just pick a topic and white board it.

Lego mindstorms, check out Lego First Robotics League, if you can't find a team to join you can create your own team. They have a few options for different age groups.

Do science kits, chemistry and electricity.

Do your own experiments like rubbing a balloon then holding it by a stream of water in the sink. There are thousands of cool experiments and projects out there.

Kids are naturally interested in this stuff.

When they are a little older arduino projects are good fun for the kids and adults.
The difference is the deer and turkey don't get to read and accept the ToS. Autodesk seems clear about what you sign up for[0] (1 year, non-commercial licence). You're choice to accept the terms and risk not being able to use this professional software for free.

[0] https://www.autodesk.com/products/fusion-360/personal
... and orders of magnitude less complaints. I bet Julien Assange has tons of enemies, even loads of people who just feel he has "betrayed" US/UK army/police force/...

The big lesson is that it's very much exactly on display what fairness is on offer at courts in the UK: the BBC is very big on criticizing governments worldwide the UK has beefs with, not so big on criticizing the UK government or it's main ally.
95% of their problems are due to poor planning and shoddy construction. If they built it right from the start, it would still be great. But because of the nature of being underground, "simple" repairs stop being cheap or simple. So you gotta spend the cash upfront to do it right the first time.

This is a lesson in don't cheap out and kick the can down the road. Do it right the first time so you don't gotta redo it a second or third time, especially when redoing it involves digging up your entire house.
I think they were making Mac software back in the days when anything Apple was a true niche. They should be fine.
React Native for Windows and macOS is developed by Microsoft, and they continuously show how Electron bloat means it uses 300x more resources than Win32, UWP, React Native applications.

My hope is that they create enough momentum to force the VSCode team to rewrite in React Native.
I have the opposite assumption: the raw data is usually more reliable than an editorial. And I confirmed it: the raw table is more reliable since it is the same survey across different years. The article is inconsistently comparing numbers from 2 different surveys. The 2018 figure (2.63) is from the "American Community Survey" and the 2010 figure (2.58) is from "Census SF1 data".

But the 2010 "American Community Survey" says the average houshold size is 2.63 (https://data.census.gov/cedsci/table?q=b25010&tid=ACSDT1Y201...), so for this survey the trend is flat.
Yes, and you're part of the reason. Pessimism fuels itself.
Top ten Libraries every Java Developer should know
This is the same person who had a blog post on the front page ~2 months back, rambling about a JavaScript scroll bar issue, the fact that an ISP could block entry node traffic, and a few other things along those lines ("omg, 0 day!"):

https://news.ycombinator.com/item?id=23929312

Both blog posts probably ended up on the front page and got quite a bit of attention because the words "0 day" and "tor" were used in close proximity, something the author is apparently very fond of doing (the posts are part of a series titled "Tor 0day").
In system architecture, there’s entire fields of research exploring ways to expand the space from which we pick our solutions. It is not about variety of opinions but about a variety of ways of thinking about problems. More options means more creativity, more chances of a novel approach, better chances of standing out. Having a culturally (gender, race, native language, education, age, you name it) diverse team is a really efficient way to gain that. So diversity of perspective is directly financially beneficial for certain organizations.
You are never native on multiple platforms. You are always alien on all of them.

Unless you have separate code base for each.
not really addressing your point... but I am really liking the English audiobooks of the Monogatari Serie (if someone wants to start I suggest listening to Kizumonogatari first).

the style is that of a light novel, so much more adapt to narration and internal monologues and even leitmotifs for supporting cast voices
SteelSeries include adware in driver automatically installed by Windows Update
30+ years of experience seeing fads come and go in this fashion driven industry.
I'm not a specialist, but from my experience so far, every earth-covered underground structure (underground parking, subway station etc.) will eventually start leaking (exceptions might apply to really dry locations of course). It might last 40 years instead of 30 with better construction quality, but eventually you will have to dig it out (in part or fully) and repair it - which is obviously costly, especially if you have landscaping at ground level.
How Can I Get a Real Estate Industry Email List?
The idea was applying the waterproofing only one one side, so the water can evaporate from the other (inside) side. The inside should not, of course, be covered with something impermeable like plastic sheeting or foam insulation.

The "dimpled foundation membrane" is the "drain mat".
Nice, but no in-line images which are important in this case.
Off topic, but I posted my essay/overview on Google and DoubleClick on Blogspot for a reason, though I now have a Wikipedia article:
https://en.wikipedia.org/wiki/Draft:Effects_of_the_2007-2008...
I just switched themes on my Blogspot blog because I posted the ConfigScript.ps1 PowerShell script that MS took down. I used it when I was doing work on CompatTelRunner and Appraiser in Windows.
StyleGAN of this size runs fine on your average CPU.

I know that for a fact since I wrote paint.net plugin that does exactly that. Said plugin works perfectly fine with images of the size they use (512x512) and generates output (CPU-only, mind you) in less than 5 seconds on a dual-core laptop...
Netlify is one of the few tools where everything is as I expect it. Everything I've done with it has 'just worked' and I love the automatic preview builds that are generated for GitHub PRs.
Share temporary access to accounts (e.g. Netflix) without giving passwords away
Express.js in production best practices: performance and reliability
Show HN: Building the next-generation learning experience
If you reflect a bit on how you learn, you will probably find that in order to acquire a skill or some level of expertise on a subject, you take 5 steps that make up your learning behaviour.

1. You find the learning materials for the subject.

2. You input these materials into your brain through reading and listening.

3. You process the new information through memorising and associating in order to construct a new thinking model.

4. You practise by solving problems that are designed for learning, or by having basic conversations in the case of learning languages.

5. You apply the new skill you just acquired and start creating values for the world with it.

What Astrasum does is that we are hacking learning. We want to accelerate your learning by helping you become better and better at each one of these steps with our technology and growing community.

We are still working to integrate AI and VR into our features, but they are already pretty cool.

Try it out and if you find it helpful or fun, please share it with your friends as well!

https://astrasum.com
Or if you need a DB, then use SQLite. It's a file that's also a relational database, and it's better than any file scheme you can come up with for this purpose.
Some of the speakers I've met at conferences were people on who's contribution in form of articles/tutorials/videos I relied on (and still do) to learn and develop my craft. I was so glad to be able to thank them in person. They all turned out to be great people in real life as well. What I'm trying to say is that, sometimes, some people do it for free just because they care about others and love what they do.

edit: spelling, missed a ".".
Mozilla Is Crowdsourcing Research into YouTube Recommendations
To play devils advocate, I think from apples perspective they 100% don't want people using random SD cards they buy from amazon then calling up apple tech support for help when it fails/corrupts all their photos that weren't synced to the cloud, posting complaints online about how the iOS lost all thier photos etc...

Although personally i think there still should be one, and a headphone jack!
I'm doing the same, with https://httptoolkit.tech/: the core features are free, but there's advanced extras that require an active subscription.

I'm this exact case you cover: it's a powerful developer tool that's very connected to the network & captures the traffic of many of your other apps & devices. It _must_ stay up to date, or users could be at serious risk. Holding back updates from users would be irresponsible. I've noted this in the past, but never really spelled this out fully, and it's important context, thanks!

For cases like ours, the upside of freemium over simple paid software though is that the end of the subscription doesn't completely shut down a user's life (unlike totally losing access to your IDE, or your cloud data), and you do need to ensure that. Instead the free user limits are put back into place, but those should generally make workflows inconvenient or less effective, and not catastrophically blocked.

In my case, for example, free users lose the ability to import/export collected traffic, but the exported HTTP traffic is in a standardized format anyway (HAR: http://www.softwareishard.com/blog/har-12-spec/). Some automated built-in tools go away too, but manual workarounds exist for free, for immediate & short use cases. Those fallbacks & that portability ensure nobody is ever totally locked up by the end of a subscription.

It's a very delicate balance (they need to be limited a bit, or nobody buys anything!) but it's been working well for me so far, and as a bootstrapped dev a free basic option is _incredibly_ useful as free marketing. Good luck with PhotoStructure - feel free to get in touch if you want to chat about any of this.
and on Ubuntu?
Hi guys,

I recently wanted to embed a draw.io diagram in Notion but couldn’t get it to work with the default Export as URL option in draw.io as it doesn’t load correctly in Notion.

This led me to build this super simple HTML page that I can use to specify the draw.io link and then get a link that can be embedded in Notion.

So far it’s worked really well for me so I thought I’d polish it up and share it with everyone in case you maybe find it useful!

Thanks!
Interesting will definitely check this out
Last time I worked with F360 it was very possible to save files locally.
Yes. I saw them doing just this in South Korea in 2015. The guys doing it were pretty chill, said I could not take pictures of their drone but they told me a bit about how it worked. Computer vision was part of it, human inspection was too. They said it was much safer than a manned helicopter, and faster.
Working on a free software platform is not mutually exclusive with reaching the majority of end-users. You can develop web apps for example or use cross platform toolkits for native apps. That's what I do and it works great.
There are 'fewest moves' competition as well
If it's an open source browser (Firefox or Chromium-based) can't you submit a patch?
> I haven’t tried AirPod Pros but I assume they are better in this regard.

I actually have no problem with the origin AirPods, but the AirPod Pros always slip out of my ear. The former relies on the shape of your ear to hold it in, the latter relies on friction of the insert in your ear canal; and I guess my ears are just unusually slippery. I've tried all the different sizes, and not found anything that works. When I'm working out or cycling I always use the original AirPods.

YMMV of course.
It's not clear to me that this is "sure to hurt".

Whilst dressed up in the language of principle it is, in economic terms, just another creative whose reputation provides for a "pre-sold" market he is able to exploit for greater personal profit.

Pretty standard: Louis CK was the first mover in comedy on this; pop artists are following.

The "basic internet" works extremely well as a dumb & free distribution channel if you don't need to build an audience.

I'm not saying Cory is insincere, but I am unconvinced his sincerity would hold were he a budding author. On the surface at least, it just reads like yet another artist hamstrung by their distributor whose reputation has superseded their need.

If one were to be even more cynical, as Cory himself admits, you could see the whole anti-amazon complaint as a mere marketing tactic. It is, in any case, /why/ this has succeeded and why we are talking about it.
Show HN: Build your recommendation system without coding, for free