skysight-inc/HackerNews huggingface dataset:
What does that look like? A SAT problem takes a bunch of unknown variables (v_1, v_2 ... V_n) and logic operators (''not, and, or'' for example would be enough) to form a formula that combines these operators and variables, to asks us for an assignment (traditionally ''true'' or ''false'') to each variable respectively, so that the formula is satisfied; For example given the rules of sudoku find a filled sudoku. Or for xx+nx+m=0, and a given n and m, find x.

Then what is the model theoretic problem? Is it, if f(a,b)=((a and not b) or (b and not a)) is satisfied by e.g. (a=1,b=0), then we want to know all configs that satisfy it? The way I understand your post, you are saying we want to know if all combinations of a and b over {0, 1} satisfy the formula. I'm not sure that's not the same thing from a different perspective.

I started a course on abstract algebra once, but actually I am still limited to boolean logic. while they mentioned Galois Theory, functions as points in a metric space, graph coloring problems and many things that sound interesting but quickly have me getting lost in details. It's the same effect as with other machine learning ... coff coff.
Are you implying that most software engineers aren’t ethical? That isn’t true in my experience.
> A pilot on board the jet receives input from the environment with effectively 0 latency, and responds with 0 latency as well. The only latency would be human reaction latency, which the remote pilot would have to. Except that remote pilot would also have to contend with network latency to a plane that's thousands of miles away.

Also remotely operated planes can be disabled by disrupting the communications link. A piloted plane is still able to operate in a degraded mode in an environment where communications links are disrupted.

If the USAF went all-in on remotely operated planes, that could incentivize adversaries to increase investment in technology to disrupt the links that control them, since such technology could deliver air-superiority against an all-remote air force in a single action.
>> They called in an outside insultant.

This is either a great typo, or a hilarious moniker I have somehow missed (almost 40 years in the business). Either way, it's worth recognizing.

Equal parts hilarious and accurate as "/in/con/sultants" are often brought in to play the part of the court jester -- they can speak the hard truths no-one else could, and survive.

>>"Yes, but MY program ACTUALLY WORKS". If the program doesn't have to work, I could make it read 100 cards per second.

I think I wrote a device driver like that, more than once. :( Fast as hell, to the point of outstripping the bitrate of the device it talked to, and about as useful as a sailboat on the moon.
Note that the source of this article, George Mason University, as well as the Antonin Scalia Law center have received significant donations, and arguably even more significant influence by the Koch brothers.

https://www.nytimes.com/2016/04/29/us/koch-brothers-antonin-...
Surveillance with out warrant, but which is not actively used for malign purposes, is a matter of concern. If it could be used for malign purposes it’s very concerning.

China routinely imprisons political subversives. It has among the lowest rates of voluntary organ donors in the world, yet it has one of the largest rates of organ transplants. Those organs come from prisoners, many of them political prisoners. They’re using that surveillance system to identify and incarcerate these people right now.

But hey. The NSA has files on people too so who cares? How many people, have been broken up for spare parts by the NSA or due to overreaching US and British Intelligence? In China it’s probably in the tens to hundreds of thousands. This isn’t ‘very concerning’. It’s horrifying.

EDIT: I think I misunderstood your point. In my post I did specifically call out British involvement in mass surveillance right alongside the US. Or maybe you think I should have called it out more? I’m a bit confused.
Fine-Tuning ResNet in Keras to Build an iOS App via Core ML
A very interesting read.

I did not know that alcohol effects varied that much between societies & context/circonstances.

I found especially surprising the part about how in some cultures drunkenness is used as an excuse for violent behaviour while it's NOT elsewhere. I don't drink myself, but I've seen a lot of other people's behaviour in France (being loud, more or less belligerent, removing clothes, etc.), but had not realized it could be otherwise in other countries.

I've always thought that being drunk (or drugged) was NOT an excuse for bad behaviour (especially picking fights): that's much too easy/convenient to justify oneself like this! Now, I've learned that I was even more right than I thought!
The past, present and future of काम (work)
3 Definitions of Cloud and Why They Matter
Ok, we'll put "internal" in the title above. Thanks!
That’s okay. Societies that continue to have fucktons of children will also collapse in a few decades, but in a markedly different way, with a lot more suffering.
> try to define something that both is a function of the system it exists in, and also something that could potentially break the whole system

That is what's so damn hard about shaping societies (and the market). The recursive feedback loop and the self-interference.

It's also on individual levels: We're able to dynamically adapt our reinforcement system using meta-cognition (based in the prefrontal neocortex).

I understand the other parts of the answer, but I can't really see what you try to say with them (e.g. boundaries, society and deciding if we apply randomness or not).
Check its legal status in Malaysia and Thailand. [1]

Furthermore, some drugs such as khat, betel nut, or coca are mildly stimulating and used heavily in certain cultures throughout the world.

[1] https://en.wikipedia.org/wiki/Mitragyna_speciosa#Regulation
Which is the problem. Everyone knows that I have resources, so everyone wants to use them by packing in every feature without any consideration for how much memory it uses. It's fine if I only wanted to run a browser or only wanted to run an IDE.

It's not that everyone should always strive to have the minimum footprint possible. It's that no one cares how big the maximum footprint can be.
GitHub Windows Edition: User Style Transforming GitHub into Windows 9x
Can you break the laws of physics and help us get Moore's Law back on track?
Until China comes up with a completely "unrelated" chip which does not have to pay royalties. Because, you see, it's a completely unrelated design. Even the name will be different.

There is prior history on this. Companies used to the level of IP enforcement in the USA are in for a big surprise.
> Allusions to people being poisonous are particularly destructive.

The phrase "toxic masculinity" isn't directed at one SPECIFIC man, so you can dry your tears.
As a rougue engineer I would expect at least an increase in my bonus which is proportional to the one of my chef. There is little reason to be a roughe engineer otherwise.
Reinforcement learning’s foundational flaw
> You can't prescribe how language is used. Toxic culture now means this.

Seriously? You can't prescribe how language is used either.

Meaning in language is constructed around conversations about how words should or should not be used. No single person can prescribe language, but discussions about what words mean in their context is how language evolves.
> Those happened at completely different times.

The article stated a 2 month difference toward profitability, and provided no other frame of reference for the (immediate? eventual?) Hawaii getaway. They do mention at "the end of the year" but there is no information stated about when this 6 month "get out of the tailspin" process began in the [calendar/fiscal] year, so that's non-helpful.

Without additional context, that's a single digit number of pay cycles between, "Surprise! You're laid off to save the company" to "We can afford a lifestyle of excess".

I mean, I would hope that it didn't go down this way, and the paragraph was just written awkwardly. If the author wants to make that clearer, I'd be happy to listen.

But as that blurb stands now, it reads as a casual dismissal of the "good people" let go at best, and a slap in their face at worst, which isn't a good look.
Sure, you could design a camera that signs photos with a private key stored in a hardware security module, then only trust signed photos and videos. It would have to be resistant to physical tampering and side channel attacks. One way to do this would be to stream bytes to the HSM as they're recorded, which would then output the bytes and their signature for local storage.

The tricky bit here is closing the analog loophole (using this camera to record a carefully constructed, high resolution fake) and preventing the HSM from signing anything which wasn't recorded by the camera lens.
I took it as after laying people off they were able to actually make money and a year later they were making enough to do extravagant events. With the limited context it doesn't sound the best. With different framing it's more reasonable but I probably wouldn't have included it in the article.
These things are pushed by management down, rarely from engineers upwards. The usual "solution" is to hire people from different cultures with lax laws, i.e. in WEU it's popular to hire EEU folks, in USA to hire Indians to do the dirty job, as they either don't understand the legal consequences or are from cultures used to "work around" laws.
I agree that it would have been a good example of where Apple could have encroached on the Windows market more effectively.

That said, the margins Apple has continued to make on its hardware suggest that not licensing MacOS was the right choice for the company.
I hate how people idolize someone who has a past built on the racist exploitations of the South African system of apartheid, built a payment system that creates a class of haves and have-nots, builds a luxury vehicle for his white friends to virtue signal with, and now exploits a tragic situation involving people of color to further his drilling company.

Slate has it right, Musk should stop tweeting.
You're right that it would be hard to figure out the exact mechanics of the enforcement, but I think it can be done.

> I think docking stations are the better solution. Portland has docked shared bikes and they work well. It prevents the littering problem almost entirely, and it could provide a way to keep these scooters charged.

I strongly disagree. Docked bikes have been around for a while in most cities, and scooters have been a lot more popular because they are everywhere. If I use a docked bike to go 2 miles I'll spend half my time on either end walking to and from a dock.

The only way to make the docked model work is to have many small docks - several on every block, which isn't going to happen. My suggestion is essentially this (multiple docks on every block) without the need for infrastructure. Cars (which are way less space efficient) have more parking options that docked bikes, which makes 0 sense.
You are not wrong but in the end I just prefer not to answer their questions at all. Somebody else will probably be kinder than myself and I am quite sharp on forums because I dislike people who tried exactly zero solutions but just come and cry somewhere. I know sharp language is frowned upon in the moderated forums and viewed as not constructive so I just say to myself "heh, that poor thing" and never even write a reply, and move on with my life.

Better for everyone involved IMO.
As someone who lives in CityPlace, it's actually a pretty awesome area to live for young professionals. Right smack downtown, close to pretty much everything - work/offices, parks, bars/restaurants, delivery (same day Amazon Prime, all downtown restaurants on Uber Eats), transit, walking distance to every major sports arena, etc.

Not to mention massive growth in the area has lead to a lot of attention and investment from the city... seems to only be getting better every year.

No idea where you got the idea that it was "soulless"? Perhaps because it is a relatively new development/area... there is massive construction going up everywhere in the area including 2 new schools and community center right in the middle of canoe landing park: http://urbantoronto.ca/news/2017/09/cityplace-finally-gettin...
For this author it does mean this. Feel free to use this phrase however you want though.
iflet and whenlet are written in C in TXR Lisp.

See the me_iflet_whenlet function in eval.c:

http://www.kylheku.com/cgit/txr/tree/eval.c#n4125
There's a great Dilbert where Dogbert wants to both con and insult someone. So he goes to consult for Dilbert's PHB.
Well the easy way is to have a monorepo, but it sounds like that's not a possibility in your case. It may make sense to have a separate repo where you keep your PO files or whatever you're using and just import that repo into each of your projects. You don't really want to just search for the string in other unrelated projects because the translations may have added context, which is appropriate fro the project it was created for, but incorrect for the new project. The person making the list of strings to translate should be whomever is in charge of actually writing the copy. That's often the product team.

We just email files back and forth, which works ok as long as it's easy to grab the current files from source control. It looks like CrowdIn basically does the same thing but with a web app and the ability to purchase translations as needed (it's weird to see a translation company with grammar errors on it's front page). The essential workflow you're looking for is the ability to send files back and forth in a version controlled manner, possibly with screenshots to add more context
This sounds like it could be satire.
Research-backed strategies for better learning
Create a Self-Signed SSL Certificate for Apache2 HTTP in Ubuntu 18.04
They did use OP's strategy in the CPU industry.

The first CPUs were simple as heck. They spent 20 years making them reliable(and faster without compromising simplicity, mostly just node-shrinks), and they've only really been complicating the architecture in the last 30 years.
I renamed mine to mangoes since they are my favorite fruit.
To this day, knock on wood, I have had success at voluntarily avoiding those issues ^^ (aside from school assignements)
From speaking with people who have lived in China, the environment is a huge concern for the people living there. Unlike in the US, there is a very clear expectation that it's the government is both capable of, and is responsible for dealing with it.

Chinese people aren't some mindless propagandized drones. They have the same capacity of looking out the window as you or I.
It's interesting to note that alcohol is both socially acceptable and neurotoxic, with direct effects on nerve cells. If ancient man had discovered Testors cement before alcohol we would undoubtedly be living in a world of glue huffers who demonize drinking alcohol in cautionary PSA films.
A Thread on Crypto Ban in India
The source of the mysterious ozone-killing emissions is confirmed: China
A good way to think about this issue: As you prepare to sell preferred shares to raise money, ask yourself "Is this product worth the next ten years of my life?"

Come up with an answer that will satisfy your parents or spouse, not just your co-founders and seed investors.

What can make it worth ten years?

1. A product with the potential to delight paying customers and make them talk to each other about how great it is. (If your revenue depends on ads, your customers are advertisers, duh.)

2. A big enough stake in your company (after you sell those shares) to give you good choices when it's time to do the next thing.
I mean, there's more than that. The CIA spied on Congressional committee tasked with oversight over the CIA, this became public, and essentially nothing happened in response.
The Skeptic's Guide to Venture Capital
"... in accordance with the new EU policy directive."
> I find it very easy to imagine management making a series of requests for changes to the software that seem innocent but allow for this exact outcome: changing the way the system performs when being tested for emissions.

Off the top of my head, I've written many pieces of code that 'game the system' but are used only for testing purposes. I know full well that if those pieces get into production they could be hazardous, but there is nothing ethically wrong with me creating them. If a superior takes that code and uses it, that's not my fault.

It would be supremely easy for management to put in a bunch of requirements for the VW emissions system that are blatantly dangerous, but 'for testing purposes'. The developers need to be able to trust the higher-ups and certainly shouldn't be held responsible for their decisions.
"Never attribute to malice that which can be adequately explained by stupidity. But don't rule out malice." - It's more than likely your choice of browser, these photos are very well aligned, but your hostility worries me.
This is such a boondoggle. I rarely see any birds, lime bikes, orange bikes, ofos, etc. parked in places other than off to the side of the sidewalk, or in a bike rack. When I do, I move them.

Most people, generally speaking, are good people. They put bikes where they're supposed to be, they put scooters where they're supposed to be etc. It isn't just enlightened tech commenters who know that a bike should go in a bike rack.
VW is a German company. Nissan is Japanese. VW engineers did their unethical thing in Germany. In the context of this story, your comment fails logically.
https://stratechery.com/2018/the-scooter-economy/

HN discussion: https://news.ycombinator.com/item?id=17284094
Additionally, if you don't train Steve and instead just quit, that's not going to stop the Employer from asking Steve to do the unethical thing without training. Now the unethical thing is not only unethical, but it is also filled to the brim with bugs that cause unsafe situations for end users.
I don't want to argue semantics. I would like a straight answer on why you think that "fastest trader takes all" is a level playing field, or conversely, why implementing a batch auction format would be nonsensical. I'm agree that Lewis's book has many problems, and Kovac's book does not address batch auctions at all.
Then it is a copycat of nicehash.

I wonder how they plan to undercut nicehash?
considering the average price to own in Toronto is approaching $1M and rental vacancy is nearing 1% this comment sounds like beggars choosing.
Lol, I’m not sure understand. Is my comment of the base?
1984 was about totalitarianism. You're talking about being annoyed that your garbage will be done by micropayments instead of a flat fee. If you can't see the difference then you should read up on this place called USSR.
Out of that 50%, how many are making any real money?
Just for a point of reference, I've been a Cabinet Maker, Welder, Powder Coater, Skid nailer, punch press operator and more. Believe me, I understand blue collar. I was in my 30's before I worked professionally as a programmer.

I currently live in a town that is resource based, mining and forestry. The epitome of blue-collar. Believe me, those guys make double what I do with bonuses and benefits. Even without, they make significantly more than I do. It isn't uncommon for a worker in this town to be able to retire by 45. They work until they are offered early retirement, or, have their pensions bought out. All this with very little education beyond 'common-core' in the mining sector. Ya, they bust their asses. But they're paid for it. So, ya, you raise valid points, but I'll stick with my first hand experience. Have you ever worked blue-collar or just second had info as you present.
No, we only work with large scale hardware providers that guarantees security and reliability. We specialize in Deep Learning services including training and deployment.
Not sure why the "Otechestvennaya" part in "Velikaya Otechestvennaya Voyna" is usually translated as Patriotic while it actually means Fatherland.
If the forward traveling result contains a computation that is dependent on the backward traveling state, and the backward traveling state contains a computation that is dependent on the forward traveling result, and either one is forced to a normal form, then yes, you will get bottom. Otherwise, the computation will terminate.

It is a somewhat common thing to use a 'TardisT' monad (combination of reverse and forward state monads) to write assembler-like things, with fixups. The fixups travel backwards, and the generated code travels forward. This terminates, as long as you never examine the generated code when generating the fixups.
Algae Bloom in Florida Prompts Fears About Harm to Health and Economy
I can't help but think of Alpha Complex. Trust the Computer. The Computer is your friend.
I'm not really following the trapdoor reasoning. Both RSA and elliptic curves are based on having a system where 'exponentiation' commutes and the 'logarithm' is computationally difficult. RSA only needs the two generator primes to make finding the 'inverse' of the e exponent computationally tractable, once that is done the 'trapdoor' isn't used any more. There isn't an equivalent of that in elliptic curves in my understanding of them.
There's a difference between simple and simplistic, and there's absolutely a value in keeping things simple instead of complex. So much so that I think it's reasonable to state categorically that if there is a simple solution that works it's always better than the complex solution.

Not using a database when the solution calls for one clearly violates the "works" principle. And obviously, using a tool incorrectly (the ORM) trumps anything else. That's a tautology.
That was indeed that last one where doing a cancel was "involved". But it only involved sending a letter by certified mail, and all the info/details were on their web site.
I'd do it.

No one else really seems to have the vision that a CEO needs to step up to that particular plate.
He can promise to :)
> Why Does Your Company Deserve More Money?

It's a business, it makes no sense to talk about it "deserving" anything. Either you think your investment will pay off or you don't.

(And try to avoid taking VC cash or you'll wind up doing all the work while they walk off with the profits.)
Barcelona's new city (planned development after the walls came down) is far more livable than what, say, Seattle has become.
You could save a little work by noting that when is a special case of if and then writing when-let as a special case of if-let. Something like:

(defmacro when-let (bindings &rest body)
`(if-let ,bindings
(progn ,body)))

That's how it's implemented in Emacs at least. Maybe there are some edge cases involving declarations or whatever where this wouldn't work.
Finally, I've been avoiding AMD processors for the better half of the decade for exactly this reason. No reason anymore to continue so, especially in lieu of the recent security issues that have mostly affected Intel CPUs. Great work here Android team!
From shallow to deep learning in fraud
I think it's time for someone to invent Uber Walk: someone physically picks you up and carries you to your destination
yes, we are currently focusing on large-scale compute, but we are planning to add more variety for hardware.
Show HN: Print and Ship via Fedex, with SendOvernightMail's Chrome Extension
Well, 50 million is not really "building a city". That would be enough for a few sidewalks and parks, but not for bringing up a new infrastructure network.
Crypto Mining Charts
Quickly Validate Your Idea with This Template