home.social

#floc — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #floc, aggregated by home.social.

fetched live
  1. CW: FLoC self promotion

    If any logicians currently in Lisbon are interested, my invited talk at IMLA is tomorrow morning, 9:15, in room C5.09. I'll be talking intuitionistic modal logics and their possible worlds semantics. #FLoC #FLoC2026

  2. I had the privilege of presenting the results of the MaxSAT Evaluation 2026 at the #SAT conference at #FLoC earlier. Thank you to all solver submitters and also benchmark submitters without which the evaluation wouldn't be possible.

    You can find all results on the webpage of the #MSE.
    maxsat-evaluations.github.io/2

  3. Being at SAT 2026 it felt appropriate to make a release of cnfgen (0.9.6). Nothing special, just some cli bugfix, reduced dependency from external packages, and the mutilated chessboard construction. #SAT #SAT2026 #FLoC #cnfgen github.com/MassimoLauria/cnfgen

  4. Arguments heard yesterday for #LICS going back with the ACM:
    - Not having the ACM logo endangers the exponential growth of submissions.
    - That's a nice thing you have, this participation in #FLoC. It would be a shame if something happened to it.

  5. Giving a presentation on teaching logic(al thinking) through Minecraft at a conference in Lisbon this Sunday. Just have to brag about how cool my title slide looks :-)
    #floc #minecraft #logic

  6. Packing for #FLoC2026 in Portugal (the cat is not coming). Hope to see a few of you there? #FLoC #LICS #FSCD

  7. The deadline for submission of abstracts to #IMLA (Intuitionistic Modal Logic and Applications) has been extended to 30 April. It would be great if I were to see some of you there (at least, at the banquet for that weekend's #FLoC workshops).

    "Constructive and intuitionistic modal logics, and their connections with type theory and computation, remain foundationally and practically significant in computer science, logic, and related areas. These include applications in type disciplines, meta-logics for computational phenomena, and explanatory frameworks in philosophical logic. The workshop aims to explore theoretical and methodological issues at the intersection of constructive proof theory and modal semantics, as well as practical questions about which modal connectives and rules best capture computational phenomena at appropriate levels of abstraction."

    **Invited speakers**
    - Danel Ahman (University of Tartu, Estonia)
    - Brigitte Pientka (McGill University, Montreal, Canada)
    - Ranald Clouston (ANU, Canberra, Australia)
    - More to be confirmed

    sonia-marin.github.io/imla26/

    #ModalLogic #IntuitionisticLogic #Logic

  8. Google halts its 4-plus-year plan to turn off tracking cookies by default in Chrome - Enlarge / Google, like most of us, has a hard time letting go of cookie... - arstechnica.com/?p=2038576 #thirdpartycookies #trackingcookies #privacysandbox #googlechrome #firefox #mozilla #google #chrome #apple #tech #floc

  9. Firefox 128 實作廣告投放蒐集功能 (Ad measurement)

    六月底的時候就有一些消息,然後這幾天熱起來了,先是 Hacker News 上這兩篇,在講 Firefox 128 (現在的 stable 版) 預設開啟了廣告蒐集行為:「Firefox 128 enables "privacy-preser

    blog.gslin.org/archives/2024/0

    #Browser #Computer #Firefox #Murmuring #Network #Privacy #Software #WWW #ad #advertisement #firefox #floc #measurement #mozilla #privacy

  10. @oblomov My initial gut reaction was the same. And I still think it may be wise to opt out of this experiment until it is better understood.

    But what if this initiative could indeed serve as a privacy-preserving replacement for #tracking? It looks better than all the terrible ideas Google came up with to replace cookies (#FLoC #PrivacySandbox #TopicsAPI) let alone #browserFingerprinting.

    Here is my take on Mozilla's #privacyPreservingAttribution aka #privateAttribution: suma-ev.social/@christian/1127

  11. #DataPrivacyWeek Day 5

    Since #privacy online became a broader concern, #BigTech companies now attempt to appear privacy-oriented while just changing the way they spy on their users.

    Such is the case with #Google disabling third-party cookies in #Chrome and developing technologies such as #FLoC or #Topics, both of which we've opposed from the very beginning.

    Yes, our browser is based on #Chromium, but we do a lot of modifications to the code and take special measures to always protect our users and their privacy.

    Read more: vivaldi.com/blog/news/alert-no

  12. @dangillmor Coincidentally, I just noticed that, on Linux at least, the chrome-sandbox binary is installed setUID root. This appears to be related to Google’s forthcoming cookie-less tracking but WTF is it doing?
    Flipping the s bit off doesn’t cause any immediately obvious problem.
    #spyware #FLoC

  13. And Google has abandoned . Yay! The End!

    Mm... No! Google has 'heard your feedback' and has instead created 'WebView Media Integrity API' that is 'narrowly scoped' and 'only targets' .

    Think about it - now they don't have to listen to anyone's 'feedback'. And if you think the scope is going to remain narrow, boy! I have news for you! /Topics anyone? Fool me once - shame on you! Fool me twice...

    android-developers.googleblog.

  14. We'd opposed #Google's 'dangerous' Web integrity API proposal. Now they are backing off!

    This is massively positive for the neutrality of the open Web. Though Google is so heavily driven by its interests rather than the benefit of the Web in general, it remains to be seen (and we strongly suspect it won’t take long) what they choose to replace it with.
    Are they, for example, preparing a seemingly less obnoxious spec that is actually just as harmful to users (as they did with #FLOC & #Topics)?
    It is highly suspicious that it coincides with their recent announcement to move from pay-per-click to pay-per-impression for ads.
    Generally, Google hasn’t shown itself to be a trustworthy custodian of the web & we can’t let this apparent victory lure us into resting on our laurels.
    A strong diversity of browsers & browser engines is going to be crucial to counteract any future attempt by a single party to dictate the future of the web.

    For more on this, head to our blog. ⬇️
    vivaldi.com/blog/googles-new-d

    #WEI #WebEnvironmentIntegrity

  15. How To Turn Off Google’s “Privacy Sandbox” Ad Tracking—and Why You Should eff.org/deeplinks/2023/09/how-

    If you use Chrome, you can disable this feature through a series of three confusing settings.

    #Google #Chrome #FLoC #PrivacySandbox #AdTracking

  16. CW: Long thread/12

    Google has just rolled out a new surveillance system, the deceptively named "#PrivacySandbox," that every #Chrome user is being opted in to unless they find and untick three separate preference tickboxes. You should find and untick these boxes:

    eff.org/deeplinks/2023/09/how-

    Google has spun, lied and bullied Privacy Sandbox into existence; whenever this program draws enough fire, they rename it (it used to be called #FLoC).

    12/

  17. #Google #AdTracking #Privacy #DataProtection #FLoC #Cookies: "Don't let Chrome's big redesign distract you from the fact that Chrome's invasive new ad platform, ridiculously branded the "Privacy Sandbox," is also getting a widespread rollout in Chrome today. If you haven't been following this, this feature will track the web pages you visit and generate a list of advertising topics that it will share with web pages whenever they ask, and it's built directly into the Chrome browser. It's been in the news previously as "FLoC" and then the "Topics API," and despite widespread opposition from just about every non-advertiser in the world, Google owns Chrome and is one of the world's biggest advertising companies, so this is being railroaded into the production builds.

    Google seemingly knows this won't be popular. Unlike the glitzy front-page Google blog post that the redesign got, the big ad platform launch announcement is tucked away on the privacysandbox.com page. The blog post says the ad platform is hitting "general availability" today, meaning it has rolled out to most Chrome users. This has been a long time coming, with the APIs rolling out about a month ago and a million incremental steps in the beta and dev builds, but now the deed is finally done."

    arstechnica.com/gadgets/2023/0

  18. CW: Long thread/31

    But all that puffery conspicuously failed to mention that Google had quietly rolled out its long-discredited, new surveillance technology, #FLOC, which it pretended to kill in 2021:

    pluralistic.net/2021/04/22/iho

    #FLOC is back, rebranded as the #TopicsAPI: this is a system for spying on you so advertisers can target you. Google is spinning this as a privacy *improvement* because it might someday replace #ThirdPartyCookies, one of the creepiest web surveillance systems.

    31/

  19. Remember the huge outcry when Google originally announced FLoC?

    Yeah, Google simply renamed it and progressively rolls it out with the new Chrome version. You can't win.

    Use Firefox.

    #Google #Chrome #Firefox #FLoC #AdTopics