skysight-inc/HackerNews huggingface dataset:
> Because static typing could be easily left as an optional choice throughout the code base but no mainstream statically type PL I know of leaves it optional.

It is actually not easy to design and implement a statically typed language that gives you all of the benefits of types when you want them while still allowing you to ignore them in some regions of your program.

The gradual typing folks poured years of time into this and still haven't figured it out. Optional typing is more workable, but sacrifices many of the benefits (soundness, performance) of static types even in code that is fully typed.
Somewhat ironically, the Israelis have their own, cruder, initialism for this.
> However, the margins are so low at that price that they cannot afford to sell in bulk

Typically, ordering in bulk is how you _support_ low margins, by amortizing all the various fixed overheads. What I suspect you mean is 'the margins are negative, and we're hoping to make it up via attach rate.'
It does have a "Steve Jobs designs RadioShack" vibe to it.
I don't quite understand. A rouge root user in X can just replace the /usr/bin/X binary with their own version which records the screen and logs user input or does whatever they want the next time the user restarts X, or better yet, install a kernel module of their own and have arbitrary code running in ring 0.

What exact attack vectors do you see in X which you don't see in Wayland, which actually makes a difference and isn't completely overshadowed by all the other things a root user can do?
As it currently exists, of course not. But as with any regulation or policy, it can be modified as befitting local conditions and times. Certainly it need not be a carbon copy of the European legislation. The devil’s in the details, after all.
As child mortality drops, so do birth rates. The effect just lags a bit as people change their behaviour. Healthy secure people will have less babies, because they don't need to have so many.

Letting a small number of people die of hunger is not going to change that equation. In fact it may have the opposite effect.

And food aid is a small minority of all aid. Long term programs to build local capability are already the vast majority of money spent.
I had a project last year where DB names were autogenerated per tenant, with the tenant ID being a UUID, so you're left with 63-36=27 characters. Starts to feel narrow.

(Putting tenant_id as a column was not an option because for each tenant, a third-party software was started that wanted to have its own DB.)
Probably that is why big economies are after crypto networks. Ripple is a close alternative for the SWIFT network.
Successful charities always require community involvement. As the sibling comment says, the real criticism is that they don't encourage you to get involved.
> You need to create a quantized TensorFlow Lite model and then compile the model for compatibility with the Edge TPU. We will provide a cloud-based compiler tool that accepts your .tflite file and returns a version that's compatible with the Edge TPU.

I seriously hope that's not the only way they're expecting people to compile models for this particular TPU.
> this isn't cooler than Apple, its cooler than RadioShack.

Arguably it could be cooler than both. You’re making an arbitrary distinction where one isn’t needed. Plus we never even had RadioShack in the UK (maybe Maplins might have been more apt? But I think the Apple comparison serves the authors point quite fine).

> Also, why the couch?

Plenty of shops in the UK have seating. It isn’t that weird at all.

> Because this headline demands a cynical response

No, it really doesn’t. You just chose to be negative for your own personal reasons.
it's just a bit outside what I/we consider spies roles. This sounds more like the usual PR trick.
Lots of things work when your people and processes are good enough. We don't need seatbelts if we never crash. That can lead to problems with scaling your team if needed, however. At some point you might have to let a moron in, and stronger typing just might be the thing that prevents a catastrophic bug.

I did Python for embedded systems for a year. Python is so expressive and well equipped, but the lack of pre-execution type analysis leaves you vulnerable to severe defects unless your testing coverage is 100%. I would prefer Java over Python just for the safety the compilation step provides(and I don't care for Java). I love programming in Python, but system reliability trumps my personal desires in this case.
Modern Parallel and Distributed Python: A Quick Tutorial on Ray
In other words, IO Monad Considered Harmful. https://blog.jle.im/entry/io-monad-considered-harmful.html
What drew you to become a PM initially?
Says the website that needs you to allow dozens of scripts from elsewhere to even get IN.

Shut up, you lost your credibility before you even had it.
Want to know what else is completely fair?

BitTorrent, the listener's Nash Equilibrium.
> We stopped solely using strong-types after decades of only doing JAVA and C#, and it hasn’t decreased our code-quality.

How do you know this? It's exceedingly rare that anyone actually keeps track and monitors rate of defects in any application, but there have been studies done[0][1] on the ability of stronger typing in languages to reduce errors.

My condolences for your time using Java and C# -- they are often what people first consider when they think of languages with "good" type systems, but I dislike them both because what they introduce as "good" type systems are often very much not, in comparison to languages like Haskell.

It's a bit disingenuous to act like Haskell has been a performant/production-ready option as long as those languages but still, almost every time I talk to someone and we get to the topic of typing I almost always assume that their bad experiences came from those languages.

> We didn’t leave strong-typing to leave strong-typing btw, we just started doing more and more with Python.

What are your opinions on https://docs.python.org/3/library/typing.html ?

[0]: http://ttendency.cs.ucl.ac.uk/projects/type_study/documents/...

[1]: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2935596/
I follow 70s Sci-Fi Art account on twitter for this kind of art https://twitter.com/70sscifiart

I often use some of the book cover art pictures as my phone wallpaper.
Prepare a few questions for each trait you care about and then ask all candidates the same (or sample of) questions.

Grade the candidate on each trait based on how well they answered the related questions and pick the best one.

Because you know the questions you can prepare and not be intimidated to ask someone more senior.

For instance:

How to design an app that feeds from two radically different apis? (no need for detailed code)

What perfomance practices they used in library/framework/their own code and why?

What test cases they would write for (a simple) given spec?

Ask them about instances were they mentored/helped/coached teammates.

Good luck.
I'll wait for the PyTorch version.
I'm sure you know this already but you might want to check out:

- https://docs.python.org/3/library/typing.html

- http://mypy-lang.org

Also flake8 has also helped -- it's just a linter but using it in conjunction with the typing module and running that in a watch loop in another terminal window has done wonders for me.
Can you change /usr/bin/X if you are only given access to /dev ?
I would like for these centralized platforms decentralized re recommendations. I can picture an API that anyone can use, that would enable third parties to design recommendation algorithms for YouTube. Right now, YouTube is in charge, because they have all of the user data, so you have to go with their algorithm. A sort of "marketplace" for recommendation algos -- some explicitly marketed towards different genres, personality styles, politics, etc.

Right now it's just a tremendous black box, although it works well most of the time ime.
Saiykuu
The less shitty recommendations YT makes, the more users move to other shitty sites with shitty recommendations.

That’s why the problem (which doesn’t exist) can’t be fixed that way (and that is also why these philosopher kings tend to be globalists and statists - the only way make make sure no citizen is left behind, regardless of their opinion)
Yep. Google definitely uses TPU internally.
All I get is a paywall. Seeing as im in hawaii on vacation this is interesting to me, wish i could actually find this useful. ;(
Any bug can be caught by the typesystem providing the ability to encode your intention. For example in Rust writing a closed fd could be a type error, not catching all the "exceptions" in OCaml could be a type error, writing out of an array's bounds in Ada could be a type error etc.
> Use a proper language for a job be it c, java or python. Don’t try to do silly things, like using JavaScript for all the backend

But all the cool kids are using JS these days! Why would one choose a solid language that doesn't break this easily, when you can just use the cool stuff?
sudo or root is not the only way you can read someone's logs, which I tried to explain above, so the whole point is moot.
I'm on the fence about that. Interviewing a senior developer, my experience is that it's still necessary to gauge their ability to code. Some can barely do it, I kid you not!

An if you claim seniority, I expect you, if not to know merge sort, then to understand it quickly and make a simple implementation and assume boring stuff like the length of the array ect. It is not difficult. It would be a great example to demonstrate programming proficiency and if you didn't know merge sort, how you grasp new problems.

I would put more weight on architectural discussion though.
They also had a lot of enthusiasm for nuclear energy. Apollo itself used fuel cells and the later space stations all used solar power.
Phishing pulp story
What is the use of 100fps vision models other than being the input to a controller (e.g. driving, flying etc) ? A raspberry can hold up to 3fps with standard open source frameworks, and this is enough for many applications, e.g. construction site surveillance etc... Not criticizing, rather a genuine interest to understand the edge ML vision market.
Also that would sound like damning with faint praise.
The spy vs spy comic strip gave us some early lessons on how deep these deceptions can go. Double and triple agents, even people creating anonymous accounts online to put forth whatever unfounded and creative stories they wish about anyone they choose.
Couple of comments:

1) What is the size of the pipes you are considering? Will it be big enough for humans to get into for maintenance - I was thinking what would happen if a delivery vehicle breaks down or a small animal gets into a tunnel.

2) Have you considered small blimps as delivery vehicles? The technology has got considerably better and should be less noisy than drones.
Basically, it computes a fingerprint of each large file (large = too large for Git) and commits the fingerprint to Git, while the large files are stored on some remote location of your choice (AWS S3, local, cache...). So you have Git commands to update your fingerprints, and the same commands with dvc (add, push, pull...) to interact with the large files. Quite simple and neat actually.

We've started using it as a replacement for git LFS for different projects internally, not especially for Data Science, and we're very happy with it. Works like a charm with Linux, Mac and Windows.
This appears to be ripped from this Coindesk article with the author's byline replaced.

https://www.coindesk.com/crypto-futures-platform-erisx-hires...
I've never really understood the advantage of dynamic typing. Not having to specify type to me seems like it's barely an advantage and immediately gets outweighed by the fact that you don't have compile time type checking (or have to jump through hoops to get it).

Typing out code tends to be a minor part of writing software, so you don't gain much there. Furthermore, you don't want to mix types in the same variables either, because this comes at a cost of performance and complexity.

So, what kind of flexibility do you get from dynamic typing?
Russia to disconnect from the internet as part of a planned test
Yes, I am assuming that there are needs to be filled. Is this incorrect? Does not people want stuff, also in Spain?

The limits on how much can be fished is a good point (but I assume the limits is in place to avoid over-fishing, which would result in no fish at all).

Stating that jobs don't exist until they are created may not help unemployed people, but I still believe it to be true.
Yes, it would make lots of sense. If Turbolinks adds a 'prefetch' mechanism, it will get even faster.
Not just that but they also seem linked to the Bezos incident! https://www.philly.com/opinion/commentary/jeff-bezos-nationa...
You'd do well to read the article and understand what's being discussed. The headline is supposed to be short and not convey the entire story.
Doubt.

Do they have a LM7812? And a LM117Z for a fan? Do they have a NTC 100K with a beta of 3950? I'll also need a 40x40x20 fan at 24V, 3 pin. Plus some DIN562 M3 nuts, but it needs to be stainless steel.

And I expect no to pay more than $10 for all of that.

Not cool.
It's because it isn't the Israeli government/Israeli intelligence who's doing this (even if many or most of the operatives are ex-intelligence): it's people in private industry. It's plausible some aspects of the Israeli government also have a hand in this stuff, but I think it's explainable without that as well.

NSO Group, the firm mentioned in this and other articles, and firms like Black Cube (hired by Harvey Weinstein to spy on accusers) seem to be effectively running an intelligence-agency-as-a-service model. They'll deploy agents and compromise devices to discredit any potential witness, gather reconnaissance on potential stories that are being written, spread disinformation, influence policy, etc. All you have to do is give them money.

As for the motive: no idea. But this seems to be a popular tactic for discrediting people, especially recently after some people accused NSO Group of helping spy on Jamal Khashoggi (edit: and there's also at least one lawsuit). Tarring their accusers as anti-Semites is one way of dealing with bad PR. I don't know what the parent poster may have done or what their situation might be, but they or their employer may be in competition, or a feud, with some resourceful Israeli companies or individuals.
I get the impression that people who talk about the "horrors" that are VHDL and Verilog for hardware design are software developers who have little to no knowledge about hardware design processes.

There are reasons why VHDL/Verilog are still in use in the industry and why high-level synthesis hasn't taken off.

VHDL/Verilog for hardware design is not broken. I won't claim that there isn't space for improvement (because there is) but there isn't anything fundamentally broken in them. They are fit for the purpose and they fulfill all of the needs we have.

What could be massively improved is actually the functional verification languages we use, SystemVerilog for verification is in serious need of an overhaul.
I moved from Russia to Canada as a kid and remember reading English-language books and being really confused by the word "ouch".

I thought it would be really weird to say "ouch" when you accidentally stumble or hurt yourself - it felt completely unnatural. It was fascinating that different cultures have such different exclamations for pain!

Well it turns out that it's not the case. Humans all make roughly the same sound when they stub their toe, it's just that different countries write it down differently and think of it slightly differently.

I think "Huh" is similar. A "Confused grunt" noise is approximately similar in most of the world, but different languages write it down differently.
> " its cooler than RadioShack."

Such a headline would probably be misinterpreted as criticism.

https://en.wikipedia.org/wiki/Damning_with_faint_praise
Ha, I'm the opposite never seen an Apple store (irl) but been in a Samsung store, it was cool.
How Android Clipper that replaces user wallet address works?
> Most airlines' position is that they have to oversell flights, otherwise planes will fly with empty seats unnecessarily.

With most fares nowadays being non-refundable, why should the airlines care whether the seat is empty or not? It's paid for. If it's empty, that's a bonus because they save a little bit of fuel, time at the gate, and the passengers adjacent to the empty seat have a better experience. Empty seats that are paid for should be a win-win.
They do. But that doesn't even matter. The point is that the article makes no comparison to any store. They just wedged Apple in the title because clicks.

They could have spun it many other ways. Raspberry Pi's first physical store. You can see examples of what the Pi can do, even play around with them. Consult with staff about which Pi is best suited for your needs. Buy merch and goodies.

Again, the article itself makes no comparison to anything
:) https://www.youtube.com/watch?v=eSUXMPqNLbg
How could one think about functions differently than about what their input and output is?
This is all fine and good when someone's writing words about it on the internet, but anyone in this discussion who has built / is building a product knows that you're constantly triaging. And when you are triaging, the last thing you are going to prioritize is spending eng resources on a great experience for cancellation. I see some comments here with things like "if it's hard for me to cancel, I'll likely never X again." Well, the stats show you're not going to anyway even if we made it seamless.
Shill.cash
implementations are not languages
That seems like a naive understanding of language and population dynamics.

Nobody prevents the Sami from reproducing in bigger numbers and living all over Finland (and they consider themselves Finnish citizen, mostly). Also, the usefulness argument contradicts with these languages surviving and Latin having dyed out despite being widely understood (to this day).
I agree. I think those words are called onomatopoeia.

The same happens with animal noises. The sound is the same, just different languages write it down differently. For instance, English "woof woof!" and Polish "hau hau!" look completely different, but there is an overlap in possible pronunciations, and that point of overlap actually does resemble the sound dogs make.
To be fair Samsung Stores are pretty much knock offs of Apple Stores, the only difference is that they have more TVs. Apple invented the idea of minimalistic, plain shop in premium locations, every other brand is getting a lot of inspiration from them.
I've always found this situation weird. When my wife and I go shopping, we don't really do it together. I go to my stores. She goes to hers. No need for chairs.

I can certainly understand why someone might shop with an SO, but it's never been a requirement for us.
Oh yes, you are right. I hope this whole issue will trigger some research. With these massive costs for Alzheimer's treatment coming towards them, even insurances should be interested in real advancements by now.
Why would a CS course teach you any of this? You want an EE degree to learn this, not CS
While that is true, it seems many companies spend eng resources specifically to create a shitty cancellation experience. It's not just that they could make it better with some effort, it's that they had to work hard to make it that bad.
I got it now. It's burritos all the way down.
Using insecure browsers on insecure unpatched devices for trusted secure state-level voting is a bad idea to begin with.

If they decide to go ahead with this approach, they should at least try to harden their system as much as they can against all possible approaches.

As an example, a few months ago the Swiss CCC demonstrated a DNS attack on the e-voting system of Geneva, which was easy since they deployed neither DNSSEC or HSTS Preloading. While DNSSEC is not trivial to deploy (but almost trivial when using a DNS server like Knot), HSTS Preloading can be done in two minutes and there's probably no reason not to do it.

A few months later, actual state-level votings are done through systems by both Geneva and the Swiss Post without DNSSEC and without HSTS preloading.

The Swiss Post is just doing the minimal they have to in order to fulfill the law, while at the same time using the intrusion test as a PR instrument. If you demonstrate a practical and scalable attack, but require a MITM attack vector (e.g. with a root certificate, see Superfish case for example), then they can claim it's out of scope and that their system was unhackable.

An e-voting system with an intrusion test is better than an e-voting system without an intrusion test. But the consequences of such a test and the way it's communicated is very problematic.
Tiling in Windows isn't full featured - you can tile windows by dragging, yes, but as soon as you resize them, you get disconnects. I want something where I can e.g. snap two windows side by side, and then drag the divider between them, such that it resizes both windows.
Hacker Group of Romanian, Bulgarian and American Cybercriminals Arrested
Isn't this more due to automatic type coercion in the language and not from the lack of types?
Isn't the whole raspberry pi company set up as a foundation/charity? They probably take a loss on the store to promote the idea.
I understand why they did it but to be honest if this will introduce someone to Raspberry Pi, open source and whole makers space then it was worth it.
Note that we're talking about the iOS app store here, not physical goods... kinda hard to trade app store purchases between regions isn't it?
What do ducks say in Russia? In America it's quack and in Germany it's kwak.
Neural Networks, Manifolds, and Topology (2014)
A New Account of the Emotions
They might be thinking of Xhosa; but I reckon I've heard a language expressed only with clicks (perhaps it's a vernacular?), and a whistle-language used by some mountain peoples (in Eastern Europe?).
In French: coin coin :)

No idea how to explain the pronunciation though ...
LOC is a meaningless metric.
CleanMyMac X 4.2.1 Cracked 2019 Full Free
I need this latest CleanMyMac and finally i find it here ... https://crackrules.com/cleanmymac-crack-activation-code-torrent/
Unless all your company's projects are uniform, there's probably some informal ranking of who can be trusted with the biggest and gnarliest objectives. For us, the title Principal just formalizes your position at/near the top of that ranking for the entire engineering organization. For a division it may be Staff. For a line manager it's Senior.