home.social

#ml — Public Fediverse posts

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

fetched live
  1. Software Engineering fundamentals matter more than ever

    The manifestation of my imposter syndrome, for me and today, is what does it mean to be a software engineer. There’s a lot more noise than signal on the Internet about agentic engineering, what can be accomplished, and its implications for the future. The title I chose rather gives it away; it’s about choosing — carefully — all the things you need to choose when you’re solving the puzzles of software and systems development.

    Beyond the hype and junkie-like marketing fervor of “major model providers”, I found a really interesting power tool with the combination of harness and models. I’ve been following how friends have been using these tools, and learning a ton. As usual, the folks doing some of the most amazing things aren’t the ones crowing about it, or posting narrative blurbs in social media about the end of this profession. They found a “big damn stick”, they’re exploring the fulcrum points, and they’re representing good ole Archimedes to lean into that lever, moving the world.

    In the past year, agent harnesses crossed the “can it be done” rubicon. (yep, jumping forward to Roman references). I would not have wished for the world’s knowledge to taken without permission and regard, or the lunatics to delve into economic self-dealing that’s peanut buttering over the otherwise tanking US economy. The economic models for the large models aren’t viable from any report that I’ve seen, but the capability isn’t going away. Instead it’s shrinking (fast!). Open weight models are making (beefy) personal computers quite capable of doing the same. They’re not quite as effective, but the delta in time and capability isn’t large.

    “Can it be done” is only the start, not even close to the majority a software or system engineer’s profession. It’s like when I learned to weld in my 20’s – I quickly created things that I couldn’t lift or even get out the door of the shop. (thank goodness for acetylene torches). What I learned then is I think the same lesson, different medium: How something goes together is what makes all the difference.

    If you use agentic harnesses to develop with a bit of foresight, you can get not only “it works”, but also “it’s testable” (I heavily lean into the prompt “develop with red/green TDD”). But it’s not very solid much above that. The seams — how your code works, it’s “API”, and how it fits with other software — are as much art as science. It is made up of subjective measures that rely on your viewpoint (and experience, as well as your guesses) for both what you’re solving now, and how to live with that software over a long period of time.

    Making software debuggable, maintainable, layered, and composable – that’s still quite a trick. Quite a lot of that work requires extensive, thoughtful reasoning. And that’s where the LLM’s today, even the leading edge of the “capability” from frontier models, fall short.

    It helps to know that LLMs don’t “reason”. They predict, and the models themselves are effectively written human knowledge compressed. So if it’s in human knowledge that was encoded, it can echo out the human reasoning. For agents focused on software development, those reasoning traces are the precious data for the models. There’s a very approachable research paper on just how bad LLMS are at reasoning called The Illusion of Thinking. There is some research I’m following that includes prediction of results of actions, but that’s not what we have today with coding agents. It’s a pretty different – and fascinating – area of research. If you want to explore, go digging on how “JEPA models” work, LeWorld Model, and recent talks by Yann LeCun.

    While you’re working with LLMs though, there’s still a ton of ways to make them more effective. I think there’s a lot of advances that we haven’t even really begun to eek out. Most of the wins I’m seeing today involve providing it good, concise data to work from, at the right time, and providing deterministic validation tooling with natural language feedback that the LLM can use to correct itself. The amazing thing to me isn’t that it can predict what to write, but that it is effective at tool calling and following instructions.

    Another downside of this instruction following is what Simon Willison coined as the lethal trifecta. Basically – LLM models can’t distinguish between good advice and bad. They’re foundationally incapable of always and consistently preventing prompt injection attacks. “Alignment work”, safety harnesses, and sandboxes all help to add barriers against the worst, but there are fundamental gaps. And frankly, something that tirelessly follows instructions without having good reasoning is nightmare fuel to me.

    I hope there will be near-term nadvances in how models are trained to include the equivalent of reasoning traces for post-training (RLHF). In my ideal future, these include more of what it means to build software with clean interfaces, that’s debuggable, and and that’s maintainable as a key part of the reinforced evaluations. Carefully reviewing, planning, and fixing the seams of software (and systems) is one of the critical skills we both can, and need to, employ when developing software – with or without agentic assistants. And as I see the wave of “Oh, that’s easy to implement…” and people reaching for clankers to get it done, I think it’s more important than ever.

    It’s a great time to be following folks who write, talk, and share about the craft of software, and how we can be better artisans. Hopefully it’s obvious, but there’s never a single answer — a panacea. It’s always about tradeoffs, choosing what makes sense for the problem at hand. With the help of a lot of great minds sharing their thoughts — both now and going back decades — we have a great tool chest for this work. It’s about picking, or reworking to move to a better choice, the right abstractions. It’s core is managing the cognitive load, learning which pieces we need to be stable, and where we want our work to flex and bend (and how).

    And yes, I wrote the damn em-dashes myself. I’m too in love with a recursive parenthetical in my writing, and I like a break from commas and parentheses.

    #AI #Geekstuff #LLM #ML
  2. Software Engineering fundamentals matter more than ever

    The manifestation of my imposter syndrome, for me and today, is what does it mean to be a software engineer. There’s a lot more noise than signal on the Internet about agentic engineering, what can be accomplished, and its implications for the future. The title I chose rather gives it away; it’s about choosing — carefully — all the things you need to choose when you’re solving the puzzles of software and systems development.

    Beyond the hype and junkie-like marketing fervor of “major model providers”, I found a really interesting power tool with the combination of harness and models. I’ve been following how friends have been using these tools, and learning a ton. As usual, the folks doing some of the most amazing things aren’t the ones crowing about it, or posting narrative blurbs in social media about the end of this profession. They found a “big damn stick”, they’re exploring the fulcrum points, and they’re representing good ole Archimedes to lean into that lever, moving the world.

    In the past year, agent harnesses crossed the “can it be done” rubicon. (yep, jumping forward to Roman references). I would not have wished for the world’s knowledge to taken without permission and regard, or the lunatics to delve into economic self-dealing that’s peanut buttering over the otherwise tanking US economy. The economic models for the large models aren’t viable from any report that I’ve seen, but the capability isn’t going away. Instead it’s shrinking (fast!). Open weight models are making (beefy) personal computers quite capable of doing the same. They’re not quite as effective, but the delta in time and capability isn’t large.

    “Can it be done” is only the start, not even close to the majority a software or system engineer’s profession. It’s like when I learned to weld in my 20’s – I quickly created things that I couldn’t lift or even get out the door of the shop. (thank goodness for acetylene torches). What I learned then is I think the same lesson, different medium: How something goes together is what makes all the difference.

    If you use agentic harnesses to develop with a bit of foresight, you can get not only “it works”, but also “it’s testable” (I heavily lean into the prompt “develop with red/green TDD”). But it’s not very solid much above that. The seams — how your code works, it’s “API”, and how it fits with other software — are as much art as science. It is made up of subjective measures that rely on your viewpoint (and experience, as well as your guesses) for both what you’re solving now, and how to live with that software over a long period of time.

    Making software debuggable, maintainable, layered, and composable – that’s still quite a trick. Quite a lot of that work requires extensive, thoughtful reasoning. And that’s where the LLM’s today, even the leading edge of the “capability” from frontier models, fall short.

    It helps to know that LLMs don’t “reason”. They predict, and the models themselves are effectively written human knowledge compressed. So if it’s in human knowledge that was encoded, it can echo out the human reasoning. For agents focused on software development, those reasoning traces are the precious data for the models. There’s a very approachable research paper on just how bad LLMS are at reasoning called The Illusion of Thinking. There is some research I’m following that includes prediction of results of actions, but that’s not what we have today with coding agents. It’s a pretty different – and fascinating – area of research. If you want to explore, go digging on how “JEPA models” work, LeWorld Model, and recent talks by Yann LeCun.

    While you’re working with LLMs though, there’s still a ton of ways to make them more effective. I think there’s a lot of advances that we haven’t even really begun to eek out. Most of the wins I’m seeing today involve providing it good, concise data to work from, at the right time, and providing deterministic validation tooling with natural language feedback that the LLM can use to correct itself. The amazing thing to me isn’t that it can predict what to write, but that it is effective at tool calling and following instructions.

    Another downside of this instruction following is what Simon Willison coined as the lethal trifecta. Basically – LLM models can’t distinguish between good advice and bad. They’re foundationally incapable of always and consistently preventing prompt injection attacks. “Alignment work”, safety harnesses, and sandboxes all help to add barriers against the worst, but there are fundamental gaps. And frankly, something that tirelessly follows instructions without having good reasoning is nightmare fuel to me.

    I hope there will be near-term nadvances in how models are trained to include the equivalent of reasoning traces for post-training (RLHF). In my ideal future, these include more of what it means to build software with clean interfaces, that’s debuggable, and and that’s maintainable as a key part of the reinforced evaluations. Carefully reviewing, planning, and fixing the seams of software (and systems) is one of the critical skills we both can, and need to, employ when developing software – with or without agentic assistants. And as I see the wave of “Oh, that’s easy to implement…” and people reaching for clankers to get it done, I think it’s more important than ever.

    It’s a great time to be following folks who write, talk, and share about the craft of software, and how we can be better artisans. Hopefully it’s obvious, but there’s never a single answer — a panacea. It’s always about tradeoffs, choosing what makes sense for the problem at hand. With the help of a lot of great minds sharing their thoughts — both now and going back decades — we have a great tool chest for this work. It’s about picking, or reworking to move to a better choice, the right abstractions. It’s core is managing the cognitive load, learning which pieces we need to be stable, and where we want our work to flex and bend (and how).

    And yes, I wrote the damn em-dashes myself. I’m too in love with a recursive parenthetical in my writing, and I like a break from commas and parentheses.

    #Geekstuff #LLM #ML
  3. Software Engineering fundamentals matter more than ever

    The manifestation of my imposter syndrome, for me and today, is what does it mean to be a software engineer. There’s a lot more noise than signal on the Internet about agentic engineering, what can be accomplished, and its implications for the future. The title I chose rather gives it away; it’s about choosing — carefully — all the things you need to choose when you’re solving the puzzles of software and systems development.

    Beyond the hype and junkie-like marketing fervor of “major model providers”, I found a really interesting power tool with the combination of harness and models. I’ve been following how friends have been using these tools, and learning a ton. As usual, the folks doing some of the most amazing things aren’t the ones crowing about it, or posting narrative blurbs in social media about the end of this profession. They found a “big damn stick”, they’re exploring the fulcrum points, and they’re representing good ole Archimedes to lean into that lever, moving the world.

    In the past year, agent harnesses crossed the “can it be done” rubicon. (yep, jumping forward to Roman references). I would not have wished for the world’s knowledge to taken without permission and regard, or the lunatics to delve into economic self-dealing that’s peanut buttering over the otherwise tanking US economy. The economic models for the large models aren’t viable from any report that I’ve seen, but the capability isn’t going away. Instead it’s shrinking (fast!). Open weight models are making (beefy) personal computers quite capable of doing the same. They’re not quite as effective, but the delta in time and capability isn’t large.

    “Can it be done” is only the start, not even close to the majority a software or system engineer’s profession. It’s like when I learned to weld in my 20’s – I quickly created things that I couldn’t lift or even get out the door of the shop. (thank goodness for acetylene torches). What I learned then is I think the same lesson, different medium: How something goes together is what makes all the difference.

    If you use agentic harnesses to develop with a bit of foresight, you can get not only “it works”, but also “it’s testable” (I heavily lean into the prompt “develop with red/green TDD”). But it’s not very solid much above that. The seams — how your code works, it’s “API”, and how it fits with other software — are as much art as science. It is made up of subjective measures that rely on your viewpoint (and experience, as well as your guesses) for both what you’re solving now, and how to live with that software over a long period of time.

    Making software debuggable, maintainable, layered, and composable – that’s still quite a trick. Quite a lot of that work requires extensive, thoughtful reasoning. And that’s where the LLM’s today, even the leading edge of the “capability” from frontier models, fall short.

    It helps to know that LLMs don’t “reason”. They predict, and the models themselves are effectively written human knowledge compressed. So if it’s in human knowledge that was encoded, it can echo out the human reasoning. For agents focused on software development, those reasoning traces are the precious data for the models. There’s a very approachable research paper on just how bad LLMS are at reasoning called The Illusion of Thinking. There is some research I’m following that includes prediction of results of actions, but that’s not what we have today with coding agents. It’s a pretty different – and fascinating – area of research. If you want to explore, go digging on how “JEPA models” work, LeWorld Model, and recent talks by Yann LeCun.

    While you’re working with LLMs though, there’s still a ton of ways to make them more effective. I think there’s a lot of advances that we haven’t even really begun to eek out. Most of the wins I’m seeing today involve providing it good, concise data to work from, at the right time, and providing deterministic validation tooling with natural language feedback that the LLM can use to correct itself. The amazing thing to me isn’t that it can predict what to write, but that it is effective at tool calling and following instructions.

    Another downside of this instruction following is what Simon Willison coined as the lethal trifecta. Basically – LLM models can’t distinguish between good advice and bad. They’re foundationally incapable of always and consistently preventing prompt injection attacks. “Alignment work”, safety harnesses, and sandboxes all help to add barriers against the worst, but there are fundamental gaps. And frankly, something that tirelessly follows instructions without having good reasoning is nightmare fuel to me.

    I hope there will be near-term nadvances in how models are trained to include the equivalent of reasoning traces for post-training (RLHF). In my ideal future, these include more of what it means to build software with clean interfaces, that’s debuggable, and and that’s maintainable as a key part of the reinforced evaluations. Carefully reviewing, planning, and fixing the seams of software (and systems) is one of the critical skills we both can, and need to, employ when developing software – with or without agentic assistants. And as I see the wave of “Oh, that’s easy to implement…” and people reaching for clankers to get it done, I think it’s more important than ever.

    It’s a great time to be following folks who write, talk, and share about the craft of software, and how we can be better artisans. Hopefully it’s obvious, but there’s never a single answer — a panacea. It’s always about tradeoffs, choosing what makes sense for the problem at hand. With the help of a lot of great minds sharing their thoughts — both now and going back decades — we have a great tool chest for this work. It’s about picking, or reworking to move to a better choice, the right abstractions. It’s core is managing the cognitive load, learning which pieces we need to be stable, and where we want our work to flex and bend (and how).

    And yes, I wrote the damn em-dashes myself. I’m too in love with a recursive parenthetical in my writing, and I like a break from commas and parentheses.

    #Geekstuff #LLM #ML
  4. A fun thing about being in machine learning and computer vision is you sometimes have to build the tools you need to build the tools you need.

    I took one of the tools I built to iterate on image based algorithms, and compiled it for the web.

    If you use that kind of thing, have a look and let me know if you find it as useful as I do: robrohan.com/2026/08/15/graphi

    It's called Lispix 💄

    #ml #cv #computervision #graphics

  5. GLM-5.3: Z.ai выпустил новую модель

    14 августа 2026 года компания Z.ai (бывшая Zhipu AI, Пекин) официально представила GLM-5.3 - новую версию своей флагманской линейки языковых моделей GLM-5. Анонс сопровождается слоганом "Built to Code. Ready for Cyber Defense" ("Создана для кода. Готова к киберзащите") и техническим блогом на z.ai/blog/glm-5.3. Это не рутинный точечный релиз: Z.ai впервые за всю серию GLM-5 явно позиционирует модель как инструмент не только агентной разработки, но и информационной безопасности область, которую индустрия ИИ традиционно считает зоной повышенного риска. Ниже разбор того, что подтверждено официально, что известно из контекста предыдущих релизов, и что пока остаётся открытым вопросом.

    habr.com/ru/articles/1070366/

    #glm #GLM53 #zai #искуственный_интеллект #ai #ml #zcode

  6. GLM-5.3: Z.ai выпустил новую модель

    14 августа 2026 года компания Z.ai (бывшая Zhipu AI, Пекин) официально представила GLM-5.3 - новую версию своей флагманской линейки языковых моделей GLM-5. Анонс сопровождается слоганом "Built to Code. Ready for Cyber Defense" ("Создана для кода. Готова к киберзащите") и техническим блогом на z.ai/blog/glm-5.3. Это не рутинный точечный релиз: Z.ai впервые за всю серию GLM-5 явно позиционирует модель как инструмент не только агентной разработки, но и информационной безопасности область, которую индустрия ИИ традиционно считает зоной повышенного риска. Ниже разбор того, что подтверждено официально, что известно из контекста предыдущих релизов, и что пока остаётся открытым вопросом.

    habr.com/ru/articles/1070366/

    #glm #GLM53 #zai #искуственный_интеллект #ai #ml #zcode

  7. GLM-5.3: Z.ai выпустил новую модель

    14 августа 2026 года компания Z.ai (бывшая Zhipu AI, Пекин) официально представила GLM-5.3 - новую версию своей флагманской линейки языковых моделей GLM-5. Анонс сопровождается слоганом "Built to Code. Ready for Cyber Defense" ("Создана для кода. Готова к киберзащите") и техническим блогом на z.ai/blog/glm-5.3. Это не рутинный точечный релиз: Z.ai впервые за всю серию GLM-5 явно позиционирует модель как инструмент не только агентной разработки, но и информационной безопасности область, которую индустрия ИИ традиционно считает зоной повышенного риска. Ниже разбор того, что подтверждено официально, что известно из контекста предыдущих релизов, и что пока остаётся открытым вопросом.

    habr.com/ru/articles/1070366/

    #glm #GLM53 #zai #искуственный_интеллект #ai #ml #zcode

  8. DATE: August 13, 2026 at 04:43PM
    SOURCE: HEALTHCARE INFO SECURITY

    Direct article link at end of text block below.

    Extortion Gang Leaks #NovoNordisk's '#AI and #ML Ecosystem': #Fulcrumsec Claims 2nd Data Dump Exposes Firm's #HuggingFace Models, Drug R&D Data t.co/totMntZzOS

    Here are any URLs found in the article text:

    t.co/totMntZzOS

    Articles can be found by scrolling down the page at healthcareinfosecurity.com/ under the title "Latest"

    -------------------------------------------------

    Private, vetted email list for mental health professionals: clinicians-exchange.org

    Healthcare security & privacy posts not related to IT or infosec are at @HIPAABot . Even so, they mix in some infosec with the legal & regulatory information.

    -------------------------------------------------

    #security #healthcare #doctors #itsecurity #hacking #doxxing #psychotherapy #securitynews #psychotherapist #mentalhealth #psychiatry #hospital #socialwork #datasecurity #webbeacons #cookies #HIPAA #privacy #datanalytics #healthcaresecurity #healthitsecurity #patientrecords @infosec #telehealth #netneutrality #socialengineering

  9. DATE: August 13, 2026 at 04:43PM
    SOURCE: HEALTHCARE INFO SECURITY

    Direct article link at end of text block below.

    Extortion Gang Leaks #NovoNordisk's '#AI and #ML Ecosystem': #Fulcrumsec Claims 2nd Data Dump Exposes Firm's #HuggingFace Models, Drug R&D Data t.co/totMntZzOS

    Here are any URLs found in the article text:

    t.co/totMntZzOS

    Articles can be found by scrolling down the page at healthcareinfosecurity.com/ under the title "Latest"

    -------------------------------------------------

    Private, vetted email list for mental health professionals: clinicians-exchange.org

    Healthcare security & privacy posts not related to IT or infosec are at @HIPAABot . Even so, they mix in some infosec with the legal & regulatory information.

    -------------------------------------------------

    #security #healthcare #doctors #itsecurity #hacking #doxxing #psychotherapy #securitynews #psychotherapist #mentalhealth #psychiatry #hospital #socialwork #datasecurity #webbeacons #cookies #HIPAA #privacy #datanalytics #healthcaresecurity #healthitsecurity #patientrecords @infosec #telehealth #netneutrality #socialengineering

  10. DATE: August 13, 2026 at 04:43PM
    SOURCE: HEALTHCARE INFO SECURITY

    Direct article link at end of text block below.

    Extortion Gang Leaks #NovoNordisk's '#AI and #ML Ecosystem': #Fulcrumsec Claims 2nd Data Dump Exposes Firm's #HuggingFace Models, Drug R&D Data t.co/totMntZzOS

    Here are any URLs found in the article text:

    t.co/totMntZzOS

    Articles can be found by scrolling down the page at healthcareinfosecurity.com/ under the title "Latest"

    -------------------------------------------------

    Private, vetted email list for mental health professionals: clinicians-exchange.org

    Healthcare security & privacy posts not related to IT or infosec are at @HIPAABot . Even so, they mix in some infosec with the legal & regulatory information.

    -------------------------------------------------

    #security #healthcare #doctors #itsecurity #hacking #doxxing #psychotherapy #securitynews #psychotherapist #mentalhealth #psychiatry #hospital #socialwork #datasecurity #webbeacons #cookies #HIPAA #privacy #datanalytics #healthcaresecurity #healthitsecurity #patientrecords @infosec #telehealth #netneutrality #socialengineering

  11. DATE: August 13, 2026 at 04:43PM
    SOURCE: HEALTHCARE INFO SECURITY

    Direct article link at end of text block below.

    Extortion Gang Leaks #NovoNordisk's '#AI and #ML Ecosystem': #Fulcrumsec Claims 2nd Data Dump Exposes Firm's #HuggingFace Models, Drug R&D Data t.co/totMntZzOS

    Here are any URLs found in the article text:

    t.co/totMntZzOS

    Articles can be found by scrolling down the page at healthcareinfosecurity.com/ under the title "Latest"

    -------------------------------------------------

    Private, vetted email list for mental health professionals: clinicians-exchange.org

    Healthcare security & privacy posts not related to IT or infosec are at @HIPAABot . Even so, they mix in some infosec with the legal & regulatory information.

    -------------------------------------------------

    #security #healthcare #doctors #itsecurity #hacking #doxxing #psychotherapy #securitynews #psychotherapist #mentalhealth #psychiatry #hospital #socialwork #datasecurity #webbeacons #cookies #HIPAA #privacy #datanalytics #healthcaresecurity #healthitsecurity #patientrecords @infosec #telehealth #netneutrality #socialengineering

  12. When I first got to know the #Z notation #formal method in the early 1980s, I was very impressed. In those days, imperative languages like C and Pascal ruled the industrial landscape, and pen-and-paper #programming was still an accepted, nay expected, practice. The Z notation and its emphasis on proof obligations meshed well with that paper-borne process of specification and design.

    Not long after, I got to know #ML and its Hindley-Milner type system. Thereafter, I was no longer impressed with Z's use of an overtly ceremonial and verbose syntax to describe what ML could do with just one expression.

    This superiority of the #FP syntax over Z's bloated notation is even more evident in modern descendants of ML, such as Standard ML, OCaml, and Haskell, and especially the dependently typed proof assistant offsprings like Coq, Lean, Agda, and Idris.

  13. When I first got to know the #Z notation #formal method in the early 1980s, I was very impressed. In those days, imperative languages like C and Pascal ruled the industrial landscape, and pen-and-paper #programming was still an accepted, nay expected, practice. The Z notation and its emphasis on proof obligations meshed well with that paper-borne process of specification and design.

    Not long after, I got to know #ML and its Hindley-Milner type system. Thereafter, I was no longer impressed with Z's use of an overtly ceremonial and verbose syntax to describe what ML could do with just one expression.

    This superiority of the #FP syntax over Z's bloated notation is even more evident in modern descendants of ML, such as Standard ML, OCaml, and Haskell, and especially the dependently typed proof assistant offsprings like Coq, Lean, Agda, and Idris.

  14. When I first got to know the #Z notation #formal method in the early 1980s, I was very impressed. In those days, imperative languages like C and Pascal ruled the industrial landscape, and pen-and-paper #programming was still an accepted, nay expected, practice. The Z notation and its emphasis on proof obligations meshed well with that paper-borne process of specification and design.

    Not long after, I got to know #ML and its Hindley-Milner type system. Thereafter, I was no longer impressed with Z's use of an overtly ceremonial and verbose syntax to describe what ML could do with just one expression.

    This superiority of the #FP syntax over Z's bloated notation is even more evident in modern descendants of ML, such as Standard ML, OCaml, and Haskell, and especially the dependently typed proof assistant offsprings like Coq, Lean, Agda, and Idris.

  15. When I first got to know the #Z notation #formal method in the early 1980s, I was very impressed. In those days, imperative languages like C and Pascal ruled the industrial landscape, and pen-and-paper #programming was still an accepted, nay expected, practice. The Z notation and its emphasis on proof obligations meshed well with that paper-borne process of specification and design.

    Not long after, I got to know #ML and its Hindley-Milner type system. Thereafter, I was no longer impressed with Z's use of an overtly ceremonial and verbose syntax to describe what ML could do with just one expression.

    This superiority of the #FP syntax over Z's bloated notation is even more evident in modern descendants of ML, such as Standard ML, OCaml, and Haskell, and especially the dependently typed proof assistant offsprings like Coq, Lean, Agda, and Idris.

  16. When I first got to know the #Z notation #formal method in the early 1980s, I was very impressed. In those days, imperative languages like C and Pascal ruled the industrial landscape, and pen-and-paper #programming was still an accepted, nay expected, practice. The Z notation and its emphasis on proof obligations meshed well with that paper-borne process of specification and design.

    Not long after, I got to know #ML and its Hindley-Milner type system. Thereafter, I was no longer impressed with Z's use of an overtly ceremonial and verbose syntax to describe what ML could do with just one expression.

    This superiority of the #FP syntax over Z's bloated notation is even more evident in modern descendants of ML, such as Standard ML, OCaml, and Haskell, and especially the dependently typed proof assistant offsprings like Coq, Lean, Agda, and Idris.

  17. Как оценить надёжность liveness‑проверки: гайд по метрикам для тех, кто выбирает KYC‑поставщика

    Привет, Хабр! Несколько абзацев о том, как понять с помощью проверки живости, что человек, который проходит онлайн‑регистрацию — именно тот, за кого себя выдаёт? Давайте поговорим про лабораторные метрики и реальные показатели, посмотрим, по каким критериям оценивать liveness‑проверки продакт‑менеджерам, решим, насколько можно доверять автоматическим системам и маркетингу вендоров. Держите глаза открытыми, замрите

    habr.com/ru/articles/1070214/

    #ml #cv #computer_vision #fraudменеджмент #liveness_detection #kyc #знай_своего_клиента

  18. Как оценить надёжность liveness‑проверки: гайд по метрикам для тех, кто выбирает KYC‑поставщика

    Привет, Хабр! Несколько абзацев о том, как понять с помощью проверки живости, что человек, который проходит онлайн‑регистрацию — именно тот, за кого себя выдаёт? Давайте поговорим про лабораторные метрики и реальные показатели, посмотрим, по каким критериям оценивать liveness‑проверки продакт‑менеджерам, решим, насколько можно доверять автоматическим системам и маркетингу вендоров. Держите глаза открытыми, замрите

    habr.com/ru/articles/1070214/

    #ml #cv #computer_vision #fraudменеджмент #liveness_detection #kyc #знай_своего_клиента

  19. Как оценить надёжность liveness‑проверки: гайд по метрикам для тех, кто выбирает KYC‑поставщика

    Привет, Хабр! Несколько абзацев о том, как понять с помощью проверки живости, что человек, который проходит онлайн‑регистрацию — именно тот, за кого себя выдаёт? Давайте поговорим про лабораторные метрики и реальные показатели, посмотрим, по каким критериям оценивать liveness‑проверки продакт‑менеджерам, решим, насколько можно доверять автоматическим системам и маркетингу вендоров. Держите глаза открытыми, замрите

    habr.com/ru/articles/1070214/

    #ml #cv #computer_vision #fraudменеджмент #liveness_detection #kyc #знай_своего_клиента

  20. #DeepSeek released #DeepSeekV4Pro 0813, an updated flagship #AImodel, but it underperformed on benchmarks compared to rivals like GPT-5.6 and Kimi K3. While it excelled in cybersecurity, it struggled with tasks in sandboxed environments and generating complex financial models. scmp.com/tech/big-tech/article #AIagent #AI #ML #NLP #LLM #GenAI

  21. #DeepSeek released #DeepSeekV4Pro 0813, an updated flagship #AImodel, but it underperformed on benchmarks compared to rivals like GPT-5.6 and Kimi K3. While it excelled in cybersecurity, it struggled with tasks in sandboxed environments and generating complex financial models. scmp.com/tech/big-tech/article #AIagent #AI #ML #NLP #LLM #GenAI

  22. #DeepSeek released #DeepSeekV4Pro 0813, an updated flagship #AImodel, but it underperformed on benchmarks compared to rivals like GPT-5.6 and Kimi K3. While it excelled in cybersecurity, it struggled with tasks in sandboxed environments and generating complex financial models. scmp.com/tech/big-tech/article #AIagent #AI #ML #NLP #LLM #GenAI

  23. #DeepSeek released #DeepSeekV4Pro 0813, an updated flagship #AImodel, but it underperformed on benchmarks compared to rivals like GPT-5.6 and Kimi K3. While it excelled in cybersecurity, it struggled with tasks in sandboxed environments and generating complex financial models. scmp.com/tech/big-tech/article #AIagent #AI #ML #NLP #LLM #GenAI

  24. #DeepSeek released #DeepSeekV4Pro 0813, an updated flagship #AImodel, but it underperformed on benchmarks compared to rivals like GPT-5.6 and Kimi K3. While it excelled in cybersecurity, it struggled with tasks in sandboxed environments and generating complex financial models. scmp.com/tech/big-tech/article #AIagent #AI #ML #NLP #LLM #GenAI

  25. Новые модели в ИИ-роутере, GPU-хост с 4хH200 NVLink и другие новости продуктов Selectel

    Привет, Хабр! В июле мы добавили выгрузку аудит-логов в объектное хранилище, расширили географию сетевых дисков, улучшили работу Managed Kubernetes и реализовали еще несколько важных обновлений. Обо всех обновлениях в продуктах Selectel читайте под катом!

    habr.com/ru/companies/selectel

    #selectel #ml #kubernetes #itкомпании #itинфраструктура

  26. Новые модели в ИИ-роутере, GPU-хост с 4хH200 NVLink и другие новости продуктов Selectel

    Привет, Хабр! В июле мы добавили выгрузку аудит-логов в объектное хранилище, расширили географию сетевых дисков, улучшили работу Managed Kubernetes и реализовали еще несколько важных обновлений. Обо всех обновлениях в продуктах Selectel читайте под катом!

    habr.com/ru/companies/selectel

    #selectel #ml #kubernetes #itкомпании #itинфраструктура

  27. Новые модели в ИИ-роутере, GPU-хост с 4хH200 NVLink и другие новости продуктов Selectel

    Привет, Хабр! В июле мы добавили выгрузку аудит-логов в объектное хранилище, расширили географию сетевых дисков, улучшили работу Managed Kubernetes и реализовали еще несколько важных обновлений. Обо всех обновлениях в продуктах Selectel читайте под катом!

    habr.com/ru/companies/selectel

    #selectel #ml #kubernetes #itкомпании #itинфраструктура

  28. #Anthropic announced that its #Claude models will embed an #imperceptiblewatermark into generated #text to comply with the #EUAIAct. This #watermark, likely implemented through #statisticalwatermarking during token generation, aims to survive copying and minor edits. While this move aligns with EU regulations, it could potentially lead to a loss of customers for Anthropic if the watermark is easily detectable. techradar.com/ai-platforms-ass #AIagent #AI #ML #NLP #LLM #GenAI

  29. Red Bull New York transfer Gustav Berggren to Polish club mlssoccer.com/news/red-bull-ne TRANSFER TRACKER STATUS: Transfer
    Red Bull New York have transferred midfielder Gustav Berggren to Polish top-flight side Lech Poznań, the club announced Wednesday.
    The 28-year-old former Swedish international returns to Poland after spending one season with Red Bull, where he recorded three assists in 19 appearances.
    Berggren began his career #ML...

    #ml
  30. Red Bull New York transfer Gustav Berggren to Polish club mlssoccer.com/news/red-bull-ne TRANSFER TRACKER STATUS: Transfer
    Red Bull New York have transferred midfielder Gustav Berggren to Polish top-flight side Lech Poznań, the club announced Wednesday.
    The 28-year-old former Swedish international returns to Poland after spending one season with Red Bull, where he recorded three assists in 19 appearances.
    Berggren began his career #ML...

    #ml
  31. Red Bull New York transfer Gustav Berggren to Polish club mlssoccer.com/news/red-bull-ne TRANSFER TRACKER STATUS: Transfer
    Red Bull New York have transferred midfielder Gustav Berggren to Polish top-flight side Lech Poznań, the club announced Wednesday.
    The 28-year-old former Swedish international returns to Poland after spending one season with Red Bull, where he recorded three assists in 19 appearances.
    Berggren began his career #ML...

    #ml
  32. Red Bull New York transfer Gustav Berggren to Polish club mlssoccer.com/news/red-bull-ne TRANSFER TRACKER STATUS: Transfer
    Red Bull New York have transferred midfielder Gustav Berggren to Polish top-flight side Lech Poznań, the club announced Wednesday.
    The 28-year-old former Swedish international returns to Poland after spending one season with Red Bull, where he recorded three assists in 19 appearances.
    Berggren began his career #ML...

    #ml
  33. Red Bull New York transfer Gustav Berggren to Polish club mlssoccer.com/news/red-bull-ne TRANSFER TRACKER STATUS: Transfer
    Red Bull New York have transferred midfielder Gustav Berggren to Polish top-flight side Lech Poznań, the club announced Wednesday.
    The 28-year-old former Swedish international returns to Poland after spending one season with Red Bull, where he recorded three assists in 19 appearances.
    Berggren began his career #ML...

    #ml
  34. Как оптимизировать расходы на инфраструктуру для искусственного интеллекта. Выбираем железо и модели под разные задачи

    В отчете The State of AI 2025 агентство McKinsey заявляет, что 88% компаний уже используют ИИ хотя бы в одном бизнес-процессе. Grand View Research отмечает, что по их прогнозам глобальный рынок вырастет до 3,5 триллионов долларов к 2033. Уже сейчас мы можем отследить эту динамику. Однако AI-сервисы не бесплатны. Компании, которые начали с токенизированных API, часто обнаруживают, что при реальной нагрузке их счета растут быстрее, чем польза от ИИ. Поэтому возникает вопрос: как развернуть искусственный интеллект на собственной инфраструктуре и не переплатить. Привет! Привет! Меня зовут Сергей Ковалёв, я менеджер продукта

    habr.com/ru/companies/selectel

    #selectel #искусственный_интеллект #серверы #оптимизация #llm #gpu #ml #itинфраструктура #внедрение_ии

  35. Как оптимизировать расходы на инфраструктуру для искусственного интеллекта. Выбираем железо и модели под разные задачи

    В отчете The State of AI 2025 агентство McKinsey заявляет, что 88% компаний уже используют ИИ хотя бы в одном бизнес-процессе. Grand View Research отмечает, что по их прогнозам глобальный рынок вырастет до 3,5 триллионов долларов к 2033. Уже сейчас мы можем отследить эту динамику. Однако AI-сервисы не бесплатны. Компании, которые начали с токенизированных API, часто обнаруживают, что при реальной нагрузке их счета растут быстрее, чем польза от ИИ. Поэтому возникает вопрос: как развернуть искусственный интеллект на собственной инфраструктуре и не переплатить. Привет! Привет! Меня зовут Сергей Ковалёв, я менеджер продукта

    habr.com/ru/companies/selectel

    #selectel #искусственный_интеллект #серверы #оптимизация #llm #gpu #ml #itинфраструктура #внедрение_ии

  36. Как оптимизировать расходы на инфраструктуру для искусственного интеллекта. Выбираем железо и модели под разные задачи

    В отчете The State of AI 2025 агентство McKinsey заявляет, что 88% компаний уже используют ИИ хотя бы в одном бизнес-процессе. Grand View Research отмечает, что по их прогнозам глобальный рынок вырастет до 3,5 триллионов долларов к 2033. Уже сейчас мы можем отследить эту динамику. Однако AI-сервисы не бесплатны. Компании, которые начали с токенизированных API, часто обнаруживают, что при реальной нагрузке их счета растут быстрее, чем польза от ИИ. Поэтому возникает вопрос: как развернуть искусственный интеллект на собственной инфраструктуре и не переплатить. Привет! Привет! Меня зовут Сергей Ковалёв, я менеджер продукта

    habr.com/ru/companies/selectel

    #selectel #искусственный_интеллект #серверы #оптимизация #llm #gpu #ml #itинфраструктура #внедрение_ии

  37. Your gal will be giving a #Keynote at #PyConKR this weekend. I will try something new, so it will be exciting. Also, remember to come to #JetBrains booth to win some swags!

    #Pythonn #Conference #DataScience #ML #AI

  38. Your gal will be giving a at this weekend. I will try something new, so it will be exciting. Also, remember to come to booth to win some swags!

  39. Your gal will be giving a #Keynote at #PyConKR this weekend. I will try something new, so it will be exciting. Also, remember to come to #JetBrains booth to win some swags!

    #Pythonn #Conference #DataScience #ML #AI

  40. Your gal will be giving a #Keynote at #PyConKR this weekend. I will try something new, so it will be exciting. Also, remember to come to #JetBrains booth to win some swags!

    #Pythonn #Conference #DataScience #ML #AI

  41. Your gal will be giving a #Keynote at #PyConKR this weekend. I will try something new, so it will be exciting. Also, remember to come to #JetBrains booth to win some swags!

    #Pythonn #Conference #DataScience #ML #AI