ICYMI: Nigeria’s Anti-Graft Agency Investigates N71.2 Billion Missing from Student Loan Fund https://www.rainsmediaradio.com/2025/05/nigerias-anti-graft-agency-investigates.html?utm_source=dlvr.it&utm_medium=mastodon Follow, Like & Share #Nigeria #AntiCorruption #StudentLoans #NELFUND #ICPC
#ICPC
RainSMediaRadio News Kaduna Court Orders Interim Forfeiture of ₦1.37 Billion Allegedly Diverted During El-Rufai Administration https://www.rainsmediaradio.com/2025/03/kaduna-court-orders-interim-forfeiture.html?utm_source=dlvr.it&utm_medium=mastodon Follow, Like & Share #Kaduna #ElRufai #CorruptionNigeria #ICPC #ForfeitureOrder
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
You can see the standings and problems of the Japanese Asia-Pacific #ICPC Regional in the link below:
https://icpcsec.firebaseapp.com/standings/
There is also a live stream with commentary about the problems and other interesting stuff on Youtube:
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
1eros en Programación Competitiva LATAM y 54avos a nivel mundial.
15avos a nivel mundial, en HPC en nuestro primer mundial.
Arriba de Cambridge, Universidad de Córdoba, arriba de la UBA en el 46°, pero la UBA logró el máximo puesto siendo 13avo en el 47° encuentro.
Ambos encuentros se hicieron en simultáneo.
Universidad Pública, Gratuita y de Calidad.
ختام البطولة الدولية للبرمجة ICPC بالأقصر بحضور وزير الاتصالات.. فيديو
وزير الاتصالات يشهد ختام البطوله الدوليه للبرمجه ICPC بالاقصر
Flashback to another successful ICPC Training Camp powered by Huawei!
The 2023 Europe Training Camp was held in Poland back on October 13 - 15 this year, with over 30 teams coming together to refine their skills and learn new tips and tricks from their fellow students.
A huge thank you to our amazing team that were able to put on this great event for these students, and thank you to Huawei for sponsoring yet another successful Training Camp!
Stay tuned for the recap video.
Title: Competitive Programming Contests IOI, ICPC—BEFORE, DURING, and AFTER. YouTube LIVE THIS SUNDAY OCTOBER 29, 11AM ET
Are you or your children interested in competitive programming? This week, Mohammad Hajiaghayi (YouTube @hajiaghayi), IOI'97 Silver Medalist and Minker Professor of Computer Science at the University of Maryland, College Park, and Colin Galen (YouTube at @ColinGalen), USACO'19 Finalist and ICPC NAC'23 Silver Medalist, will have a YouTube Live to discuss the stages of competitive programming contests like IOI and ICPC—BEFORE, DURING, and AFTER.
Join us THIS SUNDAY OCTOBER 29, 11AM ET for a LIVE discussion on both YouTube channels @hajiaghayi and @ColinGalen. Feel free to participate and ask questions on either channel.
#IOI, #ICPC, #codeforces, #programmingcontest, #competitiveprogramming, #beforeafter, #during
Today I'm supervising the International Collegiate Programming Contest (ICPC) -- Japanese National round.
Over 300 teams from all over the country are competing to see who can solve the most computer science problems in the shortest amount of time. The #ICPC is a traditional competition, with over 30 years of history.
Check the standings and the problems here:
https://icpcsec.firebaseapp.com/
Our university (Tsukuba) is fielding 7 teams this time, the most since the start of the pandemic.
Anyway, the contest just started! You can follow the standings (my team is "otagai_tasukeai") on this website:
https://icpcsec.firebaseapp.com/standings/
You can also see a live streaming of the venue with occasional commentary of the problems here:
Students getting ready for the competition day at #ICPC Japan regional contest.
For those who are not familiar, ICPC is the International Collegiate Programming Contest. It has roots back in the seventies, and it gathers college students from around the world to compete on rapid programming skills.
The contest consists of several short problems that you solve by writing programs. Teams of three students, working on one computer, get points for quick solutions, and penalty for mistakes. #icpcjp
Tomorrow is the Japanese Regional Contest for the ICPC (International Collegiate Programming Contest).
I am the team coach for the University of Tsukuba, as well as part of the organizing committee (although my role is just to host the results reveal ceremony).
After two years having the event be online, tomorrow we will be back to hosting the event in person (with extra social distancing, and no party).
I do like ICPC a lot, and look forward spending two days in Yokohama.
🌐 Great honor: Prof.
Janet Siegmund
received along with Prof. Christian Kästner, Dr. Jörg Liebig, Prof. Sven Apel and Dr. Stefan Hanenberg the Most Influential Paper Award of the #ICPC for groundbreaking work on the understanding of the programming process: http://mytuc.org/pngc .
#ICPC practice
Why is Python so slow :(
#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 :(
Client Info
Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst