skysight-inc/HackerNews huggingface dataset:
It doesn't matter that it's not cryptographically signed and not using https, etc. If the paper contains details about the history of bitcoin that can then be proved to be true, that is well on the way to validation. i.e., details such as "timechain" preceding "blockchain."
Even just splitting the longer assignments into distinct parts so that feedback could be attained part way through would help. That said, 5 for I assume one semester is still pretty good, at least compared to my experience where it would often be 1 or 2.
I've only ever made ASICs for high power RF equipment and that was using large feature sizes (>180 nm) in the 90s. I don't think structured ASICs even existed at that point so I can't offer any insights.

The idea is really cool. My go to advice: know your specs, know your vendor, know your delivery guy. If you can implement your design within the restrictions of your chosen structured ASIC, you trust the vendor to deliver on time/in quantity, and you can get them soon enough (I don't know the turn around time) then go for it.
Sorry, I stand corrected.
More mathematicians need to know about constructive mathematics https://en.m.wikipedia.org/wiki/Constructivism_(mathematics)

Basically, proof by contradiction is not a good idea.
If you think Gran Turismo on a Playstation is preparation for driving a Porsche RS in anger then you probably should up your life insurance.

Better go to a real driving school first (not one of those 'experience' things, an actual school), you'll be very happy that you did.
If you mean is it regulated, then yes (https://www.ccimindia.org/cc_act_ug_regulations_2012.php). There are many Indian medicines and they are taught by Indian government colleges (https://www.ccimindia.org/colleges-ayurveda2016-17.php#).
301s were not an option?
Why not seed a few more things in to the random numbers like temperature and noise?

Both should be hard to measure exactly the same outside the casing, hard to control and when done right should only add randomness.

Bringing heaters and timed, stealthy noise-generators should be difficult :) Also past noise should influence the future randomness.
I still wonder why they shut down though
Color is a simple Firefox theme wizard by Mozilla
Most hosting providers give 72 hours to pay if a method fails.

Then they unplug the Ethernet cable and wait a week or two.

But as you said, this isn’t about non-payment.
You could measure those things someplace far away (secret), or in a random office underneath the casino.
This is a hallmark of Google's lack of customer service. They used to use the same filtering alg on customer search feeds as public. The system was a grey list of some sort and the client was worth about 1m in ads a day to them. Never the less, once a month it would get blocked. Sometimes for over a day before someone read the email complaint and fixed it. We had no phone, chat, or any other access to them. They have no clue how to run a business nor do they care. Never partner with them.
FYI. This response references an awesome holiday movie. If you haven't seen "A Christmas Story", it's well worth a watch come Winter.
Linear logic is the shit. I’ve been reading up on it and I believe that 21st century will be built on top of linear logic. For example I have a hunch probability doesn’t need to be founded on measure theory, but can be founded on linear logic instead.
And this is what Arc Darker looks like: https://color.firefox.com/?theme=XQAAAALiAAAAAAAAAABBKYhm849...
If counting cards is illegal, this seems like it'd fall under that same logic.
Maybe what the OP was getting at is that before a topic is presented, it needs to be contextualized.

For a single presentation, you do this by presenting some motivation and the surrounding space before diving in.

For courses, the best I've seen is to present the structure at the beginning, and continuously revisit that as the semester progresses. What's the purpose of the course? To build to a solution to X or understand problem space Y.

Most of the courses I have had have followed this structure, and whether I enjoyed the topic or not, it was engaging enough. Unfortunately, I've had a few courses by people who clearly didn't care and started the class by telling me why they are smart and I should follow them, then reading off slides prepared by the book author or whomever, without understanding the purpose or direction of the course themselves.
They shutdown just the load balancer?

Forgive my ignorance but that seems like a weird choice rather than cutting access to the servers or in some more formal ways for copyright...

Also kinda concernit that multiple departments can take enforcement type action and others not know it. That seems way disorganized / recipe for diasater.
It's actually quite difficult to get utilization up past about 60% on average at a large scale, and when utilization increases efficiency decreases (from missed clock turbo opportunities and other microarchitectural feedback). So if you are using half a percent of your nominal capacity that's 1% of your total CPU usage. 1% is a lot at scale. For example at Google's scale that would be enough to justify a team of several full-time engineers to find a more efficient way to do it. Even saving 0.01% of CPU time is considered a pretty good outcome at large companies (Amazon, Microsoft, Facebook, ...).
This seems to only be a fix for the greedy people that keep coming back and raise suspicion. A casual player that cheats once and cashes out would be undetected.
It's also worth asking 'Where did this whole thought process of "it is the job of college to help you become employable" come from?' There are long-established, deeply-entrenched advocates for both viewpoints, but the 'it is the job' viewpoint is the new one. It's worth understanding the debate.
Greentea Operating System
Are you on insiders? Only way to get anyone to care.
In my personal experience, vaping does not feel very addictive at all. I used to be a heavy smoker, using 3-4 hand rolled cigarettes every hour unless I was somewhere I could not smoke. I'm now a heavy vaper, I vape all day every day, but it feels more like something I do because I enjoy doing it than because I need to.

When I was a smoker, running out of tobacco would induce panic attacks. Every minute spent on an airplane or at the movies I'd devote most of my thoughts to longing for the moment I could have a smoke again. When short on cash, I'd prioritize tobacco over food.

As a vaper, I have on multiple occassions forgot to bring my vaporizer (or charger, or e-juice) when travelling and gone without for days with no problems at all. A bit annoying perhaps, but no more than forgetting to bring my headphones before a flight or something like that, certainly not even close to the cravings I'd get when I couldn't get hold of my precious tobacco during my smoking days.

There's obviously individual differences at play here, but if someone came to me complaining about their horrible vaping addiction I'd have to restrain myself from not going all Bob Saget in Half Baked on that poor vape junkie... ( https://www.youtube.com/watch?v=LEberTUvrsE )
> This is one of the reasons double blind peer review can be appealing. It avoids credentialism, where the institutional reputation overrides honest evaluations of the paper quality.

This is one of the things I really like about the top machine learning conferences at the moment. The reviews are open to all and blind to credentials. Combine that with the fact that even vast compute resources can be obtained fairly cheaply (at least for a short amount of time), and CS research is one of the more "democratic" fields that someone can be a part of nowadays.

This is in contrast to the research I performed during grad school, which required access to a billion dollar neutron source, and reviewers generally knew which institutions the papers were coming from...
Totally. There's a relationship between the teacher and the classroom, and the students come in with a lot of expectations based on prior classes, too. A big part of the job is building and maintaining that relationship, and changing the expectations in your classroom.
Meta indexer like torrentz2.eu (that replaced the old torrentz.eu), if you look in their help page you'll find the list of sites they index.
Isn't card counting legal? From what I've read it seems like it's forbidden by the casinos and they can ban you for it, but it is not illegal as far as the law is concerned.
I really want to like Rust, but coming from C++, the language just feels incomplete. There’s a lot you should be able to do safely but the compiler just isn’t there yet to figure it out. I was surprised to find you can’t safely pass ownership of a Box through a channel for example (that is, Box doesn’t implement Send).

I’m also not a fan of the crazy chained functions everywhere, and making ? do an implicit return makes it hard to visually scan code for control flow.

I’m hoping Rust matures into a better language. For now I think C++ is still far more productive and ergonomic, and there are ways of making it safe too.
It might be too expensive for some people. But really there is no other solution other than full backup of everything. Relying on a single point of failure, even on an infrastructure with a stellar record, is just a dead man walking.
This was a constant discussion when I was in school for mechanical engineering. How do you balance learning theory and learning how to apply that theory, given the limited amount of time available? It came down to a common gripe that we didn’t get enough time in the shop actually fabricating, and the refrained response was that we learn that stuff on the job.

My take was always that a strong theoretical understanding is what differentiates and engineering degree from a technical or trade degree that focuses more (or sometimes solely) on application and practical knowledge. In my mind, the ideal engineering degree focuses on the theory and provides just enough practical instruction to give you a starting point to begin applying what you’ve learned. I’m open to discussion on that though.
If we can't robotically seperate the different types of plastic presently, could we tag new plastics with something machine readable? Bar codes seem impracticle for some uses. So just invent a micro tag, I guess.
Most people have grease on their face, especially near the end of the day, and when they're careless enough to get it on their phone, it's roughly the same consistency as bacon grease.
This link does not suggest that the owners of backpage were actively promoting child sex trafficking or selling children.

The closest connection is about them automatically stripping suggestive words like "lolita" and "young" from online ads without blocking the advertisement. It's a bit of doublethink to suggest that removing suggestive words from an advertisement is facilitation.

Where they got into more trouble was in the manual editing process. They moved from outright deleting all posts that offend to editing advertisements to remove 'sex for money' (not child sex) references because it was potentially driving their user base elsewhere and ultimately not effective in educating their usersabout what specifically in the post was not acceptable. So, greed, really. But the manual review process was not the same as the automatic removal of questionable phrases (such as the ones picked up by the media and politicians to further an agenda).

Their moderators were not people actively seeking to enable the sale of children because the company would see increased advertising revenue. While they were greedy on the sex-for-money front, it's a huge unsupported leap to suggest actively enabling the sale of children. I'm sure if they saw some children for sale they would have acted appropriately. The same report that mentions the automatic filters advises that Backpage itself reports cases of suspected child exploitation to the National Center for Missing and Exploited Children and that in some months Backpage has transmitted hundreds of such reports to NCMEC.

Which, of course, I am sure they are no longer sending these hundreds of reports per month since they were effectively shut down. Maybe there will be some other system with a moderation process that is likely to draw in and report offenders. But we'll probably kill that too.

So, if the crime is facilitating prostitution, sure, they are guilty. Intent is clearly there. Knowingly facilitating child sex trafficking? No, the only indicator is automatic removal of phrases from posts. That's the fabrication extrapolated from scant evidence which was used to build support for encroaching legislation.

The source of data for the hyperbolic claims of child sex trafficking was this 2017 Senate report if you'd like to review and make your own conclusions:

https://www.hsgac.senate.gov/imo/media/doc/Backpage%20Report...
I'm surprised to learn that pressing the "stop spin" button actually makes a difference - I had assumed that your results are calculated and fixed when the spin starts, and stopping it is just cosmetic. Why risk the house edge by allowing users to pick when to stop your spin.
E-Cigarette Maker Juul Is Said to Seek $1.2B in Funding
Amen to that. Once you reach 1,000 USD monthly you can switch to regular invoiced account (subjected to verification) and you have dedicated account manager.
Potential-induced degradation of photovoltaic modules
Yes! It is time for someone to disrupt Google. Please, we need a better search.
GCP allows multiple payment methods.

You should always have at least two payment methods on file with them for anything important.

That way if one gets flagged for fraud, services won't be suspended.
I had this issue during grad school. The research was the fun part. Writing my results up into a paper and formatting it for submission to journals... not as much fun.
For managed services, there are better options.

For just VMs with the fastest CPU, storage, networking and the easiest billing compared to other major clouds, GCP wins.
That's when you borrow. You don't need to take ownership. You only need read access, so pass as a non-mutable reference.
The loophole is that the state of the pseudo random number generator is observed (indirectly) and used for predictions. What if slot machines would use a real source of randomness? I assume that this would cause difficulties with the licensing process for these machines because the "fairness" of the machines would be harder to prove.
Uhhhh... https://arstechnica.com/information-technology/2018/06/vpnfi...
He has been talking about hierarchical proofs for longer than that. I saw Lamport talking about "how to write a proof" in March 2006 (press release here, in Italian: https://www.usi.ch/it/comunicati-stampa/2991).
I had the same thought, so looked up the laws - the difference between counting cards and this trick is that they are using both external devices and other people to help. If they could get the timing correct solely with their own observation, it would be legal.
I'm guessing that you mean something other than "roof" because a house without a roof would just be an open box.
The whole difference is that free news implies that you need new models to remunerate the writers.

Here, the writers are already remunerated _before_ publishing their papers. What we need is a new way to quickly assess a scientist's worth.
> A casual player that cheats once

Obviously doesn't exist in the case like this: it is an organized effort depending on specific steps and now that the technique is known, it's easy to detect such attempts by the casinos. If the casinos would estimate that the danger is too big to them they would have stopped using these models or consider some kind of upgrade, so they are obviously OK.
I am really disappointed that the law is against those people. If the casinos are allowed to scam people by making it look like you are playing a fair game while it's not (the machine is configured to give an advantage to the house), it should be allowed for a skilled player (like someone who found a vulnerability in the machine) to scam the casinos the same way.
Brief search says you can't use a device to count cards, which is probably more analogous to using the phone to crack the cycle.

I guess new machines with reasonable random number generators would fix the problem. I wonder if any laws actually specify weak RNGs.
Box totally implements Send: https://doc.rust-lang.org/std/boxed/struct.Box.html#syntheti...

Also I'm not sure how ? obscures control flow to the same level as C++, which propagates exceptions with no syntactic marker at all.
I think the primary reason why Rust doesn't have explicit unsafe restrict pointers is that there's virtually no demand for them (that I've seen, anyway).
Unlike raw pointers with no aliasing restrictions, restrict is used super rarely in C because it's so hard to figure out when it's safe--I think it was only added to make C competitive with Fortran in certain benchmarks. Restrict means you can never alias, so storing one in a data structure is just tempting fate without the aid of the compiler, and if you just need it temporarily casting a * mut to &mut works fine. Rust programs certainly use restrict a lot more than any C program does, and I don't think adding an additional layer of "restrict without a lifetime" would be terribly beneficial in most cases.
This fraud flag is caused by your credit card being found in a leaked list of card numbers somewhere.

They suspect you are a fraudster because you are using a stolen card.

Either sign a proper SLA agreement with Google (which gives you 30 days to pay their bills by any form, and therefore you get 30 days notice before they pull the plug), or have two forms of payment on file. Preferably, don't use your GCP credit card at dodgy online retailers too...
You can always just put an nginx in front of it to terminate TLS there. Sounds like a legacy mess nobody intends to maintain anymore anyways. Or hell, cloudflare them. Kinda pointless since you won't have TLS to the backend server, but the easiest "solution". I maintain that's it's possible to inject a header and terminate TLS however messy the system is within an hour.
I would also add that by and large this isn't done because of ego, but simply brevity. Seminal papers are often already hundreds of pages long, so to add every detail would bloat them to thousands of pages. And in any case, "skipping steps" is exactly how the top mathematicians think about the proofs when creating them.
Piano kids
This is why AWS and Azure continue to gain market share in cloud, while Google remains relativity stagnant, despite (in many cases) superior technology.

Their sales staff is arrogant and has no idea how to sell into F500 type companies.

Source: 10+ meetings, with different clients, I attended where the Google sales pitch was basically "we are smarter than you, and you will succumb". The Borg approach. Someone needs to revamp the G sales and support approach if they want to grow in the cloud space.
Huh. I don't see any obvious pitfalls here, the physics and principle of operation are quite simple.

I am struggling to come up with an explanation as to why I haven't heard about this before other than sneaky DOD stuff.

Who would like to bet me a large sum of money that there are currently operation military sats employing this......

EDIT: as epicureanideal pointed out, commenters in the article raised valid points discrediting most of the author's analysis. +/- charged ions get same net kick in the field, comparing proton mass to electron mass is a red herring.

Overall concept still passes sniff test, just needs further analysis. It's going to be all about the angle - you need one ion species to spend more time in the field than the other to get a net thrust

A magnetic scoop with a normal ion thruster might be more practical.

EDIT 2: After further consideration, my concern here is what happens outside the plates. This works for infinite parallel-plate capacitors - you just need to have the field strong enough so one ion species undergoes more net acceleration. In practice the field outside the plates will not be zero and that could spoil everything

EDIT 3: I know nothing. E&M is hard. There will be a current around the outside as you're pumping positive ions to one side and negative to the other. This will induce a magnetic field affecting the ions being pumped through the field. I have no clue what the net effect will be.
> scam people by making it look like you are playing a fair game while it's not

Casinos don’t advertise themselves as a place to get a fair shake. On card tables, they explicitly take their cut in everyone’s view.
The key is the solution is so application specific. Write code once, it runs anywhere forever more. But IP blocks are not really like that. Especially advanced IP (USB1.1 vs USB3.1) need to be heavily customized for each application. So John user can't just download a block from Sourceforge and use it.
Show HN: Git-sqlite, a custom diff and merge driver for sqlite
This has been personally true for me; I began my career as an artist. I've known a few others to do similarly. Most of the people who do coding schools come from other backgrounds, and you can say what you want about coding school grads, but I've met very few who I felt could not become good programmers someday. As you say, some people have a longer, harder path than others, but at the end of the day, the brain is pretty plastic.
I think something else is going on here, because I shouldn't be allowed to call `hello(name)` twice if it was a move, should I?

https://godbolt.org/g/qUuETC
Red Hat entirely operates on a business-licensed version of a fundamentally free product. Oracle does pretty much the same. Many large, widely deployed and lucrative software packages are completely open-source. Because there's very few businesses who think that grabbing those packages without vendor support is a good idea. Especially in the EDA industry, with its very sensitive and particular cores, having the source does not guarantee it working, let alone working well. Buying vendor support is cheaper than winging it yourself.

I guarantee you, every single Chinese manufacturer who wants to dodge licensing fees has already done so with stolen IP cores. After all, EDA companies are hopelessly stuck in the past and woefully unaware of proper security practices.
Autonomous Driving, Both Close and Far from Ubiquity
You're probably a wonderful person and I mean absolutely no mean spiritedness whatsoever. But why do we actually need new lectures anymore? Nowadays any time limited and only locally accessible lecture will have to compete with the globally maximal presentation style, namely whatever stanford or harvard or whoever creates. If you don't think you can do better than that, why not just borrow what they've already done and use your time more appropriately, e.g. by spending time with one-on-one meetings with students; something that online resources rarely if ever provide.
Experimental 3:2 aspect ratio ThinkPad display
Also, PG has been used in ventilation systems as an air sanitizer for decades. Not a 1:1 comparison given the massively increased volume papers get, but it's something.
Higher bandwidth but also greater risk of mistakes? If the article is true that 1/3rd of papers have false theorems in them, that seems like a problem severe enough to justify slowing down and being more methodical.
Google just doesn't have the talent, skills, or knowledge for dealing with business customers. They don't have competition in adtech and so never learned, but that doesn't work with GCP. They have great technical features but don't realize that's not what matters to a customer who wants their business to run smoothly.

We've gone through several account teams of our own that seem to be eager to help only to turn into radio silence once we actually need something. We have already moved mission-critical services to AWS and Azure, with GCP only running K8S and VMs for better pricing and performance.

GCP has good leadership now but it's clearly taking longer than it should to improve unfortunately.