skysight-inc/HackerNews huggingface dataset:
I agree that it's way over-long and rambling, but it was my introduction to the topic. Where it really shines is his interesting and controversial thesis that connects Godel's proof with the Church-Turing thesis and other things to form a theory of consciousness as pattern and make the claim that a sufficiently powerful AI is as sentient and meaningful a consciousness as we are.

I read Godel's Proof after though, and I agree that it is a far clearer introduction to Godel's theorems.
I think this might be one of those "forceful agreement" situations, yes. I suppose the way to see is to check all four cases: good and bad indie games with and without marketing.

Presumably we agree that bad indie games with no marketing will certainly fail.

It looks like we agree that bad indie games with strong marketing will usually fail, unlike bad AAA games and with a few debatable exceptions. (Mostly, I think, games that preordered well on hype and reputation but crumbled post-release. Clockwork Empires comes to mind.)

For good indie games with poor marketing, I think they'll usually fail, and it sounds like we might disagree? There are exceptions, but I think lots of them are older than the indie boom (e.g. Dwarf Fortress), or followup titles from successful indie devs. This might just be terminology or statistics though, because I agree that a chance favorable RPS writeup could jumpstart a game with no real marketing plan or budget. I guess the question is how often that happens, versus games doing the convention and reviewer circuit to ensure they get seen and written about.

For good indie games with good marketing, I think there's still a decently high chance of failure these days, which might be another disagreement? This probably requires a better definition of 'failure', people definitely bought e.g. Orwell, but if the standard is "makes enough money to release the next similar game" then even Failbetter Games is on the razor's edge, and they're one of the most acclaimed indie studios I know of.

(On that final point, I think I simply misunderstood you. I was noting that indie games can have any of the failings you mentioned and still succeed, but if your point was just that the specific game in this thread was hampered by those issues then we agree.)
Have you talked to the teachers? Or helped your kid to create a study schedule?
Chocolate: Frederic Bau's Cooking with Chocolate: Essential Recipes and Techniques

https://www.amazon.com/Cooking-Chocolate-Essential-Recipes-T...
This would be chaos in most industries, where margins are razor thin. And it would be a trade nightmare, as low margin industries would just move all production offshore.

For the thin margins, imagine a company that makes 2%. But they pay 30% tax. Suddenly they’re at a loss on every sale due to tax. So thry raise price. Except every component in their chain alos does this.

You’d probably also see a lot more vertical integration. No sale, no tax. Whereas separated companies have to pay tax every time thry deal withan outside company.

But the world is not vertically integrated. So this tax plan wouldmforce america to drop best practices and go for extremely inefficient methods.

Your plan for fairness would almost certainly destroy the economy.
Maybe. What portion of the expenses went to executive salaries in exchange for this stellar outcome?
I have a question for wasm, is it possible to temporary suspend the execution of wasm program and then continue execution, e.g. tomorrow?
tfjs-vis: A set of utilities for in browser visualization with TensorFlow.js
It's long been held that the fifth only protects against disclosing what you know, not what you are. No surprise here.
No; you are never forced to visit foreign countries. It's more along the lines of: you want to visit, you play by our rules.
Good talk. I thought it was interesting what you said about student principle because I have a counterpoint to it. Which is that not carving out time day to day to tackle tech debt (via sand bagging) means the treacle gets thicker and harder to run through and the volume of bugs increases which leads to corners being cut to get features out at the old pace.

So the argument to over-estimate or sand bag, and fold in better solutions with the boy scout principle seems to me the best way to make a brown field site green again.

I’ve had one experience of this which totally worked. Time to implement features went from weeks to hours. I’m currently trying to apply the same method again with mixed results
Most likely it's a fake interview.
Yes. It's this Noble Bank.[1] "Noble Bank International is a full-reserve bank providing real-time post-trade services to OTC markets including FX and Digital Currencies."[1][2]

[1] https://www.noblebankint.com/
[2] https://www.bloomberg.com/research/stocks/private/snapshot.a...
This is a really fun version of original-ism...I mean it's wrong, but it's fun too!
No. They said that they would provide it to a journalist, but only under an all-encompassing NDA, that would forbid any mention of the institution(s) or any balance(s), or any identifying details.
The new user controls are just a temporary stopgap measure. The real solution Google is working towards is Manifest v3, which will be designed as a much better system with fine-grained permissions.

If Google follows the model with Chrome that they did Android, UXSS permissions will eventually be phased out over time and replaced with better, more secure, opt-in, purpose-built APIs in Chrome. (Assuming they can do that without sacrificing _too_ much functionality.)
How are those related?

They got their budget cut in retaliation for (perceived) partisan targeting by an administration on the same side as the groups they were auditing. That doesn't mean these groups weren't committing fraud, or just that they were committing fraud at a rate out of line with any other randomly selected group, just that the people who control the IRS's funding wanted to send a message to the IRS about how they should behave.
I hate that Google can pour money from its infinite ad revenue into other things and beat out competitors by virtue of being able to sustainably run unsustainable (for others) businesses.

EDIT:
For people who are interested in this, I would recommend studying the history of AT&T, especially the 1956 consent decree.
Show HN: LevelStory – Manage remodel projects from start to finish
Absolutely. That's why I reacted to the "most used" criterion.
This certainly is promising, but I fear the drug companies will block the customized processes that would make this truly useful for mass produced pills of less efficacy.

I think there are lots of medical treatments involving custom genetics that might not be as profitable as drug production but would rather involve a lot of lab work. Things that are initially not as easily automated and profitable (but certainly economically feasible given the prices of drugs imposed by patent monopolies).

I don't think investment in these approaches will occur without government sponsorship and kickstarting.
It's unclear how important it is today, but historically analyses that used Github heavily favored Ruby: https://www.benfrederickson.com/ranking-programming-language....
AARD code
Descartes Labs | HPC Engineer, Site Reliability Engineer, Platform Engineer|
Santa Fe, NM or San Francisco or New York City | Descarteslabs.com
Data will be the great enabler of new technologies, new products, and new businesses of our generation. Descartes Labs is building a data-refinery on a cloud-based supercomputer for the application of machine intelligence to massive satellite imagery data sets.
Requirements: Geospatial experience Large Data Platform development, HPC
Tech: Python - Kubernetes - Docker - Google Cloud Platform (or AWS) - HPC (C, C++)
Apply directly at: https://jobs.lever.co/descarteslabs.com
"you must understand when I say it's trivial I just mean that I can do it "
Adam – Go to Go
Does it matter? Those salaries are taxed. Indeed, all expenses are taxed because every dollar of expense represents a taxable gain at some point in the supply chain.
They've provided "evidence" but there are always plenty of holes, like not naming what banks they use. If anyone wants to indulge some morbid curiosity, the latest "not an audit" was https://tether.to/wp-content/uploads/2018/06/FSS1JUN18-Accou...
Actually, I'm also in Atlanta and I have been for over 20 years and I think I have a good understanding of the local tech scene and salary.

It depends on what you want to do and whether you want to stay in Atlanta.

From what I can tell from talking to recruiters, looking at salary surveys, and friends who are also in their 40s who have been aggressive about their careers longer than I have and eschew management, the ceiling for individual contributors and low level architects/dev leads (statistical ceiling without going way out on the bell curve) is around $150-$160K total comp and that's pushing well into the 4th quintile.

You can gradually get over that hump by being an "implementation consultant" for a consulting company, but still you may be looking at around a top end of $180K - $200K. It also may require a fair amount of travel.

I'm not sure which would open more doors or what doors you are trying to travel through. Personally, I have no desire to get into management and want to stay hands on. More money is always nice, but not strictly necessary for me. The cost of living in the 'burbs in Atlanta is so low compared to what you can make as developer with 10 years of experience, it's not really worth the extra headache for me to take on more responsibilities right now.

If a company was willing to pay for my education, I would definitely go the Executive MBA route. It is so easy to teach yourself almost anything in computer science once you have the foundation and I don't think you get much "credit" for getting academic credentials in computer science as you would get for business.

Besides, the online computer science degree from GA Tech is cheap - $7000. The EMBA is $80K. A $7K reimbursement is nothing.
IIRC, "public domain" means different things in different countries, and can make it hard to enforce as a software license. See https://opensource.org/faq#public-domain

A BSD-style license is probably the closest to public domain while still being easy to read/understand.
Why Corporations Are Outsourcing Venture Investing
>Oh, did you mean legally?

Yes, funny enough my employer likes to keep things on the up-and-up.
Absolutely agree. GEB constantly tries to prove the cleverness of the author, complete with winks and nudges. It stacks so many unintuitive analogies on top of each other that I spent most of the time trying to recall which real-world concepts they all mapped to.

Also, the book is about 98% Gödel and 2% Escher and Bach. Any time it steps outside its wheelhouse of math and into the realm of philosophy or art, you get the distinct sense that it has no idea what it's talking about.

Do yourself a favor and just take discrete math 1 and read a few Wikipedia articles instead.
That's been a thing for years already as bzd referred to, with a mature open source client already waiting to be installed on devices as small as an rPi.

https://github.com/moonlight-stream

Steam does this all directly too now, from pc-to-pc and to Android and soon iOS.
That was not my point, I only provided an example where asymmetry of laws is not strictly necessary to explain asymmetry of the outcome.

As to your point - the other side of the dipole could be beyond visible (to us) universe.
Normal volume can move the price by 0.5% against the underlying?
The author is highlighting absurd examples.

A partner at a law firm can easily get away with expensing 1 of their 2 luxury cars, 50% of their meals, 50% of their travel, their home computers and software, etc. Car companies even make SUVs and Crossovers that are slightly over 6000lbs so they can be deducted as 'working' trucks for white collar workers.
>That made Sasser pause. Wouldn’t an actual representative from Wells Fargo’s fraud division already have access to his current PIN?

No, nobody has access to your PIN, if you forget it you need a new card.
Am I right to conclude that av1 takes like 100x+ the duration of the video to encode? Like it's extremely impractical at the moment?
Why do I need a degree to read financial reports? Can't I get a book or just Google it?

If I'm running a business, why do I need to be able to read financial reports at all? Especially for some other random company. If I need to make a financial report, couldn't I use an online generator, template, accounting software, or hire someone to do it? Looking online there seem to be many services for less than a few thousand dollars for financial reporting.

If I have a product wouldn't I be able to take time to research applications for it thoroughly rather than relying industries that I remembered from some course.

As far as measuring clients worth, do I need a course on that really or do I just need to be aware that there are clients that will waste our time and try to get practical evidence that won't be the case.

Can I not get quite a bit of useful knowledge by reading and carefully digesting some key books like The Mom Test?

When you say think like a marketer, so far every article that comes up when I google that is listing things that any used car salesman would apply.

Just based on what you said it sort of makes MBA degrees seem like a waste of time to me.
So do people who are found innocent of other crimes. Would it solve your concern to say that anyone found innocent of a government cause of action could claim costs? I've never understood why they can't frankly.
Article underestimates how much iOS app legacy Objective-C code there is; even Apple is a far ways off from replacing it all with Swift.
Surely JDK devs have a corpus of projects they test releases against, but JVM devs tend to not do the microbenchmarks this would need very often. So in general a corpus of centralized JMH benchmarks would probably have more value than referencing them from other projects. I'm sure an entity could offer this service if, e.g., projects with JMH benchmarks invoked in a common form from maven central or github or whatever were submitted to a central curator but not sure who would want to curate that.
Tendermint | Berlin | Berkeley | Toronto | Onsite Preferred |https://tendermint.com/careers

Tendermint is building state-of-the-art consensus and networking protocols to enable internet-scale distributed applications. We’re passionate, self-driven, industry leaders whose mission is to build a better, freer internet. We're also building the Cosmos Network, a decentralized network of independent parallel blockchains, each powered by classical BFT consensus algorithms like Tendermint Core. We believe the technology we're building will have a major impact on human beings around the world. We’re well funded and growing quickly. Interested in helping us build an "Internet of Blockchains?" Apply Now

Open Positions:

Product Manager, SDK
Senior Software Engineers (GO, Javascript, SDK, Tendermint, Ethermint, Databases)
Community Managers
Ecosystem Developers
And the point of the article is that almost no-one is getting prosecuted for it. So it is true, that people are getting away with expensing them.
They believe they are engaged in long term thinking - seize power so completely, popular support and laws cease to matter. Then do to the country what has been done to Toys R Us. And Democrats are willing to let them do it because they think it's a game.
TileDB, Inc. | Senior Software Engineer | Cambridge, MA or REMOTE (US) | tiledb.io

Come join TileDB, Inc. in developing the future of big data storage. For emerging and growing fields such as genomics, earth science, imaging, and financial analysis, the volume of data is increasing at an astounding rate, and TileDB is meeting the challenge head on. Data in these areas is well represented as multidimensional dense or sparse arrays, and the open-source TileDB data management software is a novel, cutting edge solution for array storage.

The company closed a $1M seed in May 2017 led by Intel Capital and Nexus Venture Partners, and is raising a new round of funding in the upcoming weeks.

Our team combines software engineering expertise with domain knowledge to develop the open-source TileDB array data management software, and we are looking for talented and motivated engineers for the following positions:

- Full Stack Web Developer: Production experience with Kubernetes, Payment gateways, and React or Vue.js for frontend work

- Spark Software Engineer: Deep experience with Spark, Scala, Java, native JVM extensions / JNI, Maven packaging and the SBT build system

- Bioinformatics Software Engineer: Strong C++ skills, experience with R or Python, FastQ, VCF, BAM formats, bcftools, htslib, GATK, Hail

TileDB has been featured on HN: https://news.ycombinator.com/item?id=15547749.

TileDB GitHub organization: https://github.com/TileDB-Inc

Our headquarters are located in Cambridge, MA. To cope efficiently with the different time zones and hiring processes, priority will be given to candidates that are located in the US, and are US citizens or permanent residents.

Apply at https://tiledb.workable.com
Bluebeam is hiring software engineers
As a user I am strictly better off that way.
To be fair, when the first 2x burners came out, you had to burn at 1x anyways to avoid a buffer underrun and a garbage disk.
That's how the big guys can kill innovation.
Verizon turns on world’s first 5G network
A Cloud Guru | Austin Melbourne | Full-time | Onsite
Instructors | Data Engineer | Frontend Developer

Join A Cloud Guru and help teach the world to cloud!

We have a thoughtful and quirky team and look for folks who are ready to make an impact and have fun along the way! WE enable Individuals and enterprises as they embark on their cloud journey!

Our people matter to us. We know everyone has family and friends and for that reason our employees receive lots of leave each year. We understand that time away from work is important and we know well-rested and well-rounded people make better decisions and are happier at work!

We make sure you're well looked after when at work by providing free healthy snacks and drinks. We love to come together over a free catered lunch at the end of every week. Even though we're a startup we pay commensurate with experience and have a very generous PTO policy!

Check out our careers site: https://acloud.guru/careers
That's only one way to look at it. There are lots of weird integrations and third-party products that OS vendors have to account for in a decision like this. I don't know how they set dates for end-of-life on their products, but many vendors are obligated to provide support longer than a reasonable person might expect.
> In my experience the behavior is stable i.e. doesn't often change between rebuilds (at least in VC++).

This is less true when you try and support many versions of many compilers, however, in my experience.
I had to look for a bit before I found an apple URL that wasn't behind Akamai (Linux), but:

https://toolbar.netcraft.com/site_report?url=gs.apple.com#la...

Just says OS is 'unknown', Apache server. So they may possibly be using a version of Mac OS to host at least something.
"You get $10 billion more in your budget this year. Go pull some taxes out of Newfoundland. We got your back."
Justice Department files net neutrality lawsuit against the State of California
Actually I already take naltrexone, but in ultra low doses. I'm combining it with low dose buprenorphine, which is basically the only medication that has done anything for my depression. I will see if I can get an appointment with a specialist about PANDAs. I have known about PANDAs for a while, but it was dismissed very early since I'm an adult. Now that I've failed pretty much every treatment it might be worth it to take a second look.
I'm just helping you understand where the downvotes are coming from. You're right that the HN should be less Americanocentric, but it isn't.

If you had said, "here in Australia ..." people probably would have given you an upvote. FWIW, I try to preface my cultural statements with "here in the Midwestern US" for the same reasons: I try to provide context for my statements to people from different regions because what applies here, does not apply in Texas or California.
Hyperlinking wouldn't provide much help. It's easy to prove this because academics have been hyperlinking for hundreds of years. A lay person finding the connection between [21,45,48,60] and the "trivial" step of theorem 15 is the problem.

So, hyperlinking is not what is needed for outsiders. What's needed is lots of extra exposition and explicit connection-building/hand-holding/narration.

The result of the hard work of doing so is typically called "a book". Which, hopefully, makes it clear why no author does this exposition and connection-building work for everything they write...
¯\_(ツ)_/¯
Sorry, this project is currently open in the U.S. only
He purchased the property knowing that the beach was public property, and that he had to leave an access way to that property. He then barred access anyway. If he didn’t want people crossing his property he could have bought property elsewhere. His intent however was clearly to create a de facto private beach by violating the laws he agreed to when buying the property.
What made the theorem hard is not the details, which are simple, it's the conceptual leap to thinking about mathematical statements as mathematical objects - something that is much easier for us than for mathematicians of Godel's time because we are familiar with programs and computers. Much of the text is taken up with proving things that were surprising to mathematicians of the era, but are now commonplace: e.g. that we can treat numbers as encoding mathematical propositions so that for every proposition P expressible in some formal logic L, there is a number #P which encodes P in some unambiguous way - as long as L is expressive enough to formalize some basic arithmetic. Then we can start making trouble by asking if we can construct a proposition Q so that Q(#P) is true iff the proposition #P encodes, P, is provable in our system. If so, we should be able to prove Q(#P) or NOT Q(#P) if L is complete, but things don't work out well because it's possible to encode paradoxical statements. In short.
If someone could find evidence to support this, I think this would be even more damaging for his persona. All this fight "for principle" that comes down to $X million.
Also, for anyone that doesn't know: you can request an old school ATM card (not a debit card, i.e. no MC/Visa logo) from your bank and use a credit card for purchases instead.

This reduces the exposure of a critical account. And if you do become a victim of fraudulent charges, you don't have to worry about your bank account being drained immediately (possibly resulting in overdrafts, etc).
Doesn't asm have the disadvantage that you end up spilling if you exceed 8 xmm registers even when running on x86_64 with 16 xmm registers available?

Or do you actually write separate asm for x86 and x86_64?
In my opinion no book will really teach you this, only experience. It requires going through cycles of design, implementation and subsequent evaluation of how well those fared and how to improve upon them. After repeatedly going through this experience in a mindful manner you will develop a gut feel for what's good and what's suspect.