AverageDog, to books
@AverageDog@mastodon.social avatar

Now that I hold a copy of the book in my hands, I start to like it. Still no idea why I wrote it, though. Two copies sold so far in case you wonder if it was for the money. :)
http://t3x.org/t3x/0/formal.html
#books, #compilers, #math, #semantics

AverageDog, to programming
@AverageDog@mastodon.social avatar

This may very well be the most useless book I have ever written, and I don't even know why I did. I guess it is still better than getting drunk in a bar.
Anyway, it defines the programming language formally in terms of basic functions (zero, successor, identity, mu) and naive set theory. I have no idea why anybody would read such a book. Maybe you can give me some hints? :)
Or, in case you want to prove me wrong: http://t3x.org/t3x/0/formal.html
, , ,

tschfflr, to linguistics
@tschfflr@fediscience.org avatar

New paper: Semantic differences in visually similar face emojis 📝
We show that even #emojis that look similar (like 😊, ☺️) have subtle, reliable meaning differences, supporting a lexicalist approach. #linguistics #semantics
https://doi.org/10.1017/langcog.2024.12

adbrucker, to golang
@adbrucker@fediscience.org avatar

We have an exciting opportunity for PhD study with myself and Prof. Burkhart Wolff form the Université Paris-Saclay on developing a formal semantics for Go (lang) in Isabelle/HOL. This new 'double PhD' programme leading to a PhD award from both universities.
More information and application details at: https://www.exeter.ac.uk/study/pg-research/funding/phdfunding/paris-saclay/ and https://adum.fr/as/ed/voirproposition.pl?site=adumR&matricule_prop=53822#version (application deadline: 31st of March 2024). Please contact me for more details.

sgharms, to linguistics
@sgharms@techhub.social avatar

I have a or or / question. Is there a way to refer to misattribution of reference to a second-order relationship to the referent?

Examples:

In the “Robots of Dawn” series, Lijah Bailey (from a Earth-is-one-giant-city) meets Gladia (from a tee-hee-it’s-not-the-antebellum-South-but-with-robots-not-slaves-or-is-it) planet. Smelling flowers, which are not on his world, he avers:

“These flowers smell like perfume!”

Much chuckles for the reader.

Or, today at W58/Lexington Ave across from the new DKNY ad:

“Wow that lady looks so much like Kaia Gerber!”

The lady in question is Cindy Crawford, supermodel, and mother of Kaia Gerber.

“This song is so pretty. It almost sounds like something the Beatles would have done.”

Song is Paul McCartney, solo.

Any ideas?

amber, to react
@amber@front-end.social avatar

I've been in this industry long enough to see things constantly come & go. #React is no different - it'll be replaced by other frameworks soon & those will be hot for a bit. Then that one will be replaced & so on. Learn your basics! #HTML #CSS, plain #JS. Those are the only things that don't come & go & will take you through your entire career, regardless of what's cool right now. Will I still be coding #WordPress in 10 years? Who knows! But my knowledge of #PHP will carry me on.

amber,
@amber@front-end.social avatar

Spend your time learning about #accessibility and #semantics not frameworks. Choose the correct framework for the project, not just what's fun and cool. Think about the client in future - how hard will it be for them to find someone else to work on it? You may not make money from that decision, but it's the moral one to do.

freemo, to hiring
@freemo@qoto.org avatar

I am truly amazed at the number of applicants I have seen off of this single post. And almost all are well suited candidates worth my time to review. I am astonished that a single post on the fedi is more effective than actually hiring a recruiter. Thank you everyone for the boosts and applications.

While many applicants have made it through and are currently being hired because we have so many positions we have quite a few still available for every level from sr to jr, and both data scientists and programmers. So please keep boosting, sharing, and applying if anyone is interested.

Just a reminder this is 100% remote, no fixed hours, will pay market rates for position. I will be your direct boss and hiring manager (also owner, founder, and inventor of the tech).


QT: https://qoto.org/@freemo/111847456140748896

kellogh, to random
@kellogh@hachyderm.io avatar

i have a hard time believing that using terms like “artificial intelligence” are causing people to believe that it’s “thinking”.

you don’t have to explain to people why artificial grass doesn’t grow. the “artificial” part says that on its own

“lab grown” diamonds are a thing now, they avoided “artificial” diamonds because they’re chemically identical to the real thing

besides, there’s far simpler explanations — e.g. the “AI is going to take over the world” messaging

doboprobodyne,
@doboprobodyne@mathstodon.xyz avatar

@mistersql @kellogh

Not sure if it helps but if you'll forgive me lazily trying to coin a descriptor, I try to use the term "meta-algorithm" to describe technologies commonly referred to as AI, to emphasise that it's code is a construct derived from an algorithm and lots of data.

I think both "artificial" and "intelligence" are very poorly defined words. Frankly I'm disinclined to attribute "intelligence" to animals/humans.

#AI #semantics #metaAlgorithm

edited to add: I reserve judgement about Collies; they might be intelligent!

freemo, to hiring
@freemo@qoto.org avatar

I am still hiring for top-tier programmers and data scientist. Please reboost, share, recommend, or reply if you know anyone who might be interested.

Fully remote! Live and work from anywhere with internet (including the beach!)

I am the company owner, and will be both your direct boss and the hiring manager.

Semantic Web, AI, and Java are some of the key techs. Open-source and Linux oriented experience ideally. OSS contributions and activity will be weighted heavily, particularly in relevant areas.

Here are the job descriptions:

https://docs.cleverthis.com/en/human_resources/organizational_structure/sr_developer

https://docs.cleverthis.com/en/human_resources/organizational_structure/sr_data_scientist

If you are interested please send an email to: jeffrey.freeman@cleverthis.com and please CC drew.morris@cleverthis.com

#Hiring #Job #Jobs #Java #fedihire #SemanticWeb #Semantics #AI #DataScience #BigData #Programming #AGI #ML #MachineLearning

freemo, to hiring
@freemo@qoto.org avatar

If anyone knows of any senior level programmers or Data Scientists looking to be hired please let me know.

Semantic Web, AI, and Java are some of the key techs. Open-source and Linux oriented experience ideally.

I will be the hiring manager if anyone has questions.

Here are the job descriptions:

https://docs.cleverthis.com/en/human_resources/organizational_structure/sr_developer

https://docs.cleverthis.com/en/human_resources/organizational_structure/sr_data_scientist

#Hiring #Job #Jobs #Java #SemanticWeb #Semantics #AI #DataScience #BigData #Programming

beadsland, to random
@beadsland@disabled.social avatar

"If you don't want my contribution, don't believe in my capacity to meaningfully participate, don't think that what I have to say is worth the labor of translation, then stop talking to me. Stop listening. You don't have to take everything that is offered. I will not be running out of sight or out of space, but you are more than welcome to avert your fucking gaze, my God..."

https://www.youtube.com/watch?v=6T44xBgKV_s

#semantics

DrLinguo, to academiamemes German

Whether you get #christmas presents or not depends on #semantics 💁‍♂️

@linguisticsmemes @academiamemes @linguistics @academicchatter

hans, to random

Funny list, aint it? Well, it is kind of worrying. The federation, we knew that, is not looking at status messages at al. This means some 40 percent of the requests made are not honored and are answered with different status messages. In bytes it might not be much but let's assume some 10 million instances are generating some 40 percent faults.... There have been days I would have been given the task to solve it.

Code 200 - OK 49.98% 62231<br></br>Code 202 - Accepted 0.07% 87<br></br>Code 204 - No Content 0.03% 43<br></br>Code 302 - Found 1.87% 2325<br></br>Code 304 - Not Modified 2.37% 2956<br></br>Code 400 - Bad Request 22.14% 27567<br></br>Code 401 - Unauthorized 0.42% 523<br></br>Code 403 - Forbidden 10.44% 12997<br></br>Code 404 - Not Found 8.82% 10985<br></br>Code 408 - Request Timeout 0.02% 21<br></br>Code 409 - Conflict 0.01% 7
mro,
@mro@digitalcourage.social avatar

@hans #activitypub despises the #semantics of #http.

Kencf618033, to mathematics

All I want is a #Perl script which lists the increasing size of Arabic numerals vertically so we can switch to that. Extra credit for hexadecimal.

#semantics
#uberanalog
#mathematics

EC_DIGIT, to ai
@EC_DIGIT@social.network.europa.eu avatar

Our 🎇 pre-conference workshops start today!

Take part in the sessions on and:
👩‍⚖️
🗣️
📂 EU registry of models

Join live as of 14:30 👉 https://semic2023.eu

rolle, (edited ) to bluesky
@rolle@mementomori.social avatar

Just noticed Bluesky doesn't ACTUALLY add the alt text in the img itself. This is a big mistake and makes the service very inaccessible.

The text is actually in the very last part of the DOM (Document Object Model) tree... and is triggered via click. So, if the screen reader doesn't support JavaScript same way than for the seeing people, descriptive text is nowhere to be found. Even when it is, it can't be accessed easily.

#Bluesky #Accessibility #WebDev

rolle,
@rolle@mementomori.social avatar

Omg even the paragraph is not really a paragraph.

WHERE ARE THE <p> TAGS

#HTML #Semantics #Accessibility #WebDev #Bluesky

SteveFaulkner, to webdev
@SteveFaulkner@mastodon.social avatar

🆒 Representation of style

"Meaningful Meaninglessness

The conclusion I draw from the specification, usage and implementation examples above is that although the HTML specification attempts to make a distinction between <b> & <strong>, and <i> & <em>; the general fuzz and fudge of their specification, historical and current use, UI implementations & style representations, coalesce to make attempts to distinguish them futile"

#html #semantics #accessibility

https://html5accessibility.com/stuff/2023/02/19/representation-of-style/

b_rain, to StarTrek
@b_rain@troet.cafe avatar
paperswelove, to programming
@paperswelove@mstdn.io avatar

Programming Language Semantics: It’s Easy As 1,2,3

GRAHAM HUTTON
University of Nottingham, UK

PDF: http://www.cs.nott.ac.uk/~pszgmh/123.pdf

#paperswelove #programming #semantics

SteveFaulkner, to webdev
@SteveFaulkner@mastodon.social avatar

👁️ Consider adding a headinglevelstart attribute

Looks like this is getting traction of late

#HTML #accessibility #semantics #webStandards

https://github.com/whatwg/html/issues/5033

Slackwise, to web

Planning to read all of RFC 9110 " " at the airport and on the plane after @b0rk mentioned it in her talk at

https://www.rfc-editor.org/rfc/rfc9110

tomw, to random
@tomw@mastodon.social avatar

Every so often I see a post about how LLMs fail logic puzzles.

And... yes? Of course they do. The only way it could solve it is if it has seen the puzzle before or a substantially similar one. (But that might cause it to give the answer to the similar one, not the correct answer.)

Why is this even tested so often or considered surprising? It is, in essence, an autocomplete. It does not understand logic. It has no concept of a correct answer. It gives the most likely completion.

cdarwin,
@cdarwin@c.im avatar
JeroenSH, to random
@JeroenSH@lingo.lol avatar

How linguists are unlocking the meanings of #Shakespeare 's words using numbers

"Today it would seem odd to describe a flower with the word "bastard"—why apply a term of personal abuse to a flower? But in Shakespeare's time, "bastard" was a technical term describing certain plants."

#CorpusLinguistics #semantics #EnglishLanguage

https://phys.org/news/2023-09-linguists-shakespeare-words.html

tschfflr, to linguistics
@tschfflr@fediscience.org avatar

🤩 It’s getting real! 🤩 Sinn und Bedeutung, Europe’s largest conference on , is starting tomorrow with a special session on multimodal communication!

  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • GTA5RPClips
  • DreamBathrooms
  • InstantRegret
  • magazineikmin
  • osvaldo12
  • Youngstown
  • ngwrru68w68
  • slotface
  • everett
  • rosin
  • thenastyranch
  • kavyap
  • tacticalgear
  • megavids
  • tester
  • modclub
  • cubers
  • ethstaker
  • mdbf
  • khanakhh
  • Durango
  • normalnudes
  • Leos
  • cisconetworking
  • anitta
  • provamag3
  • lostlight
  • All magazines