#krr — Public Fediverse posts

Beautiful weather for takeoff from Krasnodar Pashkovsky International airport (Russian Federation) “METAR URKK 100530Z 20002MPS 170V230 CAVOK 17/12 Q1016 R05R/CLRD70 NOSIG RMK QFE759” : See what it means on https://www.bigorre.org/aero/meteo/urkk/en #krasnodarpashkovskyinternationalairport #airport #krasnodar #russianfederation #urkk #krr #metar #aviation #aviationweather #avgeek vl

Beautiful weather for takeoff from Krasnodar Pashkovsky International airport (Russian Federation) “METAR URKK 100530Z 20002MPS 170V230 CAVOK 17/12 Q1016 R05R/CLRD70 NOSIG RMK QFE759” : See what it means on https://www.bigorre.org/aero/meteo/urkk/en #krasnodarpashkovskyinternationalairport #airport #krasnodar #russianfederation #urkk #krr #metar #aviation #aviationweather #avgeek vl

Beautiful weather for takeoff from Krasnodar Pashkovsky International airport (Russian Federation) “METAR URKK 100530Z 20002MPS 170V230 CAVOK 17/12 Q1016 R05R/CLRD70 NOSIG RMK QFE759” : See what it means on https://www.bigorre.org/aero/meteo/urkk/en #krasnodarpashkovskyinternationalairport #airport #krasnodar #russianfederation #urkk #krr #metar #aviation #aviationweather #avgeek vl

Beautiful weather for takeoff from Krasnodar Pashkovsky International airport (Russian Federation) “METAR URKK 100530Z 20002MPS 170V230 CAVOK 17/12 Q1016 R05R/CLRD70 NOSIG RMK QFE759” : See what it means on https://www.bigorre.org/aero/meteo/urkk/en #krasnodarpashkovskyinternationalairport #airport #krasnodar #russianfederation #urkk #krr #metar #aviation #aviationweather #avgeek vl

Beautiful weather for takeoff from Krasnodar Pashkovsky International airport (Russian Federation) “METAR URKK 100530Z 20002MPS 170V230 CAVOK 17/12 Q1016 R05R/CLRD70 NOSIG RMK QFE759” : See what it means on https://www.bigorre.org/aero/meteo/urkk/en #krasnodarpashkovskyinternationalairport #airport #krasnodar #russianfederation #urkk #krr #metar #aviation #aviationweather #avgeek vl

Aviation weather for Krasnodar Pashkovsky International airport (Russian Federation) is “METAR URKK 270900Z 21002MPS 180V240 9999 BKN026 13/08 Q1008 R23L/CLRD70 NOSIG RMK QFE753” : See what it means on https://www.bigorre.org/aero/meteo/urkk/en #krasnodarpashkovskyinternationalairport #airport #krasnodar #russianfederation #urkk #krr #metar #aviation #aviationweather #avgeek vl

Aviation weather for Krasnodar Pashkovsky International airport (Russian Federation) is “METAR URKK 270900Z 21002MPS 180V240 9999 BKN026 13/08 Q1008 R23L/CLRD70 NOSIG RMK QFE753” : See what it means on https://www.bigorre.org/aero/meteo/urkk/en #krasnodarpashkovskyinternationalairport #airport #krasnodar #russianfederation #urkk #krr #metar #aviation #aviationweather #avgeek vl

Aviation weather for Krasnodar Pashkovsky International airport (Russian Federation) is “METAR URKK 270900Z 21002MPS 180V240 9999 BKN026 13/08 Q1008 R23L/CLRD70 NOSIG RMK QFE753” : See what it means on https://www.bigorre.org/aero/meteo/urkk/en #krasnodarpashkovskyinternationalairport #airport #krasnodar #russianfederation #urkk #krr #metar #aviation #aviationweather #avgeek vl

Aviation weather for Krasnodar Pashkovsky International airport (Russian Federation) is “METAR URKK 270900Z 21002MPS 180V240 9999 BKN026 13/08 Q1008 R23L/CLRD70 NOSIG RMK QFE753” : See what it means on https://www.bigorre.org/aero/meteo/urkk/en #krasnodarpashkovskyinternationalairport #airport #krasnodar #russianfederation #urkk #krr #metar #aviation #aviationweather #avgeek vl

Aviation weather for Krasnodar Pashkovsky International airport (Russian Federation) is “METAR URKK 270900Z 21002MPS 180V240 9999 BKN026 13/08 Q1008 R23L/CLRD70 NOSIG RMK QFE753” : See what it means on https://www.bigorre.org/aero/meteo/urkk/en #krasnodarpashkovskyinternationalairport #airport #krasnodar #russianfederation #urkk #krr #metar #aviation #aviationweather #avgeek vl

Readings shared October 25, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/26-readings_shared_10-25-25 #AI #Autoformalization #History #ITP #KRR #LLM #LeanProver #Logic #Math

Course "Artificial Intelligence": 9. Other knowledge representation formalisms: frames, conceptual dependency, semantic networks. ~ Deepak Kumar. https://cs.brynmawr.edu/Courses/cs373/Fall2025/Slides/09-KowledgeRepresentations.pdf #AI #KRR

Course "Artificial Intelligence": 8. Logic in Prolog. ~ Deepak Kumar. https://cs.brynmawr.edu/Courses/cs373/Fall2025/Slides/08-LogicInPROLOG.pdf #AI #Logic #KRR

Course "Artificial Intelligence": 7. Representing knowledge using logic. ~ Deepak Kumar. https://cs.brynmawr.edu/Courses/cs373/Fall2025/Slides/07-Logic.pdf #AI #Logic #KRR

King River Resources ( #KRR ) has released " Quarterly Activities/Appendix 5B Cash Flow Report " on Thu 10 Apr at 11:19 AEST #tax #government #Mining #Gold #Australia
https://grafa.com/asset/king-river-resources-ltd-8028-krr.asx?utm_source=asxmktsensitive&utm_medium=mastodon&utm_campaign=krr.asx

When you find yourself writing #awk to preload formulas into a file to be imported into a #cloud #spreadsheet, you start to wonder if you have mad a wrong turn, if you have made a correct turn, or how you can even tell them apart.

In other news, #krr is pretty #nifty and will give us the hard data we need to demonstrate to the developers that (#surprise) they have over
-provisioned their #pods and we can estimate the wastage in both instances and dollars.

Lecturas compartidas el 25 de marzo de 2024. https://jalonso.substack.com/lecturas-compartidas-el-25-de-marzo #AI #CategoryTheory #FormalVerification #ITP #IsabelleHOL #KRR #LLMs #Math #Mathematica #Python #SetTheory

A knowledge engineering primer. ~ Agnieszka Ławrynowicz. https://arxiv.org/abs/2305.17196 #AI #KRR

Logic for knowledge representation, learning, and inference. ~ Luciano Serafini. https://stem.elearning.unipd.it/pluginfile.php/532921/mod_resource/content/14/dispensa.pdf #Logic #AI #KRR

Current and future challenges in knowledge representation and reasoning. ~ James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Frank Wolter. https://arxiv.org/abs/2308.04161 #KRR

LLMs4OL: Large language models for ontology learning. ~ Hamed Babaei Giglou, Jennifer D'Souza, Sören Auer. https://arxiv.org/abs/2307.16648 #LLMs #KRR

The DLV system for knowledge representation and reasoning. ~ Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello. https://arxiv.org/abs/cs/0211004 #ASP #LogicProgramming #KRR #Knowledge_representation_and_reasoning

Answer Set Solving in Practice. ~ Torsten Schaub. https://github.com/potassco-asp-course/course/releases/download/v1.15.0/main.pdf #ASP #LogicProgramming #KRR #Knowledge_representation_and_reasoning

From shallow to deep interactions between knowledge representation, reasoning and machine learning. ~ Kay R. Amel. https://arxiv.org/abs/1912.06612 #AI #KRR #MachineLearning

A knowledge engineering primer. ~ Agnieszka Lawrynowicz. https://arxiv.org/abs/2305.17196 #AI #KRR

krr is a Prometheus-based Kubernetes resource recommender

https://github.com/robusta-dev/krr

#krr #prometheus #kubernetes #infra #cloudnative #cloud #tools #metrics #limits #resources #recommendation

Common wisdom in #AI and #ML is that #AIPlanning methods cannot deal with continuous state and action spaces.

Subverting these expectations - presenting our recent paper at #ICAPS23 on how a planning agent can play #AngryBirds!

And, no #DL #DQN systems cannot play these games yet AND take so much data to learn to play a single level.

#Planning #Reasoning #KRR FTW!!

https://arxiv.org/abs/2303.16967

I am an #AI #Systems scientist and build intelligent systems that model, learn about, and collaborate with humans.

I believe in #AIForGood - intelligent systems that are designed to support our communities in being healthy, resilient, and ever-learning.

I have a background in #CognitiveScience as well as what is called #GOFAI: knowledge representation and reasoning (#KRR), planning (#AIPlanning), etc. I dabble #ML as well as and when motivated by a problem.

#introduction #twitterMigration