fosstodon.org is one of the many independent Mastodon servers you can use to participate in the fediverse.
Fosstodon is an invite only Mastodon instance that is open to those who are interested in technology; particularly free & open source software. If you wish to join, contact us for an invite.

Administered by:

Server stats:

9.8K
active users

Поиск потенциальных уязвимостей в коде, часть 2: практика

В прошлый раз мы ознакомились с общими подходами в поиске уязвимостей безопасности в приложениях. В этот раз спустимся ближе к земле и посмотрим на то, как мы реализовали эти механизмы в нашем статическом анализаторе для Java.

habr.com/ru/companies/pvs-stud

ХабрПоиск потенциальных уязвимостей в коде, часть 2: практикаВ прошлый раз мы ознакомились с общими подходами в поиске уязвимостей безопасности в приложениях. В этот раз спустимся ближе к земле и посмотрим на то, как мы реализовали эти механизмы в нашем...

Anyone knows about Cuneiform workflow language?

I am digging into “Flow-based programming” and “Dataflow languages”, and I have seen Cuneiform mentioned here and there, which to me has a simple and appealing syntax.
However... the documentation is close to nonexistent. How do I get started, and should I?

cuneiform-lang.org/

cuneiform-lang.orgHome — Cuneiform 3.0.6 documentation

Curso de Síntesis de Sonido y Pure Data
Clases particulares
(inscripciones abiertas)

Link en bio

Por medio del software libre Pure Data descubriremos
las distintas maneras en que un computador puede
generar sonido.
Conoceremos los aspectos básicos para construir
herramientas de proceso sonoro, análisis e
instrumentos virtuales.

No es necesario tener conocimientos previos, el
desarrollo del curso se adapta a cada estudiante.

El curso se compone de unidades progresivas
organizadas en un Ciclo Inicial y un Ciclo de
Contenidos Avanzados .

Cada unidad se compone de 4 sesiones de 55 minutos.
Valor de la unidad CLP 80.000 o USD 120,00 (PayPal)

Modalidad: en línea

Información e inscripciones:
dm de Instagram @oscarsantis
oscarsantisg@gmail.com
+56 9 75802965
(whatsapp, telegram, signal)

I'm not feeling the warm fuzzies about trying to do GCP Dataflow (aka Apache Beam) with Typescript. Doesn't feel fully baked.

Also doesn't feel like a lot of doc/examples nor many people using it. I don't think our org should be on the bleeding edge of something like this for a core piece of our infrastructure.

Dunno. Will keep working on it for a bit.

Поиск потенциальных уязвимостей в коде, часть 1: теория

Риски наличия уязвимостей безопасности всем известны: нарушение работы приложения, потеря данных или их конфиденциальности. В этой статье мы посмотрим на наглядных примерах фундаментальную сторону подхода, при котором уязвимости можно находить ещё на этапе разработки.

habr.com/ru/companies/pvs-stud

ХабрПоиск потенциальных уязвимостей в коде, часть 1: теорияРиски наличия уязвимостей безопасности всем известны: нарушение работы приложения, потеря данных или их конфиденциальности. В этой статье мы посмотрим на наглядных примерах фундаментальную сторону...

Какие ваши доказательства? Объясняем разработчику отчёты SCA на пальцах. Часть 2

Привет, Habr! С вами вновь Анастасия Березовская, инженер по безопасности процессов разработки приложений в Swordfish Security. Сегодня мы продолжим наш нелегкий путь в получении Evidence для SBOM. В первой части статьи мы разобрались, что же такое Evidence с точки зрения SBOM. Описали, что представляет собой граф свойств кода, на базе которого происходят все операции нарезки, и рассмотрели срезы использования. Сегодня мы поговорим про срезы достижимости и срезы потоков данных. И, самое главное, разберем, как всё это превращается в расширенный SBOM с вхождениями. Приятного чтения!

habr.com/ru/companies/swordfis

ХабрКакие ваши доказательства? Объясняем разработчику отчёты SCA на пальцах. Часть 2Привет, Habr! С вами вновь Анастасия Березовская, инженер по безопасности процессов разработки приложений в Swordfish Security. Сегодня мы продолжим наш нелегкий путь в получении Evidence для...

Curso de Síntesis de Sonido y Pure Data
Clases particulares
(inscripciones abiertas)

oscarsantis.art/curso-de-sinte

Por medio del software libre Pure Data descubriremos
las distintas maneras en que un computador puede
generar sonido.
Conoceremos los aspectos básicos para construir
herramientas de proceso sonoro, análisis e
instrumentos virtuales.

No es necesario tener conocimientos previos, el
desarrollo del curso se adapta a cada estudiante.

El curso se compone de unidades progresivas
organizadas en un Ciclo Inicial y un Ciclo de
Contenidos Avanzados .

Cada unidad se compone de 4 sesiones de 55 minutos.
Valor de la unidad CLP 80.000 o USD 120,00 (PayPal)

Modalidad: en línea

Información e inscripciones:
dm de Instagram @oscarsantis
oscarsantisg@gmail.com
+56 9 75802965
(whatsapp, telegram, signal)

Es gibt Möglichkeiten, iOS MDM-Beschränkungen zu umgehen. Apple hat diese Lücken bisher nicht geschlossen. Die Frage ist, wie vertrauenswürdig diese Beschränkungen sind, wenn selbst einfache Tricks nicht behoben werden.
Hier kommen Sie zum Video: youtube.com/watch?v=5uge12Uogy
#MDM #MDMRestrictions #DataFlow

Replied in thread

@m20k I'd probably start with a #softwaremodel though, keeping the #FPGA limitations in mind. However you will soon find that filling instructions with independent #µops (TMTA called these molecules and atoms) is really hard, especially for short #basicblocks. TMTA dealt with that in many ways, most significantly by compiling very large #superblocks (multiple exits) and make heavy use of #predication.

I would try something different: make the #dataflow explicit ...

For many years I've observed the following in parallel:

1. General confusion (and in some cases disdain) about the notion of a #SemanticWeb

2. Steadfast effort by a community to keep the vision going, stealthily, as exemplified by the #LODCloud (#DBpedia,, #Wikidata, #Uniprot etc..) and Schema.org (#SchemaOrg)

3. #DataSilos and all the impedance they inflict on the agility of individuals and enterprises alike on the rise i.e., #DataAccess and #DataFlow are still challenging, unnecessarily.

One of the things I'll be talking about in the stream tomorrow: Understanding that thi.ng/rstream constructs are essentially defining a #dataflow #graph much like you'd know from a node-graph based editor (a la Blender/Houdini etc.), only obviously with the difference of actually creating such a graph programmatically rather than manually via visual editing. Personally I find this programmatic approach much more powerful, but a visual representation makes it of course much easier to debug & analyze such graph topologies, also to explain & illustrate to others how data and state changes are flowing through the app/system and/or where to attach new features/nodes or optimize/restructure the topology...

Another massive benefit: This approach makes it much easier to build features such that only the most minimal amount of work needs to be done, helping to achieve better performance...

The attached diagram was generated with #Graphviz via thi.ng/rstream-dot and shows the dataflow graph for the image vectorization tool mentioned in previous toots.

Full size version:
demo.thi.ng/umbrella/trace-bit

The tool itself:
demo.thi.ng/umbrella/trace-bit

The second image shows the minimal code required to generate the #visualization source file...