skysight-inc/HackerNews huggingface dataset:
Moms swarmed, handcuffed by armed Secret Service officers in front of children
Pogreb: Embedded key-value store for read-heavy workloads written in Go
This seems like the ideal approach. Build the parts you want to build, and pay for the Work that’s tedious, complex, dangerous, or otherwise outside your skill set/goals.
Well, I have to say that if that is the most approachable and easily googled content in the internet to figure this out, I am not too surprised I had to figure it out on my own...
There are good reasons to need program synthesis in our industry.

There are domains in programming where the cost of errors is too high. Being able to specify requirements in a high-level language and synthesize the program from the specification would prove that there are no errors in the resulting program, assuming you trust the kernel, and bring the resulting cost of producing code that is free of those kinds of errors way down.

An example would be programming authorization control systems. Some enterprises require a stunning level of complexity that testing all the different combinations of authorization rules would be infeasible. Instead, if we can specify the rules in a rich type system, we can synthesize the program that implements the rules. Such a program would be, "correct by construction."

Take a look at projects like Synquid [0] -- it's a really cool idea.

[0] https://www.csail.mit.edu/research/synquid-synthesis-liquid-...
yes, but now it is finding much better content especially those from up and coming channels relevant to you
Mumbai installs female figures on traffic lights to promote gender equality
Financial Times comment section is top tier
~$3000 a year doesn't seem like nothing. Especially if you don't put much work into it on an ongoing basis.
I've thought about this a lot. I'd love to start my own 24/7 news channel. That has a democratic process. You register, state your political preference: Green, Lib, Democrat, Republican.

Then we try and fill 25% of journalists for each specific group giving a broader opinion-set. If you feel a specific journalist doesn't match and you're in that group you can vote to have them replaced.

Build a social network around this idea, and try and create some sort of equilibrium. Push also for renewal of the 'fairness doctrine', and more culpability for journalists in reporting the truth.

Imagine having a round table discussion for example with: Ana Kasparian (Left), Donna Brazille (Left-center), Tucker Carlson (Right-center), Ron Paul (Libertarian).

Sure it'll be a political bloodbath the first few months, but eventually there might come some equal ground places where people can give and maybe we gain back some integrity in journalism.

I wish we could get rid of talking heads altogether and just report the facts as they lay and let people come to their own conclusions but...that cat is out of the bag.

Next best thing is a network that has all view points and just rotates through, 1pm Tucker, 2pm Ana, 3pm Donna, 4pm Ron ... etc (not necessarily these people obviously, just an example).
Spend later like looking for the one guy who has a Mac in the region and knows how to fix problem x? Or spending later like sending kids to extra courses because they have no idea how to operate the most common office suite on this planet? Spend later like taking that one broken device for a xxx km tour to the next Apple store? And so on...

I wonder how people here are unable to understand basic reality. Especially in third world countries.
Eugenics and Modern Statistics [video]
gevent should be in core.
you sound fun...
Yeah I’ve had this with certain things too. Is it groupthink? Naïveté?
Supply Bottleneck on AMD Ryzen in XMG Core
I think the idea is to recontextualize the coordinate system of your object as not being the global coordinate system in the first place. The matrix defines the orientation of your object relative to the global coordinate system.

The question of "how to rotate something" rests on operational semantics. The question of "how is this related to that" rests on denotational semantics, and is much more general. The beauty of linear algebra is how closely the two are related: every linear transformation (the relationship) gives a matrix given a choice of basis, and matrices have a direct algorithm for transforming coordinate vectors.
It cuts both ways. Up until 2 years ago, I had owned a Mac since 1985.

They simply do not offer a PC that interests me.
Calculating Devices
I run a game server hosting company that loses me about $300 a month.
Your point proves what I said, actually.

If for long time there were no means to get rid of worms, how come the difference in intelligence that allowed to invent a cure for worms to be?

I see "worm free living" as a consequence of higher intelligence than vice versa.
Tariffs aren't a tax on purchasing foreign goods. I can buy as many tons of steel as I'd like in China while paying no money to the US Government (as long as I can export the money, which is a different issue). Tariffs are taxes on importing foreign goods. That would only even conceivably be comparable if Microsoft were planning to relocate TikTok to the US; as it sounds like they're planning to relocate it to London, that wouldn't apply.
The latest version is actually quite stable. I use this on Linux though
I did exactly this with PC Connection and got into the Open license program. What's great is that you get 50 activations out of the box, so while it's a bit of money up front, it effectively allows you to use a bunch of systems and VMs internally without worry. No one is going to say anything about this especially if it's for personal use.

If you were supporting multiple users in a small business environment definitely make sure you buy as many Windows SKUs as you have end users to be compliant, however.

All of this becomes moot once you have >25 clients; then you can transition to using volume licensing and it's essentially unlimited. It still tracks it though and Microsoft can ask to look at it, especially if you change from Open to Select or some other volume pricing agreement, so keep that in mind.
A couple of jobs a contractor I used for a long time (before he, sadly, retired) involved some drywall. He got drywall specialists to do it. He said they were far faster and cheaper than him doing it himself.

I do have a guest bedroom in my house where I once had some time during a holiday shutdown when my job situation was a bit perilous. I had some crumbling plaster so I put some drywall up. It's... functional.

Painting is one thing I do myself. I do it enough I got reasonably good at it and--for touchup--I can reasonably take shortcuts that someone I was paying couldn't.
600Km / day on a motorbike through Africa is definitely Type II fun. Love the expression!
Type II fun is just fine, as long as it doesn't veer into type III fun.
very nice!

typo in "Nothing buy quality pixels and freebies" under newsletter box.
As expected. They're not going to do a radical form factor redesign and update for Intel based chips, they're saving the all new iMac design for the ARM transition for the extra wow factor.

Not sure if the value proposition is there though for a specced out iMac.
I had an incredibly difficult time understanding his linear algebra textbook until I watched his lecture videos.
> a general problem with technology as a whole.

No, not with technology as a whole. With software ...
You can start anytime. However, manual labor isn’t a joke.
In 2007 how did you go about Finding land to buy? Today, would you know of options that are better than just seeing what is available on Zillow and the like? Maybe there are drastic differences in the various online services and some are much better to use than others

I wonder what I'm not finding because it isn't listed on Zillow
> GDPR does not apply whether a company is in E.U. or not, but if a user/consumer of a service is in the E.U.

Whether a law applies is dependent on whether the country or countries with that law can enforce it. China recently made it illegal for me to wish Hong Kong was independent. Does that mean I'm going to Chinese prison for saying I wish Hong Kong were independent?
It's likely a paraphrase of the Jean Rostand quote: "Kill one man, and you are a murderer. Kill millions of men, and you are a conqueror. Kill them all, and you are a God."

It's in the same category as the ancient "history is written by the victors."

So either cynical or realistic (depending on your perspective).
> I code web boring apps.

Form validation though, after 20 years ... urgh
Do you have a plan to fix that?
Manifestation+Magic
Definitely agree with the mission. I believe it should be free though, so we created Today's IPOs: https://todaysipos.com/

We are trying to democratize finance!
Yes, you do need to use Object / Free Pascal but it is actually quite a nice language and you can interface with C libraries quite easily
No. There are things you can (and sometimes must) save.
It could spin those off completely or close them down.

It probably won't, but it has that option.
I knew the general area I wanted to buy in and worked with a local real estate agent.
I also have a 16" MBP from work, well spec'd. When using my external monitor, it won't switch to the intel graphics. It's always using the AMD GPU which causes additional power draw + heat. I wish there was some way to force the iGPU to be used when an external monitor was plugged in.

Also, turbo boost switcher has dramatically improved thermals. Turning off turbo shaves like 10C off low usage temp without much of an impact on usability.
> Can you imagine arguing that American law does not apply to some company operating in the US, because said company was founded in some other country?

I can imagine countries ceasing to operate in the US, yes. Can you?
I came up with an idea of how to make it portable, and documented it on the campaign page. See section "Portability improvements."
ETH core developers bailed out the rich-in-ETH people who lost money due to the bug in The DAO by forking the currency.

Capitalism for the poor, socialism for those close to the core developers.
New MacMini is upgradable as well. I just put 32GB in mine.
Lol my wife had a baby while I was doing my PhD... was a less-than-ideal way to structure your life I'll admit. Do not recommend.
or they said something ridiculously heinous
Ask HN: Use Google Forms and concerned about privacy?
There's been a movement away from Google Analytics due to privacy concerns, but are people moving from Google Forms due to similar concerns?
Too bad I am using google voice
This is often intentional. Take a look at any OS or software with animations. Slowness for slowness sake. The macOS spaces change has such a slow animation, it's completely useless. Actually, macOS has a ton of animations to slow things down, but luckily most can be turned off. Not the spaces thing. Android animations are unbearable and slow things down majorly. Luckily they can be turned off, but only by unlocking developer mode and going in there. It's clear whoever designed these things has never heard of UX in their lives. And since these products are coming from companies like Google and Apple, which have UX teams, it leads me to think that most UX people are complete idiots. Or UX is simply not a priority at all and these companies are too stupid to assemble a UX team for their products. Hard to say which is the case.
WFH: Amazon's engineers are building robots in their garages
The best thing about the introduction of a new line is that the previous line is cheaper.
I know it's cool and trendy to trash our current society and treat it like it's the worst time to be alive in human history, but in reality there's never been a better time to be alive in the history of our species. Poverty, infant mortality, childhood mortality, crime...all at all time lows. Literacy, income levels, food quantity, public health...all at all time highs.
This is my new favorite "first world problem".
Django's migration tool is one of the main reasons I can't leave django.

What comparative ORMs do you use for non-django, or non-python languages?
I want to stick my long-necked Giraffe up your fluffy white bunny.
The house we had built was in Mazama but we live between Winthrop and Mazama now. A couple of years before we bought our property a man in the community was killed when the snowload collapsed the roof of the rickety shop he was working in at his home.
Not sure if it applies to the 16" but the 2016 15" was doing something similar if I would plug the display on any of the right USB-C ports.

Something to do with Thunderbolt proximity sensor, problem went away as soon as I would switch to the left side.
Exactly. It can be difficult to explain to someone who used Android their whole life that iMessage (for example) is such a huge differentiating feature (at least in the US) when they see iPhone users as sheeple who buy purely based on marketing and product placement. Apple does a really good job of taking care of the little details on many of their devices, even if Macs are very expensive for what you get and the ecosystem has such a significant lock-in effect.

Also, despite the fact that it’s shallow, status signaling is sometimes useful. Just like with the well-dressed Manhattan lawyer example in the recent thread about physical attractiveness in legal justice, having the right product in the right crowd subconsciously affects how others see you.
Word suggests deleting unsaved documents as a default action
> You should be able to predict what the answer is going to look like from past work, and the error bars.

If you basically know the answer in advance, chances are you are not doing very interesting research.

The worst work I have done has been of this sort. The best has had me completely change my view of (mathematical) reality multiple times during the process.
$TWTR - $73.31 [26/12/2013] $36.30 [4/8/2020]
I think this means iMac will be one of the first computers getting Apple Silicon, otherwise it's weird that they're updating the 27" without updating the smaller iMac.

There have been rumors about an updated smaller iMac which will shrink the bezels and basically look like an ipad pro on a stand, with a screen size increase to 24" and Apple Silicon, coming either later this year or early 2021.

I do wonder why separate the smaller and larger iMacs lifecycles, maybe because the desktop-level Apple Silicon chips aren't ready yet? That would make sense especially if they're aiming to replace the AMD GPUs even on the top of the line larger iMac and use integrated graphics there too.
Investing in an economy increases production. If productivity increases, but currency circulation remains the same (or at least doesn't outpace productivity), the value of the currency will increase. This is only one of the various modes of inflation, but that's the idea w.r.t infrastructure spending.
Backblaze | backblaze.com | San Mateo, CA | Full-time

Backblaze originated in a founder’s one-bedroom apartment where five people committed to helping people save their data. Backblaze provides backup and cloud storage that’s astonishingly easy to use and inexpensive. Our customers use our services so they can pursue dreams like curing cancer (genome mapping is data intensive), archiving the work of some of the greatest artists on the planet (learn more about how Austin City Limits uses Backblaze B2 Cloud Storage), or simply sleeping well at night (anyone that’s spilled a cup of coffee on a laptop knows the relief that comes with complete, secure backups). We are entrusted with almost an exabyte of data from customers in more than 150 countries. We exited 2019 growing quickly and cash flow positive, and we’ve done all this with just $3M of funding.

But while there is a lot to celebrate in our past, there is almost as much opportunity ahead of us.

Roles:

* Lead Application Security Engineer

* Data Engineer

* Lead Software Engineer

To learn more or apply, check out the roles here: https://www.backblaze.com/company/jobs.html
I've made a plan for portability improvements. See "Planned Improvements in Portability" on the campaign page (it has diagrams)
This is the problem with downvoting. We need to ask for explanation about why something is being downvoted, especially for the first few downvotes because that's what that leads to a cascade.

Positives of downvoting - I get it, it filters out the non-sense. Negatives of downvoting - Leads to herd and mob mentality - "Oh this is downvoted, I must also think this is bad since others thought so as well. Plunk, another downvote! Take that!"

Especially right now when we have intense polarization and people are pulled away from centrist, ideological and sound perspectives into narratives, biases and prejudices.

I've raised this before, but IMO - Downvoting does more harm than good in the long term. Short term benefits are that we get rid of trolls, rude people and actually false information.
Booking.com to Cut Thousands of Jobs
I agree with the fitness argument, but the safety argument is a legitimate one. I live in a mountain town with a big mountain biking community, almost everyone who pushes themselves in that sport will be dealing with injuries at one point. It can be as benign as a torn ACL or a broken clavicle, but I'm also friends with a guy who broke his pelvis (he completely healed and is a great athlete, I've seen him do a 360 on telemarks last winter) and worked with a guy who's currently in a neckbrace after breaking 2 vertebra. Those last two people are both lucky they didn't die.

You don't need to be a great mountain biker to go dangerously fast, it's very easy to become overconfident, and the downhill nature means that you might also fall from certain heights on top of already carrying speed, and not necessarily on soft dirt, maybe onto rocks or into a tree. It's a gnarly sport.

The commentator you were talking to should at least go on some mellow bike rides or something.
The 1st person wouldn't tell anyone if they added it initially or not.

Anyways, isn't it possible to add and divide encrypted numbers? Couldn't we just do some variation of this?
I think this slightly misses the point. You should still do it yourself if you enjoy the process of learning new skills and challenging yourself to build something new from scratch.

I would bet that most people that try to build a cabin do it more as a passion (with bad calculation on timing and cost estimates) than as a way to save money.
> But "Just leave your phone at home?" basically did not compute.

Your wallet contains a lot of pretty damn good ways for someone to impersonate you and rob you blind, yet "just leave your wallet at home" will stubbornly fail to compute for a lot of adults.
> Microsoft dominated the consumer market in the 1990s.

Microsoft dominated everything in the 1990s. Apple more or less lost it all.

> Most didn't care if something else had a nicer design or UI or was friendlier or more efficient.

Macs weren't very good in the 90s. They weren't fast, they weren't pretty, and they were quite expensive. The original iMac changed that in a fairly big way. It was more affordable and a lot more approachable than pretty much any other PC on the market and non-business consumers loved it.

Every successive generation of the Mac has shaved of just a little bit more of the consumer end of the PC market. Then the iPad came along and completely crushed the low end Netbooks. So now Apple has much of the mid-low end consumer space with the iPad and the upper end of consumer space (and a big chunk of professionals who have the choice) with the Mac.

Microsoft still truly owns corporate PCs and gamer space though.
"will likely owe a fine of up to $250 million"

https://arstechnica.com/tech-policy/2020/08/twitter-faces-ft...
Top Funny Happy Birthday Wishes for Your Boss from Staff
Very nice! I had a bit of trouble convincing myself that it has the laziness I'd want out of it, but by experimentation it seems to.

Still, definitely a more complicated decomposition than that described in the article (but maybe a more interesting article!)
I suppose I am just frustrated by things like no modern solr support, no support for jenkins when datadog has a great plugin, and not great support for non-web analytics (at least with python and php which I have plugged into it).

Also you can't copy/query things in from cloudwatch; they just started supporting EFS/NFS statistics recently after losing them for almost a year when they killed the old infrastructure agent vs the new one (reduction in features on new product!)

When I brought up my frustrations with the product after coming back to it after a few years away they told me "it was all necessary to support kubernetes"

I guess my tastes in frameworks don't match theirs? They keep cashing the checks though.
This is exactly why I decided against purchasing a cottage (thats what we call it up here in Canada).

I realized I would be spending at least 4 hours in traffic every weekend to double my house work.

Instead why not just put all that time in making my home in the city as habitable as possible?

Maybe some day but it would have to be a permanent and only residence.
ExternalTrafficPolicy=Local on Kubernetes
>But I think that the schmo vs pro divide is real when you get to electrical, plumbing etc. HE’S the pro, and I’m the Schmo.

IMHO, this is backwards. Electrical work is twisting wires and screwing them down. Plumbing is gluing or clamping stuff together (unless you're sweating copper). The actual mechanics of doing it takes little skill and pros aren't going to be that much better/faster than you. The real difference is the amount of knowledge the pro has of codes and how things need to be. However, the concepts for residential are pretty straight forward though and relatively easy to learn. You can pick them up starting with simple stuff.

Compare that to something like drywall. Your drywall finish work is going to suck compared to a pro and they're going to do it way faster than you could.
Another similar article, posted the same day, which also describes Institute for Justice (IfJ) efforts to put a stop to the practice: https://reason.com/2020/07/30/homeland-security-seized-2-bil...
Wouldn't now be a great time? Drive to different neighborhoods kind of like an ice cream man for adults (you could also have ice cream). Many, many planned developments aren't within walking distance of a coffee shop and a few bucks for some normality might fly. I've always thought the idea had legs, you can offer hot cocoa in the winter and setup a mobile fire pit for smores.
Take a tusk, drill holes, weave a rope – and change the course of history
Hello. Half of what Trump says is to push a chess piece around the table where he wants it to go.

You all think he's playing 2D checkers but he's really at Spock's chess level.
It's probably a good idea to skip the first generation in general, but this is a bit different than those others.

The first iPhone had a fixed function graphics pipeline and 2G cellular service. Unsuitable for the native application market that they set up afterward and changing cellular capabilities and customer expectations.

The first iPad was similarly very constrained, though slightly better. For all practical purposes, it was a blown up iPhone 4.

I suspect, given the general advancements and recent stability in Apple's ARM SOCs, that this first generation of hardware will be good, though maybe a bit underpowered compared to what people are used to with the Intel equivalent. But not the practically beta level of those other devices.
Which algorithm?
I had a breakthrough today about how to make this table fully portable. It can be assembled really quickly without tools. I have documented the changes in the campaign page in the subsection "Planned Improvements in Portability".
Steps to ensure that if you die, your hosting and domain will live on?