Skip to main content

Posts

Recent posts

CompCert in Airbus

https://chatgpt.com/share/6773ca3f-f444-8007-95f3-6b8f576525df https://x.com/stojaaan/status/1874012894914109741 Airbus employs the CompCert formally verified C compiler in the development of safety-critical avionics software. Specifically, at their Toulouse facility, Airbus has integrated CompCert into several projects, although the exact details of these projects remain undisclosed. https://www.absint.com/compcert/index.htm The decision to adopt CompCert was driven by a need to enhance performance, particularly by reducing the Worst-Case Execution Time (WCET) of their software. A feasibility study conducted between 2012 and 2013 demonstrated that using CompCert led to a 12% improvement in WCET, surpassing their initial target of 11%. https://projects.laas.fr/IFSE/FMF/J3/slides/P05_Jean_Souyiris.pdf By utilizing CompCert, Airbus benefits from the compiler's formal verification, which mathematically ensures that the compiled code preserves the semantics of the source code. This lev...

Standards & Guidelines for Telecommunications Wiring & Installation

 https://www.montana.edu/uit/wiringguidelines/ Montana State University - Bozeman 0  CatCard Installation Prep Standards 1. Telecommunications Rooms 2. Telecommunications Room Termination Equipment 3. Telecommunications Workstation Outlet Termination Equipment 4. Telecommunications Horizontal Cabling and Support Structure 5. Telecommunications Cable 6. Installation Guidelines for Telecommunications Cable 7. Termination of Telecommunications Cables 8. Testing of Telecommunications Category 6 Cables 9. Telecommunications Labeling and Documentation 10. Telecommunications Backbone and Riser Cables 11. Grounding and Bonding 12. Telecommunications AutoCAD Drawing Legend  

Search Engine Optimisation

SEO: What It Is and Why You Should Care What does SEO even mean? It's something I get asked about a lot. People think it's all about complicated algorithms and weird code words, but SEO is just about making it easier for people to find your website. Think of it like this: You know how sometimes you're at a party, and you're trying to have a conversation with someone, but they keep talking about how their latest project uses "semantic keyword integration" and "back-end optimisation"? Yeah, me too. It's like listening to someone drone on about the stock market, but instead of talking about stocks and bonds, they're talking about SEO: What does it mean? It means your website needs to be clear and concise, using language that people actually search for. Think of it like a conversation at a party. You want to make sure you're using the words they'd actually say, right? So, what is SEO really about? It's about understanding how people f...

Materi Pelatihan Perundungan

 1. Video materi "Pencegahan Perundungan di Lingkungan Kerja." https://www.youtube.com/watch?v=iVbfszrFibQ https://www.youtube.com/watch?v=iVbfszrFibQ Video tentang "Perbedaan Perundungan dan Candaan." https://www.youtube.com/watch?v=riCFeG_hqCg Pelajari materi paparan tentang "Aksi Anti Perundungan di Lingkungan Kerja." https://drive.google.com/file/d/1P-Vm_Os09eEq937Dd_SuRMVSNpq6eVR6/view?pli=1 2. PENCEGAHAN KEKERASAN SEKSUAL DI LINGKUNGAN KERJA Video materi "Pencegahan Kekerasan Seksual di Lingkungan Kerja." https://www.youtube.com/watch?v=YpTanCZUajc Video materi referensi tentang "Pencegahan dan Penanganan Kekerasan di Lingkungan Kerja Kemendikbudristek." https://www.youtube.com/watch?v=mLJe8TwlpkY Pelajari materi paparan tentang "Menciptakan Lingkungan Kerja yang Bebas dari Kekerasan untuk Peningkatan Kinerja." https://drive.google.com/file/d/1OySdnw5sxA4TU4KLw8HT_xIlrOoIdPbR/view?usp=sharing 3. PENCEGAHAN INTOLERANSI DA...

I Commanded U.S. Army Europe. Here’s What I Saw in the Russian and Ukrainian Armies.

 https://twitter.com/MarkHertling/status/1513467102958690304 I Commanded U.S. Army Europe. Here’s What I Saw in the Russian and Ukrainian Armies. The two armies at war today couldn’t be more different. by MARK HERTLING  APRIL 11, 2022 5:30 AM I Commanded U.S. Army Europe. Here’s What I Saw in the Russian and Ukrainian Armies. A member of the Ukrainian special forces is seen in silhouette as he stands while a gas station burns after Russian attacks in the city of Kharkiv on March 30, 2022, during Russia's invasion launched on Ukraine. (Photo by FADEL SENNA / AFP) (Photo by FADEL SENNA/AFP via Getty Images) Share on Facebook Share on Twitter Share via email Print In March 2011, I began a new posting as the Commanding General of U.S. Army Europe and Seventh Army, in command of all U.S. Army forces stationed in various countries throughout Europe. It was a dream job as it was in that command – in a different time and under much different circumstances – that I had begun my career ...

where the palestinian political project goes from here

  https://www.newyorker.com/news/q-and-a/where-the-palestinian-political-project-goes-from-here  Last weekend, Hamas fighters stormed into Israel, killing more than a thousand Israelis and taking some hundred and fifty hostages. Benjamin Netanyahu, Israel’s Prime Minister, announced that his country was at war, and his cabinet called up hundreds of thousands of reservists and ordered the bombing of the Gaza Strip, where, in the past few days, as many as eleven hundred Palestinians have already been killed. To talk about the conflict, I called Tareq Baconi, the president of the board of the think tank Al-Shabaka, the Palestinian Policy Network. He has also worked with the International Crisis Group in Ramallah, and is the author of the 2018 book “Hamas Contained.” During our conversation, which has been edited for length and clarity, we discussed what Hamas hoped to accomplish, how Israeli government policy toward Hamas has changed over the years, and how to unders...