skysight-inc/HackerNews huggingface dataset:
This is an argument that is being spoken quite a bit, but misses the point: Hunter Biden may be a crook. It certainly doesn't look like he got his board position on merit. That doesn't mean that President Trump didn't abuse his presidential power for personal political gain. The possibility of either of their corruptions are not mutually exclusive. Though I tend to agree that this is unlikely to hurt President Trump very much, may mobilize his base, and further makes the democrats, in their 2020 campaign, to be dominantly anti-trump as their platform, with their political issues taking a back seat.
The Limits of William Langewiesche’s ‘Airmanship’
Fully Automated Driverless Metro Line Opened Today in Copenhagen
This doesn't have much to do with the algorithms, and is more to do with the engineering decisions that went into AlphaGo and AlphaZero. They are designed to play one combinatorial game really well. With a bit of additional efffort and a lot of additional compute, you could expand the model to account for multiple rule / scale variations, maybe even different combinatorial games.
Yet they will be indispensable when they are done.
‘Tis a fine water tower or grain silo, but sure it is no starship, Boerish.
> This causes the wing root to stall before the tip, which allows a pilot to maintain control as the onset of stall appears.

I think I've read and been told that also you want the root where the flaps are to stall before the middle where the ailerons are. Because stalling and losing your aileron control during a turn is bad news.
So because it still has some downsides, we should just let it be unregulated and notably more dangerous?

I don’t get your point, especially when all the information is pointing to unsafe and non-standard solvents being the cause of these cases.
An unsigned type is sometimes a poor choice for a loop index. The compiler then cannot assume the loop will terminate, and generate worse code. Usually this doesn't matter -- until you discover it did.
> Tesla vehicles are the safest ever made

Citation needed.
I totally agree with your statement about AGI, but wouldn't be as pessimistic about neural networks in general. Of course our data is enough for useful deep neural models! Many problems can be solved without it, but in areas of computer vision and speech recognition they seem to be the best (currently known) choice.

Your point about AGI which needs to ask questions about data provenance is super interesting. Are you aware of the line of inquiry into active learning? It's fascinating and has a long history:
https://papers.nips.cc/paper/1011-active-learning-with-stati...

https://en.wikipedia.org/wiki/Active_learning_(machine_learn...
The brightest minds of this world did have time to concentrate on and to develop their creativity :) Though it’s your life and therefore you have to decide what to do with it. Caring for someone might be a better choice then not doing anything at all.
Well that's news to me! I'm jealous. I'll bet you can preheat an electric oven in less than 20 minutes.

I see the successor to the 16A Perilex connectors you are referencing is IEC 60309 which has an "extra low voltage" version with a smaller, 42mm diameter (1 2/3") plug good for 16A or 32A. 16A devices will fit in a 32A socket, but not the other way around. So that seems to be a 1.3kW and 2.6kW solution. Sign me up!
Ascension Island's hydroponics lab is revitalizing life on the volcanic island
There are plenty of us who have built products which then got sold to companies who do not match our ideals. The flaws of our acquirers do not diminish our work -- we accomplished something by building a product that was interesting and successful enough that someone wanted to buy it in the first place.
Except maybe in a “home edition” that can’t eliminate it completely. Businesses will flip their shit if employees needed an MS account.

It would mean the death of Windows.
"i32" is better.
> It’s now against the law in New York City to threaten someone with a call to immigration authorities or refer to them as an “illegal alien” when motivated by hate.

While the latter part of the law clearly runs afoul of the 1st amendment, the former sounds like something that is already illegal - isn't threatening to report them, as opposed to just doing it, blackmail?
I wondered if Apple might make a play for that market.

They have relatively little skin in the game in terms of online services. They have credibility in both mobile and laptop markets. They have at least some expertise in related areas like server, workstation and networking products. Perhaps more significantly, historically much of their success has come from making big plays that created new markets, and their current golden goose is looking a bit tired.

I could have imagined them offering an antidote to cloud-everything for businesses, particularly smaller ones that have more flexibility and less lock-in with their current brands, that wanted good centralised management of both static and mobile devices under in-house control.

I could also have imagined them offering some sort of home networking hub where everything from your Macbook to your iPhones and iPads to your TV and media streaming could talk to a centralised box that offered media storage, a controlled way to use online services for things like backups and media streaming, and even some sort of remote/VPN access so you could connect into all your normal facilities over a mobile network while out and about.

Given the pressure they're increasingly coming under with their traditional strategy of trying to promote expensive, high-end mobile devices and a closed ecosystem, I wondered if they might see an opportunity and commit some serious resources to making a play for that hybrid/combined/in-house market. Apparently not.

I also wondered whether there might be some sort of grand coalition among the big Linux players, which probably means Red Hat, Canonical and possibly Valve. There's probably enough money and enough potential upside there to fund the creation of rival "killer app" level software for Linux desktops. And again, then you have both client and server side expertise and some experience building custom hardware as well, which opens up a world of possibilities if you can generate a critical mass of interest.

Then you have the likes of IBM, who have been riding the waves of changing infrastructure and local/remote pendulum swings for many years, and certainly have the resources to build a viable new platform if they wanted to. It's not as if they're strangers to either corporate strategy with enterprise customers or building a solid desktop platform, after all.

And finally, there's always the chance of a dark horse. There are a lot of people out there who used to work for big name companies that are no longer with us and who have developed solid products that ultimately didn't make it for mostly non-technical reasons, and there is a lot of VC money around. I didn't think it was inconceivable that someone would put together a credible executive team and raise a lot of early funding with a prize this big at stake.
Bikes aren’t always practical, unfortunately :(
I think you meant detection—and not defecation—right?
20% down is a rule of thumb, and a requirement to avoid mortgage insurance, but it is not a requirement for lending.

My credit union will do loans of up to 95% loan to value for $1.5M to first time homeowners or 90% loan to value up to $1.5M if you don't meet the first time qualifications. [1] I'm sure other volume lenders in the bay area have similar lending standards and programs.

[1] https://www.starone.org/first-time-home-buyer/
I'm pretty sure I can do GPU passthrough? https://blogs.vmware.com/apps/2018/09/using-gpus-with-virtua...
Almost all of the human strategies and concepts would still apply: center control, square control, development, initiative, king safety, the opposition, etc. The only exceptions would be fringe concepts like opening theory (already moot in Chess960) and endgame edge cases.

If you’re still not convinced,
I’ll prove that skills transfer by playing bullet against anyone who can make a 10x10 variant playable online.

[Edited to come across less egotistical]
So it might be technically possible but not practically feasible because you have to ignore all the non-trivial non-technical aspects. Well, apparently some people get away with it.

Curious thing is that while the pro-faction of these arguments accepts all this and the other side doesn't. And everyone is calling the others out for it.
I don't know, are you a spook? Knowing that would help me answer your question.
I hate videos for technical learning. I will avoid them as much as possible, especially if I cannot play at 2x speed (or more!) and/or if they don't have a thumbnail-preview when skipping.

Often I find that with videos:

- I already know some bits and pieces about something - it is quite rare to be coming in 100% fresh to something. So I don't want to have to sit through all the crap I already know, or have to skip backwards and forwards getting past the pre-amble ("What we're going to learn on this course!" "What is <subject>?" etc - if I didn't know what it was, I'd not be here doing the course) or bits I already know.

- Videos make terrible reference material. If you are trying stuff out as you learn you have to pause the video, then if you forget you then need to go back and re-watch the video to re-listen to what was said, perhaps several times. Text is so much easier to flip back and forth from.

- Watching videos often leads my mind to wander and before I know it I am "watching" a video and doing my email/programming/random internet stuff... this basically means I end up ignoring the video and just concentrate on my other real work.

Just as a thought experiment - can you imagine a stack overflow type site where all the questions and answers were in video format? That would be a special type of hell :-)

I couldn't watch this as it needed email registration, but some constructive suggestions:

- have a 100% textual content in nice chapters/sections.

- make the first example of something the absolute minimum-viable-example (don't make it "more interesting" with unnecessary extras).

- After presenting the example, go over it again in extreme detail (especially if new concepts are used) and explain each thing - e.g. What is this YAML thing? What is this param for? Why did we use value X? What does this other param do? What values can it take?

- make additional examples that cover the common other cases that someone might come up against, e.g. doing 1 of something vs doing X of something.

- copy-paste-able snippets for boring boilerplate (e.g. installation of stuff etc) are good++.

- Add a video as an extra demo that cements what was covered in the text. Try not to include any bullshit in the video (intros, jokes, other timewasting etc)
You could do power over ethernet to get connectivity too.
7-figure salaries have been a thing for quite a while at Facebook, Google and definitely at hedge funds.
Right now, you can make a half million a year or more if you're willing to optimize the low-level code in any of the major AI frameworks.

If you publish a major conference paper, 7 figures is pretty easy to attain. You don't have to be in the 0.001% just the top 5%. That's hard work but it's doable.

The only thing that's remotely fungible in AI is python-based data scientists who can do little more than port new data to existing models open sourced on GitHub. And even then they do pretty well because of the huge demand.

I don't see that changing anytime soon. I believe expecting automated systems to replace data scientists is the same level of naivete as believing we'd reach L5 autonomy in a few years in 2014.

Anthony Lewandowski was making 120 million dollars a year when he left Waymo. If you're an AI expert in the valley and you're not making at least $500k, you are one job hop away from doing so if you play your cards remotely right.
Unfortunately a pointer to the Santa Fe institute is a little too broad to my question (which was specifically about interacting agents, and I was implicitly thinking more about physical embodied beings, somewhat in the spirit of Rodney Brooks' robots). Also, I'm keen on concrete analyses rather than vague hand-wavy pontificating.

That said, the Santa Fe Institute is a great resource to be reminded of every once in a while. I'm particularly a fan of a line of research being pursued by Simon Dedeo (and others). eg: Optimal high-level descriptions of dynamical systems https://arxiv.org/abs/1409.7403
Satan comes to Dinner - Douglas Crockford's Dining philosophers

https://www.crockford.com/ec/dining.html
A steady business is fine until conditions change. A good CEO can see those changes coming and convince the business to change course.

That change could save the investors and board millions (or could cost them millions) thereby justifying paying enough to get a good CEO.
Oh, absolutely, and those people have a big blue badge here in Europe. Like my grandparents, for example.

There are also plenty of people who should have a badge but don't and who never park incorrectly (like my father-in-law who can hardly walk now thanks to his terminal cancer).

However my complaint is legitimate; it's disproportionately people around the 60-70 age group or the suited twit in a big car who thinks she's better than anyone else. At least with the older group they have a small excuse - the bigger spots make it easier to get out of the car which can be an issue if you're older and unfit.
But which one is more consistent? Are you gonna trust wide spread laws and regulations or that high school kid selling carts out of his Honda Element to be more reliable when it comes to safety checking?
Except with the added bonus that some people might get injured or killed. When will software engineers take this shit seriously?
Control Data?
No. Thread local/core-specific FIFO is more cache efficient than a ring buffer because the address about to be allocated is significantly more likely to be in a high level cache.

With a ring buffer, you're constantly cycling out to L3 or worse and hoping the prefetcher figures out what you intend. It's basically a LIFO allocator.

Even if you want to use a separate processing core, you get better latency using a FIFO allocator between 2 threads on the same core complex and the code is simpler, reducing instruction fetch overhead.

Frankly, I see architectures like yours all the time from firms like Hudson River Trading and I think they suck. They incur tons of overhead, the process separation adds a useless layer of abstraction that's annoying to transcend, and you end up with this useless message protocol between cores that invokes tons of copies and breaks compiler inlining features.
If you don't know the sampling regime that generated the data, you might as well give up. The only solutions to this seem to be collecting and providing all the data to ML analysis, or using provenance to inform the training procedure, which requires human expertise.

However, with a more general AI, we would be able to tell it "this is where and how the data were collected" and it could make the necessary inferences. Fully general AI would also be able to ask the right questions and make reasonable guesses on its own. Everything you do now, and nothing like anything that's been developed.

To me the weak point of this article isn't in the thesis (of course everyone can agree that general intelligence is more useful than narrow, all else being equal) but that there was nothing said about how to get there. The only reason ML is currently resurgent is because it we've figured out how to do something that works, while general intelligence has proven beyond our reach for 60+ years.

Edit: actually it seems to be "classical AI" and hybrid approaches and I guess for more details one would need to read the book.

I guess articles like this are worthwhile to temper expectations of what's possible with the current crop of technologies for those not in the field, which could help prevent another winter due to overinflated expectations.
Yeah, that's an option, too.
As far as I know, this is a peculiarity of APL resulting from Iverson's stance on the language as a "tool for thought"[0]. The best explanation I've heard is that "binary" is most apt to number systems (or matrices!) - but a "verb" in APL is not binary, it is dyadic. The language of verbs and nouns is a similar reflection of the ideas that APL is primarily a _language_ (like English, more so than Fortran) to express mathematics succinctly (with a minimum of ambiguity or syntax).

This is (to me) even more apparent in his next language, J; where he sought to "correct" deficiencies in APL and further expanded the "language" to include things like "gerunds"[1] more explicitly, which are nominally (as defined in an English dictionary):

> a noun formed from a verb, denoting an action or state

Which may be summarized somewhat unsatisfactorily as: "Because Ken said so".

[0]: https://www.jsoftware.com/papers/tot.htm

[1]: https://code.jsoftware.com/wiki/Vocabulary/GerundsAndAtomicR...
Yeah, having learnt the (very) basics of welding recently it has become very clear to me how much of a skill/art it actually is. Even at the basic level it is a combination of a lot of senses; sight, hearing, touch. And there are multiple movements which need to happen both simultaneously and smoothly, and be adjusted based on the aforementioned senses.
Sooo...it's rocket surgery for real?
Depends on the problem

Cbc [1] is modern, free and is competitive for most non-complex problems like timetabling (say less than 100k variables). (Cbc is much better than GNU Linear Programming Kit -- GLPK -- which uses outdated algorithms and is not competitive). Cbc can also be called from Excel via OpenSolver.

Scip [2] is the most performant "non-commercial" solver, but is only free for non-commercial uses. Commercial uses require licensing.

As for writing MIPs, this FICO MIP formulation guide [3] is extremely well written. Modeling MIPs is something of an art, and this doc captures most of the common formulations.

[1] https://github.com/coin-or/Cbc

[2] https://scip.zib.de/

[3] https://www.fico.com/en/resource-download-file/3217
Aridity is expressed in river topography globally
Unfortunately brands are sold online in the form of empty kits that anyone can then fill and sell. So while there are some brands out there, not all of them are really reliable. The same black married brand in different states is unlikely to be made by the same people.
No, you cannot. You cannot run Excel 2019 flawlessly or even close to it with Wine.

And https://appdb.winehq.org/objectManager.php?sClass=applicatio...

A garbage rating for the latest installer also means that even if you could run things, the workflow is not seamless.
Let me guess: This guy is a Libra!

Seriously though, I can contribute one idea, which is to use radar or spider charts (https://en.wikipedia.org/wiki/Radar_chart). I used to do this kind of thing, tracking 5-10 categories and trying to keep them all balanced. For feedback I would periodically assess how things were going in each category and give it a numeric rating, then plot these on a radar chart. The goal was for the resulting shape to be as close to round as possible, i.e. literally well-rounded. If the chart is bulging out in a particular area you've been working hard in, and lagging in another, you could theoretically take that as the signal to switch focus to the area that needs work. Also if you saved the charts over time you could compare the chart from let's say January 2019, against the one from January 2018.

For me personally it ended up making itself obsolete because it made me notice in a roundabout way that I am, and want to be, one of those people who works better at one thing at a time (or at least, fewer is better). But it did force me to do some things that were beneficial that I probably wouldn't have done otherwise.
I used to wander around the reactor auxiliary building at the nuclear plant I worked at and take pictures of the piping welds. They were works of art. The skill was obvious.
Eventually the shell will be a single large roll of steel that is unrolled, bent into a tube with a seam going hotdog that is welded. It will be very strong, lighter than the current patchwork, and extremely beautiful. More similar to the renderings. Can’t wait.
Way more convenient. Before I moved, I had a friend who made them. I knew they were safe, since they were pure cannabis oil. No solvents.

Now I don’t have access, so I do opt for herb vapes. But I can’t understand why some would use carts, as you can bring them literally anywhere and use them. You really can’t do that otherwise.
I vaguely remember grapefruits being Hunter S Thompson's favourite fruit. I don't think it was for the taste.

And your experience matches mine. Washing down MDMA with grapefruit juice definitely makes it more intense.
How to Hire a Freelance Front-End Developer
I think it's a throwback to the B. Braun days when Dieter Rams was in charge. The product is more than the task it performs, it is a piece if art.
I mean, perhaps; though I've found it does quite the opposite. The idea is proposed front and center, sure (this approach does not preclude that), but far less time is spent explaining the motivation and doing mathematical yoga to clarify steps in a proof than is spent providing clear examples and sensible constructions.[1]

I am not, of course, saying that all textbooks (or papers) will be better served by this structure, but I think a surprisingly large amount are. This may also be a consequence of the field I'm in, as well, where most statements I've made have several natural generalizations which are all relatively straightforward to prove, but presenting them all under one large umbrella with a very general construction makes the end result much harder to understand.

Either way, both ways have their merits, but I've (along with several of my peers and editors) found one much harder to work with and read than the other. Though, I will again mention that this may be due to the specific fields I work in.

--

[1] I want to be clear that I'm also not advocating for the "big reveal finish" which many papers (and some terrible textbooks) fail miserably at. Neither of these mediums is a novel. But I am saying that some approach motivating the construction and building the picture in a natural way (instead of a here's the theorem, let's explain why everything is a trivial corollary of it) lends itself to more clear expositions.

Perhaps either presentation can be made clear, but I've found it's very, very difficult to make the latter work in a way that readers can easily understand, while the former falls almost naturally from most research notes I've written and keeps people more engaged.
I wonder why traditional hardware makers are still dragging their feet when it comes to investing in quality software that does justice to their physical products. By software I mean both firmware with extra functionality and clumsy companion apps.

It's like the idea that software and hardware need to work together and are equally important to the user experience gets lost somewhere along the way, making way for all sorts of design and logic bugs.
Cities Reshape the Evolutionary Path of Urban Wildlife
I'm pretty sure that's referring to currency conversion. 200K CAD is around 150K USD.
Best internet resource that goes into the detail of this?
Proof assitants have nothing to do with neural nets or optimisation. They are entirely determinitsic and return an absolute "true" or "false" result, not an approximation.

https://en.wikipedia.org/wiki/Proof_assistant

This is Good Old-Fashioned AI, through and through.
First, assume a spherical car...
I didn’t say anything is nefarious. Just that an Attorney General who is himself implicated by name in a complaint is perhaps not the most neutral arbiter of said complaint’s credibility.
Yubikey 5 Teardown