skysight-inc/HackerNews huggingface dataset:
> We're still not comfortable checking if rationals are equal in any major language...

This seems to be confusing the issue to me. Checking for rational equality is trivial (just cross multiply). What we don't have is major languages deciding the the type rational numbers is useful enough to get first class support. And even that is overstating the issue, some languages do care and make representing rationals easy. In Julia, rational numbers can just be written like 2//3.

If people try to use floats to represent rationals and run into errors, the problem isn't that languages are incapable of representing rationals.

I don't see any upsides to using surreal numbers as a datatype. If you're restricting it to a finite size you're still going to have analagous problems that float or double do and I don't see any advantages in stability or whatever. If you're allowing arbitrary size (but obviously still finite) representation, you can still only represent the dyadic rationals, so you can't even express 1/3. The infinitesimals and infinities would require infinite size, so they're never practical.
IMO $35K support isn't going to last very long before we break through to important higher highs. Guessing no longer than late April. After that, bye. Overall market forecasting this year has been pretty solidly bullish from a number of corners and BTC will thrive on that.

Look at the chart, too, and use whatever TA you'd like--support levels, new highs, momentum, that lovely wedge...

$ETH and DeFi tokens seem like they are going to repeat (recent) history and move right along in turn, now that we have this coin-sector rotation model happening.

I'm bullish but I would like to learn more about the environmental toll of crypto. Especially given speculation I have read about the recent electrical outages in Iran and the way bitcoin mining may be tied to that, tied to burning dirty fuels in some places. For one. As long as we are designing new assets from scratch, I see no reason why we can't design in solutions that speak to the broader needs of our ecosystem. (I'm a noob on the fundamentals of crypto though)
I have a SOX requirement that all of our corporate software is licensed.

For a license "in name only," either the $120 Oracle or $350 Red Hat tier will suffice.

I don't see the need to waste any more than $120 on support that I largely don't use. My Oracle Linux licenses expired several years ago, and I don't see any point in renewing them.

I have had to use alternate Oracle CSI support to fix some of their own self-inflicted brain damage. Oracle managed to disable microcode updates in the UEKR4, killing spectre/meltdown remediation. They would not listen to me on the forums, and insisted that I file an SR, so I used a general corporate CSI to get that fixed (and it still took several months).
I think compromising on immigration would have the biggest effect on defusing tensions.

I think Biden is doing an admirable job keeping a lid on the reprisal/deprogramming talk. The media should follow his lead. Obama's administration fought a bunch of gratuitious fights, like suing nuns. I anticipate Biden will keep people on a tighter leash, just as a longtime legislator who is going to be thinking harder about the fights he wants to pick.
I was a super MBP user until a few years ago when I got into 3D printing. I started doing lots of CAD stuff and found Windows users... Lots of them. Then I got into CNC at a hobby level and I find most of that tribe is heavily invested into Windows. Looking at the non-hobby level of CAD users, that is, professional engineers who use CAD... I see lots of Windows users.

That is not to say Intel isn't in trouble, but I have exactly zero interest in running MacOS anytime soon. I don't care if the M1 MBP has 15 day battery life. I need a discrete GPU and loads of RAM and I want it in a Laptop, understanding that I need to plug it in after 1 hour. There are dozens of us!
Political theorists have been worrying about mob rule for 2,000 years
Anecdote: supplementing high dose vitamin d in winter did wonders for my energy levels, despite having been outside all summer
At least in Italy everyone would just think of the illustrator.
I hope you are not iterating over floating point numbers between 0 and 9.9999 :-)

But your example is just the case for using 0 <= x < 10 in that _particular_ case.
However, if I want all numbers greater than zero and up to and including 10, I'd write 0 < x <= 10.

So I fail to see your point. Do you argue that if we had to choose just one of these expressions, 0 <= x < 10 would have more utility? I don't know how to evaluate this conjecture, but suppose it's right.
Why would you need to limit yourself to just one, though?
Why not to use one that is most suitable to the problem you are dealing with?
Taleb wrote a book called "Anti-fragile," which comments on three kinds of systems:

* Fragile systems try to avoid disorder, disruption and/or shocks.

* Robust systems stand up to shocks, but don't change.

* Anti-fragile systems respond to shocks and disruptions to improve, to become stronger or more creative. It's close to the idea of "eustress."

The human body can avoid all exercise and stress, but it becomes sickly and fragile. Ideally, humans regularly seek out more and more stress to grow stronger.

It seems we're in a loop of responding to stressful speech by squelching it and avoiding it -- admittedly, through free choice, and not government action. But, like people trying to get healthy by avoiding exercise, we're getting sick in our silos.

(The silos, to be fair, aren't stress-free. There is a lot of anger and sadness in them. But shutting out all the unwelcome voices seems to be making people more fragile in the real world, not less.)
I found that learning q has made coding without vim very annoying.
https://xkcd.com/612/
"how Globant is similar to us though"

Their business model isn't similar, but their methods are. They are a development house, somewhat similar to say, ThoughtWorks. But, they spend a lot of time with new hires, many straight from university, training them. Not just technically, but "US business speak/culture", helping them with the CV that's presented to potential clients, understanding schtick-of-the-day stuff like "Scaled Agile" and so on. And client-specific training, like how to speak FinTech, Insurance, Airline, or whatever.
The Linux kernel itself is corporate backed.
The inner suburbs should stop subsidizing it by not widening freeways. Right now outward expansion is highly subsidized by everyone paying for those roads and not just the people living 1hr away from the city center that are commuting.
If you're a power user, then I'd strongly recommend RawTherapee. It's more clunky than Lightroom, but its features are on par with or better than Lightroom, far as quality and choice.

You'll probably have to spend some time playing with it to find your "look", but once you do, Lightroom can't come close.

That said, it's missing a great organization/sorting workflow and painted adjustments, so if you rely on the latter or expect the former in your RAW processor, it might not be for you. A fantastic (commercial) alternative is CaptureOne. It's the Rolls Royce far as I'm concerned. Strongly recommend you stay away from Darktable, because it's close enough to Lightroom (but not as good) that you'll get frustrated.

Hope this helps!
Agreed, wish they qualified "efficient".

Another example may be that hydroponic growing is typically faster than in soil, for example leafy lettuce such as bibb can be ready nearly twice as fast when grown with hydroponics.
there is no reason you "should" other than in some environments you may encounter vi so it is worth knowing the basics.

There are many advantages, however, clumsy and slow is a common reaction. From what I've seen, some people get so put off by the different way of editing that they struggle, they find vim a very slow way to do what they were doing before vim - character based editing, moving around with arrow keys, highlighting, inserting, and deleting maybe with some block commands for things like selecting a word or more by using the shift key or ctrl key. Maybe with the help of the mouse to highlight things and edit. The thing with vi/m is there is a language that allows you to do similar editing but has many many combo effects, once you understand how things combo together, all kinds of things can be done really quickly.

There's no real killer feature though, there's lots of cool features, one that often doesn't get mentioned much is that you can filter text through external programs, this combos with all the motion commands and other things, so very quickly you could write a snippet of markdown and change it into html by running it through pandoc, or write your own command line tools that do custom things, like querying things from your own apis / databases etc. Its powerful, because it combos with the rest of the vi/m language so you can use it in really creative ways.
>our civilization already has the technology to send a probe to another star system.

Yet we haven't sent anything. Maybe aliens are the same. Maybe they don't have the political will to send anything. Maybe they have their own climate change, or insane leaders to deal with. Or maybe not, maybe they've developed a virtual universe and are living in that instead of exploring the physical one.

I find the assumption that aliens have the same drive or desire as some humans to explore the universe rather crazy. It seems like we want a better versions from the heavens somewhere to tell us, it'll be okay, don't worry, here's the blueprints to fix all your issues. It's easily possible that aliens are opposite, wanting to focus on their issues and fix them rather than looking out to the stars for some hypothetical better version of themselves.
Of possible related interest:

Google has announced that it is cutting off access to the Sync and "other Google Exclusive" APIs from all builds except Google Chrome. This will make the Fedora Chromium build significantly less functional (along with every other distro packaged Chromium).

https://threadreaderapp.com/thread/1351624743510827015.html
I'm glad I decided to go with 32 GB of RAM for my current PC build. No longer need to close any tabs!
> get TSMC to convert part of its Baoshan complex over to making Xe

What does that even mean? Won't it be just a different litho mask?
Back in the day when arrows were handmade from natural materials with primitive tools they were scare and highly valuable.

https://en.wikipedia.org/wiki/Occam%27s_razor
For what it is worth, a tomato truck carries 50,000lbs of tomatoes from the field to a processor. Supply chains are complex, but refrigerated semis can carry a similar load of processed vegetables.
>If you want to play with morphs worlds today, besides what's in Self, I think Squeak has seen a lot of activity. In any case, it's also worth at least reading some of the seminal research papers around Self.

I think Pharo, as a fork of Squeak, has that as well. There's even a MOOC at https://mooc.pharo.org/
I never quite got how electrostatic control was supposed to work with GAA, Fin and derivatives: without the bulk, how is your electric field supposed to work?

Unless the Gate itself is hollow, and the "bulk" is in the middle, like air would be in a hollow spaghetti? Or tha you use way higher voltages for the gate than for the drain/source (but then, how do you drive that?). I guess I just need to look it up, but most presentations gloss over that part.
Pretty sure that's a different Chris Wade. For example this one: https://twitter.com/saywhatagain
I really wish it were easier for artists and small operations to get a hold of these. Ultraleap acquired LeapMotion a while back[1] and made it against their development TOS[2] to give public demonstrations which killed most of the energy I saw in the interactive arts space.

A year ago, I looked into using Ultrahaptics for interactive exhibits and the yearly licensing they quoted was really high for making a single exhibit so my company ended up dropping that pitch.

I understand they want to keep their tech close to their chest, prevent competitors, and focus on large distribution deals, but it feels like they're holding it back from the people who might make the most interesting examples.

[1]: https://www.theverge.com/2019/5/30/18645604/leap-motion-vr-h...

[2]: https://www.ultraleap.com/licensing/#licensingforhaptics
It seems reasonable to me, I could sell management on the value of paying it. I would like to hear more from people with experience with Red Hat support.
I would love to be able to manage windows and tabs with this.
So sci fi!
Ok for casual work acquaintances not for real friends
I think of it this way: to run a business, you must understand what the business does at least well enough to "grok" how it creates value and to tell the difference between good ideas and bullshitting. At the very least you have to be knowledgeable enough about the details to spot other people who know more than you do about said details and distinguish them from bullshitters.

In technical companies, engineers are often (but not always) the people who really "get it." Yet not all engineers have the other skills you need to lead a business like good communication skills, people skills, decisiveness, etc.
I agree. I've been implementing the Event Stream architecture recently in Go and dealing within unwinding errors is a pain in the arse. Do I just repeat the event and hope it works next time? Is there something wrong with the event that means it'll never work? Do I restart the database server because that's what's wrong?

There's this saying that the AA has: "wherever you go, there you are". It's about "doing a geographic" - thinking that moving city/country/continent will change your circumstances and therefore change you. It's false, because no matter where we move we're still the same person so we'll still face the same problems. Wherever we go, there we are.

I think programmers have the same dynamic - if I change my language, I won't make the same errors as I'm making here. Somehow this new language will make me a better programmer because x or y.

I find this difficult to resist. But I also realise its falsehood - I will not be a better programmer in Rust or Lisp than I am in Go. In fact, I have a much better chance of being a better programmer if I drill down in Go and unlearn some problems and relearn some patterns and generally stop learning syntax and start learning deep shit.

Go has a convention on error handling. It may not be ideal. But it's there for a reason, and while we can argue with the reason, it's a valid reason. As a Go programmer, I can fight it and basically reject the language, or I can adopt it and get deeper. I choose that.

But that doesn't mean I don't dream of how much better my life would be if I chose Rust or LISP instead. And yes, I know that all languages have their problems, and a year after learning LISP I wouldn't be writing some infuriated blog post on how EMACS does this weird shit that takes 30s to resolve on a remote server. But don't we all dream of that promised land?
I've often tasted greens grown in these types of situations and they're never as good as the ones which come out of the soil.
> raises the hackles of old school readers of Adbusters.

I feel seen.
Fact: vitamin d is crucial for T-cell immunity - "Another reason vitamin D is important: It gets T cells going - Scientific American Blog Network" https://blogs.scientificamerican.com/observations/another-re...

Fact: proper T-cell immunity is how you get a mild / asymptomatic covid form
We launched https://solokeys.com 2y ago. We're 4, 2 with kids 2 without. I think having partners is fundamental to keep the flywheel going. And also accept that -at the beginning- it's a side project for everybody, so you can only put a few hours, things will necessarily progress slow, etc. Don't give up and celebrate any small win.

BTW, despite all the issues that 2020 & covid brought us, next week we're launching our v2: https://solokeys.com/v2.
I think it's more that we know human nature, and we can see that people who believe we've been visited by aliens are engaging in story telling, not science.

They're working back from the conclusion they want to be true, when they should instead start by weighing the evidence.
I would personally be quite against that. That's a pretty large breaking change, with no clear benefit. It doesn't make the feature more discoverable, since you still need to know that using "{}" will cause interpolation. I'd say net zero effect on readability; mostly just individual preference. And potential negative impact on performance.
Nah. When it was discovered, there was a talk at JPL on how to intercept it. You can generate out-of-plane motion by slingshotting off Jupiter. You can arrive with it (or rather speed past), but you can't land or sample it with today's tech.

Also, there have been some studies since on it. https://www.kiss.caltech.edu/workshops/constellations/conste...

And lots of people got in on the action with their own studies: https://scholar.google.com/scholar?q=intercept+interstellar+...
I just find the convergent evolution funny, that my C fingers that could type `printf()` fluently now learn to type `print(f"")` the same way
I mean, a political conservative is generally thought to be fiscally conservative and for free markets and private ownership while also being socially conservative. Zoning would definitely be against free markets and private ownership. That said, zoning seems to be embraced by conservatives!
Spoiler alert: the ah-ha moment will never come. Will learning vim help you create the nexr facebook, tiktok, snapchat, insta, amazon? Not at all.

Will it help you program better? nope.

Will it help you be a better programmer? nope.
I've gone back and forth on selinux (and a bunch of other in-house stuff that RHEL makes). Yes, it has improved over the years, but it still breaks a lot. The thing with RHEL is that you really need to be paying for the support to get any value out of it. With CentOS or this beggar subscription level, you are better off using Debian or Ubuntu, because when shit breaks, all you'll do is create a bug report in any OS. With Debian or Ubuntu, you have a slightly better chance at recovery. RHEL has a strict demarcation between support levels, features, release timelines, etc. So if you report a bug to RHEL, they may not backport the fix even if it fixed upstream. And then you are just stuck.
The artist did the initial move to ship the box with the intention that the handling process will produce some features.

Since the handlers were unaware of this, it's not much different from rolling the box down a hill.
The White House website now has a dark mode
Yep, its always "you need to read this to understand", or here is a statistic that proves my point.

> I think in-person can be good for very high level arguments,

Its good for exploration. But there needs to be trust between the parties in that no-one is trying to one-up the other or win some argument - this makes people defensive. Also arguing in front of others can cause this defensive effect as well.

> My grandmother (RIP) said in her youth (1930s), they didn't know how their neighbor voted, how their teachers voted, and they might not even know how their spouse voted. I like that.

100%. You want to maximize as many opportunities for people to get along with each other as much as possible despite their differences. People's views will change and evolve over time and very rarely from intimidation or pressure.
Price elasticity is difficulty to measure, and usually only done for very small changes. It's likely that any linear approximation falls apart far before a 30% change, and is also highly dependent on the particulars of an area. Rent typically doesn't fall below the cost of providing and maintaining existing housing, or the cost of building new housing.
It has gotten significantly better recently, with Arm themselves pitching in.
> Any hosting platform will sooner or later have to comply with such a request.

The Pirate Bay would disagree? Somehow they've been mostly online for over 10 years despite blatantly and obviously facilitating copyright infringement.

Now YouTube-DL doesn't actively intend for its software to be used for infringement, however its inherent capability to do so is apparently enough to piss off the media industry, so maybe it's best to learn from the aforementioned "expert" in this field and move to infrastructure that's outright immune to the industry's complaints?
Connection pooling for Heroku Postgres is now generally available
If you listen to his podcast with Lex he explains that the outgassing needed to give it the acceleration it had would require 10% of it's mass to cook off, as well as all of it had to be hydrogen else we'd have seen the trail. Why consider a comet made entirely of hydrogen more likely than an alien probe?
So.. most of San Francisco
This isn't how things have been working in areas that are sufficating under NIMBYism.

"Outside forces want to change the way the neighbourhood is", no, its most frequently the children who grew up in the neighborhood want to stay, but they can't because there isn't enough housing being built so they are displaced.

"People in the neighbourhood resist the change" The people who resist the change tend to be retired property owners who's children have long left the house and they experience no negative effects from NIMBYism. There are a ton of disempowered neighbors who don't have the time or the wherewithall to politically organize the way NIMBYs do.

"Why does this situation invite pejorative terms and scorn from people who have no skin in the game?" Because the large balance of data we have shows that pretty much everywhere NIMBYs are a minority of the population, and this is once again an example of the minority rule issues that the US is struggling with. Also, pretty strange to throw in the "skin in the game" comment there. Who has more skin in the game, a renter who is paying 1800/month for their housing or someone who inherited a house and does not pay a monthly fee to have a place to live?
> Why does this situation invite pejorative terms and scorn from people who have no skin in the game?

Cities have been growing for hundreds of years. People want to move to cities for better economic opportunities. They very much have a skin in the game. Blocking the growth of the economically most important cities hurts the economy of the whole state/country, so in this way every citizen who wants economic growth has a skin in the game. Cities are not independent city states, but they should serve what's best for the whole country. In case of globally important economic hubs, even foreigners want to move to those cities for better opportunities, so even people outside of the country have a skin in the game.

Also, in a growing city, majority of people are first or second generation immigrants to the city themselves. They or their parents had the opportunity to move to the city, but now they want to prevent others having the same opportunity they themselves have enjoyed.
Schema.org is probably the closest
thing to that.

I call the concept "Type the World" (https://breckyunits.com/type-the-world.html)

Here's an early hacky prototype
called "World Wide Types" (WWT):
https://jtree.treenotation.org/designer/#standard%20wwt
Our support team is not technical in any way (they are support for our entire moderately sized membership-based nonprofit), but they are consistently a source of extremely high quality feedback, for the reasons you mentioned.

If there are serious UX issues, your designer might not uncover them, but support will hear about it. If there are edge case performance issues, your dev team might not uncover them but support will hear about it. Very few people know more about how real users interact with your products than support.