skysight-inc/HackerNews huggingface dataset:
While I know precisely what you are saying (have been learning scheme theory this summer), this is hardly an accessible example to pure math undergrads, let alone someone who's attempting to learn some functional programming, with no heavy experience with abstract algebra.

First of all, why use Spec? Use ideals/varieties, it contains roughly the same data, while being way better to intuit. I'll put my money where my mouth is, and give it a shot.

Say we have some collection of points in |R^2, and we want to find equations which define this set. We do this by creating a function

f: points in |R^2 -> set of polynomials whose common zeros are the points.

For example,

1. f(unit circle at the origin) = { x^2 + y^2 - 1 }, because all points on the unit circle satisfy x^2 + y^2 - 1 = 0.

2. f(the full space |R^2) = { 0 } because the constant zero / the zero polynomial is zero on the entire plane.

3. f(empty set) = { 1 } because the polynomial/constant 1 is Nonzero on the entire plane.

4. f({all points on either the X axis or the y axis }) = { xy }, because points on either the X axis or the y axis satisfy X = 0 or y = 0, which is implied by xy = 0

5. The intersection of the XY axes and the unit circle, which are the points { (+-1, +-1) } is cut out by the common roots of the polynomials { XY, x^2 + y^2 - 1 }.

After some rumination, one will notice that as we increase the number of "points", we will need to decrease the number of polynomials: each polynomial is a constraint, so having more polynomials is having less points that satisfy these constrains.

This is the crux of the contravariance between algebra and geometry: geometry describes the thing in itself, algebra describes how to get at the thing using constraints. These will always be dual to each other.

How did I do at an attempt at an explanation?
Some of us prefer the Xerox PARC experience, and gave up on the promise of Linux Desktop with its fragmentation and continuous churn.

My MFC/VCL applications work just fine today, and can be easily extended to take advantage of modern UWP APIs.
AFAICT it is a mantra based meditation. All you have to do is hand over all your money to a guru and they will give you some arbitrary mantra with which you meditate with, repeating the single phrase under your breath. IANATMG but I think the mantra should have little personal value; it is used as an exercise, presumably to do with the breath, rather than a personal philosophy type mantra.
I'm not familiar with the Facebook integrations on the Oculus, can you clarify how the use the these devices would force you to give up your data?
Bootstrap 5 and Material Design 2.0 Admin Dashboard from scratch
systemd will happily health check a service, restart it when it fails and so on. The basics don't need much.

Auto-scaling is something I'm suspicious of. I saw many experiments with that at Google when I worked there, under the name of elasticity. They found the same thing GitLab found here: it's really hard and the expected savings often don't materialise. Even in 2012 their elasticity projects were far more advanced than what Kubernetes or AWS provide.

Most cloud auto-scaling efforts appear to be driven by the high base costs charged by the cloud providers in the first place. I've seen a few cases where simply moving VMs to cheaper colo providers saves more money than auto-scaling VMs or using managed Kubernetes in AWS/Azure.
+1 for nitter.

Also see invidio.us (alternative YouTube frontend) and Bibliogram (alternative Instagram frontend).

[0] https://invidio.us

[1] https://bibliogram.art
Mytechmag LegalTech Edition 2020
Get 1% Better Every Day: The Kaizen Way to Self-Improvement
I'm an avid listener of the ambient/noise/experimental genres and have experienced a "trace-like" state on a few occasions; I've always attributed this to the repetitive characteristic(s) of the song in question.

examples that come to mind:

Zoviet France - Cycloptic Sub Alien: https://www.youtube.com/watch?v=rVz2qCvjPDg

Zoviet France - Mohnomishe: https://www.youtube.com/watch?v=hsBD-pUO4GI

Laraaji - The Dance #1: https://www.youtube.com/watch?v=_hes0hRY9v8
Gossip, Trust and the Information Revolution
Double it, then add 20% make a 2.4 modifier.

20*2*1.2 = 48
20*2.2 = 44 // I, also, was confused myself at this point
2 *1.2 = 2.4 // not 2.2
Cool, but at that point I would probably just stick with what I have until it can be natively supported, or see if their current config is easy to template myself.
This sounds great, tried it but I have Apple's silicone cover and it needs a forceful tap, which I didn't find confortable..
I think that's actually the parent's point. The quoted sentence is rhetorical.
Who are the providers referred to in this as 'God'? Is that providers like akamai/cloudflare/L3 that have big pipes/route lots of traffic?

Edit: I'm assuming Tier 1 network providers for AT&T/CenturyLink (aka L3) etc as per this list https://en.wikipedia.org/wiki/Tier_1_network
This is not a theoretical assumption: leaked XKEYSCORE “selectors” target anyone (1) searching for Tor on search engines or (2) using Tor.

Code:

https://daserste.ndr.de/panorama/xkeyscorerules100.txt
I agree.

https://threadreaderapp.com/thread/1306359385656946688.html
This has turned into a music recommendation thread, apparently.

From a different side of the world, Wardruna has a few 'trancey' tracks; here's one: https://www.youtube.com/watch?v=F67VZblDrQg
I recently bought a used phone on ebay. When I turned it on it had the previous owner's data in tact and no passcode. I opened Gmail and was in their account.

I immediately factory reset the phone. My point being sensitive data leaks all over the place in many ways in today's world.
Show HN: Makely – 3D Printing for Everyone
Hi HN,

I want to show you my solo project, Makely, which I have been working on for a little over a year.

Makely lets you find 3D printing enthusiasts and small businesses that will help you to 3D print your ideas.

I created Makely because I saw how, despite existing giants like 3DHubs or Shapeways, 3D printing is innaccessible to the
everyday user. With current platforms, the minimum requirement is an existing 3D model - this is actually quite
a high barrier - 3D modelling is hard, and modelling for printing has its own requirements.

Makely eliminates the need to have a 3D model ready and any knowledge of suitable materials.
You just need to post a description of your project and the creators on the platform will send you a quote
of how much it would cost.

If you own a 3D printer, you can start earning by taking on projects.

Happy to answer any questions!

- Petar
Creosote is banned in the EU since 2009 (and since 1991 in Germany) for most uses, especially everywhere it might come in contact with humans. There are narrow exceptions for eg railroad ties and utility poles.
Airbus suggesting to fly formations (fello'fly) to lower consumption/emissions
Note this is not specifically SaaS-related. In more traditional models, you also have new releases and upgrades, therefore you need to evolve in order to convince your existing customers the upgrade is worth the cost. Sometimes the new product is a failure (Vista, Windows 8), sometimes they see the benefit and will migrate on their own (Windows XP, 7). In any case, you are forced by the marked to endlessly add new features to stay competitive. In practice, many of these features just use up precious system resources and create problems.

Even Free Software is vulnerable to this problem - Gnome is a good example. But fortunately in these cases people can take things into their own hands, and sometimes they do - and eventually we have such nice projects like Mate and Cinnamon.
I don't buy the "Kindle is cheaper argument". I have both a Paperwhite and a Kobo reader (as well as a way of stripping DRM off of both), so I usually look up the prices on both before purchase.

I'd say it's 30% chance of an ebook being cheaper on Kobo, 30% chance of an ebook being cheaper on Kindle, and 40% chance of the price being the same on both. I only remember one example of an ebook being absurdly cheaper on Kindle (like $10 compared to >$20), everything else deviates by like a dollar or two one side or the other.
Probably new regulations.
Calculating screen to face distance (2020)
Not sure what you're getting at. They may use leverage, depending on the niche. As far as how, same way anyone else does. They use an asset as collateral to buy more of another asset (or they offer a service to do so).
The clue is in the “ya” ... “yet another”
In very wet climates, such as those in parts of Scandinavia, the tradition is to dig a thin trench all along the concrete basement walls/foundations and put a sheet of reinforced plastic along the outside of the wall. Then fill in outside this sheet with gravel, which doesn't hold moisture in the same way that dirt does.

The property still needs to face downhill, to allow gravity to drain away the water so it doesn't sneak in and get stuck against the walls, but this is a nice passive system to greatly reduce the humidity in basements. I don't think it would work well for a basement built in marshland, then you'd probably need pumps or active air circulation.

This is basically what you described in your point 3, just pointing out here that this technique works well even in climates that have 200 days of rain per year. Admittedly the temperature figures into it; it probably wouldn't work with both 200 days of rain and average temperatures of 25 celcius.
If there is an oversupply of houses in an area, prices will be less than the cost of construction. Some people still build new because they want something in particular. If they then have to sell, well, they are going to sell at a loss no matter how good the house is.
Show HN: Open-source software to analyze animal behavior: Feedback appreciated
Isn't the point that starting fires regularly keeps any particular fire small due to lack of fuel (since it has been burned in previous fires)?

Seems like doing it in winter would defeat the purpose.
Surface line all do and any professional level laptop from the past few years should too.

The term to look for is “Windows precision trackpad”.
Is anyone successfully using Thunderbird with Office 365 + Google for calendars and mail? I've found various plugins but never got both working consistently for both services.
Imap, caldav, etc. are a breeze but unfortunately work requirements mean I need to use the two big non-standards.
How much are you willing to pay for electricity? Up to now it's been relatively cheap... Might be time for the hand-crank lantern and battery-operated rasberry pi. Go off-grid and vote. Run for office if you're serious.
I probably won't use this (I'm fine with my current editors) but I want to give the creators credit for what looks like a very complete and feature-packed first release. So many things on day one! Nice to see software that looks ready to use.
I used to work in IT for a state based police force in Australia. Traffic reports can be requested by those involved in traffic accidents, which includes parties to the accident and their details.

People used to be able to get the personal information of police officers if they were involved, intentionally or not, in a traffic accident with a police car. They would request for the traffic accident report, and that included the personal information (including home address) of the police officers in the car. I was in QA and I tested the change when it was fixed. It now includes the address of Police HQ when a police officer is involved in a traffic incident.
And much, much harder to fix problems.
It mostly depends on where your house is located, if the minerals contain uranium, and then type of building material, level of ground air intake and ventilation.

"Some types of rocks have higher than average uranium contents. These include light-colored volcanic rocks, granites, dark shales, sedimentary rocks that contain phosphate, and metamorphic rocks derived from these rocks." (https://pubs.usgs.gov/gip/7000018/report.pdf)

See also this map of the areas in the US which documents radon levels, which however doesn't predict radon levels of each house, only points to a general risk.

https://www.epa.gov/radon/find-information-about-local-radon...
Yes, I have had my blog in there since 2005, if it isn't broken why should I fix it?

Recently I've also started a new personal project which mainly consists in posting a new "article" every few days with 5 to 10 photos attached to it, I've found blogspot a lot more handy to use than doing all that on my linode instance (I hate being in the "image managing" business) or on any other blogging platform. I could have chosen wordpress, but I'm not sure how much "free" hard-disk space they provide by default.
I compare it to "defence-in-depth" (i.e. data validation at every level).

Ever since RDMBS moved-away from XBase-style table-files database textual/string column length limits are conceptually the same thing as having a CHECK CONSTRAINT on the length of a string (something that SQLite does support!).

e.g. https://stackoverflow.com/questions/8252875/how-to-restrict-...
There is, it's called quantum fluctuation. It is VERY unlikely a whole whale could materialise this way in a volume of known universe, but not impossible.
Peculiarities of Video Console Pricing
TIL. Germans of course have their Verdrillschemata to place Verdrillmasten properly, but it seems they're quite rare. There's a Wikipedia article with an example transmission line, but it notes that all Verdrillmasten have been removed from that line over time.
Probably CosmosDB or MarkLogic.
The GeForce series is targeted at gamers. Video games are not making use of more than ~8GB of VRAM.

There is literally no benefit to 90% of the audience if they doubled the RAM. Of course, they also want to do market segmentation too, but you can’t blame GeForce for not being designed for ML training.
> Only legitimate buyers lose.

The publishers and developers apparently also lose...

Previously on HN: https://news.ycombinator.com/item?id=15319476 EU commisions a study on the effects of piracy on media sells. The results are not what they expected so they try and hide them. This is "leaked" by a member of parliament.

According to that study, specifically for game piracy, every copy of the game that was pirated resulted in 1.24 copies sold, meaning that effective DRM actually reduces sales.

So the only ones who don't lose are those making the DRM.
Can you share what bug did you encounter with the apple text layout engine? I too have written simple text layout code for a text editor (dealing with wrapping, tabbing, cursors and all those things), and those are the most logically chaotic and ugly code I've ever written, turned out buggy and not maintainable, I'm interested to know how other people did it
I overslept because iOS 14 disabled my alarm
> Actual analysis by the engineers of one of their migrated jobs (urgent-other sidekiq shard) says their cost went from $290/month when running in VMs to $700/month when running in Kubernetes. They tried to use auto-scaling but failed completely and ended up disabling it:

Note this is just one service out of many and has very low latency requirements, and due to our slow pod start times in this case it didn't make sense to auto-scale. We are auto-scaling for other services in K8s.

> says their cost went from $290/month when running in VMs to $700/month

These numbers represent a snapshot in time where we are overprovisioning, for this service for the migration. You are correct that cost benefit here remains to be seen for this service. We are doing things like isolating services into separate node pools which may not allow us to be as efficient.

Safer and faster deploys was a huge win for us, for this service and others. This of course is compared to our existing configuration using VMs and Chef to manage them.

disclaimer: blog post author
Maybe the best middle ground is to build "Domes" style homes.

But i think brick + concrete is the best solution. Sturdy, repairable and not overly expensive.

If caves/underground bunkers or flying homes would be cheaper and more effective it would be tried already ;)

Never underestimate super old proven traditional solution. First check if your new solution cover all bases like old one used to :D
I agree. Using API key to determine what kind of information is returned is a strange solution. It would effectively mean that if the airline is developing an application that has multiple levels of users (airline employees, customers, admins) it would need to store and use multiple API keys to retrieve the data.

Ofcourse, real solution here is that the airline software should not just pass along everything it received from Amadeus but rather that they should convert it and return only the relevant subset. This would avoid these type of issues.
Coober Pedy is more a small town than a city, and it is not the only one. White Cliffs, NSW, is also mostly underground. I suspect there are others.
seconded, even libreoffice. I have 12 sheets, one for each month. Each year I copy it. There is a second spreadsheet for big long term things, like loans and different phases of contractor work on our house
HTC is working on a XR2 based version of their Vive Focus standalone headset (source: https://www.roadtovr.com/htc-vive-focus-xr2-geekbench/ ). It will be out in 2021. I hope it will be less than twice expensive as the (subsidized) Quest 2.
OK, thank you for the explanation. I was not aware that Amadeus is some type of backend system that airline software integrates with.
Pretty much what the other guy said. I'm likely to be working with Snowflake soon hosted on Azure. Existing warehouse is on Oracle and is costing >1 million pounds per year in hosting and licensing. For enterprises with expensive licenses on Oracle or SQLServer and expensive hosting costs Snowflake offers a more attractive package to the business. Technically I'm not sure it will be too different, I'll update in a couple of months!
Almost everything that gets advertised about it I have mostly seen it first on application servers.
It's sad that 365 support is made by various independent projects who aren't working together to make a library that every mail client can take advantage of.
Also - the talk in some way functions as marketing for the company they work for, either as

marketing to buy some product the company has

marketing to want to come work for the company that is doing this cool stuff.
Why not just build a house with very thick stone outer walls? Seems like all the advantages and none of the disadvantages.
Interesting concept, task/project management optimized for outside collaboration - but it's not really clear to me in what way this is different from any other project management tool where I've invited the people I'm collaborating with.
Might be fun for you to check out what https://www.brain.fm/science is doing, which takes an alternative approach focusing on generating rhythm and tone tracks that, for lack of a more detailed term 'lull' your brain into focused or relaxed states. I get a lot of mileage out of it when working, don't often use it for relaxation because I find simple nature tracks better for doing standing meditation.
I used most commonly IO and State monads.

but I didnt write any Haskell code for like 4 years now. So stuff could change. Maybe GHC got fixed ;)
Now that you mention it, that was also what our burndown charts looked like (unaffacted).

Our Scrum Master did use a factor of "actual hours worked vs. planned hours worked" to determine how accurate our SP totals per sprint were. I.e. if we did 100SP in Sprint 1 with no overtime, then 100SP in Sprint 2 with 20h of overtime, we underestimate the SP in Sprint 2.

I am generally not a fan of time tracking (especially not down to minute accuracy or per-story), but I see sth. like "8.7 hours worked on Tuesday" as a useful but not misleading measure.
Even the $400 price point of the previous generation standalone headset was probably already subsidized. They just turned up the "evil corporation kills all competition" dial.
I've got to say, I don't agree with this. The predicate of the argument appears to be that the team managing the VA/SAST platform will be able to block adoption of new technologies if their tooling doesn't support them.

I don't think I've ever seen a company where the security tooling team had that kind of authority or pull. I've seen plenty where the first time the security team hears about a new technology is after product development has started.

You only have to look at the rise of containerization in enterprise to see this in action. When it started tooling was way behind, and it's only catching up now, but that didn't seem to stop anyone.
Thought I'd already read all this. And then installed it and used it.

https://news.ycombinator.com/item?id=23864934
Can we fix the title of this thread, please? It's pretty ambiguous.
I do actually (a CLI). I'll open an issue.
> I told my husband to either turn off the (expletive) AC or turn on the gas logs. He turned off the AC. In the past, we have found it necessary to run both simultaneously.

Running both the AC and the heater is actually standard procedure for reducing humidity as quickly as possible. You should try it more often! It's a useful trick not only for your home but also for your car, when you need to fix foggy windows in cold & damp weather.

A heater on its own will not move any H2O from the inside of your home to the outside. It merely lowers the relative humidity, which will go right back up as soon as the air gets cold again. The AC, on the other hand, actually pumps water out by collecting condensate in the evaporator. But this doesn't work very well when the temperature is already lower than the lowest possible setting for your AC. So you use the heater to increase the temperature, kicking the AC into action. The result is the best of both worlds: moderately warm, dry air.

Source: I live in a very humid place. Forecast for tomorrow night: 59F with 95% humidity.
Skoda представила в России новую Octavia. Лифтбек сильно подорожал
It’s honestly been made irrelevant overnight by Figma.

Once even one person on your team moves to Figma it becomes absurd to use something where you have to share fixed files around and are stuck with only using Macs for your design work.

I still use Sketch for things that only I work on outside of work because I’ve already paid for it but having living documents and being able to share with the rest of the company without them installing software is essential now. Not to mention being able to use my powerful PC workstation not just my Mac laptop is great too.
I wouldn't say it is harder, it just costs more. And an underground house is not the sort of thing to cheap out on because of the difficulty of repairs.

A cheap above ground house can have tons of repairs done, that shouldn't have had to have been done in the first place, but weren't prohibitively expensive to do anyways. An underground house can't just have new vinyl siding slapped on top of the old super garbage shit because you have to dig it up. So you have to spend the money upfront, rather than kick the can down the road.
Yes. I hope someday mobile devices(like phones and VR sets) become like laptops - you can install an OS you want.
You should own the hardware. I'm not a fan of the whole hardware-software integration.
Guilty. I also find tech conferences more rewarding if you can build a profile by giving a talk, rather than being a passive consumer.