I generate 3 approximations of various quality, and the cheapest one gives me a max error of 0.00688 in sRGB, at the cost of 168 FMAs + a couple of sqrt().
November 11, 2026 at 6:22 PM
I generate 3 approximations of various quality, and the cheapest one gives me a max error of 0.00688 in sRGB, at the cost of 168 FMAs + a couple of sqrt().
⏳ Only 11 days until #FMAS2026!
Join us in Southampton on 17–18 November, co-located with ICFEM 2026.
Registration is open for FMAS only or FMAS + ICFEM.
fmasworkshop.github.io/FMAS2026/#ve...
#FormalMethods #AutonomousSystems
Join us in Southampton on 17–18 November, co-located with ICFEM 2026.
Registration is open for FMAS only or FMAS + ICFEM.
fmasworkshop.github.io/FMAS2026/#ve...
#FormalMethods #AutonomousSystems
Eighth International Workshop on Formal Methods for Autonomous Systems
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
fmasworkshop.github.io
November 6, 2026 at 1:03 PM
⏳ Only 11 days until #FMAS2026!
Join us in Southampton on 17–18 November, co-located with ICFEM 2026.
Registration is open for FMAS only or FMAS + ICFEM.
fmasworkshop.github.io/FMAS2026/#ve...
#FormalMethods #AutonomousSystems
Join us in Southampton on 17–18 November, co-located with ICFEM 2026.
Registration is open for FMAS only or FMAS + ICFEM.
fmasworkshop.github.io/FMAS2026/#ve...
#FormalMethods #AutonomousSystems
Pamela Hanson On Her Incredible Career Behind The Camera
#ArthurElgort #DailyFrontRow #FashionMediaAwards #FMAs #models
https://justpaste.in/fashion/pamela-hanson-opens-up-on-her-boundary-breaking-life/
#ArthurElgort #DailyFrontRow #FashionMediaAwards #FMAs #models
https://justpaste.in/fashion/pamela-hanson-opens-up-on-her-boundary-breaking-life/
Pamela Hanson On Her Incredible Career Behind The Camera
justpaste.in
November 1, 2026 at 8:39 AM
Pamela Hanson On Her Incredible Career Behind The Camera
#ArthurElgort #DailyFrontRow #FashionMediaAwards #FMAs #models
https://justpaste.in/fashion/pamela-hanson-opens-up-on-her-boundary-breaking-life/
#ArthurElgort #DailyFrontRow #FashionMediaAwards #FMAs #models
https://justpaste.in/fashion/pamela-hanson-opens-up-on-her-boundary-breaking-life/
📢 Licitação aberta em Sete Lagoas/MG
Eventual aquisição de artigos de cama, mesa, banho e artigos têxteis, para atender as demandas da smas, conforme…
https://editaisdobrasil.com/edital/14779905000116-1-000018-2026?utm_source=bluesky&utm_medium=social&utm_campaign=edital
#licitação #LicitaçõesMG
Eventual aquisição de artigos de cama, mesa, banho e artigos têxteis, para atender as demandas da smas, conforme…
https://editaisdobrasil.com/edital/14779905000116-1-000018-2026?utm_source=bluesky&utm_medium=social&utm_campaign=edital
#licitação #LicitaçõesMG
Eventual aquisição de artigos de cama, mesa, banho e artigos têxteis, para atender as demandas da smas, conforme…
FUNDO MUNICIPAL DE ASSISTENCIA SOCIAL - FMAS — Pregão - Eletrônico. Prazos, documentos e o que o edital exige.
editaisdobrasil.com
October 31, 2026 at 1:33 PM
📢 Licitação aberta em Sete Lagoas/MG
Eventual aquisição de artigos de cama, mesa, banho e artigos têxteis, para atender as demandas da smas, conforme…
https://editaisdobrasil.com/edital/14779905000116-1-000018-2026?utm_source=bluesky&utm_medium=social&utm_campaign=edital
#licitação #LicitaçõesMG
Eventual aquisição de artigos de cama, mesa, banho e artigos têxteis, para atender as demandas da smas, conforme…
https://editaisdobrasil.com/edital/14779905000116-1-000018-2026?utm_source=bluesky&utm_medium=social&utm_campaign=edital
#licitação #LicitaçõesMG
Honestly I have no idea, but they look good. I am also a little bit of a Francophile, but I'm more of a Rafale, FMAS, and véhicule blindé de combat d'infanterie kinda Francophile.
October 28, 2026 at 12:07 AM
Honestly I have no idea, but they look good. I am also a little bit of a Francophile, but I'm more of a Rafale, FMAS, and véhicule blindé de combat d'infanterie kinda Francophile.
Unforgettable Moments From The Fashion Media Awards!
#Casamigos #DailyFrontRow #FashionMediaAwards #FMAs #Gente
https://justpaste.in/fashion/unforgettable-moments-from-the-fashion-media-awards/
#Casamigos #DailyFrontRow #FashionMediaAwards #FMAs #Gente
https://justpaste.in/fashion/unforgettable-moments-from-the-fashion-media-awards/
Unforgettable Moments From The Fashion Media Awards!
justpaste.in
October 27, 2026 at 5:40 PM
Unforgettable Moments From The Fashion Media Awards!
#Casamigos #DailyFrontRow #FashionMediaAwards #FMAs #Gente
https://justpaste.in/fashion/unforgettable-moments-from-the-fashion-media-awards/
#Casamigos #DailyFrontRow #FashionMediaAwards #FMAs #Gente
https://justpaste.in/fashion/unforgettable-moments-from-the-fashion-media-awards/
Both FMAs and the manga. GOATed.
October 25, 2026 at 5:19 PM
Both FMAs and the manga. GOATed.
Registration for #FMAS2026 is open! 🎉
Join us in Southampton on 17–18 November 2026!
Registration options are available for FMAS only or FMAS + ICFEM 2026.
Find out more:
icfem2026.github.io
Join us in Southampton on 17–18 November 2026!
Registration options are available for FMAS only or FMAS + ICFEM 2026.
Find out more:
icfem2026.github.io
October 21, 2026 at 11:02 AM
Registration for #FMAS2026 is open! 🎉
Join us in Southampton on 17–18 November 2026!
Registration options are available for FMAS only or FMAS + ICFEM 2026.
Find out more:
icfem2026.github.io
Join us in Southampton on 17–18 November 2026!
Registration options are available for FMAS only or FMAS + ICFEM 2026.
Find out more:
icfem2026.github.io
Curious about research from previous editions of FMAS?
Explore the *Advances in Formal Methods for Autonomous Systems* special issue, featuring extended contributions from the FMAS community.
fmasworkshop.github.io/FMAS2026/
#FMAS2026 #FormalMethods #AutonomousSystems
Explore the *Advances in Formal Methods for Autonomous Systems* special issue, featuring extended contributions from the FMAS community.
fmasworkshop.github.io/FMAS2026/
#FMAS2026 #FormalMethods #AutonomousSystems
October 16, 2026 at 11:01 AM
Curious about research from previous editions of FMAS?
Explore the *Advances in Formal Methods for Autonomous Systems* special issue, featuring extended contributions from the FMAS community.
fmasworkshop.github.io/FMAS2026/
#FMAS2026 #FormalMethods #AutonomousSystems
Explore the *Advances in Formal Methods for Autonomous Systems* special issue, featuring extended contributions from the FMAS community.
fmasworkshop.github.io/FMAS2026/
#FMAS2026 #FormalMethods #AutonomousSystems
Advances in Formal Methods for Autonomous Systems is a special issue in the Science of Computer Programming journal.
You can see the special issue: www.sciencedirect.com/special-issu...
Plus look out for our next special issue, with the sane journal!
#FMAS
You can see the special issue: www.sciencedirect.com/special-issu...
Plus look out for our next special issue, with the sane journal!
#FMAS
October 16, 2026 at 12:25 PM
Advances in Formal Methods for Autonomous Systems is a special issue in the Science of Computer Programming journal.
You can see the special issue: www.sciencedirect.com/special-issu...
Plus look out for our next special issue, with the sane journal!
#FMAS
You can see the special issue: www.sciencedirect.com/special-issu...
Plus look out for our next special issue, with the sane journal!
#FMAS
Feels like a symptom of age that I almost forgot both FMAs had the most elite OP/ED selection of all time.
October 6, 2026 at 7:56 PM
Feels like a symptom of age that I almost forgot both FMAs had the most elite OP/ED selection of all time.
A quick reminder about #FMAS2026 registration:
For each accepted paper, at least one author must register and pay for an on-site FMAS ticket, even if the presentation itself is remote.
Remote participation is free for attendees and additional authors.
fmasworkshop.github.io/FMAS2026/
For each accepted paper, at least one author must register and pay for an on-site FMAS ticket, even if the presentation itself is remote.
Remote participation is free for attendees and additional authors.
fmasworkshop.github.io/FMAS2026/
Eighth International Workshop on Formal Methods for Autonomous Systems
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
fmasworkshop.github.io
October 6, 2026 at 7:00 AM
A quick reminder about #FMAS2026 registration:
For each accepted paper, at least one author must register and pay for an on-site FMAS ticket, even if the presentation itself is remote.
Remote participation is free for attendees and additional authors.
fmasworkshop.github.io/FMAS2026/
For each accepted paper, at least one author must register and pay for an on-site FMAS ticket, even if the presentation itself is remote.
Remote participation is free for attendees and additional authors.
fmasworkshop.github.io/FMAS2026/
Did you know #FMAS2026 will be the eighth edition of the International Workshop on Formal Methods for Autonomous Systems?
Since 2019, FMAS has brought together researchers working across formal verification, robotics, cyber-physical systems, and autonomous systems.
fmasworkshop.github.io
Since 2019, FMAS has brought together researchers working across formal verification, robotics, cyber-physical systems, and autonomous systems.
fmasworkshop.github.io
International Workshop on Formal Methods for Autonomous Systems
A peer-reviewed, academic workshop that brings together researchers working on a range of techniques for the formal specification and verification of autonomous systems.
fmasworkshop.github.io
October 2, 2026 at 11:01 AM
Did you know #FMAS2026 will be the eighth edition of the International Workshop on Formal Methods for Autonomous Systems?
Since 2019, FMAS has brought together researchers working across formal verification, robotics, cyber-physical systems, and autonomous systems.
fmasworkshop.github.io
Since 2019, FMAS has brought together researchers working across formal verification, robotics, cyber-physical systems, and autonomous systems.
fmasworkshop.github.io
Important clarification regarding remote participation at #FMAS2026:
- At least one author per paper must register and pay for on-site attendance, even if the paper is presented remotely
- Other authors and attendees may join FMAS remotely for free
- At least one author per paper must register and pay for on-site attendance, even if the paper is presented remotely
- Other authors and attendees may join FMAS remotely for free
October 1, 2026 at 2:00 PM
Important clarification regarding remote participation at #FMAS2026:
- At least one author per paper must register and pay for on-site attendance, even if the paper is presented remotely
- Other authors and attendees may join FMAS remotely for free
- At least one author per paper must register and pay for on-site attendance, even if the paper is presented remotely
- Other authors and attendees may join FMAS remotely for free
While we wait for #FMAS2026...
Why not revisit FMAS 2025?
The recordings are available on YouTube, so you can catch up on last year’s talks before we meet again in November:
www.youtube.com/watch?v=wzsw...
#FormalMethods #AutonomousSystems
Why not revisit FMAS 2025?
The recordings are available on YouTube, so you can catch up on last year’s talks before we meet again in November:
www.youtube.com/watch?v=wzsw...
#FormalMethods #AutonomousSystems
FMAS 2025 | Prof. Paula Herber - Integrated Formal Methods for the Verification of CPS and AS
This is a recording of an invited talk at the Seventh Workshop on Formal Methods for Autonomous Systems (FMAS 2025).
FMAS brings together researchers working on a range of techniques for the formal…
www.youtube.com
September 25, 2026 at 8:01 AM
While we wait for #FMAS2026...
Why not revisit FMAS 2025?
The recordings are available on YouTube, so you can catch up on last year’s talks before we meet again in November:
www.youtube.com/watch?v=wzsw...
#FormalMethods #AutonomousSystems
Why not revisit FMAS 2025?
The recordings are available on YouTube, so you can catch up on last year’s talks before we meet again in November:
www.youtube.com/watch?v=wzsw...
#FormalMethods #AutonomousSystems
I struggled to think of 9 because I'm kind of a loyalist. And most are from my childhood. Both FMAs get to be here because they impacted me differently my9animes.com/en
September 22, 2026 at 11:16 AM
I struggled to think of 9 because I'm kind of a loyalist. And most are from my childhood. Both FMAs get to be here because they impacted me differently my9animes.com/en
If I could have combined the FMAs into 1 slot, the 9th one would have either gone to Your Lie in April or Medabots
September 22, 2026 at 2:57 PM
If I could have combined the FMAs into 1 slot, the 9th one would have either gone to Your Lie in April or Medabots
Figured I'd do the 9 Anime that Shaped Me one too. No particular order except the FMAs tied at #1.
Just like the games, I had to leave out a ton of favorites and other series that impacted me but, these are the ones I'd say definitely shaped me.
Just like the games, I had to leave out a ton of favorites and other series that impacted me but, these are the ones I'd say definitely shaped me.
September 22, 2026 at 2:53 PM
Figured I'd do the 9 Anime that Shaped Me one too. No particular order except the FMAs tied at #1.
Just like the games, I had to leave out a ton of favorites and other series that impacted me but, these are the ones I'd say definitely shaped me.
Just like the games, I had to leave out a ton of favorites and other series that impacted me but, these are the ones I'd say definitely shaped me.
Yep, fun github.com/microsoft/Ty...
Ban implicit floating-point FMAs by jakebailey · Pull Request #64323 · microsoft/TypeScript
Inspired by recent Go compression bugs with Go 1.27 doing more FMA on ARM, I had copilot write a lint rule to go through our repo and find anything that might be a bug. The lint rule (and GOCOMPILE...
github.com
September 18, 2026 at 6:11 PM
Yep, fun github.com/microsoft/Ty...
It's an interesting direction, derogatory, because I feel when these companies attempt to do scroll they're not respecting the craft people do use when using that format and it's just becomes an endless scroll to stay on their app/stories longer. FMAs run on webtoons is a good example of that!
September 14, 2026 at 9:52 PM
It's an interesting direction, derogatory, because I feel when these companies attempt to do scroll they're not respecting the craft people do use when using that format and it's just becomes an endless scroll to stay on their app/stories longer. FMAs run on webtoons is a good example of that!
And nice guy who spent the time to teach the podcast about what goes on. His work left a big impact on me. And not just with your FMAs and AOTs. Mike directed Trinity Blood, played Cain and was the first English VA to legit scare me with a vocal performance
September 10, 2026 at 10:59 PM
And nice guy who spent the time to teach the podcast about what goes on. His work left a big impact on me. And not just with your FMAs and AOTs. Mike directed Trinity Blood, played Cain and was the first English VA to legit scare me with a vocal performance
I have spent the last month or so both impressed and upset by how few pieces of popular media have matched FMAs nuance surrounding war and culpability in the half-century since the first chapter released.
September 2, 2026 at 11:56 PM
I have spent the last month or so both impressed and upset by how few pieces of popular media have matched FMAs nuance surrounding war and culpability in the half-century since the first chapter released.
New to FMAS?
Previous editions of the workshop have brought together work on verification, assurance, robotics, runtime verification, and formal methods for AI-enabled autonomous systems.
Explore previous FMAS papers on DBLP:
dblp.dagstuhl.de/db/conf/fmas...
#FMAS2026 #FormalMethods
Previous editions of the workshop have brought together work on verification, assurance, robotics, runtime verification, and formal methods for AI-enabled autonomous systems.
Explore previous FMAS papers on DBLP:
dblp.dagstuhl.de/db/conf/fmas...
#FMAS2026 #FormalMethods
August 25, 2026 at 12:02 PM
New to FMAS?
Previous editions of the workshop have brought together work on verification, assurance, robotics, runtime verification, and formal methods for AI-enabled autonomous systems.
Explore previous FMAS papers on DBLP:
dblp.dagstuhl.de/db/conf/fmas...
#FMAS2026 #FormalMethods
Previous editions of the workshop have brought together work on verification, assurance, robotics, runtime verification, and formal methods for AI-enabled autonomous systems.
Explore previous FMAS papers on DBLP:
dblp.dagstuhl.de/db/conf/fmas...
#FMAS2026 #FormalMethods
They aren't making any more FMAs, right?
We don't have to actually worry about this?
We don't have to actually worry about this?
June 24, 2025 at 5:58 PM
They aren't making any more FMAs, right?
We don't have to actually worry about this?
We don't have to actually worry about this?
Looking for family friendly shifts and a great work life balance?
Join our team as a cleaner or caterer at #NHS sites across Cheshire and Merseyside, helping our hospitals run smoothly while supporting staff and patients 🧹🥗
Various shifts available 👇🏽
https://bit.ly/MC-FMAs
Join our team as a cleaner or caterer at #NHS sites across Cheshire and Merseyside, helping our hospitals run smoothly while supporting staff and patients 🧹🥗
Various shifts available 👇🏽
https://bit.ly/MC-FMAs
March 17, 2026 at 11:31 AM
Looking for family friendly shifts and a great work life balance?
Join our team as a cleaner or caterer at #NHS sites across Cheshire and Merseyside, helping our hospitals run smoothly while supporting staff and patients 🧹🥗
Various shifts available 👇🏽
https://bit.ly/MC-FMAs
Join our team as a cleaner or caterer at #NHS sites across Cheshire and Merseyside, helping our hospitals run smoothly while supporting staff and patients 🧹🥗
Various shifts available 👇🏽
https://bit.ly/MC-FMAs