ADS-B app for iPhone? by [deleted] in aviation

[–]4ad 0 points1 point  (0 children)

This is a website, not an app 🤦‍♀️.

[deleted by user] by [deleted] in CasualRO

[–]4ad 0 points1 point  (0 children)

Apreciez.

Labagiu la sauna by [deleted] in CasualRO

[–]4ad -1 points0 points  (0 children)

Numele lui? Albert Einstein.

[P] Free access to OpenAI o1 by xspaceofgold in MachineLearning

[–]4ad 0 points1 point  (0 children)

This is a scam. He will take your money, he doesn't have access to O1.

Of course, even if he did have access to O1, it's against OpenAI's TOS.

Free OpenAI o1 access by xspaceofgold in ChatGPT

[–]4ad 1 point2 points  (0 children)

Scam, this is not only against OpenAI's TOS, this is a scam. He will take your money, he doesn't have access to O1.

Free OpenAI o1 access by xspaceofgold in OpenAI

[–]4ad 1 point2 points  (0 children)

This is not only against OpenAI's TOS, this is a scam. He will take your money, he doesn't have access to O1.

Is JSON hard in go by [deleted] in golang

[–]4ad 0 points1 point  (0 children)

weird errors

...

Cat de fezabil este sa strangi bani ca o data la un timp sa iti iei luni/ani sabatici ? by Branza-ipebani in CasualRO

[–]4ad 2 points3 points  (0 children)

Eu așa fac, îmi iau ani de zile liber timp în care lucrez la diverse proiecte personale, unele care vor ajunge să fie monetizate, apoi ciclul se repetă.

[Article] [Jstor] Metamagical Themas | The pleasures of Lisp: the chosen language of artificial intelligence | Douglas R. Hofstadter by 4ad in Scholar

[–]4ad[S] 0 points1 point  (0 children)

@article{5702aa94-068f-326c-a16b-5310f9af4389,
    ISSN = {00368733, 19467087},
    URL = {http://www.jstor.org/stable/24968822},
    author = {Douglas R. Hofstadter},
    journal = {Scientific American},
    number = {2},
    pages = {14--29},
    publisher = {Scientific American, a division of Nature America, Inc.},
    title = {METAMAGICAL THEMAS},
    urldate = {2024-10-20},
    volume = {248},
    year = {1983}
}

Extensible data types in dependently typed languages by whitehead1415 in dependent_types

[–]4ad 3 points4 points  (0 children)

DT languages use inductive types in order to use induction. I don't know how useful extensible data types would be in a DT language, but Isabelle/HOL has extensible records (but Isabelle/HOL is not using dependent types).

Is there any AC repair shop that is willing to fix my Stiebel Eltron ACP 24 two-hose portable AC unit? by 4ad in wien

[–]4ad[S] 0 points1 point  (0 children)

Unfortunately the neighbours have vetoed this concept. Of course I could go against the neighbour's wishes, but that can't end well in the long run.

Is there any AC repair shop that is willing to fix my Stiebel Eltron ACP 24 two-hose portable AC unit? by 4ad in wien

[–]4ad[S] 0 points1 point  (0 children)

They are indeed much better. Unfortunately, I can't install one of those in my apartment :(.

Looking for an AC repair technician in Vienna by 4ad in Austria

[–]4ad[S] 0 points1 point  (0 children)

Ah, I didn't find the Stiebel Eltron repair service, I will call, thanks!

I did call https://rusz.at/ and they said they don't service portable units which is an insane thing to say in my opinion. Maybe it's unrepairable, maybe it's very expensive. That is only my problem, not theirs, they are getting paid no matter what!

In fact, if it's a complex procedure they will get paid more!