semantics

11calore

3risposta

Ho letto su OWL - Web Ontology Language (solo poche pagine), ma quali sono le realizzazioni del mondo reale use cases/it?

7calore

3risposta

Quale usare, XMP o RDF?

Qual è la differenza tra RDF e XMP? Da quello che posso dire, XMP è derivato da RDF ... quindi cosa offre che RDF non lo fa? La mia situazione particolare è questa: ho alcune immagini che necessitano

6calore

5risposta

quanto dovrebbe essere breve una funzione?

Ho fatto delle ricerche qui e non ho trovato nulla di simile, quindi vado avanti e chiedo. Questo è molto più sulla semantica di una vera domanda di programmazione. Attualmente sto scrivendo qualcosa

6calore

3risposta

Qual è la logica dietro typedef vs struct/union/enum, non potrebbe esserci un solo namespace?

In C se dichiaro una struct/union/enum: struct Foo { int i ... } quando voglio usare la mia struttura mi necessario specificare il tag: struct Foo foo; a perdere questo requisito, devo alias la mi

19calore

6risposta

Classe o ID su tag body

Ho applicato un ID al tag body dei miei documenti HTML ultimamente to allow greater CSS control (#9). Recentemente mi è venuto in mente che potevo fare esattamente la stessa cosa applicando una classe

12calore

2risposta

Che cos'è il mazzo?

Mi sono imbattuto in quella parola in this blog post. C'è una domanda simile in hacker news, ma senza una risposta definitiva. Google non sembra essere di grande aiuto.

7calore

5risposta

Come rappresentare tally/five-bar-gate in unicode?

Esistono caratteri Unicode per rappresentare gruppi (e gruppi parziali) di 5 nello stile del tally/five-bar-gate? In caso contrario, quale sarebbe la soluzione più standard/semantica/accessibile a que

86calore

8risposta

tabella HTML td significato

Nella tabella HTML, cosa significa td? Intendo letteralmente, per cosa è l'acronimo? Divisione tabella? Dati della tabella?

26calore

1risposta

"Rigorosamente positivo" in Agda

Sto provando a codificare una semantica denotazionale in Agda basata su un programma che ho scritto in Haskell. data Value = FunVal (Value -> Value) | PriVal Int | ConVal Id [Value]

7calore

2risposta

Recupero dei riepiloghi dei link di tipo Facebook (titolo, riepilogo, immagini rilevanti) utilizzando Python

Vorrei replicare la funzionalità utilizzata da Facebook per analizzare un collegamento. Quando si invia un collegamento nello stato di Facebook, il sistema esce e recupera uno title suggerito, summary