26 Jun 2024 |
almu_hs | En la última normativa de la ANECA dicen que van a valorar aportes de software. Pero ponen que deben ser equivalentes a una patente, lo cual no tiene sentido | 15:22:47 |
almu_hs | Tecnológicos, científicos... | 15:13:43 |
almu_hs | Pero lo que digo es que hay gente con aportes tecnológicos brutales que no se les permitiría entrar a las universidades por no tener papers | 15:13:30 |
ダニエル (Dani) Trujillo Viedma | Yo lo quiero mucho, pero una cosa no quita la otra xD xD xD | 15:12:07 |
ダニエル (Dani) Trujillo Viedma | Ya nos dirás lo que significa cuando se aclaren de lo que quieren xD xD xD | 15:37:43 |
almu_hs | https://www.aneca.es/documents/20123/53669/Criterios200324_anexos.pdf/470f9b03-fd7a-85b6-4f3a-1925c0f82c50?t=1711094067735 | 15:40:12 |
ダニエル (Dani) Trujillo Viedma | Entiendo que lo que quieren es que demuestres que el software está en explotación en algún lado. Vamos, que si has contribuído, por ejemplo, a Dafny o Haskell, nada. Pero si has hecho alguna marranada con LLVM, entonces sí. | 15:54:37 |
almu_hs | Download image.jpeg | 15:42:55 |
ダニエル (Dani) Trujillo Viedma | Quienes son esta gente de la aneca? En plan, me da que no son filósofos de la ciencia, sino más bien científicos de prestigio y administrativos... | 15:57:53 |
almu_hs | No se, pero son la agencia que evalúa las acreditaciones para poder optar a puestos de profesorado | 16:07:58 |
ダニエル (Dani) Trujillo Viedma | Sí, sí, lo sé | 16:08:24 |
29 Jun 2024 |
ダニエル (Dani) Trujillo Viedma | Es más o menos sencillo sacar una callgraph: | 12:26:51 |
ダニエル (Dani) Trujillo Viedma | He estado investigando el tema de las ontologías, y he creado una muy pequeña con Protégé sobre un fichero de una app para el flipperzero que no compila desde hace tiempo. Como hay que refactorizar un tipo de dato, guardo para cada procedimiento en C si acepta un parámetro de ese tipo, y si lo usa o solo lo pasa hacia adelante en las llamadas que hace | 12:26:24 |
ダニエル (Dani) Trujillo Viedma | Porque básicamente la callgraph es toda la información que tengo registrada en la ontología, pero es increíblemente tedioso hacer esto a mano, y extremadamente propenso a errores. He mirado y GCC te permite dumpear toda la información que procesa en formato VCG (creo que se llama). Lo ideal sería un programa que transformara toda la información que se puede sacar de GCC y generar una ontología. Y la ventaja que tendría esto es que podrías hacer queries. Por ejemplo: "¿Quién llama al procedimiento X?", "¿Qué procedimientos devuelven Y?", etc... | 12:29:47 |
ダニエル (Dani) Trujillo Viedma | Download image.jpeg | 12:26:57 |
ダニエル (Dani) Trujillo Viedma | Download flipper_nested_refactor.rdf | 12:26:35 |
1 Jul 2024 |
| Serenidad_Monotropica changed their profile picture. | 18:30:40 |
4 Jul 2024 |
| German Martinez changed their profile picture. | 09:50:44 |
8 Jul 2024 |
| Javi changed their profile picture. | 11:19:11 |
17 Jul 2024 |
| /lib/sys changed their display name from /lib/sys to felics. | 03:48:30 |
18 Jul 2024 |
cuattro.messa | Hooola compis, por si hay algun celiaco en la sala o familiar, hoy los de la web app MapComplete han creado un mapa para sitios sin gluten, basado en OpenStreetMaps
https://mapcomplete.org/glutenfree
Se puede usar para consultar o incluso editarlo y se añaden los cambios a OSM
| 20:53:55 |
22 Jul 2024 |
José Alb. / Speedy | ¿Cómo se llamaba la página esa que servía para listar vulnerabilidades o formas de entrar a servidores que estuvieran por ahí mal configurados? La gente solía usarla para hacer maldades tipo espiar cámaras IP que la gente tiene en abierto. Es que quiero mirar si sale algo mal configurado en un servidor que estoy montando. | 10:40:47 |
José Alb. / Speedy | No he preguntado de primeras, ya llevaba un rato buscando, jajaja. | 10:58:11 |
José Alb. / Speedy | Era Shodan, qué trabajo me ha costado encontrarlo. 😭 | 10:54:50 |
| Guille changed their profile picture. | 11:06:04 |
Luvo | solo has tardado 14 minutillos | 10:55:11 |
25 Jul 2024 |
ᴘᴀʙʟᴏ | Download image.jpeg | 12:17:04 |
ᴘᴀʙʟᴏ | Forwarded message from Genbeta Tras años apostando por el 'open source', Suiza da el salto: ahora el 100% de su software gubernamental será libre 👉 https://ift.tt/w2W7Sl9 | 12:17:04 |
| ᴘᴀʙʟᴏ changed their profile picture. | 12:39:47 |
27 Jul 2024 |
| /lib/sys changed their display name from felics to /lib/sys. | 01:43:55 |