-
Tweets40
-
Followers193
-
Following1
-
Likes0
☄️Something BIG is coming this summer. Time to sharpen your numerals! The ICFP Programming Contest 2020 will run from July 17 to July 20, starting at 13:00 UTC. The clock is ticking: countingdownto.com/?c=3009383
Enjoy some bonus content! Disappointed with only 40X speedups? Try setting an arbitrary number of initial seeds. Want faster animations? Try disabling the (sometimes slow) groundedness checking. icfpcontest2018.github.io #icfpcontest2018
The ICFP Programming Contest 2018 has ended. Thanks to all contestants and teams for their participation! Remember to complete your profile with complete team information and source code URL and SHA256 checksum. icfpcontest2018.github.io #icfpcontest2018
One hour left in the Full Contest! icfpcontest2018.github.io #icfpcontest2018
Full Contest Live Standings have been frozen (and will, with time, be updated with scores from all problems). The secondary submission system has been enabled. icfpcontest2018.github.io #icfpcontest2018
Due to the high number of Lock timeout errors near the Lightning Division deadline, we have prepared a secondary submission system for use at the Full Contest deadline. Details in the News section of the contest homepage. icfpcontest2018.github.io #icfpcontest2018
Good luck to all teams during the last 24hrs of the ICFP Programming Contest 2018! icfpcontest2018.github.io #icfpcontest2018
Added a visual distinction between Low harmonics (darker floor) and High harmonics (lighter floor). May need to clear browser cache to reload the JS files. icfpcontest2018.github.io #icfpcontest2018
The Full Contest Live Standings are resumed and should be updating once every 15 minutes. icfpcontest2018.github.io #icfpcontest2018
The Full Contest Live Standings are paused while investigating slow updates; submission acknowledgments are resumed and should be updating once every 15 minutes. icfpcontest2018.github.io #icfpcontest2018
Initial submission acknowledgments and live standings for the Full Contest have been posted; should be automatically updating approximately every 15min. icfpcontest.github.io #icfpcontest2018
If you did not get a Lightning Division submission in after 15:45, then please continue to try to submit; we'll accept for a few minutes after the deadline to accommodate the timeouts.
The Full Contest Updated Task Description has been posted. icfpcontest2018.github.io #icfpcontest2018
A "Lock timeout: another process was holding the lock for too long." error means high contention. Apply the Golden Rule: only submit as often as you would want others to submit.
One hour left in the Lightning Division! Remember, teams may only submit once every 15min. Please, don't abuse the submission system with repeated attempts within the 15min window; it makes it harder for other teams. icfpcontest2018.github.io #icfpcontest2018
nodchip@tanuki- @nodchip
4K Followers 841 Following 一般社団法人ソフトウェアエンジニアリング協会 / コンピューター将棋 / コンピューターチェス / 精密採点Ai / AIイラスト生成 / リアル脱出ゲーム / タンブルウィード / METIQ / GIFTED EYES ※発言内容はあくまで個人的な見解であり、所属組織・団体の公式な見解・発表ではありません。
ICFP Programming Cont... @icfpcontest2025
284 Followers 6 Following A Programming Contest associated with @icfp_conference and organized yearly since 1998!
ICFP Contest 2022 @icfpcontest2022
192 Followers 9 Following A Programming Contest associated with @icfp_conference and organized yearly since 1998! Tweets by @keleesssss
Vitalii Skakun @VitSkakun
115 Followers 993 Following researching IT techs and proglangs with a grain of math, trying hard to understand the world better every day 🇺🇦🇬🇧🏴🏴🇮🇱🇺🇸
Artem Zvyagintsev @corba77
546 Followers 4K Following machine learning engineer, programmer, and mathematician: former Topos and Synthetic Differential Geometry theorist.
ICFP Contest 2016 @ICFPContest2016
215 Followers 4 Following
Paulo Matos @pocmatos
446 Followers 778 Following Parked account, see: https://t.co/GtbfdQ3Vv8 instead.
Stoyan Uzunov @UzunovStoyan
2 Followers 13 Following
Adolfo Neto @adolfont
9K Followers 8K Following Associate Professor at @UTFPR_. Podcaster at @elixiremfoco @fronteirases @emilias_utfpr @helloerlang. @leanprover, @Erlang_org and @elixirlang enthusiast.
Alexander Cox @lxndrcx
10 Followers 177 Following
ɥozɐʞıɥ @hikazoh
791 Followers 8K Following https://t.co/ywG4VNH9Pc https://t.co/rPxhl6f6sJ https://t.co/sJLnKWPgIW https://t.co/FG3WuU6uAq
Rado Kirov @radokirov
1K Followers 904 Following Engineering at stripe. Recovering academic. Do you want to have a VC chat with me - https://t.co/6eeyYBVWe3
eliza @totoTavrinky
401 Followers 456 Following Always to be the best, and to rise above others. Desire is hunger is the fire I breathe / Love is a banquet on which we feed
João Forte Carvalho ... @bgamari
2K Followers 317 Following Director of Product @Constellation Network
умер @romantovsky
40 Followers 1K Following
Juhana Laurinharju @fingerzam
43 Followers 148 Following
Harsharanga Patil @newspeciesIndia
69 Followers 947 Following Strong believer of Bohm’s Wholeness and Implicate order. Rheomode ==? Functional Programming. Learning 🎹 🎼
P Govind Raj @pgovindraj
160 Followers 2K Following
EventsNewsAsia.com @eventsnewsasia
132 Followers 1K Following The latest #events news in Asia. #conference #tradefair #exhibitions #concerts #brandlaunching #marketing
Dr. Matt Ford @zeotherm
1K Followers 730 Following ML/AI Architect; ChemE; SciComm; rocket surgeon; game (video/board) fan; horology enthusiast; lover of old maps. #PhD #PE #EthicsInAI
Praveen @freeze0xBFF
348 Followers 5K Following Intern @aws Aurora CS grad @penn_state, Ex-SE @AMD worked on GPU address sanitizer and compilers!, GSoC @llvm, Interested in Systems!
Азат Абдулл... @abdullin_azat
10 Followers 69 Following
Zhixiang @ctengctsh
657 Followers 5K Following old Chromium/Node.js/Wasm/WebRTC dev, PLT fu(a)n, C++/Java/Python pro, Rust/Kotlin/Zig/Mojo newbie, Typed DSL/Pipeline/DAG, AOT, effects, compilers
Jed Davis 🏳️�... @xlerb
815 Followers 1K Following “Perhaps you're just different. Not a sin, you know — though you may have heard otherwise.” https://t.co/DnxUM7SmY1
Muriel SHAN SEI FAN @Muriel_42
369 Followers 349 Following CEO of @OCamlPro . Used to be in charge of the open source group @Pole_Systematic. Before that, editor of IT books @Eyrolles
T. M. @tem4twit
0 Followers 9 Following
@moralrecordings@digi... @moralrecordings
94 Followers 370 Following Reverse engineering is good and also for everyone. Macromedia Director team at ScummVM · Non-binary · They/them · @[email protected]
TOKUDOME Kenji @pocarist
87 Followers 371 Following 職業：C++プログラマ。OCamlとF#勉強中。 趣味：競プロ(TopCoder=緑)、将棋(24で10級)、スノボ(またーり)、ヴィッセル神戸(シーチケ2005-2020継続中)
Matthew Dawson @matthewjdaws
40 Followers 338 Following
Kevin Cotrone @cotrone
77 Followers 251 Following
yowa @yowa
831 Followers 580 Following 学生ではないです。ニコ動を見たり、趣味のプログラミングをしたり。 好きなもの: TopCoder (Marathon Match) / Ruby / ぷよぷよ(通) / デレマス (海老原菜帆) / ミリマス (真壁瑞希) / Splatoon1 (ボールドマーカー) / Splatoon2 (ラピッドブラスター)
Raimi Rufai @RaimiRufai
8 Followers 199 Following
ICFP Contest 2020 �... @icfpcontest2020
411 Followers 2 Following An annual 72-hour programming contest you've been waiting for. End date: July 20, 2020 @ 13:00 UTC. Tweets by @igorlukaninTrends for United States
You might like
