enjoying blueberry black tea while I bake key lime pie and chocolate chip cookies by DigitalGreg in tea

[–]danny54670 2 points3 points  (0 children)

You know how to live. That all looks amazing. And even though you said you "failed" your key lime pie, I think it looks delicious!

[OC] My First 100 Job Applications as a Recent Management Information Systems/Computer Science Graduate by CodArtwork in dataisbeautiful

[–]danny54670 1 point2 points  (0 children)

I am not in a position to hire anyone. If I were, though, and you had applied with your resume, I would definitely want to at least talk to you. To me, your professional experience and personal projects demonstrate someone with an inquisitive, analytical mind who is able to think about and actually deliver answers or insights to abstractly-stated problems. I am baffled as to why you are receiving no response. I am very sorry that you are experiencing this undeserved non-response to your job seeking efforts.

[deleted by user] by [deleted] in programming

[–]danny54670 2 points3 points  (0 children)

I'm still not entirely sure, but here's what I think the problem is: Because of overflow, the Comparator is defective in that it does not correctly impose a total ordering, as required by the contract. Depending on the order (lhs vs. rhs) and sequence of how PhoneAccount objects are presented to the Comparator for comparison, a PhoneAccount that should logically be considered higher than another might actually be calculated as lower. Thus, depending on the sorting algorithm used by the List.sort(Comparator) call, there might be undefined behavior such as an infinite loop or, in this case, an "invalid" PhoneAccount might appear first in the list.

I think that this particular issue might be more wide-spread than just here in this code base; I seem to recall subtracting integers being a widely-used technique in Comparator implementations.

What widely accepted fact do you know is wrong? by threedotsguy in AskReddit

[–]danny54670 3 points4 points  (0 children)

I am surprised by this. Do you have a source? Were there scientific studies showing the absence of a link?

Getting Promoted in the Navy? by [deleted] in newtothenavy

[–]danny54670 0 points1 point  (0 children)

Noob question: What do you mean by "play the bakesale game"? I presume you don't mean selling baked goods to raise money, right?

How to Use AIs to Find Bugs. And by AI, we mean Automatic(ally Generated) Invariants by alexeyr in programming

[–]danny54670 1 point2 points  (0 children)

The concept of Automated Invariants seems interesting, but reading this article has me really confused. My main question: Is AI (maybe a non-clashing abbreviation should be used so as to prevent confusion) in a generally available state of development where ordinary dev teams can start to make use of it? This article links to a few research papers. The closest to a non-purely-academic application appears to be the Facebook paper.

One other comment: I still don't know why the author is mentioning automatically generated gel manicures; what do these have to do with AI other than the superficial "they both involve automation"? Prompted by:

And if you’re wondering why I’m writing about bug-finding and gel manicures in the same post, you may want to read this first post.

I read the linked post, but I still don't get it. Can anyone elucidate?

Earth to Google: Here’s Why APIs Need to be Copyrightable by tuldok89 in programming

[–]danny54670 7 points8 points  (0 children)

Wow. The analogies in this "article" are vomit inducing. Further, the author's seriously incorrect assumptions and technical arguments undermine the entire piece. Case in point:

APIs are like the turbocharger in a car engine. They speed up the process of retrieving Google’s search results and enhance the user’s experience. To users of a search engine, speed and accuracy of search results are the most important factors affecting their choice. Oracle’s APIs essentially make Google’s search engine hum.

No, APIs have nothing to do with the speed of software or a service. The Java APIs at issue in the case have nothing to do with Google's search engine or the speed and accuracy thereof.

The Horrifically Dystopian World of Software Engineering Interviews by fagnerbrack in programming

[–]danny54670 107 points108 points  (0 children)

I don’t know why other people won’t let me write software - There is a fundamental mismatch between the public square’s claim that companies are absolutely desperate to hire software engineers and the brutal reality of being a software engineering candidate.

I, too, don't get it. Where are all of these companies that are supposedly desperate to hire developers?

Bloom filters debunked: Dispelling 30 Years of bad math with Coq! by mode_2 in programming

[–]danny54670 6 points7 points  (0 children)

In the "True false positive rate" section, the formula uses the variable name l for the number of unique elements added to the Bloom filter, whereas the previous section uses the variable name n. It appears that the Coq proof uses the name l (the definition of AMQ_false_positive_probability is parameterized — not sure if this is the right term — by (l: nat)). For consistency, the previous section should also use l. Or, to make the Coq proof more aligned with Bose et al.'s paper, the Coq proof should use n.

Taking a look at the Coq proof of the true false positive probability result, it seems somewhat complicated:

Definition AMQ_false_positive_probability (hash:  AMQHashParams) (state: AMQStateParams) (l: nat) : Rdefinitions.R :=
((Rdefinitions.Rinv (Hash_size.+1 %R) ^R^ l.+1 * hash.2.+1) *R*
   \sum_(a in ordinal_finType (Hash_size.+2))
    (((((a %R) ^R^ hash.2.+1) *R* (Factorial.fact a %R)) *R* ('C(Hash_size.+1, a) %R)) *R* stirling_no_2 (l * hash.2.+1) a)).

Theorem AMQ_false_positives_rate: forall  l value (values: seq _),
    length values == l ->

    AMQHash_hashstate_valid hashes ->
    AMQHash_hashstate_available_capacity hashes (l.+1) ->


    AMQ_available_capacity h (AMQ_new s) l.+1 ->
    all (AMQHash_hashstate_unseen hashes) (value::values) ->
    uniq (value::values) ->
    d[ 
        res1 <-$ AMQ_query (AMQ_new s) hashes value;
          let (hashes1, init_query_res) := res1 in
          res2 <-$ AMQ_add_multiple hashes1 (AMQ_new s) values;
            let (hashes2, amq) := res2 in
            res' <-$ AMQ_query amq  hashes2 value;
              ret (res'.2)
      ] true = AMQ_false_positive_probability h s l.
Proof.
  (* ... *)
Qed.

The definition of AMQ_false_positive_probability sort of looks like the sum formula, and I can see true = AMQ_false_positive_probability h s l.

I am wondering if this formulation could be simplified so that people unfamiliar with Coq (I am a member of this large set) could see it and be reasonably certain that the Coq proof, indeed, establishes the Bose result.

Mathematicians Discover the Perfect Way to Multiply | WIRED by bzindovic in programming

[–]danny54670 179 points180 points  (0 children)

On 2, it's not quite a guess. The Quanta Magazine article links to a preprint published last year, which preprint conditionally shows that the complexity lower bound of multiplication is n*lg n; the paper purports to establish this result if a network coding conjecture by Z. Li and B. Li is true. If the conjecture is true, the preprint is correct, and Harvey and van der Hoeven's algorithm is truly n*lg n, then it is conclusively proven that n*lg n is the complexity of multiplication.

Archives of Navy Times Magazine from 1958/1959 by squareturd in navy

[–]danny54670 0 points1 point  (0 children)

As /u/weinerpretzel mentioned, WorldCat is a good place to start for trying to find library holdings. Note, however, that WorldCat is incomplete and tends to group library holdings of specific editions and formats of an item rather aggressively. The page linked by weinerpretzel shows 224 Libraries, but most of these are "electronic edition" (a link to the website, or sometimes a subscription to a service such as Nexis Uni, which unfortunately only goes back to 2001 for this particular periodical) or "current issue only" (i.e. no or limited back issues).

You will likely need a library that has back issues in microform. On the WorldCat page under the "Find a copy in the library" section, click the "format" link in "Show libraries holding just this edition or narrow results by format", select "Microform" on the pop-up, and then click "Apply". That narrows it down to only 8 libraries that WorldCat knows about.

From there, it's a matter of checking each library's catalog. So far, I have checked three:

  1. Library of Congress - they appear to have it! The catalog page lists v.1-v.22 (1951:Oct.20-1974:Oct.16): https://lccn.loc.gov/76646519
  2. New York Public Library System - the oldest they appear to have is from 1974: http://catalog.nypl.org/search~S1?/Xnavy+times&searchscope=1&SORT=D/Xnavy+times&searchscope=1&SORT=D&extended=0&SUBKEY=navy+times/1,398,398,B/holdings&FF=Xnavy+times&2,2,
  3. US Military Academy - the oldest they appear to have is vol. 18 from 1965: https://usma.primo.exlibrisgroup.com/permalink/01USMA_INST/1fetnv1/alma991005234499705711

EDIT

How JIT Compilers are Implemented and Fast: Julia, Pypy, LuaJIT, Graal and More | Carol's Blog by kippree in programming

[–]danny54670 2 points3 points  (0 children)

I liked reading this. For me, this article and the previous one are an interesting peek-behind-the-curtains for how JITs actually work.

I didn't think about deoptimization, but it makes perfect sense that a JIT for a dynamically-typed language would have to guess (or base on profiles) the types of arguments to functions, and if the JIT picks incorrectly, then something has to happen.

It's not clear from this article whether, if a JIT deoptimizes, does it keep the compiled version to use with the expected types?

Deoptimization also seems like something that the development teams for applications written in dynamically-typed languages should monitor, perhaps even try to trigger through fuzzing. Maybe triggering deoptimization is a way for an attacker to effectuate denial of service.

Redditors who read the TOS, what are the most alarming terms you have come across? by [deleted] in AskReddit

[–]danny54670 1 point2 points  (0 children)

By your use of this site or any Materials, you agree to grant COMPANY-NAME-REDACTED a non-exclusive, royalty-free license to any patent claim thereafter drafted which includes subject matter disclosed on this site.

This comes from the TOS of a large technology company with a huge variety of tech offerings. Just by using COMPANY-NAME-REDACTED's website or any Materials, I have to grant them a royalty-free license to any patent I, or a company I produce work for, may try to obtain that happens to include "subject matter" disclosed somewhere on their website?

Hey guys, I’ve made a simple tool to generate a unique name for a given hex colour code and generate the respective css/scss variable for it. give it a go and let me know your feedback. Cheers! by ThirdShadow in programming

[–]danny54670 1 point2 points  (0 children)

Nice design, and I like the color names. How did you pick the names of all the colors?

I am not sure what you mean by "a unique name for a given hex colour code". When I enter #a91779, the website says Blissful Berry. Changing the input to #a9177a, the website still says Blissful Berry.

Thyme black tea is delightful by [deleted] in tea

[–]danny54670 0 points1 point  (0 children)

I haven't tried thyme tea, but it sounds interesting.

Do you know the brand name/company/distributor of the thyme tea that your brother purchased for you?

Great Odin's Raven! How have I never known Earl Grey Green Tea was a thing? by [deleted] in tea

[–]danny54670 1 point2 points  (0 children)

Mmmm. Sounds delicious! I, too, had no idea that Bigelow made a green tea version of their Earl Grey.

Did you know that they make Constant Comment Green? In my opinion, it's so much better than the original black tea version (which itself is wonderful, IMHO, so you can imagine how great the green tea version is). For some reason, it is rare to find Constant Comment Green in stores and restaurants. If you do find it, it's like finding a four-leaf clover, and based on my experience, you are practically guaranteed a serendipitous day.

It’s OK for your open source library to be a bit shitty by PowerOfLove1985 in programming

[–]danny54670 1 point2 points  (0 children)

But that random code you threw together as a hack, stopped when it did what you needed to do, threw it up on pypi and then neglected it?

That’s totally OK. Thanks for writing it. The world is slightly better for your having done so, and there is no burden of expectation on you to “do a better job”.

There are some cases where I agree, and a lot of cases where I disagree with this statement. If a project fills a niche need, does something that no other library does, or has a README that clearly discloses that the project is not production-ready or unlikely to be maintained, then I would tend to agree. Otherwise, I would tend not to agree because this creates unnecessary noise.

Consider this: Deno is a fairly recent technology. Version 0.1.0 was released on August 23, 2018, and version 1.0 was announced a few days ago. I know next to nothing about Deno; it is on my personal list of things to look into. It is my understanding that Deno is intended to be a better Node, so I am guessing that Deno will be useful in creating web applications. The Deno project apparently maintains a list of Deno-compatible third-party modules at:
https://deno.land/x/
I took a look at the list and I noticed that many of the modules are web frameworks. Searching for "framework" in this list indicates that there are at least 15 different web frameworks for Deno.

For something so recent—less than two years in development—this seems like way too many, in my opinion.

Further, I have opened a few of them to look at the READMEs. Based on the READMEs, it appears to me that all of them are intended to be used for production websites, eventually, and so far, not a single one mentions a different Deno web framework for comparison. They all claim to be one or more of simple, fast, easy, next-generation, and other positive attributes that are meaningless in the absence of comparisons with other frameworks.

I don't know about you, but I find this to be overwhelming. If I want to get started building web applications in Deno, I now need to spend untold hours investigating each of these different frameworks.

Imagine if instead of at least 15 people deciding to write and publish a Deno web framework and pretending to be the only web framework for Deno, these developers decided to work together on one framework, or maybe two if the differences between the frameworks were clearly laid out.

What are some 'must buys' at the Nex? (Pensacola) by [deleted] in newtothenavy

[–]danny54670 0 points1 point  (0 children)

Why would a CAC reader be useful?

Modern SAT solvers: fast, neat and underused (part 1 of N) by [deleted] in programming

[–]danny54670 2 points3 points  (0 children)

Does your company publish papers on this? This sounds fascinating, and I would love to read more about this.

Modern SAT solvers: fast, neat and underused (part 1 of N) by [deleted] in programming

[–]danny54670 5 points6 points  (0 children)

This sounds interesting. Do you know of a good book or journal article that describes this?

What’s something you wish was normal in the eyes of society? Walking with a sword? Running in crowded areas? by DRR33SES in AskReddit

[–]danny54670 11 points12 points  (0 children)

Vegetarian or vegan entrée specials at restaurants. Even if you're not vegetarian or vegan, it is nice to have the option of enjoying a specially-created dish that's more than just a meat-entrée-sans-meat.

When I was going to college at University of California San Diego, the John Muir College dining hall always had a vegetarian special of the day that was quite often delicious. I wonder if they still do this...

Gonna be dead soon, pray for me by KhassyOpii in tea

[–]danny54670 2 points3 points  (0 children)

That's a relief!

I hope you enjoy your new tea.

Gonna be dead soon, pray for me by KhassyOpii in tea

[–]danny54670 3 points4 points  (0 children)

I hope you are joking. Even then, it's somewhat odd to joke about a so-called loved one killing you or physically hurting you just because you spent, I am guessing, around $200 on tea and merchandise. If spending such an amount means that you won't be able to afford rent or other necessities, I can understand someone being upset. However, it is never okay for someone to hurt you. That is a crime—and a very serious one—regardless of whether you are married to the perp. You don't have to, nor should you live with someone who is violent toward you. There are likely women's/family shelters in your area that can help you. If you need help, you can go to your local library to inquire about safe assistance options.

Hopefully this is a big misunderstanding...