skysight-inc/HackerNews huggingface dataset:
Well, his time at Tesla was basically (publicly, IIRC) determined to be a bad fit between him and the company, so can't really fault him there. So since his long tenure at Apple he had a misstep at Tesla and a shortish, but certainly reasonable, length at Google. Would definitely not call that job hopping.
I was never an enthusiastic Facebook user and didn't really get into lists there, so I'd forgotten about that feature. But it does seem Facebook's philosophy has moved ever closer to "just post and let The Algorithm™ figure out who to show it to."
> and I'm not aware of any contributions he made to "computing, science, business, startups, etc."

The name of one of the most prolific programming languages in the world, Python, is because of Terry Jones. That was his contribution and why he was relevant.
And how many ideas are touted and never pan out?

You can’t blame people for being skeptical.

I agree that arguments should stay academic and not resort to ridicule.
You can be forgiven for that, considering how often "Google $GSERVICE is shutting down" appears on HN's front page.
There are some IPFS people who talk about proof of having stored files, but I was never satisfied with their fraud detection techniques.

Can you prove that one copy of your data is being stored? Yes.

Can you prove that three copies of your data are being stored? I haven't seen any scheme that can detect if I'm pretending to be multiple people, serving files from the same disk array over multiple network connections.
I'm not sure that it is? The article uses the word "racetrack" but I assumed that was the author's term. Has it ever been defined as a racetrack by Nintendo?
Here's mine: https://rolisz.ro

I've been blogging for 10 years now. I post mostly about tech stuff, trips I take and whatever else is interesting to me. I recently switched to using Ghost to write posts, but exporting to a static site.
There is a possibility you could take a short term leave combined with a honest vacation where you do nothing but sit and collect dust. Time in nature without distraction is a big help I find.

I wish you all the best, remember to be nice to yourself as you are to others.
Firstly - thanks so much for your input.

Secondly - I’m concerned about the interim - I don’t want to leave my post here without having a plan. My company is amazing and treats me very well. I just recognize that unfortunately right now I’d certainly be better off in a position where I could work remotely more, for instance. I don’t know how possible or plausible that is. I’m in the process of figuring that out.
Do you do any psychological therapy? I don't think you can pull through such a crisis alone or by working hard. I have had similar situations in the past and I have learned that mental well-being is the most important thing. Trying to power through usually doesn't work.

Also: When I had trouble I was too embarrassed to tell anybody but actually talking about it is very therapeutical.
> No, "distribution licenses" are very common in this type of commercial software for embedded systems market

So does this whole topic apply only to embedded systems then? I am a Qt developer who has bought Qt licences in the distant past, but I know nothing about embedded systems, so that would explain why we seem to be talking at cross purposes as well as why I found the original post so puzzling.

For desktop & mobile applications, I can go to qt.io, ask to buy a Qt licence, and be quoted straight away a per-developer annual fee with no reference to any separate distribution licence. What I'm wondering is whether this will also be the case for the new micro-business tier, or whether it introduces some requirement for a separate distribution licence that the normal application development licence does not have.

Edit: I see now that I have completely mis-read the original post. It says that the micro-business tier offers a licence for "Qt for Device Creation", not for Qt in general. So it probably isn't available at all for desktop & mobile applications. I'm sorry for wasting your time.
With an expectation like this, I only can be pleasantly surprised :)
Hang in there, friend. In my modest opinion, if you are not already (did not read it in the OP), you should seek the aid of a mental health professional as soon as possible. The problems you struggle with are real, and they are really hard to tackle alone.

I wish you all the best, and please write at the email in my profile if you feel the need to connect with someone.

Cheers,
S
To fight new employment law, Uber pits California drivers against each other
That was exactly my point. And Duolingo is the perfect tool for such people ... for those who want to master the language and have the will Duolingo will slow you down.

Also a lot of people speak here from English native point of view ... yeah it doesn't matter you don't speak proper grammar when in Spain once in a while or while nomading. It does matter when you're foreigner and want to build a career or be successful in business/society in the said country.
Desktop performance hasn't progressed as rapidly in the last 10 years (relative to each successive generation of desktop) in comparison to iPad's which seem to have doubled in speed each successive generation.
In a meritocratic organization the strongest programmers are rewarded!
RISC-V was originally developed because some vector-processor / ML people at Berkeley needed an extensible control processor for their specialized hardware.

They'd previously been using ancient 32 bit MIPS but they needed 64 bit, a good amount of spare opcode space for custom instructions, and reasonable licensing and nothing suitable existed so they rolled their own.

RISC-V with the almost-done Vector extension is likely to be a big force in ML hardware.
Strategic Software and My Attempt to Start an Arms Race with It
I wouldn't say that. I'm on a team that's doing reconstruction: glia are included. Astrocytes have a massive surface area, so their meshes are harder to analyze, but we have them along with oligodendrocytes and some possible microglia.

I would caution that the connectome is like the human genome. Both are very useful, but both came with a lot of hype that it would solve everything. We have connectomes for things like C. Elegans and we're still unsure about neuronal computations within them.
Unfortunately, there’s a lot of responsibility I’ve got to take care of, and a vacation is not an immediate option. I’m going to need to step up my mental health care in a serious way, and that will require staying in the city (Toronto).
Detection of high frequency magnetic resonance could revolutionize electronics
Sure thing. I was referring to the lack of SAN in the context of backups. Yes, EBS is a SAN in that sense.
Bingo.

Teaching ahead of the curve is a great way to confuse and bore the hell out of your students. This is why I hate intro CS education so much.
>completely top to bottom

effectively, yes. This was a large part of why nintendo's online strategy was so poor for such a long time. The Switch is the first of their products where they specifically asked the younger employees to lay out what it should look like.
When it comes to porn, pornhub and youporn's model reigns true. Whomever can scrape and offer up paid-content for free as long as possible while dodging/stretching C&D orders wins.
Causal inference is the next big leap in AI. Once the relatively(!) low-hanging fruit of pattern recognition are picked to exhaustion, and once we can get more comfortable with symbolic reasoning with respect to theorem proving / hypothesis testing / counterfactuals, "real" reasoning machines will arise.
I dont think it is that simple. Mostly because I was lucky enough to be in teams that were exactly "quiet place to work and leave them the fuck alone" and did not worked all that great.

First, people got demotivated due to seemingly no one caring what they do and when they are done. Some people were unable to finish tasks or self-organize. And this was the most functional team under the circumstances.

Second, in one team where cooperation was necessary, actual lack of defined responsibilities and leader meant that important tasks were not done. There were fights over how less important tasks should be done. Some controlling people tried to take over leadership, fighting among themselves. Then for a while everyone gave up leading to no one having initiative. Then fights again followed by people not talking to each other.

Third, customer ended up complaining over low performance and having to tell everyone the same thing again and again, cause people did not shared info.
Some suggestions that may or may not be good

* Sentry.io for error tracking

* add dark mode. In fact, just let your users choose from any of the generic bootswatch css files. Use a cookie or something to remember which one so it sticks around longer than their user session. If your not using bootstrap 4 usually other popular framework's have something like bootswatch.

* use crystal lang instead of typescript or expresses for the server. You'll have a codebase that's faster and safer than typescript. You'll also be able to ship a binary to customers that don't pay the open source price.

* trello app for android has a bug where if I turn my screen off, it'll delete any text I've written but not yet saved. Don't do that.
The Dark Side of Expertise [video]
Sorry to read of your struggles. i nearly skipped to reading the next item of interest but i recall how important it can be to echo "hang in there, as bad as things get, know that life is cyclical and it will get better, given time, perseverance, and reflecting"...aka 'always darkest before dawn'.

I cannot advise on the job, but the sooner you can communicate your burnout/work-behind status, certainly the better to improving your day.
It's a shoddy story. Quote: "Our sources told us the hackers had gained access giving them the ability to intercept ALL INTERNET TRAFFIC going to several countries in the Middle East" Way back, I used to work with dissidents/journo's/academics against censorship and surveillance at various countries. All but Turkey where easy because I recall that it was the military being in full control; playing with BGP among other things. This makes the quote a bit awkward. Why would they gain abilities already possessed & put their cards open on the table ?
Not only that, the Gibson quote has not aged well. Consumers are not gripping a remote control in voiceless isolated rage; they now hold globally connected handheld computers that provide access to a dizzying choice of ways to interact with others. If there's something essential in this unattractive picture that hasn't changed, this choice of quote doesn't give me confidence that either Gibson or Doctorow understands it.
I think it’s a little unfair to compare a 10 year old desktop today with a 10 year old ipad today because the rate of progress for desktops has been much lower (and many programs are designed to work on less powerful laptops).

Instead consider that a 10 year old laptop in 2010 would be basically useless and massively heavy, or a 10 year old desktop in eg 2007.
How we continuously profile tens of thousands of production servers
May as well chip in: https://petedeas.co.uk

Sometimes I wonder if I should do more with it, but I don't know what.
That sounds awful. Sorry to hear that.

I'm not sure what to say...you've raised so many things. It might be worth spending time with friends, loved ones or a therapist to work through it.

One person once said, try and view yourself from outside yourself as a small child. Be compassionate to yourself and love yourself as though you were looking after that child. Go easy on yourself and sometimes it's better to take a break and re-build and come back stronger than possible cause injury by persisting.

I've been through some difficult periods and somethings worked for me like: spending time in nature, cutting out the things that caused pain in my life, doing sport and meditating.
Consider MDMA-assisted psychotherapy.

It has shown great promise in treating PTSD, even severe, treatment-resistant PTSD.[1][2]

[1] - https://maps.org/research/mdma

[2] - https://en.wikipedia.org/wiki/MDMA-assisted_Psychotherapy
Onssen: An open-source speech separation and enhancement library
If it did I would have learned from my mistakes.
This is purely personal preference and probably not reflective of the overall market, but to me the big disadvantage of the iPad is that, as long as it's only running iOS, I still always feel like I need to own a "real" computer to do "real" work on.

The Microsoft offering is inferior as a tablet and inferior as a desktop OS (again subjective opinion), but it lets you have both a tablet and a laptop form factor without needing to own two units of hardware.

In a lot of ways it feels kind of like when I first switched from Windows to Mac back in the early 2000s. I knew that for 98% of stuff I do with a computer, OS9 (and then OSX) was perfectly fine. But the hassle of doing any of the other 2% kept me locked in. Making the jump from OSX to iOS feels the same way. The apps all seem to be 90% of what I need without issue, another 8% okay enough for now, and then 2% just unworkable. (And then there is the nightmare of trying to use many regular old websites on mobile these days with all the unresponsive scripts and ad cruft they carry.)

I'd love it if Apple could figure out some kind of bridge for iOS workloads to meet this, similar to how Parallels or BootCamp can let you get by with those 1 or 2 Windows things you still needed to do after switching. Maybe just let the iPad remote into my Mac at home if it has internet or have it run some kind of stripped down, emulated version of OSX.
One idea would be to use a wide variety of pictures for learning a particular word. If I am learning what the word for room is, if the picture is always the same picture of a bedroom, my mind will be building an association with bedroom instead of room in general.

Also as someone trying to pick back up on my Japanese after letting it slide for a decade (well to be honest I never had more than enough to do greetings and basic restaurant ordering), many kana/kanji matching apps leave a lot to be desired. Katakana is a personal weak point and the apps I've tried all limit the extent of matches to picking one of the matching 3 or 4. Process of elimination makes it so that I can get 100% of these quizzes despite only knowing 80% of the material. Something that would allow customizing 10 or 20 possible answers to pick from would be nice. But I don't know if this would have any bearing on other languages to be worth developing (and there might be an existing app I just haven't found yet).
Antivirus was more necessary back in the days when firewalls and security elevation privileges were rarely enabled on consumer machines. But more modern security software has rather weakened the value proposition for AV, and they've started branching into areas that aren't really helpful at all and sometimes counterproductive (e.g., web browsing protection--your AV does a much, much worse job of validating TLS than browser vendors do).

Given the dirty things that AV does to "work" correctly, you can characterize modern AV as malware that tries to keep other malware out.
The problem is that most companies/developers still aren't "Open API first"... So, people must build scrapers.
> I worked with a few people who lived in midwest US. They hunted a couple times a year and after listening for a while I realized it was a very impressive money saver. In a week, they were able to bag enough elk to eat plenty of meat all year, sold the waste (skin and parts) to a local processor. Apparently this is not uncommon, even for people who live in suburbs.

I live in CO now, and its definitely more normal than not outside of Denver and Boulder area. I got my Hunter's license this year after putting it off for so long and I will be applying for a tag this year. In addition to it being economical its also very good for sustainability as the gear and the tag help promote and fund wild life protection.

An elk can definitely feed an entire family, plus if you have never had game meat (venison in this case) you have the challenge of preparing very lean meat in the kitchen, I find that cooking the meat in animal fats (tallow and lard) can change your entire perspective of how much to eat as it satiates you quickly.

Its alarming how much meat is eaten in the US, even more so when you see the ecological damage that comes from factory farming, so I highly encourage more to explore this option.
Porting Quake to the iPod Classic
There we go, the condescending attitude towards sports.
This guy has an amazing last name. Fils-Aimé is French for beloved son.
An 8051 maybe not, but an army of Z80s...

https://www.ijcai.org/Proceedings/81-2/Papers/071.pdf
They have just as much intrinsic merit as bitcoin, just less popular.
ML hardware has more to gain from FPGAs.
Re: ...we called Bill "the bad idea fairy". He always brought a slightly-off-kilter view of technical problems, which triggered endless discussions of fascinating, if usually implausible, alternatives.

I've been "accused" of similar. Although, I can't claim I'm as successful as Bill. I tend to ruffle sacred cows. It's not like I'm trying to agitate people, I just view the world a bit different from established opinions.

For example, we have dynamic programming languages, but not dynamic RDBMS (that use SQL or a close variation). Why not?

And we have XML as a fairly flexible meta-standard for data structures, but why not something comparable for C-like-syntax programming languages? You could roll your own programming language without creating a parser from scratch (and hopefully mix and match behavior based on "part kits").

Both of these seem like logical extensions of existing tools to me, but I get a lot of vague flack. It's like the universe is calling for them, not just me, yet nobody cares. It's not outright inventing new concepts, it's just taking concepts that worked well in one computing domain and applying them to another. They might fail, but so might every other IT experiment going on currently.
Salary and benefits come out of a different bucket than office equipment and installations.
I can't really use bcrypt like I normally would, since bcrypt normally* concatenates the cost and salt into a single string with the hash that I store in my database:
https://en.wikipedia.org/wiki/Bcrypt

I believe I can split out the cost and salt. That would let me:

1. SELECT the user's salt and cost from a table that is accessible with my web app credentials.

2. Run bcrypt on the user-provided password with the selected salt and cost within my webapp.

3. Ask my stored procedure if my resulting hash matches the hash in the database, even though I cannot SELECT the hash directly with my web app credentials.

Am I understanding this correctly? I imagine it would have been easier pre-bcrypt, when generating salts was less abstracted away from the developer.

I can't think of a reason this wouldn't work, and it adds a layer of security if implemented properly. But I say that hesitantly, as I would all things crypto, particularly since I wouldn't consider it common practice and I'm not sure if I'm overlooking something. I'm pretty sure I'd need to hack on bcrypt-ruby more than comfortable to actually implement.

* I say normally because that's what the wiki says and how bcrypt-ruby behaves, but I haven't done wider research.
Sounds like there's an opportunity for micro AV: the smallest possible compliant antivirus software.
TLC ... is commonly used to ...
at least as "deep" as those
used in seL4, and often deeper

What you are in essence implying here is that the SeL4 verification can be handled fully automatically by TLC. I do not believe that without a demonstration ... and please don't forget to collect your Turing Award!

One problem with model-checking is that you handle loops by replacing loops with approximations (unrolling the loop a few times) and in effect only verifying properties that are not affected by such approximations. In other words extremely shallow properties. (You may use different words, like "timeout" or "unsound technique" but from a logical POV, it's all the same ...)

the model theory ...
rather than the semantic
rules of a model theory

All mathematics is deductive.
ZFC is a deductive theory, HOL is a deductive theory, HoTT is a deductive theory. MLTT is a deductive theory,
Quine's NF is a deductive theory.

With that, what mathematicians call a model is but another deductive theory, e.g. the model theory of Peano Arithmetic happens in ZFC, another deductive theory.
The deductive/non-deductive distinction is really a discussion of different kinds of algorithms. Deduction somehow involves building up proof trees from axioms and rules, using unification. It could be fair to say that concrete DPLL implementations (as opposed to textbook presentations) that are based on model enumeration, non-chronological backtracking, random restarts, clause learning, watched literals etc don't quite fit this algorithmic pattern.
I am not sure exactly how to delineate deductive from non-deductive algorithms, that's why I think it's an interesting question.

SMT solvers are rarely used alone,

I agree, but model checkers, type checkers for dependent types , modern testing technques, and (interactive) provers all tend to off-load at least parts of their work to SAT/SMT solvers which makes the opposition between deductive and non-deductive methods unclear.

* * *

BTW I am not arguing against fuzzing, concolic, model checking testing etc. All I'm saying is that they too have scalability limits, just that the scale involved here is not lines of code.
What is the difference between this article and fake news? A whole article built on anonymous sources. Who are these credible anonymous sources? Donald Duck?

And doing a DDOS attack is quite trivial and any script kiddie could launch one from their computer or if they are slightly more adept from other peoples computers.

Turkey in fact is one of the most backward countries in terms of cybersecurity (and cyberattacks).

Turkey was just attacked recently with DDOS attacks and whole countries Internet came to a standstill. Did the anonymous sources have any thoughts on that?

Just look at Shodan to see how vulnerable and backward Turkey is in cybersecurity matters:

https://www.shodan.io/
I'm hoping that was a joke. Most people don't even pay for it.

Did this affect gsuite as well? Either was I'm sure the TOS would never allow it. While you're at it suing google, might as well get a precedent set making TOS unenforceable.
So if I can produce evidence that a famous computer scientist likes Kobe, that's all it takes?
You need a break from work and proper medical attention.

Go speak to a doctor about if they can help you get the right papers so you can get an income and days off. That’s what the procedure is in Sweden.
Without knowing anything about the internals, I would assume that Sheets is significantly more stateful than search.

I wouldn't notice Google rerouting my search queries to a slightly stale cluster in a different data center, but they can hardly serve me someone else's spreadsheets until consistency has been restored.
> Agile is just a watered-down compromise.

In my experience (27 years worth), agile is a watered-down compromise _on paper_ but is actually worse in practice.
In the 80s in order to prove that ulcers were caused by bacteria, a doctor infected himself with said ulcer-causing bacteria and treated himself with antibiotics.

https://www.discovermagazine.com/health/the-doctor-who-drank...
There was a Google Search outage last September.

Eg.: https://twitter.com/iittmee/status/1173772524573908997 https://twitter.com/cryptoITGuy/status/1173773323970523136

Not even specific to Google, but a product like Search has less outages because it doesn't require authentication / authorization checks, one search requires very little network bandwidth (unlike say YouTube) and can even work if some / most / all systems needs to go into a read only mode.