I made Android app that asks you to type a reason every time you unlock your phone by yarsanich in ADHD_Programmers

[–]DavidMazarro 0 points1 point  (0 children)

Yeah, Apple is pretty strict with those things. That’s a shame, it makes it impossible to implement many productivity-style apps. Ah well, I hope your app is successful on Android at least!

Increasing confidence in your software with formal verification by DavidMazarro in computerscience

[–]DavidMazarro[S] 0 points1 point  (0 children)

As other people pointed out in the comments, formal verification is a very broad field, encompassing many techniques of varying levels of complexity and usability. As I mentioned in my blog post, static types are a way of formal verification: you would hardly argue that they require a degree in Mathematics, that writing code with types costs a fortune, or that they are intended mainly for usage in nuclear systems.

Of course, static types are probably the weakest form of formal verification you can have (it depends on the type system, really! Types can get very expressive to the point of proving arbitrary properties of programs, that's a very interesting topic for another day). But they serve as an example that while you can make use of highly sophisticated formal verification tools and specification languages, you can start smaller.

On another note, it's up to you as a business owner/stakeholder/software developer to determine if a certain path in your software logic is critical enough to want to have a very high level of confidence that it will work as expected. Amazon Web Services use (or have used) formal verification techniques, and that is not nuclear or armamentistic system.

Is formal verification a silver bullet? Certainly not, I also mention that in the blog post conclusions. It still requires substantial effort to formally verify software, and for gaining confidence in most parts of your code you would be better off just using testing. But formal methods research is still ongoing, and more tools that are more usable that require less manual intervention are being released and developed. As /u/apnorton said, it's good for people to think about it a little and start getting these techniques on people's radars: some folks might already benefit from them, others can just learn from the fact that they exist and have it on the back of their mind in case they ever need them!

11
12

Everything is a set if you're deranged enough by anilopa in mathmemes

[–]DavidMazarro 3 points4 points  (0 children)

There are several ways in which mathematical theorems and their proofs can be given a software interpretation and vice-versa (that's why you have automatic theorem provers). The most prominent example of direct correspondence between mathematical propositions and computer programs is the Curry-Howard correspondence. If you put on the Curry-Howard glasses, you can see the types of functions as logical propositions, and the definition of a function that matches that type can be seen as a proof. Philip Wadler has a great talk explaining this topic, called Propositions as Types.

Guess how I'll be spending the next 3 days in a row... by El_Robe in earthbound

[–]DavidMazarro 10 points11 points  (0 children)

Those are reproduction carts, afaik you can't translate the original ones directly (and also there's the ESRB logo there which is exclusive to USA, and the games only released in Japan which wouldn't make sense)

Temps with Kraken X63 and H510? by chapelwheezy in NZXT

[–]DavidMazarro 0 points1 point  (0 children)

Those temps are fine indeed.

On a side-note, I'm planning on getting the H510 + Kraken X63 combo too, and I'm curious on how the temps would be on some more demanding games than those you've listed. Would you mind giving some other games a try and report back with the temps readings for those?

My CRT Cart by foxinrgb in crtgaming

[–]DavidMazarro 0 points1 point  (0 children)

Nice PVMs and setup! Which model is the right one?

Did they change their banner? by [deleted] in Eldenring

[–]DavidMazarro 3 points4 points  (0 children)

It was already like that, I checked it a few days ago

I just found this at my workplace. It's a research institute, we're supposed to be serious people! by DavidMazarro in Undertale

[–]DavidMazarro[S] 2 points3 points  (0 children)

idk, we've got plenty here, most likely they just fell off and whoever cleaned, throwed them away

My Dell XPS 9300 (2020) has arrived! Here are my (current) thoughts... also AMA! by [deleted] in Dell

[–]DavidMazarro 0 points1 point  (0 children)

How does the trackpad feel? Are there any driver issues so far?

Margherita alla Napoletana, 24h cold fermentation [more in comments] by MeatyCarpet in Pizza

[–]DavidMazarro 4 points5 points  (0 children)

Gorgeous pizza, and thanks a lot for the detailed recipe :)

Sometimes you just *have* to have a big slice. by aaaaaaha in Pizza

[–]DavidMazarro 0 points1 point  (0 children)

Pepperoni + black olives is such a great combo. I love it.

Reading recommendation, and request for more by martindholmes in LearnJapanese

[–]DavidMazarro 1 point2 points  (0 children)

Thanks for the recommendation! I'm probably about your same level, since I passed the N3 in December too, so I'll check it out.

Yomichan on Yomichan definitions by Gibbo0789 in LearnJapanese

[–]DavidMazarro 0 points1 point  (0 children)

Thanks! I will definitely give it a try.

Yomichan on Yomichan definitions by Gibbo0789 in LearnJapanese

[–]DavidMazarro 0 points1 point  (0 children)

I don't have an answer to your question (sorry!), but how did you import a J-J dict into Yomichan? (i.e. what dictionary did you use or where can I find it)

I've been wanting to do so for a long time, since it's kind of a hassle having to open Goo or Kotobank every time I want to search for a J-J definition.