#icpc — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #icpc, aggregated by home.social.
-
https://www.europesays.com/africa/225048/ APRIL OVERVIEW: How Nigeria’s Security and Intelligence Forces Turned Up the Heat on Terror, Corruption #Corruption #dss #efcc #ICPC #Nigeria #NSANuhuRibadu #ONSA
-
Как подготовиться к алгоритмическим соревнованиям: опыт финалиста ICPC
Всем привет! Меня зовут Андрей, я финалист ICPC (Международной студенческой олимпиады по программированию), разработчик Техплатформы Городских сервисов Яндекса. Эта статья — концентрат неочевидных (а порой и контринтуитивных) советов по подготовке к соревнованиям. Годами я тренировался, набивал шишки на контестах и набирался мудрости у топовых тренеров, чтобы собрать этот опыт в одном месте.
-
https://www.europesays.com/africa/198189/ Court Shifts Ruling on El-Rufai’s Bail Application to June #AbuseOfOffice #BailApplication #Corruption #CourtRuling #DariusKhobo #dss #FinancialCrime #FraudCharges #ICPC #JusticeDariusKhobo #KadunaHighCourt #KadunaState #NasirElRufai #Nigeria #NigerianPolitics
-
https://www.europesays.com/africa/195532/ El-Rufai alleges plot to stall his release and tarnish image #BailApplication #CriminalPlot #defamation #efcc #ICPC #JusticeDariusKhobo #KadunaState #LegalBattle #MuyiwaAdekeye #NasirElRufai #Nigeria #NigerianPolitics #RuleOfLaw
-
https://www.europesays.com/africa/185743/ El-Rufai Appears in Court, Discusses ADC Convention #AbuseOfOffice #ADC #ADCConvention #AfricanDemocraticCongress #CorruptionTrial #CourtCase #CourtTrial #efcc #fraud #FraudAllegations #FraudCharges #ICPC #KadunaHighCourt #KadunaState #NasirElRufai #Nigeria #NigerianPolitics #PoliticalNews #PoliticalTrial
-
https://www.europesays.com/africa/175549/ March in Focus: How Nigeria’s Security and Anti-Corruption Agencies Are Confronting Evolving Threats #Corruption #dss #efcc #ICPC #intelligence #NIA #Nigeria #NSANuhuRibadu #Security
-
https://www.europesays.com/africa/165494/ DSS Detains El-Rufai After Court Bail Hearing in Kaduna #AbuseOfOffice #BailHearing #Corruption #CorruptionCharges #CourtCase #DepartmentOfStateServices #detention #dss #FederalHighCourt #ICPC #Kaduna #KadunaState #NasirElRufai #Nigeria #NigerianPolitics
-
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/
-
https://www.europesays.com/africa/139662/ ICPC Debunks Reports on Fresh Remand Request for El-Rufai #AbuseOfOffice #AntiGraftAgency #CourtHearing #efcc #ICPC #KadunaState #MoneyLaundering #NasirElRufai #Nigeria #NigerianPolitics #RemandOrder
-
Python Standard Library для спортивного программирования
Стандартная библиотека Python содержит множество инструментов, которые значительно упрощают решение задач спортивного программирования, но многие из них остаются незамеченными начинающими участниками. В статье собран краткий конспект по наиболее полезным модулям и функциям стандартной библиотеки с небольшими примерами.
https://habr.com/ru/articles/1010290/
#спортивное_программирование #питон #python #pypy #standard_library #стандартная_библиотека #стандартная_библиотека_python #icpc #codeforces #topcoder
-
https://www.europesays.com/africa/123640/ Release El-Rufai or file charges now #COPAC #efcc #FederalGovernment #HumanRights #ICPC #NasirElRufai #Nigeria #NigerianConstitution #NigerianPolitics #PoliticalDetention #RuleOfLaw
-
https://www.europesays.com/africa/117754/ EFCC, ICPC bosses decry delays in high profile cases #efcc #ICPC #Nigeria
-
https://www.europesays.com/africa/116994/ DSS detains five operatives over El-Rufai airport incident #AirportSecurity #AviationSecurity #AVSEC #dss #efcc #FederalHighCourt #FundamentalRightsSuit #HadizaElRufai #ICPC #KadunaState #NasirElRufai #Nigeria #NigeriaImmigrationService #NigerianPolitics #NnamdiAzikiweInternationalAirport
-
https://www.europesays.com/africa/115665/ Five officers arrested for bribery in El-Rufai airport breac #AirportSecurity #Bribery #Corruption #dss #efcc #ICPC #LawEnforcement #NasirElRufai #Nigeria #NigeriaPolice #NigeriaPolitics #NnamdiAzikiweInternationalAirport #SecurityBreach
-
https://www.europesays.com/africa/104572/ Court Adjourns El-Rufai’s Arraignment Over Absence #abuja #adjournment #arraignment #BailApplication #CourtAdjournment #CourtCase #CybercrimesAct #dss #FederalHighCourt #ICPC #JusticeJoyceAbdumalik #KadunaState #NasirElRufai #Nigeria #NigerianPolitics #NuhuRibadu #Wiretapping
-
Codeforces не только для олимпиадников: как контесты дают реальное конкурентное преимущество
Если вы поступаете в этом году на IT-направление, то сейчас у вас две очевидные задачи: не провалить ЕГЭ и выбрать университет. Но есть и третья — менее заметная, зато стратегически важная: начать формировать интеллектуальное преимущество, которое будет работать на вас следующие 5–10 лет. И это не умение писать промты.
https://habr.com/ru/articles/1002430/
#обучение #codeforces #icpc #форумы #портфолио #магистратура #бакалавриат #абитуриентам
-
https://www.europesays.com/africa/83157/ Aide Knocks El-Rufai Over NSA Ribadu Phone Tapping Claim #AriseNews #dss #ICPC #IllegalSurveillance #NasirElRufai #NationalSecurityAdviser #Nigeria #NigerianPolitics #NuhuRibadu #PhoneTapping #TemitopeAjayi
-
Как попасть в мир олимпиадного (спортивного) программирования? Спорт для ума, который меняет мышление
Олимпиадное программирование — это спорт для ума, который прокачивает алгоритмическое мышление, скорость и выдержку. Разбираем, с чего начать, какие навыки нужны, почему для соревнований чаще выбирают 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 -
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)
-
#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
-
#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
-
#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 -
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
-
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
-
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.
