#icpc — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #icpc, aggregated by home.social.
-
Спустя 5 лет я снова пишу Всерос — часть 1
Привет, Хабр! На связи финалист ICPC и гроссмейстер codeforces MachineSolution. В прошлой своей статье я писал о том, как подготовиться к соревнованию. Но что делать, если время подготовки прошло, как писать саму олимпиаду? “Просто бери и решай задачи” - скажет кто-то, но будет прав лишь отчасти. У некоторых соревнований есть свои особенности и, как следствие, особые стратегии написания. И заключительный этап всероссийской олимпиады школьников по информатике не лишён своих отличительных черт. Всероссийская олимпиада школьников по праву считается мерилом олимпиадных способностей школьников и, хотя взять диплом даже регионального этапа ВсОШ дано не каждому, всероссом называют именно заключительный этап и готовятся к нему. Мало кто из сильных олимпиадников не хочет “взять всеросс” - то есть выиграть диплом призёра заключительного этапа. Помимо поступления в любой ВУЗ без экзаменов он сам по себе является ценной наградой и подтверждением своих способностей и признания результата долгих тренировок. Более того, не так много людей стремятся к диплому победителя - настолько сложно и почётно в этой олимпиаде стать хотя бы призёром! Заветные дипломы по информатике каждый год получают всего 200-300 человек из миллионов школьников. Моя история с этой олимпиадой не самая сказочная - в свои школьные годы я пожертвовал подготовкой к информатике ради подготовки к математике. Да, в итоге я занял 7 место на финале математики и почти стал победителем, но на информатике выступил, мягко говоря, ужасно - даже не близко к призёрам. Поэтому мне стало интересно написать зеркало ВсОШ по информатике за 2026 год, чтобы проверить, как сильно я вырос в олимпиадах и на что способен.
https://habr.com/ru/articles/1065810/
#всерос #всош #спортивное_программирование #олимпиады #алгоритмы #ICPC #Codeforces #олимпиадное_программирование
-
The Samson Strategy: How the Tinubu Government Pulled the Temple Down on Itself Over PFIPC by Lawson Akhigbe
The Bola Ahmed Tinubu administration appears to have forgotten that rule in its handling of the Presidential Foreign Investment Promotion Council (PFIPC) controversy. In its determination to destroy the credibility of one man, Prince Adeniyi Matthew Adeyemi, it may have inflicted collateral damage on something far more valuable: the credibility of official government documentation itself. -
The Samson Strategy: How the Tinubu Government Pulled the Temple Down on Itself Over PFIPC by Lawson Akhigbe
The Bola Ahmed Tinubu administration appears to have forgotten that rule in its handling of the Presidential Foreign Investment Promotion Council (PFIPC) controversy. In its determination to destroy the credibility of one man, Prince Adeniyi Matthew Adeyemi, it may have inflicted collateral damage on something far more valuable: the credibility of official government documentation itself. -
Как подготовиться к алгоритмическим соревнованиям: опыт финалиста ICPC
Всем привет! Меня зовут Андрей, я финалист ICPC (Международной студенческой олимпиады по программированию), разработчик Техплатформы Городских сервисов Яндекса. Эта статья — концентрат неочевидных (а порой и контринтуитивных) советов по подготовке к соревнованиям. Годами я тренировался, набивал шишки на контестах и набирался мудрости у топовых тренеров, чтобы собрать этот опыт в одном месте.
-
The Chairman of the Economic and Financial Crimes Commission (EFCC), Ola Olukoyede, has raised concerns over the growing threat of cryptocurrency-related crimes in the country.
https://dmarketforces.com/efcc-icpc-raise-alarm-over-rising-crypto-linked-financial-crimes/
-
Python Standard Library для спортивного программирования
Стандартная библиотека Python содержит множество инструментов, которые значительно упрощают решение задач спортивного программирования, но многие из них остаются незамеченными начинающими участниками. В статье собран краткий конспект по наиболее полезным модулям и функциям стандартной библиотеки с небольшими примерами.
https://habr.com/ru/articles/1010290/
#спортивное_программирование #питон #python #pypy #standard_library #стандартная_библиотека #стандартная_библиотека_python #icpc #codeforces #topcoder
-
Former Gov. Nasir El-Rufai of Kaduna State has filed a N1 billion fundamental rights enforcement suit against the Independent Corrupt Practices and Other Related Enforcement Commission...
https://dmarketforces.com/el-rufai-files-n1bn-suit-against-icpc/
-
Codeforces не только для олимпиадников: как контесты дают реальное конкурентное преимущество
Если вы поступаете в этом году на IT-направление, то сейчас у вас две очевидные задачи: не провалить ЕГЭ и выбрать университет. Но есть и третья — менее заметная, зато стратегически важная: начать формировать интеллектуальное преимущество, которое будет работать на вас следующие 5–10 лет. И это не умение писать промты.
https://habr.com/ru/articles/1002430/
#обучение #codeforces #icpc #форумы #портфолио #магистратура #бакалавриат #абитуриентам
-
The Independent Corrupt Practices and Other Related Offences Commission (ICPC) has taken into custody the former governor of Kaduna State, Malam Nasir El-Rufai, over corruption allegations levelled against him
https://dmarketforces.com/icpc-detains-el-rufai-after-release-from-efccs-custody/
-
An Independent Corrupt Practices and Other Related Offences Commission (ICPC) has ranked the Nigerian Upstream Petroleum Regulatory Commission (NUPRC), under Mr Gbenga Komolafe...
https://dmarketforces.com/nuprc-under-komolafe-most-transparent-agency-icpc/
-
The Independent Corrupt Practices and Other Related Offences Commission (ICPC) has asked Aliko Dangote to appear before its panel of crack investigators on Monday in Abuja over a petition written by him.
https://dmarketforces.com/icpc-invites-dangote-over-petition-against-ex-nmdpra-ceo/
-
🦁📨 LöwenPost 2025/34 - Sino Kolumne: Huawei ~ Shenzhen ~ Drohnen ~ Xiaohongshu ~ Anwaltskammer
https://0cn.de/LoPo2534#huawei #icpc #shenzhen #immobilien #drohnen #rednote #xiaohongshu #low #lawsociety #lawsocietysg #singapore #china
-
Dangote asks ICPC to probe the NMDPRA boss Farouk Ahmed and urges arrest and prosecution. Read full story below, Read more below. #Dangote #ICPC #NMDPRA #NigeriaNews #ValidUpdates
https://validupdates.com/2025/12/dangote-files-petition-prompts-icpc-probe-into-nmdpra-boss/
-
Как попасть в мир олимпиадного (спортивного) программирования? Спорт для ума, который меняет мышление
Олимпиадное программирование — это спорт для ума, который прокачивает алгоритмическое мышление, скорость и выдержку. Разбираем, с чего начать, какие навыки нужны, почему для соревнований чаще выбирают C++ и какие ресурсы помогут подготовиться школьникам, студентам и взрослым новичкам. Хочешь попробовать интеллектуальный спорт, где за пять часов нужно решить несколько задач и обойти соперников по скорости мышления? Спортивное программирование даёт не только адреналин соревнований, но и реальный буст к учёбе, поступлению и карьере — от первых олимпиад в школе до участия в ICPC и стажировок в IT-компаниях.
https://habr.com/ru/articles/972682/
#олимпиадное_программирование #спортивное_программирование #алгоритмы #c++ #python #icpc #программирование_для_начинающих #подготовка_к_олимпиадам #задачи_по_программированию #задачи_и_решения
-
Morgen kommen die Teilnehmenden am Programmierwettbewerb #NWERC 2025 nach #Karlsruhe 🎉
📅 28.–30.11. | 🧠 450 Teilnehmende | 🌍 13 Länder
Qualifikation für die #ICPC World Finals und die ICPC Europe Championship.
https://2025.nwerc.eu -
Morgen kommen die Teilnehmenden am Programmierwettbewerb #NWERC 2025 nach #Karlsruhe 🎉
📅 28.–30.11. | 🧠 450 Teilnehmende | 🌍 13 Länder
Qualifikation für die #ICPC World Finals und die ICPC Europe Championship.
https://2025.nwerc.eu -
GPT5 kann keine komplexen Aufgaben lösen - oder?
OpenAI mit historischem Sieg 🏆 Beim weltweit führenden Studierenden-Wettbewerb #ICPC löste ein #OpenAI-System alle 12 Aufgaben und schlug damit sowohl menschliche #Teams als auch Googles #Deepmind.
Wettkampfbedingungen ohne Bonus ⏱️ Die KI arbeitete mit demselben PDF-Aufgabenblatt und Zeitlimit von fünf Stunden wie die Studierenden und reichte Lösungen direkt beim offiziellen Jury-System ein. (1/2)
-
GPT5 kann keine komplexen Aufgaben lösen - oder?
OpenAI mit historischem Sieg 🏆 Beim weltweit führenden Studierenden-Wettbewerb #ICPC löste ein #OpenAI-System alle 12 Aufgaben und schlug damit sowohl menschliche #Teams als auch Googles #Deepmind.
Wettkampfbedingungen ohne Bonus ⏱️ Die KI arbeitete mit demselben PDF-Aufgabenblatt und Zeitlimit von fünf Stunden wie die Studierenden und reichte Lösungen direkt beim offiziellen Jury-System ein. (1/2)
-
🏆 Starkes Ergebnis für das KIT bei den 49. ICPC World Finals!
Unser Team Kindergarten Timelimit holt mit 9 gelösten Aufgaben, Highest Honors und Platz 13 weltweit das beste KIT-Ergebnis aller Zeiten – nur 8 Minuten trennten sie vom Podium. 💪Wir freuen uns schon auf den #NWERC, den nordwesteuropäischen Vorentscheid für die nächsten World Finals vom 28.–30.11.2025 am @KIT_Karlsruhe !
#kitinformatik #icpc #programmierwettbewerb #highesthonors -
#OpenAI’s system, using #GPT5 and an #experimentalmodel, achieved a perfect score at the #ICPC #WorldFinals 2025, #outperforming both #humancompetitors and #Google’s #Deepmind model. The system, which solved all 12 problems, demonstrates the capabilities of advanced reasoning models. https://the-decoder.com/openai-outperforms-humans-and-google-at-the-worlds-top-collegiate-programming-contest/?eicker.news #tech #media #news
-
#OpenAI’s system, using #GPT5 and an #experimentalmodel, achieved a perfect score at the #ICPC #WorldFinals 2025, #outperforming both #humancompetitors and #Google’s #Deepmind model. The system, which solved all 12 problems, demonstrates the capabilities of advanced reasoning models. https://the-decoder.com/openai-outperforms-humans-and-google-at-the-worlds-top-collegiate-programming-contest/?eicker.news #tech #media #news
-
✨ Breaking news! 🤖 In a stunning display of tech wizardry, #AI giants #DeepMind and #OpenAI clinched victory at the #ICPC, all thanks to the herculean task of... drumroll... enabling #JavaScript and cookies! 🍪🔧 Because nothing screams cutting-edge AI like battling browser settings. 😂
https://codeforces.com/blog/entry/146536 #Cookies #HackerNews #ngated -
✨ Breaking news! 🤖 In a stunning display of tech wizardry, #AI giants #DeepMind and #OpenAI clinched victory at the #ICPC, all thanks to the herculean task of... drumroll... enabling #JavaScript and cookies! 🍪🔧 Because nothing screams cutting-edge AI like battling browser settings. 😂
https://codeforces.com/blog/entry/146536 #Cookies #HackerNews #ngated -
DeepMind and OpenAI Win Gold at ICPC, OpenAI AKs
-
DeepMind and OpenAI Win Gold at ICPC, OpenAI AKs
-
ICPC 2025 World Finals Results
https://worldfinals.icpc.global/scoreboard/2025/index.html
#HackerNews #ICPC #2025 #World #Finals #Results #ICPC2025 #Programming #Contest #Results #CompetitiveProgramming #WorldFinals #CodingCompetition
-
ICPC 2025 World Finals Results
https://worldfinals.icpc.global/scoreboard/2025/index.html
#HackerNews #ICPC #2025 #World #Finals #Results #ICPC2025 #Programming #Contest #Results #CompetitiveProgramming #WorldFinals #CodingCompetition
-
The pre-print for the #ICPC paper “Pinpointing the Learning Obstacles of an Interactive Theorem Prover” by @sarantja @azaidman and yt is now available at https://sarajuhosova.com/assets/files/2025-icpc.pdf
I very much hope this will inspire more research on the usability and accessibility of the languages we build going forward!
Abstract:
Interactive theorem provers (ITPs) are programming languages which allow users to reason about and verify their programs. Although they promise strong correctness guarantees and expressive type annotations which can act as code summaries, they tend to have a steep learning curve and poor usability. Unfortunately, there is only a vague understanding of the underlying causes for these problems within the research community. To pinpoint the exact usability bottlenecks of ITPs, we conducted an online survey among 41 computer science bachelor students, asking them to reflect on the experience of learning to use the Agda ITP and to list the obstacles they faced during the process. Qualitative analysis of the responses revealed confusion among the participants about the role of ITPs within software development processes as well as design choices and tool deficiencies which do not provide an adequate level of support to ITP users. To make ITPs more accessible to new users, we recommend that ITP designers look beyond the language itself and also consider its wider contexts of tooling, developer environments, and larger software development processes.
#Agda #TheoremProving #DependentTypes #Usability #Accessibility #ICPC25
-
The pre-print for the #ICPC paper “Pinpointing the Learning Obstacles of an Interactive Theorem Prover” by @sarantja @azaidman and yt is now available at https://sarajuhosova.com/assets/files/2025-icpc.pdf
I very much hope this will inspire more research on the usability and accessibility of the languages we build going forward!
Abstract:
Interactive theorem provers (ITPs) are programming languages which allow users to reason about and verify their programs. Although they promise strong correctness guarantees and expressive type annotations which can act as code summaries, they tend to have a steep learning curve and poor usability. Unfortunately, there is only a vague understanding of the underlying causes for these problems within the research community. To pinpoint the exact usability bottlenecks of ITPs, we conducted an online survey among 41 computer science bachelor students, asking them to reflect on the experience of learning to use the Agda ITP and to list the obstacles they faced during the process. Qualitative analysis of the responses revealed confusion among the participants about the role of ITPs within software development processes as well as design choices and tool deficiencies which do not provide an adequate level of support to ITP users. To make ITPs more accessible to new users, we recommend that ITP designers look beyond the language itself and also consider its wider contexts of tooling, developer environments, and larger software development processes.
#Agda #TheoremProving #DependentTypes #Usability #Accessibility #ICPC25
-
Attention-Worthy Links for December 2nd, 2024
#Waste Oil #Supercapacitors #cyberattacks #spacecraft #Trump #leverage #threat #negotiating #Biden #squatting #refusal #oil #limits #production #Clutter #Kármán line #Thoreau #Hunter Biden #submarine cable #ITU #ICPC #LSU #sulfur#concrete #Passenger miles #2.3 light-years #Denmark #Løsning Søndermark #Broadband #connecting #school #library #telecom reform #Earth Information #Air and Space Museum #Anacostia #Calvert Cliffs
-
Proud of my students who solved 8 problems in the #ICPC Regional contest today, coming in 1st place at our site. My other team did well too, solving 5. If you want to try solving some of the problems yourself, you can see them here: https://open.kattis.com/contests/mcpc24open
-
-
#ICPC practice:
Contributed only some small ideas that did or did not work.
Only piece of code (160LOC sqrt decomposition; worse than the official solution) did not pass.
Really thankful for my teammates tolerating how much of a burden I am :(
-
Le SWERC est une épreuve régionale qualificative pour l’#ICPC durant laquelle, pendant cinq heures, des candidat·e·s s’attaquent en équipes de trois à une dizaine de problèmes d’algorithmique de difficulté variable. Pour résoudre un problème, une équipe doit comprendre quels principes lui sont sous-jacents, concevoir un algorithme pour le résoudre efficacement et l’implémenter.
