Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mastodon.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
The original server operated by the Mastodon gGmbH non-profit

Administered by:

Server stats:

356K
active users

mastodon.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0-nightly.2025-03-25

#cfg

0 posts0 participants0 posts today
Replied in thread
Public
cmdln

@sotolf iirc C uses a preprocessor, it isn't part of the language itself. Most dynamic languages do not support conditional compilation because they aren't compiled. I literally meant the `--feature` command line flag for cargo which is one of the ways to use `#cfg` to affect Rust's conditional compilation. In my daily language, the general term "feature flag" only affects runtime behavior, like disabling a still in development new feature of a web app or service. Not the same thing here.

Public
Habr

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

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

habr.com/ru/companies/pvs-stud

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

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

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

habr.com/ru/companies/pvs-stud

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

Продолжение статьи про CFG Scale | математика, плюсы и минусы метода

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

habr.com/ru/articles/845746/

ХабрПродолжение статьи про CFG Scale | математика, плюсы и минусы методаВ этой главе будут рассмотрены все необходимые аспекты для понимания механизмов работы CFG Scale, а также плюсы и минусы подхода с математическими примерами. Решил собрать все...
#ai#artificial_intelligence#ии
Public
arXiv cs.DS bot

#CFG and #DNNF admit FPRAS

Kuldeep S. Meel, Alexis de Colnet
arxiv.org/abs/2406.18224 arxiv.org/pdf/2406.18224

arXiv:2406.18224v1 Announce Type: new
Abstract: We provide the first fully polynomial-time randomized approximation scheme for the following two counting problems: 1. Given a Context Free Grammar $G$ over alphabet $\Sigma$, count the number of words of length exactly $n$ generated by $G$. 2. Given a circuit $\varphi$ in Decomposable Negation Normal Form (DNNF) over the set of Boolean variables $X$, compute the number of assignments to $X$ such that $\varphi$ evaluates to 1.

arXiv.org#CFG and #DNNF admit FPRASWe provide the first fully polynomial-time randomized approximation scheme for the following two counting problems: 1. Given a Context Free Grammar $G$ over alphabet $Σ$, count the number of words of length exactly $n$ generated by $G$. 2. Given a circuit $φ$ in Decomposable Negation Normal Form (DNNF) over the set of Boolean variables $X$, compute the number of assignments to $X$ such that $φ$ evaluates to 1.
Public *
Askar Safin

Context free grammars (CFG) are better than parsing expression grammars (PEG), because CFGs represent how we think.

Parser combinators are similar to PEGs, so they are worse than CFGs, too.

So, don't use Rust libraries nom, combine. Use lalrpop.

Don't use Haskell libraries parsec, gigaparsec, attoparsec, megaparsec, trifecta. Use Earley, happy.

See more detailed story in my new article safinaskar.writeas.com/this-is .

The story also includes some cases, where PEG and parser combinators may still be useful. Also, the article gives links to my Haskell parsing libraries.

Askar Safin · This is why you should never use parser combinators and PEGLet me tell you why you should (nearly) never use PEG (parsing expression grammars). Nearly everything I will say applies to parser combi...
#haskell#rust#parsing
Continued thread
Public *
Parleur

Là, le lycée vient de lui remettre son #CFG (Certificat de Formation Générale), et l’erreur est encore une fois répétée.

Lieu de naissance : « Odessa (*Russie*) ».

Ils cherchent l’incident diplomatique ou quoi ? 🤔

Bref : ils ont rendu le diplôme en demandant sa rectification.

Public
Johnny Beane

Get ready for an electrifying Sunday night as we bring you the ultimate Guitar ASMR show! Tonight, we have something extra special in store for you - an exhilarating unboxing demonstration and review of the CFG CF-80 wireless guitar system.

Join us as we unwrap this musical marvel and delve into its incredible features.

youtube.com/live/508e6cBZ_Vk?s

Public
slatro.eth

What will be the defining narrative in the next phase of crypto adoption?

How can it address the changing needs and challenges of the crypto ecosystem while capturing the imagination of both investors and innovators? Let us know in the comments.

▫️ Real World Assets -

▫️ Web3 Music -

▫️ Zk Rollups -

▫️ LSD (Liquid Staking Derivatives) -

Join my TG channel and be among the first to know 👉 t.me/slatroeth

Telegramslatro.ethTechnical & Fundamental Analyst ✍🏽 My shares aren't financial advice! Twitter: https://twitter.com/slatro_eth
Public
Johnny Beane

Hey everyone! Tonight at 11 PM Eastern, I’ll be unboxing and reviewing a really cool product from CFG! I would love for you to join me tonight and every Sunday for some awesome guitar demos and product reviews. Also, let’s work together to reach our goal of 10,500 YouTube subscribers!

youtube.com/live/CK6-1nd4zaQ?s

Replied in thread
Public
d2718 🇵🇸🌈🏳️‍⚧️🇺🇦

@MadMike77 You might be able to use a feature. Have your tracking operate through a function call, and in the function definition,

···
[#cfg(tracking)]
fn track(args, blah, etc) {
// tracking logic goes here
}

[#cfg(not(tracking))]
fn track(args, blah, etc) {
// this version is a no-op
}
···

ExploreLive feeds
About