Lmst

@nzakas I have read a lot of #RFCs and Implemented many of them. Mostly there is a gap between spec and what needs to be implemented. IMHO most of them leave to much space for interpretation… as the training data is nearly 10K if RFCs, there’s a good chance of creating a mediocre one, and a good one if you just use it for the ceremony.

ATLANTIS news update at GFZ website on two new publications from the project: https://www.gfz.de/en/press/news/details/pumpspeicher-in-braunkohletagebauen-nachhaltiger-betrieb-ohne-wasserqualitaetsverluste

#gfz
#humboldt
#energy
#energytransition
#eu
#europe
#rfcs
#research
#science
#project

🚨BREAKING🚨: #Meta discovers the wonders of #RFCs, but #ZuckMail still can't find its way to #OpenSMTPD servers! 😂 Who knew that ignoring decades-old email protocols could lead to such groundbreaking failure? 📨🔍
https://marc.info/?l=openbsd-misc&m=174990790228139&w=2 #EmailProtocols #TechNews #HackerNews #ngated

ATLANTIS findings dissemination at Annual Meeting of the German Mineralogical Society in Potsdam 🇩🇪 by one of the PhD students involved in the project work.

#humboldt
#energy
#energytransition
#eu
#europe
#rfcs
#research
#science
#project

Poster presentation at DMG meeting 2005 in Potsdam, Germany

Revisiting the idea of 'Shaped Data' using #dependent_types

The idea being that lots of standards (#RFCs) are encoded in #XML for good reason.

Surprise, surprise:

What if we assume: #XSD are #types and XML and #XPath are values typed by XSD.

We can encode that nicely using dependent types so that we can write well-typed queries over well-typed data:

```
query : {ty : Schema n a} -> Query ty -> Data ty -> Maybe (Result ty)
```

Still, there are more things that can be well-typed. For example, I am gearing up to look at getting something like this working:

```
parse : {ty : Schema n a}
-> (str : String)
-> Rule (Data ty)
```

Have you ever read the RFC for RFCs? It's pretty amazing if you're the right kind of nerd

Note on Documentation Conventions

#InternetHistory #TechnicalWriting #RFCs

I just had a little argument about protocol details where someone was seriously trying to back up their wishful thinking with screenshots of #ChatGPT. It was quickly put to rest by linking and quoting a few #RFCs. Still, it's amazing how people can delude themselves with such conviction these days.

ATLANTIS presented in evening lecture at Humboldt University in Berlin 🇩🇪 to inform the interested public, (prospective) teachers and students about the final project findings: https://www.gfe-berlin.de/veranstaltungen/133-stillgelegte-braunkohletagebaue-als-energiespeicher-ein-beitrag-zur-energiewende

#humboldt
#energy
#energytransition
#eu
#europe
#rfcs
#research
#science
#project

🇪🇺ATLANTIS Project Closing Meeting held in Potsdam🇩🇪 and online at 3 July 2024 with 30 participants from 🇩🇪, 🇬🇷 and 🇵🇱.

ATLANTIS Partners presented and discussed the final project findings to prepare the final documentation and next steps in HPHS implementation at commercial scale.

#energy
#energytransition
#eu
#europe
#rfcs
#research
#science
#project

🇪🇺 ATLANTIS Stakeholder Workshop successfully completed with about 60 participants on site in Potsdam🇩🇪 and online at 2 July 2024.

Thank you to all speakers and participants for their valuable contributions!

#energy
#energytransition
#eu
#europe
#rfcs
#research
#science
#project

@txt_file I found out this by experience too, lwIP stack refused to create an addres on prefix bigger than 64...

#IPv6 #RFCs are neat. I need to torment two AI models to found out where the hell is it specified...

🇪🇺 🇩🇪 🇬🇷 🇵🇱 ATLANTIS project's Best-practice Guidelines 📗 available online via https://www.atlantis-project.eu/ (Publications) or the QR code attached here.

The document will be presented at our hybrid-mode Stakeholder Workshop at July 2, 2024, in Potsdam 🇩🇪.
#energy
#energytransition
#eu
#europe
#rfcs
#research
#science
#project

🐦 Final agenda available! 🐦

EU-RFCS ATLANTIS project Stakeholder Workshop at 2 July 2024 on-site in Potsdam 🇩🇪 or online.

Please refer to the attached flyer and our project website for more information: https://www.atlantis-project.eu

You may still register via atlantis.sws@gfz-potsdam.de - participation free of charge.

#energy
#energytransition
#eu
#europe
#rfcs
#research
#science
#project
#gfz

ATLANTIS at GFZ German Research Centre for Geosciences Doctoral Days 17-18 June 2024 in Potsdam 🇩🇪

#energy
#energytransition
#eu
#europe
#rfcs
#research
#science
#project
#gfz

RT by @Energy4Europe: €40 million #EUfunding is available in the #RFCS annual calls for proposals to support the transition to digital and greener coal & steel.

Learn more about the calls and best practices for a successful proposal at the Info Day on 4 July.

Register now 👉 http://europa.eu/!J9BpYj

[2024-06-17 06:45 UTC]

🐦 Workshop agenda available! 🐦

EU-RFCS ATLANTIS project Stakeholder Workshop at 2 July 2024 on-site in Potsdam 🇩🇪 or online.

Please refer to the attached flyer and our project website for more information: https://www.atlantis-project.eu

Pre-registration is now open and participation free of charge.

#energy
#energytransition
#eu
#europe
#rfcs
#research
#science
#project

ATLANTIS findings presented at Helmholtz Association Topic 8 Days at 10-11 April 2024 in Potsdam 🇩🇪 focussing on Hybrid Pumped Hydropower Storage (HPHS) design in our two study areas 🇬🇷 🇵🇱 , their economics and hydrogeochemical impacts as well as HPHS potentials in 🇩🇪 open-pit mines.

https://events.hifis.net/event/1415/

If you are in Vienna 🇦🇹 this week, you are welcome to visit our EGU24 🇪🇺 session on Energy Systems Modelling and HPHS: https://meetingorganizer.copernicus.org/EGU24/session/48952

#helmholtz #rfcs #eu #research #egu24